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

Khoa học máy tính lý thuyết đã cung cấp một số ví dụ về "giá trừu tượng". Hai nổi bật nhất là để loại bỏ và sắp xếp Gaussian. Cụ thể là: Người ta biết rằng loại bỏ Gaussian là tối ưu cho việc tính toán định thức nếu bạn …

112 ds.algorithms  reference-request  big-list  lower-bounds 

Khi thiết kế một thuật toán cho một vấn đề mới, nếu sau một thời gian tôi không thể tìm thấy thuật toán đa thức, tôi có thể cố gắng chứng minh nó là NP-hard. Nếu tôi thành công, tôi đã giải thích lý do tại sao tôi không thể …

58 cc.complexity-theory  lower-bounds  conditional-results 

Các giới hạn thấp nhất hiện tại tốt nhất cho thời gian và độ sâu mạch cho 3SAT là gì?

46 cc.complexity-theory  lower-bounds  sat 

Vào những năm 1980, Razborov nổi tiếng đã chỉ ra rằng có các hàm Boolean đơn điệu rõ ràng (như hàm CLIQUE) yêu cầu nhiều cổng AND và OR theo cấp số nhân để tính toán. Tuy nhiên, cơ sở {AND, OR} trên miền Boolean {0,1} chỉ là một ví …

40 lower-bounds  circuit-complexity  circuit-families 

Đặt PRIMES (còn gọi là kiểm tra tính nguyên thủy ) là vấn đề: Cho số tự nhiên , n có phải là số nguyên tố không?nnnnnn Đặt FACTORING là vấn đề: Cho các số tự nhiên , m với 1 ≤ m ≤ n , n có hệ số …

39 cc.complexity-theory  lower-bounds  factoring  primes  p-hardness 

Tham lam, vì thiếu một từ tốt hơn, là tốt. Một trong những mô hình thuật toán đầu tiên được dạy trong khóa học thuật toán giới thiệu là cách tiếp cận tham lam . Cách tiếp cận tham lam dẫn đến các thuật toán đơn giản và trực quan …

38 cc.complexity-theory  lower-bounds  approximation-algorithms  greedy-algorithms  approximation-hardness 

Một vài năm trước, có một số công việc của Joel Friedman liên quan đến giới hạn mạch thấp hơn đối với cohomology (xem tài liệu: http://arxiv.org/abs/cs/0512008 , http://arxiv.org/abs/cs/0604024 ). Liệu dòng suy nghĩ này đã mang lại bất kỳ hiểu biết mới nào về sự phức tạp của boolean, …

33 cc.complexity-theory  lower-bounds  circuit-complexity  boolean-functions 

Đặt fff là hàm Boolean và hãy nghĩ về f là hàm từ {−1,1}n{−1,1}n\{-1,1\}^n đến {−1,1}{−1,1}\{ -1,1 \} . Trong ngôn ngữ này, việc mở rộng Fourier của f chỉ đơn giản là sự mở rộng của f về các đơn thức tự do vuông. ( đơn thức này tạo …

29 cc.complexity-theory  lower-bounds  circuit-complexity  boolean-functions  fourier-analysis 

Kết quả phức tạp mạch đột phá gần đây của Ryan Williams cung cấp một kỹ thuật bằng chứng sử dụng kết quả giới hạn trên để chứng minh giới hạn dưới phức tạp. Suresh Venkat trong câu trả lời của mình cho câu hỏi này, Có bất kỳ kết …

29 cc.complexity-theory  lower-bounds 

Tôi cần tính toán trung bình đang chạy: Đầu vào: , k , vectơ ( x 1 , x 2 , Mạnh , x n ) .nnnkkk( x1, x2, Lọ , xn)(x1,x2,…,xn)(x_1, x_2, \dotsc, x_n) Output: vector , nơi y i là trung bình ( x i , x i …

25 ds.algorithms  ds.data-structures  lower-bounds 

Câu hỏi: Kích thước công thức được biết đến tốt nhất giới hạn dưới cho một hàm rõ ràng trong AC 0 là gì? Có một chức năng rõ ràng với một thấp hơn bị ràng buộc?Ω(n2)Ω(n2)\Omega(n^2) Lý lịch: Giống như hầu hết các giới hạn dưới, kích thước giới …

25 cc.complexity-theory  lower-bounds  circuit-complexity  formulas 

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 

Một đa thức là một dự báo đơn điệu của một đa thức g ( y 1 , ... , y m ) nếu m = nhiều ( n ) , và có sự phân π : { y 1 , ... , y m } → { x 1 …

23 cc.complexity-theory  circuit-complexity  lower-bounds  arithmetic-circuits 

Tôi biết rằng trivially OR chức năng trên nnn biến x1,…,xnx1,…,xnx_1,\ldots, x_n có thể được biểu diễn chính xác bởi các đa thức p(x1,…,xn)p(x1,…,xn)p(x_1,\ldots,x_n) như vậy: p(x1,…,xn)=1−∏ni=1(1−xi)p(x1,…,xn)=1−∏i=1n(1−xi)p(x_1,\ldots,x_n) = 1-\prod_{i = 1}^n\left(1-x_i\right) , có độ nnn . Nhưng làm thế nào tôi có thể chỉ ra, điều có vẻ hiển nhiên, …

23 cc.complexity-theory  co.combinatorics  lower-bounds  polynomials 

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