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

Có một hệ thống loại, trong đó hạn chế các điều khoản lambda với các điều khoản nằm trong một lớp phức tạp? Giống như các thuật ngữ có thể đánh máy trong lý thuyết nằm trong lớp phức tạp? Hay là nó không thể nào cả? Tôi thấy có …

8 complexity-classes  type-theory 

Vấn đề chung Giả sử chúng ta có hàm đa thức và một số hàm tuyến tính ℓ i ( x ) . Những gì được biết về sự phức tạp của việc giải quyết vấn đề tối ưu hóa sau đây?f( x )f(x)f(\mathbf{x})ℓTôi( x )ℓTôi(x)\ell_i(\mathbf{x}) Tối đa hóaTheo: f( …

8 cc.complexity-theory  complexity-classes  time-complexity  linear-programming  polynomials 

Hãy xem xét một máy (cụ thể là thuật toán xác suất sử dụng logspace và đa thức nhiều bit ngẫu nhiên). Nó được biết đến (Saks-Chu) mà B P L ⊆ D S P Một C E ( l o g 1,5 ( n ) ) .BPLBPLBPLBPL⊆DSPACE(log1.5(n))BPL⊆DSPACE(log1.5(n))BPL \subseteq DSPACE(log^{1.5}(n)) …

8 cc.complexity-theory  complexity-classes  derandomization  space-bounded  logspace 

Sự phức tạp của vấn đề thỏa mãn cục bộ đối với logic phương thức gì? Ở đây chúng tôi biểu thị bằng logic phương thức trên các khung euclide được mở rộng với phương thức nghịch đảo. Bạn có thể cung cấp bất kỳ tài liệu tham khảo? Có …

8 cc.complexity-theory  complexity-classes  lo.logic  modal-logic 

Ngôn ngữ Critical SAT được định nghĩa là tập hợp của thức boolean f mà f ∈ U N S A T nhưng loại bỏ bất kỳ khoản từ e làm cho nó satisfiable. Được biết, SAT quan trọng là D P -complete. Tôi tự hỏi về biến thể sau: …

8 cc.complexity-theory  complexity-classes  boolean-functions 

Lý lịch Chúng ta biết rằng .P# P⊆ PSPA CEP#P⊆PSPACEP^{\#P} \subseteq PSPACE Bên cạnh đó, chúng tôi được biết đến từ lý Toda của rằng .PH⊆ P# PPH⊆P#PPH \subseteq P^{\#P} Để biết thêm thông tin về , xem tại đây: https://en.wikipedia.org/wiki/Sharp-P# P#P\#P Câu hỏi Liệu có tồn tại một lời …

8 cc.complexity-theory  complexity-classes  oracles  relativization  pspace 

Các phiên bản không đồng nhất của P, NP và coNP là P / poly, NP / poly và coNP / poly. Tương tự, chúng ta có thể định nghĩa một phiên bản không đồng nhất cho từng cấp độ trong PH. Ví dụ: / poly bao gồm các vấn …

8 cc.complexity-theory  complexity-classes  polynomial-hierarchy 

Giao điểm của hai ngôn ngữ trong NP không hoàn thành NP có thể hoàn thành NP không? Giao điểm của hai ngôn ngữ trong coNP không hoàn thành coNP có thể hoàn thành coNP không? Có thể giao điểm của hai ngôn ngữ một trong coNP nhưng không hoàn …

8 complexity-classes  np 

Trong https://en.wikipedia.org/wiki/Geometric_complexity_theory đã đề cập rằng ".. Ketan Mulmuley tin rằng chương trình, nếu khả thi, có thể mất khoảng 100 năm trước khi nó có thể giải quyết vấn đề P so với NP". Nó dường như chỉ ra rằng chương trình hiện tại duy nhất có thể đối …

8 cc.complexity-theory  complexity-classes  lower-bounds  big-list  big-picture 

Tôi đang tìm kiếm nhiều vấn đề hơn trong với giới hạn thời gian cổ điển phức tạp thấp hơn. Một số người có thể tự hỏi làm thế nào bạn có thể chứng minh một giới hạn thấp hơn như vậy. Xem bên dưới.PPP Giới hạn dưới theo cấp …

8 cc.complexity-theory  complexity-classes  time-complexity  lower-bounds  polynomial-time 

Theo Bổ đề bắt tay: bất kỳ đồ thị vô hướng nào có đỉnh có độ là số lẻ phải có một số đỉnh khác có độ là số lẻ. Quan sát này có nghĩa là nếu chúng ta được đưa ra một biểu đồ và một đỉnh độ lẻ …

8 complexity-classes  counting-complexity  ppad 

Trong [1] có ghi rằng "Vẫn còn một câu hỏi mở là liệu mọi chức năng trong có mạch T C 0 hay không (mặc dù ít nhất được biết rằng không phải tất cả các chức năng # P đều có mạch T C 0 thống nhất DLogTime )."#P#P\#PTC0TC0TC^0#P#P\#PTC0TC0TC^0 …

8 cc.complexity-theory  complexity-classes  circuit-complexity  counting-complexity  permanent 

Người ta thường định nghĩa tính đồng bộ của đối với việc giảm nhiều không gian một log.PPP Tôi đang tìm kiếm một sự phức tạp lớp như rằng có P vấn đề -complete WRT nhiều-one C -reductions.C⊆LC⊆LC \subseteq \mathsf{L}PP\mathsf{P}CCC Lớp giảm nhiều nhất được biết đến nhỏ nhất sao …

8 cc.complexity-theory  complexity-classes 

Các ví dụ về các vấn đề được biết đến trong (resp. ) không được biết đến trong cũng như trong ?AMAM\mathsf{AM}MAMA\mathsf{MA}NPNP\mathsf{NP}BPPBPP\mathsf{BPP} Đối với , tôi biết hai ví dụ sau:AMAM\mathsf{AM} Đồ thị không đẳng cấu: Cho hai đồ thị có nhãn và , chúng có phải là đồ thị …

8 cc.complexity-theory  complexity-classes 

Tôi đang tìm kiếm một tài liệu tham khảo về 'giảm' Turing giảm xuống nhiều giảm một. Tôi có một tuyên bố về hình thức sau đây (các tuyên bố đủ tương tự cũng sẽ thỏa mãn tôi): Định lý. Nếu , thì .A ≤ 2 f m B t …

8 cc.complexity-theory  reference-request  complexity-classes