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

Có cách nào dễ dàng để biết tại sao NP lại ở EXPTIME không? Dường như với tôi một tiên nghiệm có thể hiểu rằng có thể có một vấn đề đòi hỏi thời gian siêu cấp số nhân để giải quyết, nhưng giải pháp của ai có thể được …

11 complexity-theory  complexity-classes 

Đặt là một số vấn đề đếm được biết là # -Complete .ΠΠ\PiPPP Có phải nó ngụ ý rằng là -hard (tức là không có PTAS cho vấn đề tồn tại trừ khi )?ΠΠ\PiAPXAPXAPXP=NPP=NPP=NP

11 complexity-theory  complexity-classes  approximation  counting 

Vấn đề quyết định Đưa ra một công thức Boolean , có chính xác một nhiệm vụ thỏa mãn không?ϕϕ\phiϕϕ\phi có thể được nhìn thấy ở , và -hard. Có bất cứ điều gì được biết nhiều hơn về sự phức tạp của nó?Δ2Δ2\Delta_2UPUP\mathsf{UP}coNPcoNP\mathsf{coNP}

11 complexity-theory  complexity-classes  satisfiability 

Mọi người đều biết "Garey & Johnson", đây là tài liệu tham khảo của tôi bất cứ khi nào tôi cần một vấn đề để chuyển đổi từ một bằng chứng độ cứng NP. Tuy nhiên, gần đây tôi thấy mình cần một bằng chứng về độ cứng APX và …

11 complexity-theory  reference-request  time-complexity  complexity-classes 

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 biết rằng vấn đề về công thức Boolean được định lượng cho công thức trong đó \ phi không chứa định lượng và chỉ có các biến x_1, \ ldots, x_n, y_1 , \ ldots, y_n là một ví dụ về vấn đề \ Pi_2 ^ P -complete . …

10 complexity-classes 

Nếu thì hệ thống phân cấp sụp đổ xuống cấp thứ hai (theo định lý Karp-Lipton). Nhưng còn N P và c o N P thì sao?RP=NPRP=NP\sf RP = NPNPNP\sf NPcoNPcoNP\sf coNP Tôi đã cố gắng chứng minh rằng được chứa trong N P (hướng khác là tầm thường nếu …

10 complexity-theory  complexity-classes  probabilistic-algorithms 

Để suy luận về những thứ như tính đầy đủ của NP, chúng tôi thường sử dụng các mức giảm nhiều người (nghĩa là giảm Karp). Điều này dẫn đến hình ảnh như thế này: (theo phỏng đoán tiêu chuẩn). Tôi chắc rằng tất cả chúng ta đều quen thuộc …

10 complexity-theory  reductions  complexity-classes 

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 

Tôi tham gia khóa học về độ phức tạp tính toán. Vấn đề của tôi là tôi không hiểu phương pháp tương đối hóa . Tôi đã cố gắng tìm một chút trực giác trong nhiều sách giáo khoa, thật không may, cho đến nay không có thành công. Tôi …

10 complexity-theory  np-complete  complexity-classes  relativization  np 

Theo tôi hiểu, bài toán gán là trong P vì thuật toán Hungary có thể giải nó trong thời gian đa thức - O (n 3 ). Tôi cũng hiểu rằng vấn đề gán là một vấn đề lập trình tuyến tính số nguyên , nhưng trang Wikipedia nói rằng …

10 complexity-theory  complexity-classes  linear-programming  integer-programming 

Tôi bối rối về cách định nghĩa PP và BPP . Giả sử là hàm đặc trưng cho ngôn ngữ . M là máy Turing xác suất. Các định nghĩa sau có đúng không:Lχχ\chiLL\mathcal{L} P P = { L : P r [ χ ( x ) ≠ M ( …

9 complexity-theory  terminology  randomized-algorithms  complexity-classes 

Gần đây tôi đã thảo luận với một người bạn về một trang web đề xuất các thách thức regex, chủ yếu khớp một nhóm từ với một thuộc tính đặc biệt. Anh ta đang tìm kiếm một regex khớp với các chuỗi như ||||||||số lượng số |nguyên tố. Tôi …

9 formal-languages  machine-models  logic  boolean-algebra  xor  cryptography  algorithms  machine-learning  algorithms  paging  virtual-memory  programming-languages  object-oriented  algorithms  search-algorithms  strings  binary-search  formal-grammars  context-free  algorithms  algorithms  correctness-proof  greedy-algorithms  permutations  logic  first-order-logic  logic-programming  algorithms  complexity-theory  computability  programming-languages  complexity-theory  complexity-classes  quantum-computing  reductions  formal-languages  programming-languages  semantics  operational-semantics  small-step-semantics  sets  first-order-logic  computer-networks  communication-protocols 

Tôi nghĩ rằng hai lớp này phải giống nhau, nhưng tôi không thể tìm thấy bất kỳ tài liệu nào về điều này và có một nền tảng hạn chế về chủ đề này. Đây là lý do của tôi, và tôi muốn biết nếu (1) điều này đã được …

8 complexity-theory  complexity-classes  quantum-computing 

Tôi đã không thể tìm thấy một biểu đồ mô tả hoặc văn bản trả lời câu hỏi sau: Có mối quan hệ trực tiếp giữa độ phức tạp của thuật toán (chẳng hạn như trường hợp tốt nhất / tồi tệ nhất của sắp xếp nhanh) và lớp automata …

8 complexity-theory  automata  reference-request  complexity-classes