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

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 

Người ta biết rằng palindromes có thể được nhận ra theo thời gian tuyến tính trên máy Turing -tape, nhưng không phải trên máy Turing băng đơn (trong trường hợp thời gian cần thiết là bậc hai). Thuật toán thời gian tuyến tính sử dụng một bản sao của đầu …

20 cc.complexity-theory  time-complexity  space-complexity  space-time-tradeoff 

Tôi đang tìm một bài khảo sát hoặc một cuốn sách bao gồm các kết quả về độ phức tạp không gian của các phép toán đại số tuyến tính phổ biến như xếp hạng ma trận, tính toán giá trị, v.v. Tôi nhấn mạnh phần "độ phức tạp không …

19 linear-algebra  space-complexity 

Đị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 

Trong bài báo của họ xấp xỉ Khỏang cách Oracles , Thorup và Zwick đã chỉ ra rằng đối với bất kỳ đồ thị vô hướng có trọng số, chúng ta có thể xây dựng một cấu trúc dữ liệu kích thước có thể trả về một ( 2 k …

14 ds.algorithms  graph-theory  approximation-algorithms  space-complexity 

Tôi đã thực hiện một số tìm kiếm về điều này nhưng tôi cũng không thể tìm thấy câu trả lời. Huck trả lời đầy đủ. Cảm ơn :)

13 cc.complexity-theory  complexity-classes  time-complexity  space-complexity 

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 

Elberfeld, Jakoby và Tantau 2010 ( ECCC TR10-062 ) đã chứng minh một phiên bản hiệu quả của định lý Bodlaender. Họ đã chỉ ra rằng đối với các đồ thị có treewidth nhiều nhất là , có thể tìm thấy phân rã cây có chiều rộng bằng cách sử …

10 cc.complexity-theory  sat  treewidth  space-complexity 

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 

Trong bộ phim, Inception Cobb yêu cầu Ariadne thiết kế một mê cung cần gấp đôi thời gian để thiết kế. Điều này dẫn đến một vấn đề tổng quát trong đó chúng ta có một tình huống trong đó chúng ta bị giới hạn tài nguyên bởi một số …

8 cc.complexity-theory  reference-request  time-complexity  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 

Trong bài viết năm 1969 của Savitch, "Mối quan hệ giữa độ phức tạp băng không xác định và xác định", ông nói rằng "tất cả các hàm lưu trữ phổ biến L (n)> = lg n đều có thể đo lường được. Đặc biệt, mọi đa thức trong n …

8 cc.complexity-theory  pspace  space-complexity