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

Tôi sửa chữa một ngôn ngữ thông thường trên một bảng chữ cái , và tôi xem xét các vấn đề sau đây mà tôi gọi là kế hoạch lá thư cho . Một cách không chính thức, đầu vào cung cấp cho tôi chữ cái và một khoảng cho …

23 cc.complexity-theory  np-hardness  automata-theory  regular-language  scheduling 

Các Not All Equal -SAT vấn đề (NAE -SAT), cho một tập C điều khoản trên một tập X của các biến boolean như vậy mà mỗi khoản có chứa ít nhất k literals, hỏi liệu có tồn tại một nhiệm vụ thật của các biến như vậy mỗi mệnh …

23 cc.complexity-theory  reference-request  np-hardness  polynomial-time 

Phỏng đoán trò chơi độc đáo của Subhash Khot là một trong những lĩnh vực nghiên cứu tích cực trong lý thuyết phức tạp. Bằng chứng nào chúng ta có cho nó? Bằng chứng nào chúng ta có chống lại nó?

23 cc.complexity-theory  unique-games-conjecture 

Trong chủ đề này , bằng chứng đã cố gắng của Norbet Blum bị từ chối một cách ngắn gọn bằng cách lưu ý rằng hàm Tardos là một ví dụ cho Định lý 6.P≠NPP≠NPP \neq NP Định lý 6 : Đặt là bất kỳ hàm Boolean đơn điệu nào. …

22 cc.complexity-theory  np-hardness  complexity-classes 

Tiếp theo từ một câu hỏi trước đó , giới hạn không gian hiện tại tốt nhất cho SAT là gì? Với một không gian giới hạn thấp hơn ở đây tôi có nghĩa là số lượng ô làm việc được sử dụng bởi máy Turing sử dụng bảng chữ …

22 cc.complexity-theory  sat  lower-bounds  space-bounded  space-complexity 

Trong bài báo "TÍNH TOÁN CỦA VẤN ĐỀ SATISFIABILITY" của Thomas J. Schaefer, tác giả đã đề cập rằng This raises the intriguing possibility of computer-assisted NP-completeness proofs. Once the researcher has established the basic framework for simulating conjunctions of clauses, the relational complexity could be explored with the help …

22 cc.complexity-theory  reference-request  soft-question  reductions  proof-assistants 

Đây là một loại câu hỏi mở - mà tôi xin lỗi trước. Có ví dụ nào về các câu lệnh (dường như) không liên quan gì đến độ phức tạp hoặc máy Turing không nhưng câu trả lời trong đó có nghĩa là ?P≠NPP≠NP\mathbf{P}\neq \mathbf{NP}

22 cc.complexity-theory  complexity-classes  p-vs-np 

Tôi đã làm việc để giới thiệu một số kết quả từ sự phức tạp tính toán vào sinh học lý thuyết, đặc biệt là tiến hóa & sinh thái học , với mục tiêu là thú vị / hữu ích cho các nhà sinh học. Một trong những khó …

22 cc.complexity-theory  reference-request  big-picture  application-of-theory  worst-case 

Nhiều vấn đề đồ thị thuật toán có thể được giải quyết trong thời gian đa thức cả trên đồ thị không trọng số và trọng số. Một số ví dụ là đường đi ngắn nhất, cây bao trùm tối thiểu, đường dẫn dài nhất (trong biểu đồ chu kỳ …

22 cc.complexity-theory  graph-algorithms  np-hardness 

Trong thử nghiệm thuộc tính đồ thị, thuật toán truy vấn đồ thị đích cho sự hiện diện hay vắng mặt của các cạnh và cần xác định liệu mục tiêu có thuộc tính nhất định hay -far không có thuộc tính. (Một thuật toán có thể được yêu cầu …

22 cc.complexity-theory  machine-learning  query-complexity  property-testing 

Có nhiều kết quả không thể gần đúng dựa trên phỏng đoán trò chơi độc đáo. Ví dụ, Giả sử các phỏng đoán trò chơi độc đáo, NP-hard khó tính gần đúng vấn đề cắt tối đa trong một yếu tố R cho bất kỳ R > R GW không …

22 cc.complexity-theory  approximation-hardness  unique-games-conjecture 

Trong trò chơi phòng thủ tháp, bạn có lưới NxM với điểm bắt đầu, kết thúc và một số bức tường. Kẻ thù đi theo con đường ngắn nhất từ ​​đầu đến cuối mà không đi qua bất kỳ bức tường nào (chúng thường không bị ràng buộc với lưới …

22 cc.complexity-theory  ds.algorithms  graph-theory  graph-algorithms 

Trạng thái kiến ​​thức của chúng tôi về các mạch số học nói chung dường như tương tự như trạng thái hiểu biết của chúng tôi về các mạch Boolean, tức là chúng tôi không có giới hạn thấp. Mặt khác, chúng ta có giới hạn kích thước theo cấp …

22 cc.complexity-theory  circuit-complexity  boolean-functions  monotone  arithmetic-circuits 

Trong khi đọc câu trả lời của Peter Shor và một câu hỏi trước đó của Adam Crume, tôi nhận ra rằng tôi có một số hiểu lầm về ý nghĩa của nó là -hard.PP\mathsf{P} Một vấn đề là -hard nếu có bất kỳ vấn đề nào trong có thể …

22 cc.complexity-theory  complexity-classes 

Tôi đã tự hỏi những giấy tờ nào tôi nên đọc để hiểu câu hỏi này Một kết nối bất ngờ với các lĩnh vực khác của toán học như hình học đại số hoặc cohomology cao hơn. Có lẽ ngay cả một lĩnh vực toán học chưa được phát …

22 cc.complexity-theory  reference-request  gct  algebraic-topology