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

Chúng ta có biết một chuỗi vô tận các vấn đề quyết định trong đó thuật toán hiệu quả nhất cho mỗi vấn đề Θ(nk)Θ(nk)\Theta(n^k) thời gian, ở đâu kkk tăng không giới hạn? Ví dụ, giả sử rằng chúng ta sẽ biết rằng việc tìm kiếm một k-clique mất …

7 complexity-theory  decision-problem  polynomial-time 

Xem xét vấn đề lấy máy Turing đầu vào và xác định xem ô cuối cùng là hay sau khi dừng tính toán. Trong trường hợp nó viết một cái gì đó khác hoặc không dừng lại, bạn được phép đưa ra bất kỳ câu trả lời nào (nhưng bạn …

7 undecidability  decision-problem  halting-problem 

Cho hai hàm đệ quy nguyên thủy là có thể quyết định liệu chúng có phải là cùng một hàm không? Ví dụ, hãy lấy các thuật toán sắp xếp A và B là đệ quy nguyên thủy. Trong khi có nhiều thuật toán để sắp xếp, tất cả chúng …

7 computability  decision-problem  primitive-recursion 

Tôi xin lỗi nếu câu hỏi này đã được hỏi trước đó, nhưng tôi không thể tìm thấy một bản sao. Tôi vừa đọc xong The Annotated Turing và tôi hơi bối rối. Theo những gì tôi hiểu, Entscheidungspropet là liệu một thuật toán có tồn tại hay không có …

7 computability  turing-machines  logic  decision-problem  incompleteness 

Tôi không biết làm thế nào để nói một cách tao nhã, nhưng về cơ bản, tôi muốn thực hiện thuật toán tìm kiếm vũ phu, nhưng có nhiều cách khác nhau mà tôi có thể liệt kê trong không gian tìm kiếm. Điều này có thể là ngây thơ …

7 algorithms  search-algorithms  decision-problem  np  search-problem 

Vì vậy, người ta biết rằng PCP là không thể giải quyết được ngay cả khi chúng tôi sửa số lượng gạch thành n≥7n≥7n \geq 7. Tôi tự hỏi, có thể nói bất cứ điều gì tương tự khi có độ dài từ cố định không? Nói chính xác, đây …

7 computability  undecidability  decision-problem 

Đặt là công thức 3-CNF trên các biến . Mỗi biến , , xảy ra nhiều lần như một nghĩa đen và một nghĩa đen trong .ϕϕ\phix1,x2,…,xnx1,x2,…,xnx_1,x_2,\ldots,x_nxixix_ii∈[n]i∈[n]i \in [n]ϕϕ\phi Là NP-đầy đủ để quyết định sự thỏa mãn của một công thức như vậy? Giả sử nó là, tôi sẽ …

7 complexity-theory  np-complete  satisfiability  decision-problem 

Người ta biết rằng bất kỳ công thức CNF nào cũng có thể được chuyển đổi trong thời gian đa thức thành công thức 3-CNF bằng cách sử dụng các biến mới ( xem tại đây ). Nếu không sử dụng các biến mới, không phải lúc nào cũng có …

7 complexity-theory  satisfiability  decision-problem  complexity-classes 

Để tiếp tục bài đăng này , chúng ta hãy xác định vấn đề Đơn điệu -SAT:( + ,2-)(+,2-)(+, 2^-) Cho một công thức CNF đơn điệu , trong đó mỗi biến xuất hiện chính xác một lần (dưới dạng chữ dương) và công thức 2-CNF đơn điệu được xác …

7 complexity-theory  np-complete  decision-problem  complexity-classes 

Có bất kỳ vấn đề CS nào, tốt nhất là mở, có liên quan đến âm nhạc hoặc lý thuyết âm nhạc không? Tôi sẽ nghĩ về vấn đề với ký hiệu âm nhạc nhưng cũng có xác suất khi ngẫu nhiên theo thang âm hoặc âm hoặc nói chung …

7 probability-theory  decision-problem  probabilistic-algorithms 

Tôi đã thấy một số vấn đề là NP-hard nhưng có thể giải quyết đa thức theo chiều cố định. Tôi nghĩ, ví dụ, Knapsack là thời gian đa thức có thể giải được nếu số lượng vật phẩm là cố định và Lập trình tuyến tính Integer với số …

7 np-complete  optimization  decision-problem  linear-programming  parameterized-complexity