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

Rõ ràng là bất kỳ ngôn ngữ trong EXPEXPEXPEXP\mathsf{EXP}^{\mathsf{EXP}} có thể được tính trong 2EXP=DTime(22poly(n))2EXP=DTime(22poly(n))\mathsf{2EXP} = \mathsf{DTime}(2^{2^{\mathsf{poly}(n)}}). Câu hỏi của tôi là liệu điều ngược lại có đúng không: 2EXP⊆EXPEXP2EXP⊆EXPEXP\mathsf{2EXP} \subseteq \mathsf{EXP}^{\mathsf{EXP}}?

7 complexity-theory  complexity-classes 

Tôi đang thực hiện một số nghiên cứu về NFA và các vấn đề bao gồm với chúng. Tôi biết rằng nói chung, các vấn đề bao gồm và chuyển đổi thành NFA rõ ràng, đều hoàn toàn PSPACE. Tôi đang tự hỏi, có bất kỳ lớp con nào của …

7 complexity-theory  formal-languages  automata  finite-automata  nondeterminism 

Thật không may, nền tảng của tôi về độ phức tạp tính toán vẫn còn yếu, nhưng tôi đang nghiên cứu nó. Theo tôi hiểu, câu hỏi về sự tồn tại của các hàm một chiều là rất quan trọng trong lĩnh vực này. Giả sử có các hàm một …

7 complexity-theory  cryptography  one-way-functions 

Tôi đã suy nghĩ về cách tự nhiên có thể tính toán một cách hiệu quả các vấn đề vô lý (ví dụ NP) một cách dễ dàng. Ví dụ, một hệ lượng tử đòi hỏi một2n2n2^n vectơ phần tử để biểu diễn trạng thái, trong đó nnnchỉ là số …

7 complexity-theory  quantum-computing 

Tôi nghĩ rằng một nửa trận chiến trong việc trả lời câu hỏi này nằm ở việc xây dựng nó một cách chính xác! Một công cụ tìm kiếm không bật lên nhiều, vì vậy tôi đã tự hỏi liệu đây là một câu hỏi nổi tiếng hay được nghiên …

7 complexity-theory  reference-request  turing-machines  combinatorics 

Từ http://rjlipton.wordpress.com/2009/05/27/arithatures-hierarchy-and-pnp/ , Xác định, là máy Turing xác định hoạt động như sau trên đầu vào . Máy xử lý như một chương trình xác định và mô phỏng trên đầu vào . Đồng thời, máy chạy bộ đếm dừng thực thi sau các bước . Nếu máy chấp …

7 complexity-theory  circuits 

Thuật toán giả đa thức cho chúng ta biết gì về vấn đề mà nó giải quyết? Tôi không thấy thời gian chạy cải thiện như thế nào nếu thuật toán theo cấp số nhân về độ dài đầu vào và đa thức trong giá trị đầu vào; vậy làm …

7 algorithms  complexity-theory  np-complete  pseudo-polynomial 

Nó được biết rằng cho f(n)≥lognf(n)≥log⁡nf(n) \geq \log n, NSPACE(f(n))=coNSPACE(f(n))NSPACE(f(n))=coNSPACE(f(n))\mathsf{NSPACE}(f(n)) = \mathsf{coNSPACE}(f(n)). Nếu thì sao? Có phải họ cũng bằng nhau?f(n)&lt;lognf(n)&lt;log⁡nf(n)<\log n

7 complexity-theory  space-complexity 

Tôi muốn biết sự phức tạp của vấn đề NAE-HORN-SAT (không phải tất cả đều bằng nhau). Chúng tôi biết rằng HORNSAT là , nhưng mặt khác, NAE-SAT là . Tôi muốn biết những gì chúng ta có thể nói về vấn đề NAE-HORN-SAT. Hãy để tôi xác định vấn …

7 complexity-theory  np-complete  satisfiability 

Tiêu đề của câu hỏi thể hiện những gì tôi đang tìm kiếm - điều này là để giúp tôi hiểu rõ hơn các điều kiện tiên quyết cho Định lý phân cấp thời gian không xác định Chẳng hạn, cuốn sách Arora-Barak giải thích định lý bằng cách sử …

7 complexity-theory  time-complexity  asymptotics  landau-notation 

Tôi gặp khó khăn trong việc hiểu định nghĩa của lớp Max-SNP (biến thể tối ưu hóa của NP nghiêm ngặt ), do đó tôi phải tuân theo câu hỏi cơ bản: If a problem is known to be Max-SNP hard, does this imply NP-hardness of the problem?

7 complexity-theory  np-hard 

Tôi đã có hai chương trình log-không gian và .FFFGGG Chương trình sẽ nhận đầu vào trong mảng và sẽ tạo mảng đầu ra .FFFMột [ 1 .. n ]A[1..n]A[1..n]B [ 1 .. n ]B[1..n]B[1..n] Chương trình sẽ nhận đầu vào như được tạo bởi và tạo từ đó mảng …

7 algorithms  complexity-theory  simulation  space-complexity 

Nói rằng chúng tôi đã cho nnn bộ và quy mô của liên minh của họ là mmm. Chúng tôi muốn xây dựng một bộ nhỏ chứa ít nhấtkkk sau đó nnn bộ đã cho. Hãy cho rằng mmm ít hơn một số đa thức trong nnn, I E: m&lt;P(n)m&lt;P(n)m …

7 complexity-theory  np-complete  np-hard  polynomial-time 

Lớp phức tạp # P#P\newcommand{\sharpp}{\mathsf{\#P}}\sharpp được định nghĩa là # P ={f∣ ∃ đa thức thời gian NTM M ∀ x .f( x ) = #Chấp nhậnM( x ) }#P={f∣∃ polynomial-time NTM M ∀x.f(x)=#acceptM⁡(x)}\qquad \displaystyle \sharpp = \{f \mid \exists \text{ polynomial-time NTM } M\ \forall x.\, f(x) = \#\operatorname{accept}_{M}(x)\} …

7 complexity-theory  turing-machines  closure-properties 

Tôi xác định một CNF dài để chứa ít nhất2n22n22^\frac{n}{2} mệnh đề, ở đâu nnnlà số lượng biến của nó. Đặt là một công thức CNF dài thỏa đáng .Long-SAT={ϕ:ϕLong-SAT={ϕ:ϕ\text{Long-SAT}=\{\phi: \phi}}\} Tôi muốn biết tại sao . Đầu tiên tôi nghĩ đó là \ text {NPC} vì tôi có thể …

7 complexity-theory  np-complete  reductions  satisfiability  polynomial-time