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

Tôi quan tâm đến vấn đề sau: Cho một ma trận , có một đồ thị vô hướng trên đỉnh có ma trận kề không bình phương là ma trận đó không?nn × nn×nn\times nnnn Là sự phức tạp tính toán của vấn đề này được biết đến? Nhận xét: …

18 cc.complexity-theory  graph-theory 

Tôi quan tâm đến việc tìm hiểu các kết nối giữa "hỗn loạn" hoặc rộng hơn là các hệ thống động lực và câu hỏi . Đây là một ví dụ về loại văn học tôi đang tìm kiếm:P= NPP= =NPP{=}NP Ercsey-Ravasz, Mária và Zoltán Toroczkai. "Tối ưu hóa độ …

18 cc.complexity-theory  p-vs-np 

Vấn đề tạm dừng cho các máy Turing có lẽ là tập hợp không thể giải quyết được. Tuy nhiên, chúng tôi chứng minh rằng có một thuật toán quyết định gần như tất cả các trường hợp của nó. Do đó, vấn đề tạm dừng là một trong những …

18 cc.complexity-theory  reference-request  computability  undecidability 

Giả thuyết Isomorphism nổi tiếng của Berman và Hartmanis nói rằng tất cả các ngôn ngữ NPNPNP -complete là đa thức thời gian đẳng cấu (p-isomorphic) với nhau. Ý nghĩa chính của phỏng đoán là nó ngụ ý . Nó đã được xuất bản vào năm 1977, và một bằng …

18 cc.complexity-theory  complexity-classes  p-vs-np  np-complete 

Có một chuỗi các đồ thị vô hướng , trong đó mỗi có chính xác đỉnh và vấn đề C n n{Cn}n∈N{Cn}n∈N\{C_n\}_{n\in \mathbb N}CnCnC_nnnn Cho và đồ thị , có phải là đồ thị con của không?G C n GnnnGGGCnCnC_nGGG được biết là trong lớp ? (Ví dụ: khi , …

18 cc.complexity-theory  graph-theory 

Khái niệm giảm thời gian đa thức (Giảm Cook) là một khái niệm trừu tượng của một khái niệm rất trực quan: giải quyết hiệu quả một vấn đề bằng cách sử dụng thuật toán cho một vấn đề khác. Tuy nhiên, trong lý thuyết của -completeness, khái niệm về …

18 cc.complexity-theory  np-hardness  soft-question 

Đặt là lớp của các vấn đề quyết định có thuật toán ngẫu nhiên lỗi hai mặt bị ràng buộc chạy trong thời gian .O ( f ( n ) )B P T I M E (f( n ) )BPTIME(f(n))\mathsf{BPTIME}(f(n))O ( f( n ) )O(f(n))O(f(n)) Chúng ta có biết bất …

18 cc.complexity-theory  ds.algorithms  randomized-algorithms  derandomization 

Có thể kiểm tra bằng thuật toán nếu một số tính toán là số nguyên hay số nguyên? Nói cách khác, một thư viện có thể thực hiện các số tính toán để cung cấp các hàm isIntegerhay isRationalkhông? Tôi đoán rằng điều đó là không thể, và điều này …

18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 

Có phải tất cả các hàm có trọng lượng phạm vi tập trung vào các tập có kích thước nhỏ (hoặc các số hạng với mức độ thấp) được tính bằng các mạch không?A C0MộtC0\mathsf{AC}^0

18 cc.complexity-theory  circuit-complexity  boolean-functions  fourier-analysis 

Lý thuyết thể loại và đại số trừu tượng đối phó với cách các hàm có thể được kết hợp với các hàm khác. Lý thuyết phức tạp liên quan đến việc một hàm khó tính như thế nào. Thật kỳ lạ với tôi rằng tôi chưa thấy ai kết …

18 cc.complexity-theory  algebra  algebraic-complexity 

Các vườn thú phức tạp không có nhiều về . Tôi đang tìm kiếm một vấn đề đẹp ở cấp độ cao hơn của hệ thống phân cấp, tức là một vấn đề trong nhưng không được biết là trong .S CSC\mathsf{SC} † D T i m e S p …

18 cc.complexity-theory  complexity-classes 

Mafia là một trò chơi nhập vai phổ biến tại các bữa tiệc, một mô tả chi tiết có sẵn tại wikipedia http://en.wikipedia.org/wiki/Mafia_%28game%29 . Về cơ bản, nó hoạt động như sau: Lúc đầu, mỗi người chơi được bí mật giao một vai trò, hoặc liên kết với Mafia hoặc …

18 cc.complexity-theory  gt.game-theory  combinatorial-game-theory 

Có bất kỳ công việc nào được thực hiện về mức độ phức tạp của các trường hợp ngẫu nhiên của # 2-SAT thay đổi theo mật độ mệnh đề không? Đó là: độ khó của việc đếm các giải pháp thỏa mãn đối với trường hợp 2-SAT được tạo …

18 cc.complexity-theory  counting-complexity  random-k-sat 

Như bạn đã biết, có rất nhiều dị thường cho các máy Turing băng đơn khi thời gian là : mô phỏng TM nhiều băng, mô phỏng bảng chữ cái băng lớn hơn chỉ với , khả năng xây dựng thời gian, không chặt chẽ của định lý phân cấp …

18 cc.complexity-theory  turing-machines 

Tôi nghĩ rằng sẽ là một ý tưởng tốt để lập một danh sách các định lý nói rằng P không bằng NP nếu và chỉ khi thoát và như vậy, một số lớp phức tạp được chứa trong một lớp phức tạp khác và cứ thế.

18 cc.complexity-theory  big-list  p-vs-np