Theo Karp, Lipton Theoem nói rằng nếu , thì sụp đổ thành . Do đó, giả sử khoảng cách giữa và , không có vấn đề nào về sẽ thuộc về .NP⊂P/polyNP⊂P/poly\mathsf{NP} \subset \mathsf{P/poly}PHPH\mathsf{PH}ΣP2Σ2P\mathsf{\Sigma^P_2}ΣP2Σ2P\mathsf{\Sigma^P_2}ΣP3Σ3P\mathsf{\Sigma^P_3}NPNP\mathsf{NP}P/polyP/poly\mathsf{P/poly} Tôi quan tâm đến câu hỏi sau đây: Giả sử rằng không sụp đổ hoặc giả …
Một ngôn ngữ nằm trong nếu tồn tại máy Turing logspace quyết định ngôn ngữ với số lượng lời khuyên đa thức.L/polyL/polyL/poly Xem tại đây để biết thêm: https://en.wikipedia.org/wiki/L/poly Câu hỏi Hậu quả của gì?P⊆L/polyP⊆L/polyP \subseteq L/poly
P/poly=NP/polyP/poly=NP/polyP/poly = NP/poly ngụ ý , do đó có những hậu quả thú vị như sự sụp đổ của hệ thống phân cấp đa thức.NP⊆P/polyNP⊆P/polyNP \subseteq P/poly Có ý nghĩa thú vị nào cho không?P/poly≠NP/polyP/poly≠NP/polyP/poly \neq NP/poly
Câu hỏi chung Liệu định lý phân cấp không gian có khái quát đến tính toán không đồng nhất không? Dưới đây là một vài câu hỏi cụ thể hơn: Là ?L/poly⊊PSPACE/polyL/poly⊊PSPACE/polyL/poly \subsetneq PSPACE/poly Đối với tất cả các hàm xây dựng không gian f(n)f(n)f(n) , DSPACE(o(f(n)))/poly⊊DSPACE(f(n))/polyDSPACE(o(f(n)))/poly⊊DSPACE(f(n))/polyDSPACE(o(f(n)))/poly \subsetneq DSPACE(f(n))/poly ? …
Theo BPP / tuyến tính, tôi đề cập đến các máy BPP với lời khuyên tuyến tính, đáp ứng lời hứa khi được đưa ra lời khuyên "chính xác" và thuật toán khử cộng đồng sẽ cung cấp cho chúng tôi thuật toán P / tuyến tính hoặc (SUBEXP / …
Tôi tò mò về những cách mà bạn đã thấy tính không đồng nhất có ích trong tính toán. Một cách là sự ngẫu nhiên, như trong , và một cách khác là các bảng tra cứu được sử dụng để cho thấy rằng tất cả các ngôn ngữ đều …
Tôi đã suy nghĩ về câu hỏi sau đây vào nhiều thời điểm kể từ khi tôi thấy câu hỏi này trên Mật mã học . Câu hỏi Đặt RRR là mối quan hệ TFNP . Một nhà tiên tri ngẫu nhiên có thể giúp P / poly phá vỡ …
Câu hỏi này nảy sinh trong bối cảnh của mật mã học, nhưng dưới đây tôi sẽ trình bày nó dưới dạng lý thuyết phức tạp, vì mọi người ở đây đã quen thuộc hơn với cái sau. Câu hỏi này liên quan đến các vấn đề trong NP nhưng …
Định lý phân cấp thời gian cho phép người ta chỉ ra rằng, ví dụ, có những vấn đề trong P không thể giải quyết kịp thời ít hơn const * n ^ 2 bằng máy Turing. Nhưng hãy cho máy Turing một số lời khuyên và tất cả các …