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

Nếu chúng ta xem xét định lý phân cấp DTIME, chúng ta đã có một bản ghi do chi phí mô phỏng của Máy Turing xác định bằng một máy phổ quát: DTIME(flogf)⊊DTIME(f)DTIME(flog⁡f)⊊DTIME(f)DTIME(\frac{f}{\log f}) \subsetneq DTIME(f) Chúng tôi chưa có loại chi phí này cho NTIME của DSPACE. Một lời …

30 cc.complexity-theory  universal-computation  time-hierarchy 

Nhiều chuyên gia tin rằng phỏng đoán là đúng và sử dụng nó trong kết quả của họ. Mối quan tâm của tôi là sự phức tạp phụ thuộc mạnh mẽ vào phỏng đoán P ≠ N P.P≠NPP≠NP\mathsf{P} \neq \mathsf{NP}P≠NPP≠NP\mathsf{P} \neq \mathsf{NP} Vì vậy, câu hỏi của tôi là: Chừng …

30 cc.complexity-theory  soft-question  big-picture  p-vs-np  physics 

Bất kỳ số tự nhiên nào cũng có thể được coi là một chuỗi bit, do đó, việc nhập số tự nhiên cũng giống như nhập chuỗi 0-1, do đó, các vấn đề hoàn chỉnh NP với đầu vào tự nhiên rõ ràng tồn tại. Nhưng có bất kỳ vấn …

30 cc.complexity-theory  np-hardness  nt.number-theory  combinatorial-game-theory 

Đặt biểu thị một vấn đề (quyết định) trong NP và để # biểu thị phiên bản đếm của nó.XXXXXX Trong những điều kiện nào người ta biết rằng "X là NP- perfect " "#X là # P-Complete"?⟹⟹\implies Tất nhiên sự tồn tại của việc giảm đáng kể là một …

29 cc.complexity-theory  np-hardness  counting-complexity 

Có hai câu hỏi được hỏi gần đây trên cs.se có liên quan đến hoặc có trường hợp đặc biệt tương đương với câu hỏi sau: Giả sử bạn có một chuỗi của số sao cho Phân tách nó thành tổng của hai hoán vị, và , của , sao …

29 cc.complexity-theory  ds.algorithms  co.combinatorics  np-hardness  permutations 

Giả sử P = NP là đúng. Sau đó, sẽ có bất kỳ ứng dụng thực tế nào để xây dựng một máy tính lượng tử như giải quyết các vấn đề nhất định nhanh hơn hay bất kỳ cải tiến nào như vậy không liên quan dựa trên thực …

29 cc.complexity-theory  complexity-classes  quantum-computing 

Các Valiant-Vazirani lý nói rằng nếu có một thuật toán thời gian đa thức (xác định hoặc ngẫu nhiên) để phân biệt giữa một công thức SAT có đúng một nhiệm vụ đáp ứng, và một công thức không thể thoả mãn - sau đó NP = RP . Định …

29 cc.complexity-theory  reductions  derandomization  unique-solution 

Trong một câu: sự tồn tại của một hệ thống phân cấp cho có ngụ ý bất kỳ kết quả derandomization nào không?BPTIMEBPTIME\mathsf{BPTIME} Một câu hỏi liên quan nhưng vaguer là: sự tồn tại của một hệ thống phân cấp cho có ngụ ý bất kỳ giới hạn dưới khó …

29 cc.complexity-theory  randomness  derandomization  time-hierarchy 

N P ⊈ P / poly P H = Σ 2 P ≠ N P N P I : = N P ∖ ( N P C ∪ P ) ≠ ∅ P / poly N P I ⊂ P / poly N P ⊂ N P C ∪ P …

29 cc.complexity-theory  complexity-classes  advice-and-nonuniformity  p-vs-np  np-intermediate 

Định lý của Ladner được biết đến là nếu , thì tồn tại vô số vấn đề -inter liền ( ). Ngoài ra còn có các ứng cử viên tự nhiên cho trạng thái này, chẳng hạn như Đồng phân đồ thị và một số người khác, xem Vấn đề …

29 cc.complexity-theory  p-vs-np  np-intermediate 

Các phương pháp đa thức , cho biết Định lý cảnh báo Combinatorial Nullstellensatz và Chevalley là những công cụ mạnh mẽ trong tổ hợp phụ gia. Bằng cách biểu diễn một vấn đề với đa thức thích hợp, họ có thể đảm bảo sự tồn tại của một giải …

29 cc.complexity-theory  reference-request  co.combinatorics  polynomials 

Dễ dàng thấy rằng đẳng cấu đồ thị (GI) nằm trong NP. Đây là một vấn đề mở lớn cho dù GI có trong coNP hay không. Có bất kỳ ứng cử viên tiềm năng nào của các thuộc tính của đồ thị có thể được sử dụng làm chứng …

29 cc.complexity-theory  graph-isomorphism 

Đặt fff là hàm Boolean và hãy nghĩ về f là hàm từ {−1,1}n{−1,1}n\{-1,1\}^n đến {−1,1}{−1,1}\{ -1,1 \} . Trong ngôn ngữ này, việc mở rộng Fourier của f chỉ đơn giản là sự mở rộng của f về các đơn thức tự do vuông. ( đơn thức này tạo …

29 cc.complexity-theory  lower-bounds  circuit-complexity  boolean-functions  fourier-analysis 

Kết quả phức tạp mạch đột phá gần đây của Ryan Williams cung cấp một kỹ thuật bằng chứng sử dụng kết quả giới hạn trên để chứng minh giới hạn dưới phức tạp. Suresh Venkat trong câu trả lời của mình cho câu hỏi này, Có bất kỳ kết …

29 cc.complexity-theory  lower-bounds 

Chúng ta biết rằng (xem, ví dụ, Định lý 1 và 3 của [1]), nói một cách đại khái, trong các điều kiện phù hợp, các chức năng có thể được tính toán hiệu quả bằng máy Turing trong thời gian đa thức ("tính toán hiệu quả") có thể được …

28 cc.complexity-theory  np-hardness  machine-learning  turing-machines  lg.learning