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

Chúng tôi có nhiều vấn đề, như nhân tố hóa, được phỏng đoán mạnh mẽ, nhưng không được chứng minh, nằm ngoài P. Có câu hỏi nào với thuộc tính ngược lại, cụ thể là chúng được phỏng đoán mạnh mẽ nhưng không được chứng minh là nằm trong P …

12 complexity-theory  polynomial-time 

Tôi đang gặp khó khăn trong việc xoay quanh các vấn đề PRIME, COMPOSITE, FACTOR và chúng liên quan đến mức độ phức tạp như thế nào. Tôi hiểu rằng PRIME đã được chứng minh là trong bài kiểm tra tính nguyên thủy của AKS và tôi tin rằng điều …

12 complexity-theory  factoring 

Tôi biết rằng đây có vẻ là một câu hỏi rất ngu ngốc (hoặc quá rõ ràng để nêu). Tuy nhiên, tôi bối rối ở một số điểm. Chúng ta có thể chỉ ra rằng P NP=== khi và chỉ khi chúng ta có thể thiết kế một thuật toán …

12 complexity-theory  p-vs-np 

Tôi vừa đọc một số trang trong cuốn sách của Sipser Giới thiệu về Lý thuyết tính toán về vấn đề tương ứng bài, và tôi nghĩ rằng PCP thực sự nằm trong NP. Các cơ quan chứng nhận là: cho một cấu hình đầu vào cọc concatenating t 1 …

12 complexity-theory  decision-problem  np 

Tôi tò mò về việc liệu có bất kỳ vấn đề hoàn chỉnh nào trong lớp phức tạp Arthur-Merlin không. Đồ thị không đẳng cấu (GNI) dường như là ví dụ điển hình cho một vấn đề trong AM, nhưng có lẽ nó không phải là một vấn đề hoàn …

12 complexity-theory  reductions  complexity-classes  interactive-proof-systems 

Tôi đã thấy XOR-3-SAT có thể giải quyết một cách hiệu quả như thế nào (ví dụ, xem phần "Mức độ thỏa mãn XOR" trong mục Wikipedia về vấn đề thỏa mãn Boolean ). Tôi đang tự hỏi một câu hỏi cơ bản: XOR-k-SAT có thể giải quyết một cách …

12 complexity-theory  satisfiability 

Khi đọc một số blog về độ phức tạp tính toán (ví dụ ở đây ), tôi đã đồng hóa khái niệm rằng việc quyết định nếu hai nhóm là đẳng cấu thì dễ hơn so với kiểm tra hai biểu đồ cho đẳng cấu. Ví dụ, trên trang đã …

12 complexity-theory  graph-isomorphism  group-theory 

CoNP-đầy đủ có nghĩa là độ cứng NP? Cụ thể, tôi có một vấn đề mà tôi đã chứng minh là hoàn thành coNP. Tôi có thể khẳng định rằng đó là NP-hard không? Tôi nhận ra rằng tôi có thể yêu cầu độ cứng coNP, nhưng tôi không chắc …

12 complexity-theory  np-hard 

Tôi đang cố gắng giải quyết vấn đề này và tôi thực sự đang vật lộn. Một công thức boolean đơn điệu là một công thức trong logic mệnh đề trong đó tất cả các nghĩa đen là tích cực. Ví dụ, (x1∨x2)∧(x1∨x3)∧(x3∨x4∨x5)(x1∨x2)∧(x1∨x3)∧(x3∨x4∨x5)\qquad (x_1 \lor x_2) \land (x_1 \lor x_3) …

12 complexity-theory  np-complete  satisfiability 

Liệu khó khăn của một vấn đề NP-hard hoặc NP-Complete mạnh mẽ (như được xác định ở đây ) có thay đổi khi đầu vào của nó là đơn nhất thay vì được mã hóa nhị phân không? Có gì khác biệt nếu đầu vào của một vấn đề NP-hard …

12 complexity-theory  time-complexity  np-complete 

Tôi có "bằng chứng" rất đơn giản này cho NP = CoNP và tôi nghĩ rằng tôi đã làm sai điều gì đó ở đâu đó, nhưng tôi không thể tìm thấy điều gì sai. Ai đó có thể giúp tôi không? Đặt A là một số vấn đề trong …

12 complexity-theory  p-vs-np  check-my-proof  np 

Dưới đây, giả sử chúng tôi đang làm việc với một máy Turing băng vô hạn. Khi giải thích khái niệm về độ phức tạp thời gian cho ai đó và lý do tại sao nó được đo tương đối với kích thước đầu vào của một thể hiện, tôi …

12 complexity-theory  time-complexity  intuition 

Định nghĩa: Giảm Karp Một ngôn ngữ MộtAA là Karp rút gọn về một ngôn ngữ BBB nếu có một thời gian đa thức chức năng tính toán f : { 0 , 1 } * → { 0 , 1 } *f:{0,1}∗→{0,1}∗f:\{0,1\}^*\rightarrow\{0,1\}^* như vậy mà cho mỗi xxx , …

12 complexity-theory  reductions  check-my-proof 

Một câu hỏi đã được hỏi tại Stack Overflow ( tại đây ): Đưa ra một số nguyên NNN , in ra tất cả các kết hợp có thể của giá trị nguyên A,B,CA,B,CA,B,C và DDD mà giải quyết phương trình A2+B2+C2+D2=NA2+B2+C2+D2=NA^2+B^2+C^2+D^2 = N . Câu hỏi này tất nhiên …

12 complexity-theory  time-complexity  number-theory  enumeration 

Gì lớp phức tạp nghĩa là gì? Tôi biết rằng ⊕ P là lớp phức tạp chứa các ngôn ngữ A có máy Turing không thời gian đa thức M sao cho x ∈ A iff số lượng trạng thái chấp nhận của máy M trên đầu vào x là …

12 complexity-theory  terminology  complexity-classes