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

Norbert Blum gần đây đã đăng một bằng chứng dài 38 trang rằng . Nó có đúng không?P≠NPP≠NPP \ne NP Ngoài ra về chủ đề: nơi nào khác (trên internet) là tính chính xác của nó đang được thảo luận? Lưu ý: trọng tâm của văn bản câu hỏi này …

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

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 

Hiện tại, việc giải quyết vấn đề -complete hoặc P S P A C E -complete là không khả thi trong trường hợp chung cho các đầu vào lớn. Tuy nhiên, cả hai đều có thể giải được trong thời gian theo cấp số nhân và không gian đa thức.NPNPNPPSPACEPSPACEPSPACE …

66 cc.complexity-theory  np-hardness  big-picture 

Tôi đang tìm kiếm các ví dụ về các vấn đề được tham số hóa bởi một số , trong đó độ cứng của vấn đề là không đơn điệu trong . Hầu hết các sự cố (theo kinh nghiệm của tôi) có chuyển đổi một pha, ví dụ k …

60 cc.complexity-theory  np-hardness  big-list  phase-transition 

Tôi đã đi qua thuật toán đa thức giải quyết 2SAT. Tôi đã nhận thấy rằng 2SAT nằm trong P trong đó tất cả (hoặc nhiều người khác) trong các trường hợp SAT là NP-Complete. Điều gì làm cho vấn đề này khác nhau? Điều gì làm cho nó dễ …

55 cc.complexity-theory  np-hardness  big-picture  polynomial-time 

Một số vấn đề tối ưu hóa được gọi là NP-hard trên các đồ thị chung có thể giải quyết được một cách tầm thường trong thời gian đa thức (một số ngay cả trong thời gian tuyến tính) khi biểu đồ đầu vào là một cây. Các ví dụ …

47 cc.complexity-theory  np-hardness  tree 

Cuốn sách của Arora và Barak trình bày bao thanh toán là vấn đề sau: FACTORING={⟨L,U,N⟩|(∃ a prime p∈{L,…,U})[p|N]}FACTORING={⟨L,U,N⟩|(∃ a prime p∈{L,…,U})[p|N]}\text{FACTORING} = \{\langle L, U, N \rangle \;|\; (\exists \text{ a prime } p \in \{L, \ldots, U\})[p | N]\} Họ nói thêm, trong Chương 2, việc loại bỏ …

45 cc.complexity-theory  np-hardness  factoring 

Tôi đang nghĩ đến vấn đề sau: Tôi muốn tìm một biểu thức chính quy khớp với một chuỗi các chuỗi cụ thể (ví dụ: địa chỉ email hợp lệ) và không khớp với các biểu thức khác (địa chỉ email không hợp lệ). Giả sử bằng biểu thức chính …

42 np-hardness  fl.formal-languages  lg.learning  regular-expressions 

Đây là một bài đăng chéo từ math.stackexchange. Hãy FACT biểu thị vấn đề nguyên bao thanh toán: cho tìm số nguyên tố và số nguyên màn∈N,n∈N,n \in \mathbb{N},pi∈N,pi∈N,p_i \in \mathbb{N},ei∈N,ei∈N,e_i \in \mathbb{N},n=∏ki=0peii.n=∏i=0kpiei.n = \prod_{i=0}^{k} p_{i}^{e_i}. Gọi RSA là trường hợp đặc biệt của vấn đề bao thanh toán trong …

39 cc.complexity-theory  reference-request  np-hardness  cr.crypto-security  factoring 

Tại sao hầu hết mọi người thích sử dụng nhiều mức giảm một để xác định mức độ hoàn thiện NP thay vì, ví dụ, giảm Turing?

39 cc.complexity-theory  np-hardness  reductions 

Hãy xem xét khái quát hóa rõ ràng của khối Rubik . Có phải NP-khó tính toán chuỗi di chuyển ngắn nhất để giải một khối được xáo trộn nhất định, hay có một thuật toán đa thức thời gian?n×n×nn×n×nn\times n\times n [Một số kết quả liên quan được mô …

38 cc.complexity-theory  co.combinatorics  np-hardness  open-problem  puzzles 

Đư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 

Mark Dominus đã thu thập một vài ví dụ về việc giảm thời gian đa thức từ các vấn đề NP-hard khác nhau sang biểu thức chính quy phù hợp . Hình dung xác minh thời gian đa thức không phải là một bước nhảy vọt. Làm thế nào để …

34 np-hardness  big-list 

Tôi có một câu hỏi lịch sử. Tôi đang cố gắng xác định tham chiếu cho thực tế là 3 độ màu của đồ thị (cách khác, độ biến màu cho ) là NP-hard.kkkk ≥ 3k≥3k\geq 3 Câu trả lời hấp dẫn là bản gốc giấy của Kar Karp, nhưng …

33 np-hardness  ho.history-overview 

Bất kỳ số tự nhiên nào cũng có thể được coi là một chuỗi bit, do đó, việc nhập số tự nhiên cũng giống như nhập chuỗi 0-1, do đó, các vấn đề hoàn chỉnh NP với đầu vào tự nhiên rõ ràng tồn tại. Nhưng có bất kỳ vấn …

30 cc.complexity-theory  np-hardness  nt.number-theory  combinatorial-game-theory