Câu hỏi được gắn thẻ «cc.complexity-theory»

Là vấn đề đẳng cấu nửa hữu hạn nghịch đảo hữu hạn GI-hoàn thành ? Ở đây các nửa nhóm nghịch đảo hữu hạn được giả sử được đưa ra bởi các bảng nhân của chúng.

11 cc.complexity-theory  graph-isomorphism 

Giả sử rằng đầu vào của chúng tôi là nhị phân và chúng tôi phải xuất , trong đó là một số nguyên không đổi. Đây chỉ là một sự thay đổi nếu là lũy thừa của hai, nhưng còn các số khác thì sao? Chúng ta có thể làm …

11 cc.complexity-theory  circuit-complexity  ac0 

Xem xét đầy đủ thông tin trò chơi kết hợp hai người chơi kết thúc sau một số lần di chuyển đa thức, và theo một cách khác, người chơi chọn từ một số lượng hữu hạn các bước di chuyển được phép. Câu hỏi thông thường là, thật khó …

11 cc.complexity-theory  np  board-games  pspace 

Hãy xem xét vấn đề sau: Cho hai chuỗi x, y, quyết định xem có tồn tại một chuỗi đồng cấu chuỗi f sao cho f (x) = y. Nó rất dễ dàng để chứng minh rằng vấn đề này là trong . Có những điều khác chúng ta có …

11 cc.complexity-theory  reference-request  fl.formal-languages 

Đặt là một số lĩnh vực. Như thường lệ, với một chúng tôi xác định là độ phức tạp đường thẳng của so với . Gọi là tập hợp các đơn thức của , cụ thể là các đơn thức xuất hiện trong với hệ số khác không.f ∈ k …

11 cc.complexity-theory  algebraic-complexity  arithmetic-circuits 

Như chúng ta biết, định nghĩa về độ phức tạp tính toán của thuật toán hầu như không có gì phải bàn cãi, nhưng định nghĩa về độ phức tạp tính toán của các số thực hoặc các mô hình tính toán trên các số thực không phải là trường …

11 cc.complexity-theory  reference-request  computability  computing-over-reals  computable-analysis 

Điều này làm tôi bối rối. Một trường hợp dễ dàng để đếm là khi vấn đề quyết định nằm trong và không có giải pháp.PPP Một bài giảng cho thấy rằng vấn đề đếm số lượng khớp hoàn hảo trong biểu đồ lưỡng cực (tương đương, đếm số lượng …

11 cc.complexity-theory  graph-theory 

Crossposted từ MO . Đặt là một lớp biểu đồ được xác định bởi một số hữu hạn các đồ thị con bị cấm, tất cả đều là chu kỳ (chứa ít nhất một chu kỳ).CCC Có vấn đề đồ thị NP-hard nào có thể được giải quyết trong thời …

11 cc.complexity-theory  graph-theory  graph-algorithms  co.combinatorics 

Sau khi đọc một câu hỏi liên quan , về các bằng chứng tồn tại phi xây dựng của các thuật toán, tôi đã tự hỏi liệu có phương pháp nào cho thấy sự tồn tại của các máy tính "nhỏ" (nói, thông thái) mà không thực sự xây dựng …

11 cc.complexity-theory  automata-theory  turing-machines 

Tôi đang tìm kiếm một lớp phức tạp liên quan đến APX vì BPP liên quan đến P. Tôi đã hỏi cùng một câu hỏi ở đây , nhưng có lẽ TCS sẽ là một địa điểm hiệu quả hơn cho câu trả lời. Lý do của câu hỏi là …

11 cc.complexity-theory  approximation-hardness 

Impagliazzo, Paturi và Calabro, Impagliazzo, Paturi đã giới thiệu Giả thuyết theo thời gian lũy thừa (ETH) và Giả thuyết thời gian theo hàm mũ mạnh mẽ (SETH). Một cách thô bạo, SETH nói rằng không có thuật toán nào giải được SAT trong thời gian . 1.99n1.99n1.99^n Tôi đã …

11 cc.complexity-theory  sat  exp-time-algorithms 

Lớp UP được định nghĩa như sau: Lớp các vấn đề quyết định có thể giải quyết được bằng máy NP sao cho Nếu câu trả lời là "có", chính xác một đường dẫn tính toán chấp nhận. Nếu câu trả lời là 'không', tất cả các đường dẫn tính …

11 cc.complexity-theory  complexity-classes 

Vấn đề "Thứ hai " là vấn đề quyết định sự tồn tại của một giải pháp khác khác với một số giải pháp cụ thể cho trường hợp vấn đề.XXX Đối với một số vấn đề -complete, phiên bản giải pháp thứ hai là -complete (quyết định sự tồn …

11 cc.complexity-theory  unique-solution 

Tôi đang đọc bài báo nổi tiếng của Impagliazzo và Wigderson năm 1997. Vì tôi mới tham gia vào lĩnh vực này và bài báo là một phiên bản hội nghị ngắn gọn, tôi gặp khó khăn khi làm theo các bằng chứng của họ. Đặc biệt, một số định …

11 cc.complexity-theory  reference-request  circuit-complexity  derandomization  pseudorandom-generators 

Giả sử rằng chúng ta được cung cấp một mảng A[1..n]A[1..n]A[1..n] có chứa các số nguyên không âm (không nhất thiết phải khác biệt). Đặt BBB là được AAAsắp xếp theo thứ tự không tăng. Chúng tôi muốn tính m=maxi∈[n]B[i]+i.m=maxi∈[n]B[i]+i.m = \max_{i\in [n]} B[i]+i. Giải pháp rõ ràng là sắp …

11 cc.complexity-theory  ds.algorithms  optimization  sorting