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

Bao thanh toán và đẳng cấu đồ thị là những vấn đề trong NP không được biết đến trong P cũng không phải là NP-Complete. Một số vấn đề tự nhiên khác (đủ khác nhau) chia sẻ tài sản này là gì? Các ví dụ nhân tạo đến trực tiếp …

128 cc.complexity-theory  np-hardness  big-list  np-intermediate 

Định lý của Ladner nói rằng nếu P ≠ NP, thì có một hệ thống phân cấp vô hạn của các lớp phức tạp chứa đúng P và được chứa trong NP. Bằng chứng sử dụng tính đầy đủ của SAT theo NP giảm nhiều. Hệ thống phân cấp chứa …

45 cc.complexity-theory  reference-request  np-intermediate 

Đưa ra một vấn đề mới trong có độ phức tạp thực sự nằm ở đâu đó giữa và hoàn thành NP, có hai phương pháp mà tôi biết có thể được sử dụng để chứng minh rằng việc giải quyết vấn đề này là khó khăn:PN PNP\mathsf{NP}PP\mathsf{P} Cho thấy …

36 cc.complexity-theory  np-hardness  graph-isomorphism  np-intermediate 

N P ⊈ P / poly P H = Σ 2 P ≠ N P N P I : = N P ∖ ( N P C ∪ P ) ≠ ∅ P / poly N P I ⊂ P / poly N P ⊂ N P C ∪ P …

29 cc.complexity-theory  complexity-classes  advice-and-nonuniformity  p-vs-np  np-intermediate 

Định lý của Ladner được biết đến là nếu , thì tồn tại vô số vấn đề -inter liền ( ). Ngoài ra còn có các ứng cử viên tự nhiên cho trạng thái này, chẳng hạn như Đồng phân đồ thị và một số người khác, xem Vấn đề …

29 cc.complexity-theory  p-vs-np  np-intermediate 

Peter Shor đã chỉ ra rằng hai trong số các vấn đề trung gian NP quan trọng nhất, bao thanh toán và vấn đề nhật ký rời rạc, nằm trong BQP. Ngược lại, thuật toán lượng tử được biết đến nhiều nhất cho SAT (tìm kiếm của Grover) chỉ mang …

27 cc.complexity-theory  quantum-computing  np  np-intermediate 

László Babai gần đây đã chứng minh rằng vấn đề Đồng phân đồ thị là trong thời gian quasipolynomial . Xem thêm bài nói chuyện của anh ấy tại Đại học Chicago, ghi chú từ các cuộc nói chuyện của Jeremy Kun GLL bài 1 , GLL bài 2 , …

21 cc.complexity-theory  complexity-classes  np-complete  polynomial-time  np-intermediate 

Giả sử rằng . là lớp các vấn đề trong không có trong cũng như trong -hard. Bạn có thể tìm thấy một danh sách các vấn đề được phỏng đoán là tại đây .P≠NPP≠NP\mathsf{P} \neq \mathsf{NP}NPINPTôi\mathsf{NPI}NPNP\mathsf{NP}PP\mathsf{P}NPNP\mathsf{NP}NPINPTôi\mathsf{NPI} Định lý của Ladner cho chúng ta biết rằng nếu thì có một …

16 cc.complexity-theory  np-hardness  np-intermediate 

Đồ thị đẳng cấu ( ) là ứng cử viên tốt cho bài toán inter Ngay. vấn đề liên quan đến tồn tại trừ khi . Tôi đang tìm kiếm vấn đề tự nhiên khó trong việc giảm Karp (Một vấn đề đồ thị sao cho ).GIGIGINPNPNPNPNPNPP=NPP=NPP=NPGIGIGIXXXGI&lt;mpXGI&lt;pmXGI <_p^m X Có …

15 cc.complexity-theory  graph-theory  graph-isomorphism  np-intermediate 

Chúng ta có thể chứng minh rằng cho mọi ngôn ngữ đó không phải là N P -Hard (điều này giả định P ≠ N P ), P L ≠ P SAT ? Thay phiên, điều này có thể được chứng minh theo bất kỳ giả định hợp lý?L ∈ …

12 cc.complexity-theory  complexity-classes  np-intermediate 

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 

Tôi đang cố gắng hiểu lớp phức tạp nào mà vấn đề sau thuộc về: Vấn đề gốc đa thức lũy thừa (EPRP) Hãy là một đa thức với DEG ( p ) ≥ 0 với các hệ số rút ra từ một trường hữu hạn G F ( q …

12 cc.complexity-theory  reference-request  comp-number-theory  np-intermediate 

Làm thế nào để một người nhìn vào một vấn đề và lý do rằng nó có khả năng là NP-Trung gian trái ngược với NP-Complete? Việc xem xét một vấn đề thường khá đơn giản và cho biết đó có phải là NP-Complete hay không nhưng đối với tôi, …

11 cc.complexity-theory  complexity-classes  np-intermediate 

Có một số vấn đề NP-Complete ( , , v.v.) được biết là có trong . Những gì về không gian tuyến tính phụ?S A TSAT \mathsf{SAT} S U B S E T S U MSBạnBSETSBạnM \mathsf{SUBSETSUM} D S P A C E ( n )DSPMộtCE(n) \mathsf{DSPACE(n)} Có bất kỳ …

9 cc.complexity-theory  np-hardness  nondeterminism  np-intermediate