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

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 #P giới thiệu lần đầu tiên trong [1] ? [1] Valiant, Leslie G. "Sự phức tạp của tính toán vĩnh viễn." Khoa học máy tính lý thuyết 8.2 (1979): 189-201.

8 cc.complexity-theory  reference-request  counting-complexity  ho.history-overview 

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 

Nói ngắn gọn, câu hỏi của tôi là: bằng chứng ban đầu của Karp có giảm SAT xuống 3SAT không cần thiết không? Cac chi tiêt như sau. Trong bài viết về khả năng giảm thiểu trong số các vấn đề kết hợp năm 1972 , Karp đã chứng minh …

8 cc.complexity-theory  sat  reductions 

Hãy xem xét các vấn đề quyết định sau đây. Đặt và để (C_0 ^ n, C_1 ^ n, \ dot, C_ {q-1} ^ n) là phù hợp liệt kê các tập hợp con của \ {0,1, \ dot, n-1 \} có tối đa n / 4 phần tử.q=∑n/4i=0(ni)q=∑i=0n/4(ni)q = …

8 cc.complexity-theory  coding-theory  space-bounded  space-complexity 

Như đã trình bày trong bài báo "Mạch đơn điệu cho hàm đa số", có thể xây dựng mạch boolean đơn điệu cho hàm đa số trên n biến có kích thước O (n ^ 3) và độ sâu 5,3 log (n) + O (1). http://link.springer.com/ch CHƯƠNG / 10.1007/11830924_38 Câu …

8 cc.complexity-theory  circuit-complexity  boolean-functions  circuit-depth 

Tôi đọc báo Ahmed Younes, " Thuật toán thời gian đa thức lượng tử có lỗi cho hai vấn đề về băm đồ thị ", 2015. doi: 10.1007 / s11128-015-1069-y được xuất bản trên tạp chí Xử lý thông tin lượng tử của Springer. Bài báo dường như tuyên bố …

8 cc.complexity-theory  np-hardness  quantum-computing 

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 

Giả thuyết đẳng cấu của Berman và Hartmanis nói rằng tất cả các tập hợp là các đa thức thời gian đẳng cấu với nhau. Điều này có nghĩa là các vấn đề N P -complete có thể giảm thiểu một cách hiệu quả thông qua các mệnh đề tính …

8 cc.complexity-theory  structural-complexity 

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 

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 

Trong bài báo 'Về việc biến mất các hệ số Kronecker' ở đây trong http://arxiv.org/pdf/1507.02955v1.pdf , cho thấy việc quyết định tính tích cực của các hệ số kronecker nói chung là khó khăn. Tuy nhiên, có một cảnh báo rằng chỉ có tính tích cực của 'hệ số Kronecker …

8 cc.complexity-theory 

\newcommand{\cc}[1]{\mathsf{#1}} Liệu một định lý dọc theo các dòng sau có: Nếu g(n)g(n)g(n) lớn hơn một chút so với f(n)f(n)f(n) , thì NTIME(g)∩coNTIME(g)≠NTIME(f)∩coNTIME(f)NTIME(g)∩coNTIME(g)≠NTIME(f)∩coNTIME(f)\cc{NTIME}(g) \cap \cc{coNTIME}(g) \neq \cc{NTIME}(f) \cap \cc{coNTIME}(f) ? Thật dễ dàng để chỉ ra rằng ít nhất NP∩coNP≠NEXP∩coNEXPNP∩coNP≠NEXP∩coNEXP\cc{NP} \cap \cc{coNP} \neq \cc{NEXP} \cap \cc{coNEXP} . Chứng minh: Giả …

8 cc.complexity-theory  time-complexity  nondeterminism  time-hierarchy  hierarchy-theorems 

Mô hình chuẩn của vật lý (mô hình toán học dự đoán boson của Higg), theo như tôi hiểu, là mô hình hoàn chỉnh nhất của chúng ta về vũ trụ. Điều đó có nghĩa là, đó là mô tả tốt nhất về trò chơi toán học được chơi để …

8 cc.complexity-theory  quantum-computing  physics