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

Có những lời biện minh triết học thường được trích dẫn vì tin rằng P! = NP ngay cả khi không có bằng chứng. Các lớp phức tạp khác có bằng chứng cho thấy chúng là khác biệt, bởi vì nếu không, sẽ có những hậu quả "đáng ngạc nhiên" …

32 cc.complexity-theory  complexity-classes  gt.game-theory  conditional-results 

Để cho L={n:the nth binary digit of π is 1}L={n:the nth binary digit of π is 1}L = \{ n : \text{the }n^{th}\text{ binary digit of }\pi\text{ is }1 \} (trong đó được coi là được mã hóa dưới dạng nhị phân). Vậy thì chúng ta có thể nói gì …

31 cc.complexity-theory  na.numerical-analysis 

ST-Connectivity là vấn đề xác định xem có tồn tại một đường dẫn giữa hai đỉnh phân biệt và trong đồ thị có hướng . Liệu vấn đề này có thể được giải quyết trong logspace hay không, là một vấn đề mở từ lâu. Đây được gọi là vấn …

31 cc.complexity-theory  graph-theory  space-bounded  treewidth  logspace 

Có hàng tấn vấn đề NP-đầy đủ xung quanh và các nguồn thu thập chúng, ví dụ như xem cuốn sách của Garey và Johnson. Tôi cũng muốn thấy một danh sách các vấn đề hoàn chỉnh của NEXP. Có một cái có sẵn? Như tôi cho là không có, …

31 cc.complexity-theory  complexity-classes  big-list  nexp 

Tôi nghĩ rằng tôi sẽ chia sẻ câu hỏi này vì nó có thể thú vị cho những người dùng khác ở đây. Giả sử rằng một chức năng mà là trong một lớp học thống nhất (như ) cũng là trong một lớp học không đồng dạng nhỏ (như …

31 cc.complexity-theory  circuit-complexity  uniformity 

Tôi đã (và vẫn còn) thực sự quan tâm đến câu trả lời cho câu hỏi này, bởi vì đây là một biến thể thú vị về sự phức tạp của các trò chơi chưa được giải quyết, vì vậy tôi đã đưa ra một khoản tiền thưởng. Tôi nghĩ …

31 cc.complexity-theory  gt.game-theory  interactive-proofs 

Trong bài đăng của khách này bởi Josh Grochow tại weblog phức tạp, ông báo cáo về một hội thảo gần đây dành cho GCT được tổ chức tại Princeton vào tháng Bảy. Một số người tham dự tranh luận rằng chúng ta nên sử dụng GCT để tấn công …

31 cc.complexity-theory  gct 

Quyết định nếu một công thức boolean định lượng như ∀x1∃x2∀x3⋯∃xnφ(x1,x2,…,xn),∀x1∃x2∀x3⋯∃xnφ(x1,x2,…,xn),\forall x_1 \exists x_2 \forall x_3\cdots \exists x_n \varphi(x_1, x_2,\ldots , x_n), luôn luôn đánh giá đúng là một vấn đề hoàn chỉnh PSPACE cổ điển. Đây có thể được xem là một trò chơi giữa hai người chơi, với …

31 cc.complexity-theory  sat  gt.game-theory  pspace 

Xác định - S U B E X P là lớp các ngôn ngữ L như rằng có một ngôn ngữ L ' ∈ ∩ ε > 0 T I M E ( 2 n ε ) và vô số n , L và L ' đồng ý trên tất …

30 cc.complexity-theory  sat  oracles 

Hậu quả khó chịu của NP = PSPACE là gì? Tôi ngạc nhiên vì tôi không tìm thấy bất cứ điều gì về điều này, vì các lớp học này là một trong những lớp nổi tiếng nhất. Cụ thể, nó có gây hậu quả gì cho tầng lớp thấp …

30 cc.complexity-theory  complexity-classes  conditional-results 

Trích dẫn Wikipedia , "[Trò chơi cuộc sống của Conway] có sức mạnh của một cỗ máy Turing phổ dụng: nghĩa là, mọi thứ có thể được tính toán bằng thuật toán đều có thể được tính toán trong Trò chơi cuộc sống của Conway." Những kết quả như vậy …

30 cc.complexity-theory  pr.probability  cellular-automata  fault-tolerance 

Không giới hạn ràng buộc liên kết một hàm với một lớp ngôn ngữ C được chấp nhận bởi các máy Turing xác định giới hạn tài nguyên, để tạo thành một lớp g - C mới . Lớp này bao gồm những ngôn ngữ được chấp nhận bởi một …

30 cc.complexity-theory  graph-theory  graph-isomorphism  nondeterminism 

Tôi muốn tìm một thuật toán thời gian đa thức xác định xem khoảng của một ma trận đã cho có chứa ma trận hoán vị hay không. Nếu bất kỳ ai biết nếu vấn đề này thuộc một lớp phức tạp khác, thì điều đó cũng hữu ích. EDIT: …

30 cc.complexity-theory  linear-algebra  linear-programming  semidefinite-programming  polynomial-time 

Cho một số nguyên NNN có độ dài bit, việc tạo ra số lượng các thừa số nguyên tố (hoặc số yếu tố thay thế) của nào?NnnnNNN Nếu chúng ta biết hệ số nguyên tố của , thì điều này sẽ dễ dàng. Tuy nhiên, nếu chúng ta biết số …

30 cc.complexity-theory  counting-complexity  nt.number-theory  factoring 

Giả sử rằng P! = NP, tôi tin rằng đã có chứng minh rằng có những vấn đề không nằm trong P và không phải NP-Complete. Đồ thị đẳng cấu được phỏng đoán là một vấn đề như vậy. Có bằng chứng nào về nhiều 'lớp' như vậy trong NP …

30 cc.complexity-theory