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

Câu hỏi chung Liệu định lý phân cấp không gian có khái quát đến tính toán không đồng nhất không? Dưới đây là một vài câu hỏi cụ thể hơn: Là ?L/poly⊊PSPACE/polyL/poly⊊PSPACE/polyL/poly \subsetneq PSPACE/poly Đối với tất cả các hàm xây dựng không gian f(n)f(n)f(n) , DSPACE(o(f(n)))/poly⊊DSPACE(f(n))/polyDSPACE(o(f(n)))/poly⊊DSPACE(f(n))/polyDSPACE(o(f(n)))/poly \subsetneq DSPACE(f(n))/poly ? …

11 cc.complexity-theory  space-bounded  space-complexity  advice-and-nonuniformity  hierarchy-theorems 

Tôi đang cố gắng tìm các vấn đề mà độ phức tạp không gian trường hợp trung bình đã được phân tích. Cụ thể hơn, tôi muốn biết liệu có bất kỳ vấn đề nào với độ phức tạp không gian đã được chứng minh là giới hạn siêu tuyến …

11 cc.complexity-theory  reference-request  space-bounded  average-case-complexity 

Hiển thị một hàm có thể xây dựng theo không gian nhưng không thể định thời gian.f( n )f(n)f(n) Vấn đề này có liên quan đến sự phân tách có thể có giữa các lớp phức tạp DTIME (f (n)) và SPACE (f (n)) không?

10 cc.complexity-theory  space-bounded  separation 

Do automata giới hạn tuyến tính không giới hạn truy cập chỉ nhận dạng ngôn ngữ thông thường? Bởi một máy tự động giới hạn tuyến tính không giới hạn (nLBA) Tôi có nghĩa là một máy Turing không phá hủy băng đơn trong đó đầu vào được "đệm" với …

9 automata-theory  turing-machines  regular-language  space-bounded 

Cập nhật: Có vẻ như vấn đề này đã được nghiên cứu và giải quyết gần đây, xem bài viết wiki này: http://en.wikipedia.org/wiki/Tree_walking_automaton Và cả khảo sát này: http://www.mimuw.edu.pl/~bojan / con / twasurvey.pdf Giả sử thay vì tập hợp các từ thông thường, {0,1} *, các từ của chúng tôi …

9 cc.complexity-theory  automata-theory  space-bounded  dfa 

Người ta biết rằng Bài toán NP-Complete có tên Subset Sum có FPTAS. Tôi đã tự hỏi nếu có tồn tại một vấn đề PSPACE Complete cũng có FPTAS? Cảm ơn trước.

9 ds.algorithms  space-bounded  big-picture 

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 

Hãy xem xét các vấn đề quyết định sau đây. Đặt và để (C_0 ^ n, C_1 ^ n, \ dot, C_ {q-1} ^ n) là phù hợp liệt kê các tập hợp con của \ {0,1, \ dot, n-1 \} có tối đa n / 4 phần tử.q=∑n/4i=0(ni)q=∑i=0n/4(ni)q = …

8 cc.complexity-theory  coding-theory  space-bounded  space-complexity 

Một mẹo nổi tiếng để lưu trữ các vectơ bit bằng cách sử dụng bộ nhớ chưa được khởi tạo có thể phân bổ một vectơ bit có kích thước trong đó tất cả các bit được đặt thành bằng cách cấp phát bit của bộ nhớ và khởi tạo …

8 ds.data-structures  space-bounded  space-time-tradeoff  space-complexity 

Cho các số nguyên dương và e , những gì đã biết về độ phức tạp không gian và thời gian của việc tìm trọng số Hamming (số nhị phân 1s) của b e ?bbbeeebebeb^e Nếu bit b log có sẵn, số lượng đơn giản có thể được tính bằng …

8 ds.algorithms  co.combinatorics  space-bounded  space-time-tradeoff