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

ST-Connectivity là vấn đề xác định xem có tồn tại một đường dẫn giữa hai đỉnh phân biệt và trong đồ thị có hướng . Liệu vấn đề này có thể được giải quyết trong logspace hay không, là một vấn đề mở từ lâu. Đây được gọi là vấn …

31 cc.complexity-theory  graph-theory  space-bounded  treewidth  logspace 

Shiva Kintali vừa công bố một (cool!) Cho kết quả rằng phép đẳng cấu đồ thị cho các biểu đồ treewidth bị chặn chiều rộng là -Hard≥4≥4\geq 4⊕L⊕L\oplus L . Một cách không chính thức, câu hỏi của tôi là "Khó đến mức nào?" Chúng tôi biết rằng không đồng …

26 cc.complexity-theory  complexity-classes  logspace 

Các thuật toán Weisfeiler-Lehman 1-dim (WL) thường được gọi là nhãn kinh điển hay thuật toán tinh màu. Nó hoạt động như sau: Màu ban đầu là đồng nhất, cho tất cả các đỉnh .C0C0C_0C0( v ) = 1C0(v)= =1C_0(v) = 1v ∈ V( G ) ∪ V( H)v∈V(G)∪V(H)v \in …

15 cc.complexity-theory  graph-theory  graph-isomorphism  logspace 

Nếu , thì có một thuật toán logspace giải quyết phiên bản quyết định của 2-SAT.L=NLL=NL\mathsf{L = NL} Có phải ngụ ý rằng có một thuật toán logspace để có được một bài tập thỏa mãn , khi được đưa ra một ví dụ 2-SAT thỏa đáng làm đầu vào …

15 sat  search-problem  logspace 

Điều gì xảy ra nếu chúng ta định nghĩa P P A DPPAD{\bf PPAD} sao cho thay vì mạch Turing-machine / polysize polytime, logspace Turing-machine hoặc mạch A C 0AC0{\bf AC^0} mã hóa vấn đề? Gần đây đưa ra các thuật toán nhanh hơn cho Circuit satisfiability cho mạch nhỏ …

15 cc.complexity-theory  circuit-complexity  logspace  ppad  ac0 

Một ngôn ngữ nằm trong nếu tồn tại máy Turing logspace quyết định ngôn ngữ với số lượng lời khuyên đa thức.L/polyL/polyL/poly Xem tại đây để biết thêm: https://en.wikipedia.org/wiki/L/poly Câu hỏi Hậu quả của gì?P⊆L/polyP⊆L/polyP \subseteq L/poly

14 cc.complexity-theory  circuit-complexity  polynomial-time  advice-and-nonuniformity  logspace 

Câu hỏi. Trong bài báo của họ Cải tiến mô phỏng các mạch ổn định , Aaronson và Gottesman tuyên bố rằng mô phỏng mạch CNOT là ⊕L -complete (dưới mức giảm logspace). Rõ ràng là nó được chứa trong ⊕L ; làm thế nào để giữ kết quả độ …

14 cc.complexity-theory  counting-complexity  linear-algebra  logspace 

Bằng chứng Omer Reingold rằng đưa ra một thuật toán cho USTCON (Trong một U ndirected đồ thị với các đỉnh đặc biệt s và t , là họ Côn nối kết?) Chỉ sử dụng logspace. Ý tưởng cơ bản là xây dựng một biểu đồ mở rộng từ biểu …

13 graph-algorithms  nondeterminism  expanders  logspace 

Trang wikipedia trên PSPACE đề cập rằng không được biết là nghiêm ngặt (không may không có tài liệu tham khảo).NL⊂PHNL⊂PHNL\subset PH Câu 1: Điều gì về và - những điều này được biết là nghiêm ngặt?L⊂PHL⊂PHL\subset PHL⊂P#PL⊂P#PL\subset P^{\#P} Câu 2: Nếu không, có một lớp được thành lập có …

12 cc.complexity-theory  complexity-classes  logspace 

Định lý của Mahaney cho chúng ta biết rằng nếu có một -complete thưa thớt được đặt dưới các mức giảm nhiều lần một đa thức, thì . (Xem " Bộ hoàn chỉnh thưa thớt cho NP: Giải pháp phỏng đoán Berman và Hartmanis ")NPNPNPP= NPP=NPP = NP Có hậu …

10 cc.complexity-theory  complexity-classes  reductions  polynomial-time  logspace 

Hãy xem xét một máy (cụ thể là thuật toán xác suất sử dụng logspace và đa thức nhiều bit ngẫu nhiên). Nó được biết đến (Saks-Chu) mà B P L ⊆ D S P Một C E ( l o g 1,5 ( n ) ) .BPLBPLBPLBPL⊆DSPACE(log1.5(n))BPL⊆DSPACE(log1.5(n))BPL \subseteq DSPACE(log^{1.5}(n)) …

8 cc.complexity-theory  complexity-classes  derandomization  space-bounded  logspace 

Được biết điều gì đó về các ngôn ngữ được công nhận bởi bộ đếm tự động đa đầu xác định hai chiều hoặc logspace TM với bộ đếm (mô hình tương đương)? Lớp này được gọi là Aux2DC trong bài viết của cố vấn của tôi . Hoặc về …

8 cc.complexity-theory  complexity-classes  fl.formal-languages  logspace  counter-automata