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

Làm thế nào để chứng minh rằng ? Tôi chỉ tìm kiếm một TM M như vậy và một ngôn ngữ đệ quy L ( M ) = L mà cái này giữ.NPA≠coNPANPA≠coNPA\mathsf{NP}^A \neq \mathsf{coNP}^AMMML(M)=LL(M)=LL(M) = L Tôi biết các bằng chứng mà bạn thấy rằng có một lời sấm …

12 complexity-theory  relativization 

Tôi đang tự hỏi, sự phức tạp về thời gian của việc xác định sự trống rỗng cho các DFA 2 chiều là gì? Đó là, automata hữu hạn có thể di chuyển ngược trên băng đầu vào chỉ đọc của họ. Theo Wikipedia, chúng tương đương với DFA, mặc …

12 complexity-theory  formal-languages  reference-request  automata  finite-automata 

Tôi được cung cấp một bộ A≜{1,…,k}A≜{1,…,k}A\triangleq\{1,\ldots,k\} , một số nguyên s⩽ks⩽ks\leqslant k và các số nguyên không âm aijaija_{ij} . Vấn đề của tôi là tìm sss tập con tách rời SjSjS_j của {1,…,k}{1,…,k}\{1,\ldots,k\} sao cho: ⋃sj=1Sj=A⋃j=1sSj=A\bigcup_{j=1}^s S_j=A ; và |Sj|⩽aij|Sj|⩽aij|S_j|\leqslant a_{ij} cho tất cả i∈Sji∈Sji\in S_j và j=1,…,sj=1,…,sj=1,\ldots,s …

11 complexity-theory  integer-programming 

Có cách nào dễ dàng để biết tại sao NP lại ở EXPTIME không? Dường như với tôi một tiên nghiệm có thể hiểu rằng có thể có một vấn đề đòi hỏi thời gian siêu cấp số nhân để giải quyết, nhưng giải pháp của ai có thể được …

11 complexity-theory  complexity-classes 

Vòng kiểm tra Google Hash Code 2015 ( tuyên bố vấn đề ) đã hỏi về vấn đề sau: đầu vào: a lưới với một số ô vuông được đánh dấu, một ngưỡng T ∈ N , một khu vực tối đa Một ∈ NMMMT∈NT∈NT \in \mathbb{N}A∈NA∈NA \in \mathbb{N} đầu …

11 complexity-theory  reductions  np-hard 

Tôi biết điều đó thật ngớ ngẩn, nhưng tôi đã tự làm mình bối rối và tôi cần sự giúp đỡ để giải quyết chuyện này Giả sử , sau đó rõ ràng cho mỗi oracle Một chúng tôi có P Một = N P A mà mâu thuẫn với …

11 complexity-theory  p-vs-np  oracle-machines 

Đặt là một số vấn đề đếm được biết là # -Complete .ΠΠ\PiPPP Có phải nó ngụ ý rằng là -hard (tức là không có PTAS cho vấn đề tồn tại trừ khi )?ΠΠ\PiAPXAPXAPXP=NPP=NPP=NP

11 complexity-theory  complexity-classes  approximation  counting 

Tôi tự hỏi liệu có bất kỳ vấn đề -hard nào là "đa thức" trong trường hợp trung bình không. Tôi nghĩ có hai cách để giải thích điều này?NPNPNP Nếu , có thể có một thuật toán giải quyết vấn đề -hard với thời gian chạy được khấu hao …

11 complexity-theory  reference-request  np-complete  probabilistic-algorithms  amortized-analysis 

Tôi quan tâm đến các thuộc tính của một lớp đồ thị lưỡng cực trong đó tất cả các nút trong X là 3 đều đặn, tất cả các nút trong Y là 2 thường xuyên và | X | = | 2 Y / 3 | . Đầu tiên, …

11 complexity-theory  graph-theory 

Vấn đề quyết định Đưa ra một công thức Boolean , có chính xác một nhiệm vụ thỏa mãn không?ϕϕ\phiϕϕ\phi có thể được nhìn thấy ở , và -hard. Có bất cứ điều gì được biết nhiều hơn về sự phức tạp của nó?Δ2Δ2\Delta_2UPUP\mathsf{UP}coNPcoNP\mathsf{coNP}

11 complexity-theory  complexity-classes  satisfiability 

Theo bài viết trên Wikipedia về các sơ đồ xấp xỉ thời gian đa thức : Tất cả các vấn đề trong FPTAS đều có thể điều chỉnh tham số cố định. Kết quả này làm tôi ngạc nhiên - những lớp học này dường như hoàn toàn khác biệt …

11 complexity-theory  reference-request  approximation  parameterized-complexity 

Căn cứ vào thực tế là - con đường liệt kê là một # P-hoàn chỉnh vấn đề, có thể có được phương pháp hiệu quả mà tính toán (hoặc ít nhất là gần đúng) chiều dài trung bình của - con đường mà không liệt kê họ? Điều gì …

11 algorithms  complexity-theory  graphs  approximation  enumeration 

Cho công việc , mỗi công việc yêu cầu thời gian để hoàn thành.nnnJ1,J2,...,JnJ1,J2,...,JnJ_1,J_2,...,J_nTi>0,Ti∈NTi>0,Ti∈NT_i > 0, T_i \in N Mỗi công việc phải được xử lý trước và xử lý sau bởi một máy M chỉ có thể xử lý 1 công việc tại một thời điểm và cả hai …

11 complexity-theory  reference-request  scheduling 

Ví dụ: tôi biết rằng ngôn ngữ không thông thường nằm trong . Tôi muốn biết thêm ví dụ như thế này. A C 0mộtnbnanbna^nb^nA C0AC0AC^0

11 complexity-theory  regular-languages  circuits 

Tôi biết rằng thiết lập độc lập tối đa trên các đồ thị không có hình tam giác khối là NP-hoàn chỉnh. Nó vẫn hoàn thành NP trong trường hợp chúng tôi yêu cầu bộ độc lập có kích thước chính xác ?|V|/2|V|/2|V|/2 Về cơ bản, ví dụ CÓ của …

11 complexity-theory  np-complete