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

Được biết, nó đã hoàn thành NP để kiểm tra xem chu trình Hamilton có tồn tại trong đồ thị 3 thông thường hay không, ngay cả khi đó là mặt phẳng (Garey, Johnson và Tarjan, SIAM J. Comput. 1976) hoặc bipartite (Akiyama, Nishizeki, và Saito, J. Thông báo. Proc. …

24 graph-theory  np-hardness  hamiltonian-paths 

Có bất kỳ vấn đề NP-đầy đủ nào mà thuật toán được biết rằng thời gian chạy dự kiến ​​là đa thức (đối với một số phân phối hợp lý qua các trường hợp) không? Nếu không, có những vấn đề mà sự tồn tại của một thuật toán như …

24 cc.complexity-theory  np-hardness 

Đối với hằng số , người ta có thể xác định theo thời gian tuyến tính, được đưa ra một đồ thị đầu vào G , cho dù treewidth của nó là ≤ k . Tuy nhiên, khi cả k và G được đưa ra làm đầu vào, vấn đề …

23 reference-request  graph-theory  np-hardness  open-problem  treewidth 

Rõ ràng có sự giảm từ CLIQUE sang k-Color vì cả hai đều là NP-Complete. Trên thực tế, tôi có thể xây dựng một cái bằng cách kết hợp giảm từ CLIQUE xuống 3-SAT với mức giảm từ 3-SAT xuống k-Color. Điều tôi băn khoăn là liệu có sự giảm …

23 cc.complexity-theory  graph-theory  np-hardness  reductions 

Được biết, chu trình Hamilton (Ham viết tắt) là NP-Complete và Planar Ham Chu kỳ là NP-Complete. Bằng chứng cho Planar Ham Chu kỳ không phải từ Ham Chu kỳ. Có một tiện ích đẹp nào đó, được đưa ra một biểu đồ G, thay thế tất cả các giao …

23 cc.complexity-theory  np-hardness  planar-graphs  hamiltonian-paths 

Câu hỏi này liên quan đến câu trả lời tôi đã đăng để trả lời câu hỏi khác. Vấn đề 3 phân vùng là vấn đề sau: Trường hợp : Số nguyên dương a 1 , Số, a n , trong đó n = 3 và tổng của số nguyên …

23 cc.complexity-theory  np-hardness 

Tôi quan tâm đến vấn đề đóng gói các bản sao giống hệt của hình chữ nhật (2 chiều) thành một đa giác lồi (2 chiều) mà không trùng nhau. Trong vấn đề của tôi, bạn không được phép xoay hình chữ nhật và có thể giả sử rằng chúng …

23 reference-request  np-hardness  cg.comp-geom  optimization  packing 

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 

Đặt các biến là . Khoảng cách giữa hai biến được định nghĩa là. Khoảng cách giữa hai chữ là khoảng cách giữa hai biến tương ứng.x1,x2,x3...xnx1,x2,x3...xnx_1 , x_2 , x_3 ... x_nd(xa,xb)=|a−b|d(xa,xb)=|a−b|d(x_a , x_b) = |a-b| Giả sử tôi có một ví dụ 3-SAT sao cho với mọi mệnh …

22 np-hardness  sat 

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 

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 

Đồ thị hình khối là đồ thị trong đó mọi đỉnh đều có độ 3. Chúng đã được nghiên cứu rộng rãi và tôi biết rằng một số vấn đề NP-hard vẫn là NP-hard thậm chí bị giới hạn trong các lớp con của đồ thị khối, nhưng một số …

22 graph-theory  graph-algorithms  np-hardness 

Tôi đang xem xét các lớp biểu đồ có thể được đặc trưng bởi các đồ thị con bị cấm. Nếu một lớp đồ thị có một tập hợp hữu hạn các đồ thị con bị cấm, thì có một thuật toán nhận dạng thời gian đa thức tầm thường …

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

Nếu một vấn đề là NP-hard (sử dụng giảm thời gian đa thức), thì điều đó có nghĩa rằng đó là P-hard (sử dụng không gian log hoặc giảm NC)? Có vẻ trực quan rằng nếu nó khó như bất kỳ vấn đề nào trong NP thì nó cũng khó …

22 cc.complexity-theory  np-hardness