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

Parity-P là tập hợp các ngôn ngữ được công nhận bởi máy Turing không xác định, chỉ có thể phân biệt giữa số chẵn hoặc số lẻ của các đường dẫn "chấp nhận" (chứ không phải là số đường dẫn chấp nhận bằng 0 hoặc không bằng 0). Do đó, …

18 cc.complexity-theory  complexity-classes  np 

Một mạng chuyển đổi (tên được phát minh) được tạo với ba loại nút: một nút Bắt đầu một nút kết thúc một hoặc nhiều nút chuyển đổi Nút chuyển đổi có 3 lối thoát: Trái, Lên, Phải; có hai trạng thái L và R và trạng thái đích TL …

17 ds.algorithms  reference-request  graph-algorithms  np 

Hãy 0≤p≤10≤p≤10\le p\le 1 và xem xét các vấn đề quyết định Bè lũ p Input: số nguyên s , đồ thị G với t đỉnh và cạnh Câu hỏi: không chứa một bè lũ trên ít nhất đỉnh?pp_p sssGGGttts⌈p(t2)⌉⌈p(t2)⌉\lceil p\binom{t}{2} \rceil GGGsss Một thể hiện của CLIQUE chứa tỷ …

17 cc.complexity-theory  np  parameterized-complexity  clique 

Tôi đọc rằng lập trình tuyến tính số nguyên có thể giải được trong thời gian đa thức nếu số của các biến được cố định, tức là . Nếu số lượng biến tăng theo logarit, tức là cho một đầu vào có kích thước , thì vấn đề vẫn …

16 cc.complexity-theory  np  open-problem 

Từ quan điểm toán học / lý luận tính toán hoàn toàn trừu tượng, người ta thậm chí có thể khám phá hoặc suy luận về các vấn đề như 3-SAT, Subset Sum, Nhân viên bán hàng du lịch, v.v.? Chúng ta thậm chí có thể suy luận về chúng …

15 soft-question  lambda-calculus  turing-machines  functional-programming  np 

FewP là lớp của các biểu tượng N PNPNP với đa thức ràng buộc vào số lượng giải pháp (ở kích thước đầu vào). Không có tiếng N PNPNP vấn đề -complete trong f e w PfewPfewP . Tôi quan tâm đến việc chúng ta có thể kéo dài sự …

15 cc.complexity-theory  np 

Có tồn tại , một ngôn ngữ hoàn chỉnh NP hoặc P có một số nhóm đối xứng (hoặc groupoid , nhưng sau đó các câu hỏi thuật toán trở nên cởi mở hơn) hoạt động (trong thời gian đa thức) trên các tập sao cho có ít quỹ đạo, …

14 np  algebra  gr.group-theory  complexity  symmetry 

Nó được đề cập trong một bình luận trong một bài đăng khác của cstheorySE rằng tính đầy đủ của PSPACE ngụ ý độ cứng APX. Bất cứ ai có thể vui lòng giải thích / chia sẻ một tài liệu tham khảo cho nó? Đây có phải là "chặt …

14 cc.complexity-theory  approximation-algorithms  approximation-hardness  np  pspace 

Định lý của Rice nói rằng mọi thuộc tính không cần thiết của tập hợp được công nhận bởi một số máy Turing là không thể xác định được. Tôi đang tìm kiếm định lý loại gạo phức tạp - lý thuyết cho chúng ta biết các tính chất không …

14 cc.complexity-theory  computability  np 

Đây là vấn đề: Chúng ta có một hình vuông với một số số từ 1..N trong một số ô. Nó là cần thiết để xác định nếu nó có thể được hoàn thành đến một quảng trường ma thuật. Ví dụ: 2 _ 6 2 7 6 _ 5 …

13 cc.complexity-theory  np-hardness  np  puzzles 

Câu hỏi xảy ra với tôi khi tôi nhận được câu trả lời của Dana Moshkovitz cho một chủ đề khác . Đặt là Ngôn ngữ NP và đặt là quan hệ NP tương ứng . Chúng ta biết rằng tồn tại một số đa thức sao cho:LLLRLRLR_Lppp ∀x∈L,,∃w∈0,1p(|x|)(x,w)∈RL∀x∈L,,∃w∈0,1p(|x|)(x,w)∈RL\forall x …

13 cc.complexity-theory  np 

Trong bài giảng này ghi chú của Ola Svensson: http://theory.epfl.ch/osven/cifts/Approx13/Notes/lecture4-5.pdf , người ta nói rằng chúng ta không biết liệu ESPidean TSP có ở NP không: Lý do là chúng ta không biết cách tính căn bậc hai một cách hiệu quả. Mặt khác, có bài viết này của Papadimitriou: …

12 np  tsp  computing-over-reals 

Có những vấn đề NP hoàn chỉnh (hoặc thậm chí NP-hard, hoặc NP) có đặc tính tôpô tốt để nghiên cứu. Các vấn đề NP có công thức lý thuyết nút? Chúng tôi biết về kết quả # về đa thức Jones. Các vấn đề về đồ thị (nhúng?), Cụ …

12 ct.category-theory  np 

Một thuộc tính đồ thị được gọi là di truyền nếu nó đóng đối với việc xóa các đỉnh (nghĩa là tất cả các sơ đồ con cảm ứng đều kế thừa thuộc tính). Một thuộc tính đồ thị được gọi là phụ gia nếu nó được đóng đối với …

12 cc.complexity-theory  graph-theory  graph-algorithms  np 

Giả sử P NP.≠≠\ne Định lý của Ladner nói rằng có các vấn đề trung gian NP (các vấn đề trong NP không thuộc P cũng như NP-Complete). Tôi đã tìm thấy một số tài liệu tham khảo che giấu trực tuyến gợi ý (tôi nghĩ) rằng có nhiều "cấp …

12 cc.complexity-theory  np  np-intermediate