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

Gần đây, Watrous et al đã chứng minh rằng QIP (3) = PSPACE là một kết quả đáng chú ý. Đây là một kết quả đáng ngạc nhiên với bản thân tôi để nói ít nhất và nó làm tôi suy nghĩ ... Tôi tự hỏi điều gì sẽ xảy …

18 cc.complexity-theory  quantum-computing  space-bounded  conditional-results  interactive-proofs 

Tính toán lượng tử giới hạn thời gian rõ ràng là rất thú vị. Thế còn tính toán lượng tử giới hạn không gian? Tôi biết nhiều kết quả thú vị cho tính toán lượng tử với giới hạn không gian dưới lớp và các loại mô hình tự động …

17 quantum-computing  space-bounded 

Dễ dàng thấy rằng bất kỳ vấn đề nào có thể quyết định trong logspace xác định ( ) đều chạy trong hầu hết thời gian đa thức ( P ). Nhiều thuật toán logspace đã biết (Ví dụ: kết nối st không định hướng, đẳng cấu đồ thị phẳng) …

17 cc.complexity-theory  space-bounded  space-time-tradeoff 

Một phân phối được gọi là -fool một hàm nếu . Và nó được cho là đánh lừa một lớp các hàm nếu nó đánh lừa mọi hàm trong lớp đó. Được biết, các không gian thiên vị đánh lừa lớp chẵn lẻ trên các tập con. (xem Alon-Goldreich-Hastad-Peralta để …

17 cc.complexity-theory  derandomization  space-bounded  pseudorandomness 

Định lý của Savitch cho thấy rằng cho tất cả các hàm đủ lớn và chứng minh rằng điều này là chặt chẽ trong nhiều thập kỷ .fN S P A C E (f( n ) ) ⊆ D S P A C E ( f( n )2)NSPACE(f(n))⊆DSPACE(f(n)2)\mathrm{NSPACE}(f(n)) \subseteq \mathrm{DSPACE}(f(n)^2)fff …

16 cc.complexity-theory  automata-theory  space-bounded  space-complexity 

Theo kết quả kinh điển của Kuroda, lớp phức tạp NSPACE [ ]nnn (còn được gọi là NLIN-SPACE) chính xác là lớp CSL của các ngôn ngữ nhạy cảm theo ngữ cảnh . Vấn đề thỏa mãn SAT nằm ở NSPACE [ ], do có thể kiểm tra dự đoán …

16 cc.complexity-theory  fl.formal-languages  sat  space-bounded 

Nisan đã chứng minh trong "Psuedorandom Generators for Space-Bounded Computing", rằng tồn tại một trình tạo giả ngẫu nhiên "đánh lừa" các tính toán giới hạn không gian. Công trình này có đúng với mọi lời tiên tri (ít nhất là đối với các truy vấn không thích ứng) không?

16 cc.complexity-theory  space-bounded  derandomization 

Tôi quan tâm đến hai câu hỏi liên quan đến ngôn ngữ nhạy cảm ngữ cảnh (CSL) và tính đầy đủ: Có một khái niệm về tính đầy đủ cho CSL không, và ngôn ngữ nào đã hoàn thành? Có CSL tự nhiên nào là NP-đầy đủ không? Đối với …

16 np-hardness  fl.formal-languages  space-bounded 

Savitch đã đưa ra một thuật toán xác định để giải quyết kết nối st bằng cách sử dụng không gian , ngụ ý N L ⊆ D S P A C E ( log 2 n ) . Thuật toán của Savitch chạy trong thời gian 2 O ( …

15 cc.complexity-theory  space-bounded 

Chúng tôi thường xem xét các lớp phức tạp nơi chúng tôi bị giới hạn trong dung lượng mà máy Turing của chúng tôi có thể sử dụng, ví dụ: hoặc . Dường như sớm trong lý thuyết phức tạp đã có nhiều thành công với các lớp này như …

15 cc.complexity-theory  complexity-classes  quantum-computing  space-bounded 

là lớp các vấn đề quyết định có thể giải quyết được bởi một họ cácmạch độ sâu O ( log i n ) với các cổng OR không giới hạn OR và giới hạn-fanin AND. Tiêu cực chỉ được phép ở cấp đầu vào. Được biết, S Một C …

14 cc.complexity-theory  circuit-complexity  space-bounded  arithmetic-circuits 

Được biết đến nhờ Immerman và Szelepcsényi rằng nếu (ngay cả đối với các hàm có thể xây dựng ngoài không gian).f = Ω ( log )N S P A C E (f) = c o N S P A C E ( f)NSPACE(f)= =coNSPMộtCE(f){\rm NSPACE}(f)={\rm coNSPACE}(f)f= Ω ( nhật …

13 cc.complexity-theory  reference-request  space-bounded  alternating-hierarchy 

Định lý phân cấp thời gian nói rằng máy turing có thể giải quyết nhiều vấn đề hơn nếu chúng có (đủ) nhiều thời gian hơn. Liệu nó có giữ theo một cách nào đó nếu không gian bị giới hạn không có triệu chứng? Làm thế nào để liên …

12 cc.complexity-theory  complexity-classes  turing-machines  space-bounded  time-hierarchy 

Hãy xem xét một vectơ chiều trong đó . Đối với mỗi chúng ta biết và giả sử là độc lập. Sử dụng các xác suất này, có cách nào hiệu quả để lặp lại các vectơ chiều nhị phân theo thứ tự từ rất có thể đến ít nhất …

12 ds.algorithms  space-bounded 

MPA (automebble multiebble) là 2DFA (automaton hữu hạn xác định hai chiều) có thể sử dụng số lượng viên sỏi tùy ý (thực tế nhiều nhất là viên sỏi trên một đầu vào w - đầu vào được ghi trên băng giữa hai đầu -đánh dấu là # w # …

12 cc.complexity-theory  reference-request  automata-theory  space-bounded