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

Hàm là một chiều nếu có thể được tính bằng thuật toán thời gian đa thức, nhưng với mọi thuật toán thời gian đa thức ngẫu nhiên , f Mộtf: { 0 , 1 }*→ { 0 , 1 }*f:{0,1}∗→{0,1}∗f \colon \{0, 1\}^* \to \{0, 1\}^*fffMộtAA Pr [ f( A …

16 cc.complexity-theory  cr.crypto-security  one-way-function 

Tôi đã nghĩ về một biến thể của hex , trong đó thay vì hai người chơi thực hiện các bước di chuyển xen kẽ, mỗi lượt một người chơi được chọn ngẫu nhiên sẽ di chuyển. Làm thế nào là khó khăn để xác định cơ hội cho mỗi …

16 cc.complexity-theory  board-games 

Nisan đã chứng minh trong "Psuedorandom Generators for Space-Bounded Computing", rằng tồn tại một trình tạo giả ngẫu nhiên "đánh lừa" các tính toán giới hạn không gian. Công trình này có đúng với mọi lời tiên tri (ít nhất là đối với các truy vấn không thích ứng) không?

16 cc.complexity-theory  space-bounded  derandomization 

Giả sử chúng ta được cung cấp một n bởi ma trận n, M, với các mục nguyên. Chúng ta có thể quyết định trong P cho dù có là một hoán vị như vậy mà cho tất cả các hoán vị π ≠ σ chúng tôi có Π M …

16 cc.complexity-theory  ds.algorithms  matrices  matching  permanent 

Các điểm -Cố vấn đề automorphism miễn phí yêu cầu một đồ thị automorphism mà di chuyển ít nhất nút. Vấn đề là -complete nếu với mọi > 0.k ( n ) N P k ( n ) = n c ckkkk ( n )k(n)k(n)NPNPNPk ( n ) = nck(n)=nck(n)=n^cccc …

16 cc.complexity-theory  graph-isomorphism  automorphism  symmetry 

Một lỗ hổng mà tôi luôn nhận thức được rằng tôi không thực sự hiểu là giữa độ phức tạp tính toán không đồng nhất và đồng nhất trong đó độ phức tạp mạch đại diện cho phiên bản không đồng nhất và máy Turing là những thứ đồng nhất. …

16 cc.complexity-theory  circuit-complexity 

Bối cảnh : Trong bài báo UGC gốc của Subhash Khot ( PDF ), ông đã chứng minh độ cứng của UG khi quyết định liệu một trường hợp CSP nhất định có ràng buộc tất cả các dạng Không bằng nhau (a, b, c) trên bảng chữ cái tạm …

16 cc.complexity-theory  approximation-hardness  unique-games-conjecture  csp 

Bức tranh nổi tiếng về thế giới của Neil Immerman là như sau (bấm vào để phóng to): Lớp "Thực sự khả thi" của anh không bao gồm lớp nào khác; Câu hỏi của tôi là: Vấn đề AC 0 được coi là không thực tế là gì và tại …

16 cc.complexity-theory  circuit-complexity 

LogCFL là tập hợp tất cả các ngôn ngữ có thể thu nhỏ logspace thành ngôn ngữ không ngữ cảnh. Tương tự, LogDCFL là tập hợp tất cả các ngôn ngữ có thể rút ngắn logspace thành ngôn ngữ không có ngữ cảnh xác định. Xem bài viết trên wikipedia …

16 cc.complexity-theory  complexity-classes 

Tôi nên đọc gì để hiểu vấn đề này? Sức mạnh của các mạch lượng tử độ sâu nhỏ. Là ? Nói cách khác, phần "lượng tử" của bất kỳ thuật toán lượng tử nào có thể được nén thành độ sâu polylog (n), miễn là chúng ta sẵn sàng …

16 cc.complexity-theory  reference-request  quantum-computing 

Đồ thị đẳng cấu ( ) là ứng cử viên tốt cho bài toán inter Ngay. vấn đề liên quan đến tồn tại trừ khi . Tôi đang tìm kiếm vấn đề tự nhiên khó trong việc giảm Karp (Một vấn đề đồ thị sao cho ).GIGIGINPNPNPNPNPNPP=NPP=NPP=NPGIGIGIXXXGI&lt;mpXGI&lt;pmXGI <_p^m X Có …

15 cc.complexity-theory  graph-theory  graph-isomorphism  np-intermediate 

Đã có một công việc tuyệt vời được thực hiện trên Vĩnh viễn diễn ra trong hai thập kỷ qua. Tôi đã tự hỏi một thời gian về khả năng thuật toán Smooth P cho Ma trận vĩnh viễn không ma trận. Tất nhiên có thuật toán JSV nổi tiếng …

15 cc.complexity-theory  complexity-classes 

Tôi đã hy vọng rằng ai đó có thể giải thích cho tôi tại sao chính xác vấn đề sản phẩm tập hợp con là NP-hard trong khi vấn đề tổng tập hợp con là NP-hard yếu. Tập hợp con Sum: Với và , không có tồn tại một tập …

15 cc.complexity-theory  np-hardness  reductions  subset-sum 

Được biết, việc giảm thiểu kích thước của biểu thức chính quy là hoàn thành PSPACE ngay cả khi chúng ta có DFA làm thông số kỹ thuật của ngôn ngữ . Kết quả là gì nếu ngôn ngữ là hữu hạn? Người ta có thể xem xét vấn đề …

15 cc.complexity-theory  reference-request  fl.formal-languages  regular-expressions  dfa 

Tôi thường quan tâm đến phương pháp cưỡng bức được sử dụng bởi Baker-Gill-Solovay và Cohen. Tôi đang tìm kiếm nhiều nguồn mà tôi có thể có được trong tay về kỹ thuật hoặc việc sử dụng nó. Có ai có đề nghị?

15 cc.complexity-theory  set-theory