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

Tôi biết điều đó thật ngớ ngẩn, nhưng tôi đã tự làm mình bối rối và tôi cần sự giúp đỡ để giải quyết chuyện này Giả sử , sau đó rõ ràng cho mỗi oracle Một chúng tôi có P Một = N P A mà mâu thuẫn với …

11 complexity-theory  p-vs-np  oracle-machines 

Tôi đang tự hỏi điều này dựa trên một số nơi trực tuyến gọi co- N P là một vấn đề mở lớn ... nhưng tôi không thể tìm thấy bất kỳ dấu hiệu nào cho thấy vấn đề này có giống như vấn đề P = N P. ..NP=NP= …

11 complexity-theory  complexity-classes  p-vs-np 

Tôi đang cố gắng tranh luận rằng N không bằng NP bằng các định lý phân cấp. Đây là lý lẽ của tôi, nhưng khi tôi đưa nó cho giáo viên của chúng tôi và sau khi suy luận, anh ấy nói rằng đây là vấn đề mà tôi không …

10 complexity-theory  time-complexity  p-vs-np 

Nếu P = N PP=NP\mathbf{P} = \mathbf{NP} thì L = N LL= =NL\mathbf{L} = \mathbf{NL} ? Tôi đang đặt câu hỏi này bởi vì, đối với các lớp không xác định khác, có vẻ như P = N PP= =NP\mathbf{P} = \mathbf{NP} luôn xác định rằng chúng bằng với các …

10 complexity-theory  p-vs-np 

Gần đây tôi đã đọc một mục blog thực sự thú vị từ Google Research Blog nói về mạng lưới thần kinh. Về cơ bản họ sử dụng mạng lưới thần kinh này để giải quyết các vấn đề khác nhau như nhận dạng hình ảnh. Họ sử dụng các …

10 machine-learning  np  neural-networks  p-vs-np  genetic-algorithms 

Tôi thực sự muốn sự giúp đỡ của bạn với việc chứng minh những điều sau đây. Nếu thì . P = N PN T i m e ( n100) ⊆ D T i m e ( n1000)NTime(n100)⊆DTime(n1000)\mathrm{NTime}(n^{100}) \subseteq \mathrm{DTime}(n^{1000})P = N PP=NP\mathrm{P}=\mathrm{NP} Ở đây, là lớp của tất cả …

10 time-complexity  complexity-classes  p-vs-np 

Valiant & Vazirani đã chứng minh SAT có thể giảm xuống còn UNIQUE SAT dưới các mức giảm xác suất ngẫu nhiên trong thời gian đa thức. Calabro và cộng sự . cho thấy rằng UN -QUE k-SAT cũng khó như k-SAT. Bây giờ câu hỏi là, nếu ai đó …

9 complexity-theory  satisfiability  p-vs-np 

Tôi chắc chắn phải có điều gì đó sai với lý do sau bởi vì nếu không, rất nhiều nghiên cứu P so với NP sẽ bị giới hạn nhưng tôi không thể xác định lỗi của mình: Đối với bất kỳ cố định số nguyên xác định B k …

8 complexity-theory  np-complete  logic  p-vs-np 

Gần đây tôi đã nghĩ ra bằng chứng sau đây rằng L = P ngụ ý P = NP. Giả sử L = P. Đặt A là một vấn đề trong NP. Theo định nghĩa của trình xác minh NP, mỗi giải pháp dương cho A có một nhân chứng …

8 complexity-theory  p-vs-np 

Câu hỏi của tôi là như sau. Giả sử rằng là một vấn đề khó NP. Với một thể tùy ý của và cho rằng một kẻ thù biết rằng trường hợp này rất dễ dàng để giải quyết, là nó có thể tìm thấy một thuật toán thời gian …

8 complexity-theory  np-complete  np-hard  np  p-vs-np 

Tôi muốn giúp đỡ của bạn với minh rằng ngôn ngữ là decidable iff P = N P .L = { ⟨ M⟩ | L ( M) ∈ N P ∖ P }L= ={⟨M⟩|L(M)∈NP∖P}L=\{\langle M \rangle \mathrel| L(M) \in \mathrm{NP}\smallsetminus \mathrm{P} \}P = N PP= =NP\mathrm{P}=\mathrm{NP} Nếu , tôi hiểu …

8 computability  undecidability  p-vs-np 

Có thể tôi đang thiếu một cái gì đó rõ ràng, nhưng nó có thể là P = co-NP NP hay ngược lại? Cảm giác của tôi là phải có một số định lý loại trừ khả năng này.⊊⊊\subsetneq

8 complexity-theory  p-vs-np 

Trong trang Wikipedia về bài toán P so với NP, có một thuật toán "giải quyết" SUBSET-SUM trong trường hợp P = NP trong thời gian đa thức. (Ý tưởng của bạn là tìm một TM cung cấp chứng chỉ). Nhưng nó cho "có" trong thời gian đa thức và …

7 complexity-theory  np-complete  np  p-vs-np 

Concorde TSP là một người giải quyết cho TSP. Người giải SAT là người giải quyết sự thỏa mãn của boolean. TSP và SAT hoàn thành NP. Do đó, tại sao lại dành thời gian để phát triển TSP của Concorde khi có rất nhiều người giải SAT trên thị …

7 np-complete  satisfiability  p-vs-np  traveling-salesman  sat-solvers 

Trong cuốn sách Chiếc vé vàng của Lance Fortnow , ông đã đề cập rằng một khi bạn có thuật toán thời gian đa thức cho bài toán hoàn thành NP, bạn có thể sử dụng nó để tìm thuật toán nhanh hơn. Bạn có thể cho tôi biết làm …

7 algorithms  np-complete  p-vs-np  sat-solvers