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

Đây có thể là một câu hỏi chủ quan chứ không phải là một câu trả lời cụ thể, nhưng dù sao đi nữa. Trong lý thuyết phức tạp, chúng tôi nghiên cứu khái niệm tính toán hiệu quả. Có các lớp như là viết tắt của thời gian đa …

49 cc.complexity-theory  space-bounded  big-picture 

Xác định LOGLOG là lớp ngôn ngữ có thể được tính trong không gian O (loglog n) bằng máy Turing xác định (với quyền truy cập hai chiều vào đầu vào). Tương tự định nghĩa NLOGLOG là lớp ngôn ngữ có thể được tính trong không gian O (log log …

32 cc.complexity-theory  reference-request  space-bounded 

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 

Trước hết, tôi xin lỗi trước cho bất kỳ sự ngu ngốc. Tôi không có nghĩa là một chuyên gia về lý thuyết phức tạp (xa nó! Tôi là một sinh viên học lớp đầu tiên của tôi về lý thuyết phức tạp) Đây là câu hỏi của tôi. Bây …

28 cc.complexity-theory  space-bounded 

Người ta biết rằng kết nối st theo hướng là -complete. Kết quả đột phá Reingold cho thấy rằng vô hướng st-kết nối là trong L . Planar đạo st-kết nối được biết đến là trong U L ∩ c o U L . Chợ và Huỳnh định nghĩa một …

26 cc.complexity-theory  space-bounded 

Rõ ràng là bất kỳ vấn đề nào có thể quyết định trong logspace xác định ( ) chạy trong hầu hết thời gian đa thức ( P ). Có một sự giàu có của các tầng lớp phức tạp giữa L và P . Ví dụ bao gồm N …

24 cc.complexity-theory  lower-bounds  space-bounded 

Chiều rộng của cây đo mức độ gần của đồ thị với cây. Đó là NP-hard để tính chiều rộng cây. Là tốt nhất được biết đến xấp xỉ thuật toán đạt hệ số.O ( log n----√)Ôi(đăng nhậpn)O(\sqrt{{\log}n}) Định lý của Courcelle nói rằng bất kỳ tính chất nào của …

23 cc.complexity-theory  ds.algorithms  graph-theory  space-bounded  treewidth 

Tiếp theo từ một câu hỏi trước đó , giới hạn không gian hiện tại tốt nhất cho SAT là gì? Với một không gian giới hạn thấp hơn ở đây tôi có nghĩa là số lượng ô làm việc được sử dụng bởi máy Turing sử dụng bảng chữ …

22 cc.complexity-theory  sat  lower-bounds  space-bounded  space-complexity 

Tôi tự hỏi liệu có bất kỳ lý do nào để tin rằng hoặc tin rằng không?NL=LNL=LNL=LNL≠LNL≠LNL\neq L Được biết, . Các tài liệu về derandomization của là khá thuyết phục rằng . Có ai biết về một số bài viết hoặc ý tưởng thuyết phục rằng không?NL⊂L2NL⊂L2NL \subset L^2RLRLRLRL=LRL=LRL=LNL≠LNL≠LNL\neq …

22 cc.complexity-theory  reference-request  complexity-classes  space-bounded 

Hãy xem xét ngôn ngữ .EQUALITY={anbn∣n≥0}EQUALITY={anbn∣n≥0} \mathtt{EQUALITY} = \{ a^nb^n \mid n \geq 0 \} Người ta biết rằng không thể được nhận ra bởi bất kỳ máy Turing xen kẽ không gian sublogarithmic (ATM) (Szepietowski, 1994) . (Có một máy ATM sử dụng không gian sublogarithmic cho các thành …

21 space-bounded  polynomial-time 

Immerman và Szelepcsenyi độc lập đã chứng minh rằng . Sử dụng kỹ thuật đếm quy nạp của họ, Borodin et al đã chứng minh rằng S A C i được đóng dưới sự bổ sung, với i > 0 . Trước định lý của Reingold ( S L = …

20 cc.complexity-theory  space-bounded 

Nói chung, băng truy vấn cho một nhà tiên tri được tính vào độ phức tạp không gian của một TM. Tuy nhiên, có vẻ hợp lý khi cho phép một băng orory chỉ ghi (chẳng hạn như được sử dụng trong giảm bớt không gian L). Là một xây …

20 cc.complexity-theory  space-bounded  oracles 

USTCONN là vấn đề yêu cầu quyết định xem có đường dẫn từ đỉnh nguồn sss đến đỉnh đích trong đồ thị , trong đó tất cả đều được đưa ra như một phần của đầu vào.GtttGGG Omer Reingold cho thấy USTCONN đang ở L (doi: 10.1145 / 1391289.1391291 ). …

19 cc.complexity-theory  lower-bounds  reductions  space-bounded 

Có vô số thuật toán có thể phân tích cú pháp ngữ pháp không ngữ cảnh trong thời gian . Sử dụng phép nhân ma trận, người ta thậm chí có thể đi nhanh hơn bất thường.O(n3)O(n3)O(n^3) Tuy nhiên, tất cả các thuật toán để phân tích cú pháp CFG …

18 ds.algorithms  fl.formal-languages  space-bounded  parsing  context-free 

Trong một bài báo cổ điển, Munro và Paterson nghiên cứu vấn đề cần bao nhiêu dung lượng cho một thuật toán để tìm trung vị trong một mảng được sắp xếp ngẫu nhiên. Cụ thể, họ tập trung vào mô hình sau: đầu vào được đọc từ trái sang …

18 ds.algorithms  space-bounded  data-streams