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

Lớp phức tạp được định nghĩa như sau (từ Wikipedia ):SP2S2P\textrm{S}_2^\textrm{P} Một ngôn ngữ nằm trong S P 2 nếu tồn tại một biến vị ngữ P đa thức thời gian sao choLLLSP2S2PS_2^PPPP Nếu , thì tồn tại một y sao cho tất cả z , P ( x , …

10 cc.complexity-theory  complexity-classes 

Trong sự phức tạp trong giao tiếp, phỏng đoán thứ hạng log nói rằng cc(M)=(logrk(M))O(1)cc(M)=(log⁡rk(M))O(1)cc(M) = (\log rk(M))^{O(1)} Trong đó là độ phức tạp giao tiếp của và là thứ hạng của (dưới dạng ma trận) so với thực tế.cc(M)cc(M)cc(M)M(x,y)M(x,y)M(x,y)rk(M)rk(M)rk(M)MMM Tuy nhiên, khi bạn chỉ sử dụng phương thức xếp …

10 cc.complexity-theory  big-picture  linear-algebra  open-problem  communication-complexity 

Trong một cuộc nói chuyện của Razborov, một tuyên bố nhỏ gây tò mò được đăng tải. Nếu FACTORING khó, thì định lý nhỏ của Fermat không thể chứng minh được trong .S12S21S_{2}^{1} Là gì và tại sao là bằng chứng hiện tại không ở ? S 1 2S12S21S_{2}^{1}S12S21S_{2}^{1}

10 cc.complexity-theory  lo.logic  proof-complexity 

Câu hỏi của tôi là tại sao giới hạn dưới cho độ sâu 3 mạch Boolean có cổng "và" và "xor" cho định thức không bao hàm các giới hạn dưới giống nhau cho các mạch số học trên ?ZZ\mathbb{Z} Có gì sai với đối số sau: Đặt là một …

10 cc.complexity-theory  circuit-complexity  arithmetic-circuits 

BPPBPP\mathsf{BPP} vàZPPZPP\mathsf{ZPP} là hai lớp phức tạp xác suất cơ bản. BPPBPP\mathsf{BPP} là lớp ngôn ngữ được quyết định bởi các thuật toán Turing thời gian đa thức xác suất trong đó xác suất thuật toán trả về một câu trả lời không chính xác bị ràng buộc, nghĩa là …

10 cc.complexity-theory  complexity-classes  randomness  randomized-algorithms 

Đặt lớp BPNC (sự kết hợp của và N C ) là các thuật toán song song độ sâu log với xác suất lỗi bị ràng buộc và truy cập vào một nguồn ngẫu nhiên (tôi không chắc liệu đây có phải là một tên khác không). Xác định lớp …

10 cc.complexity-theory  complexity-classes  dc.parallel-comp  randomness  pseudorandomness 

Tôi đang tìm kiếm tài liệu tham khảo về sự phức tạp của vấn đề cân bằng công thức Boolean . Đặc biệt, Được biết rằng các công thức Boolean có thể được cân bằng trong AC0AC0\mathsf{AC^0} ? Có bằng chứng đơn giản nào về công thức Boolean cân bằng …

10 cc.complexity-theory  ds.algorithms  reference-request  lo.logic  boolean-formulas 

Bối cảnh : Kavvadias và Sideri đã chỉ ra rằng vấn đề 3-SAT nghịch đảo là coNP Hoàn thành: Cho một bộ mô hình trên biến, có công thức 3-CNF sao cho là bộ mô hình chính xác của nó không? Một công thức ứng cử viên ngay lập tức …

10 cc.complexity-theory  lo.logic  complexity-classes  computability  sat 

Trong hầu hết các hệ thống chứng minh xác suất (ví dụ định lý PCP), xác suất lỗi thường được xác định ở phía bên dương tính, nghĩa là một định nghĩa điển hình có thể giống như: nếu thì trình xác minh luôn chấp nhận, nhưng trong trường hợp …

10 cc.complexity-theory  pcp  interactive-proofs 

Tôi đã không thể tìm thấy một tuyên bố liên quan đến và N P R P trong tài liệu; con trỏ sẽ được đánh giá cao.MAMA\mathsf{MA}NPRPNPRP\mathsf{NP}^\mathsf{RP} Tôi tin rằng họ là như nhau: N P R PMA⊆NPRPMA⊆NPRP\mathsf{MA} \subseteq \mathsf{NP}^\mathsf{RP} : Máy đoán chuỗi của Merlin và nhà tiên tri …

10 cc.complexity-theory  oracles 

Đặt là bất kỳ EXP hoàn thành vấn đề. Sau đó, P Một = N P Một .AAAPA=NPAPA=NPAP^A = NP^A Hãy có một số oracle mà sẽ đưa vào các tài khoản truy vấn mà M (một TM trong P) sẽ làm, và chúng tôi có thể nhận được P …

10 cc.complexity-theory  oracles  relativization 

Wikipedia viết: FPT chứa các vấn đề có thể điều chỉnh tham số cố định, đó là những vấn đề có thể được giải quyết trong thời gian đối với một số chức năng tính toán . Thông thường, hàm này được coi là theo cấp số nhân, chẳng hạn …

10 cc.complexity-theory  fixed-parameter-tractable 

Quyết định đồ thị đồng nhất là nói chung NP-Complete. Có bất kỳ kết quả nào nghiên cứu vấn đề này khi các biểu đồ cơ bản có cấu trúc đại số (chẳng hạn như quyết định đồng cấu từ các biểu đồ tập hợp Cayley hoặc Cayley sang các …

10 cc.complexity-theory  graph-theory  co.combinatorics 

Để kỷ niệm sinh nhật của Alan Turing, Google đã xuất bản một hình tượng trưng cho thấy một chiếc máy. Những loại máy của doodle là gì? Nó có thể diễn đạt một ngôn ngữ Turing Complete không? Có sự khác biệt rõ ràng đối với máy turing cổ …

10 cc.complexity-theory  turing-machines 

Tính toán của máy Turing không phá hủy (NTM) nổi tiếng là có thể biểu diễn dưới dạng cây cấu hình, bắt nguồn từ cấu hình bắt đầu. Bất kỳ chuyển đổi trong chương trình được đại diện bởi một liên kết cha-con trong cây này. Các cây tương tự …

10 cc.complexity-theory  quantum-computing  randomness  derandomization  nondeterminism