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

Định lý của Mahaney cho chúng ta biết rằng nếu có một -complete thưa thớt được đặt dưới các mức giảm nhiều lần một đa thức, thì . (Xem " Bộ hoàn chỉnh thưa thớt cho NP: Giải pháp phỏng đoán Berman và Hartmanis ")NPNPNPP= NPP=NPP = NP Có hậu …

10 cc.complexity-theory  complexity-classes  reductions  polynomial-time  logspace 

Giả thuyết của BermanTHER Hartmanis: tất cả các ngôn ngữ hoàn chỉnh NP trông giống nhau, theo nghĩa là chúng có thể liên quan với nhau bằng các đẳng cấu thời gian đa thức [1]. Tôi quan tâm đến một phiên bản chi tiết hơn của "thời gian đa thức", …

10 complexity-classes  np-complete  fixed-parameter-tractable 

Các vấn đề đã được, nói chung, được phân loại, nhờ Độ phức tạp tính toán. Nhưng, trong các phương trình vi phân, có thể phân loại các phương trình vi phân tùy thuộc vào cấu trúc tính toán của chúng? Ví dụ, nếu một phương trình không thuần nhất …

10 cc.complexity-theory  complexity-classes  computability  dynamic-algorithms 

Chúng ta hãy gọi một ngôn ngữ NP được chứng nhận thưa thớt khi và chỉ khi:L∈L∈L \in Có tồn tại một đa thức như vậy mà cho tất cả các đầu vào x ∈ Σ * kích thước n , nếu x ∈ L sau đó tập U x …

10 cc.complexity-theory  complexity-classes 

Nếu chúng ta có thể chứng minh rằng , thì nó có ngụ ý rằng không?L = PL=P\mathsf{L}=\mathsf{P}N L = N PNL=NP\mathsf{NL}=\mathsf{NP} Tôi nghĩ đó là trường hợp, nhưng tôi không thể chứng minh điều đó (cũng cho điều ngược lại).

10 cc.complexity-theory  complexity-classes  nondeterminism 

Lớp phức tạp được định nghĩa như sau (từ Wikipedia ):SP2S2P\textrm{S}_2^\textrm{P} Một ngôn ngữ nằm trong S P 2 nếu tồn tại một biến vị ngữ P đa thức thời gian sao choLLLSP2S2PS_2^PPPP Nếu , thì tồn tại một y sao cho tất cả z , P ( x , …

10 cc.complexity-theory  complexity-classes 

BPPBPP\mathsf{BPP} vàZPPZPP\mathsf{ZPP} là hai lớp phức tạp xác suất cơ bản. BPPBPP\mathsf{BPP} là lớp ngôn ngữ được quyết định bởi các thuật toán Turing thời gian đa thức xác suất trong đó xác suất thuật toán trả về một câu trả lời không chính xác bị ràng buộc, nghĩa là …

10 cc.complexity-theory  complexity-classes  randomness  randomized-algorithms 

Đặt lớp BPNC (sự kết hợp của và N C ) là các thuật toán song song độ sâu log với xác suất lỗi bị ràng buộc và truy cập vào một nguồn ngẫu nhiên (tôi không chắc liệu đây có phải là một tên khác không). Xác định lớp …

10 cc.complexity-theory  complexity-classes  dc.parallel-comp  randomness  pseudorandomness 

Bối cảnh : Kavvadias và Sideri đã chỉ ra rằng vấn đề 3-SAT nghịch đảo là coNP Hoàn thành: Cho một bộ mô hình trên biến, có công thức 3-CNF sao cho là bộ mô hình chính xác của nó không? Một công thức ứng cử viên ngay lập tức …

10 cc.complexity-theory  lo.logic  complexity-classes  computability  sat 

Một ngôn ngữ nằm trong lớp iff có hai ngôn ngữ và sao choLLLL 1 ∈ N P L 2 ∈ c o N P L = L 1 ∩ L 2DPDPDPL1∈NPL1∈NPL1 \in NPL2∈coNPL2∈coNPL2 \in coNPL=L1∩L2L=L1∩L2L = L1 \cap L2 Một vấn đề -complete chính quy là SAT-UNSAT: đưa ra …

10 cc.complexity-theory  np-hardness  complexity-classes  sat 

Trong câu hỏi này , nó đã được đề cập rằng có các phiên bản phức tạp mô tả của định lý Rice. Tôi tìm thấy một bằng chứng của định lý sau: Với một lớp C phức tạp , các thuộc tính không cần thiết của các ngôn ngữ …

10 cc.complexity-theory  complexity-classes  descriptive-complexity  separation 

Tôi tự hỏi để biết rằng có ngôn ngữ thưa thớt (thậm chí được xây dựng bằng cách trì hoãn diagolanization) trong NPI với giả định rằng .P≠ NPP≠NPP \neq NP

10 cc.complexity-theory  complexity-classes 

Có bất kỳ lớp phức tạp nào có chứa các đối tác trực tuyến của các vấn đề tối ưu hóa không? Nếu không, làm thế nào lớp như vậy có thể được định nghĩa? Chúng tôi biết rằng nhiều vấn đề có phiên bản trực tuyến của họ: ví …

10 cc.complexity-theory  complexity-classes 

Giả sửP≠ NPP≠NPP \neq NP Hãy sử dụng ký hiệu sau cho phép tetration (nghĩa là ).Tôimộtimột{}^iaTôia = amột⋅⋅⋅mộttôi lầnia=aa⋅⋅⋅a⏟i lần{}^ia = \underbrace{a^{a^{\cdot^{\cdot^{\cdot^{a}}}}}}_{i \mbox{ times}} | x | là kích thước của thể hiện x. Đặt L là ngôn ngữ,L |f( i ) ≤ | x | < g( tôi …

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

Chúng ta có các lớp phức tạp đối với độ phức tạp của trường hợp trung bình không? Ví dụ, có một lớp phức tạp (được đặt tên) cho các vấn đề cần thời gian đa thức dự kiến ​​để quyết định không? Một câu hỏi khác xem xét độ …

10 cc.complexity-theory  complexity-classes