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

Xác định độ phức tạp Gaussian của ma trận là số lượng tối thiểu của các thao tác hàng và cột cơ bản cần có để đưa ma trận thành dạng tam giác trên. Đây là một đại lượng trong khoảng từ đến (thông qua việc tách biệt Gaussian). Khái …

18 cc.complexity-theory  lower-bounds  matrices 

Giới hạn dưới của Blum là mạch được biết đến thấp nhất được giới hạn dưới cơ sở hoàn chỉnh cho một hàm rõ ràng , cf Câu trả lời của Jukna cho câu hỏi này cho kết quả liên quan.3n−o(n)3n−o(n)3n-o(n)f:{0,1}n→{0,1}f:{0,1}n→{0,1}f : \{0,1\}^n \to \{0,1\} Giới hạn dưới được biết …

17 circuit-complexity  lower-bounds 

AC0AC0AC^{0}pppAC0[q]AC0[q]AC^{0}[q]AC0[q]AC0[q]AC^0[q]qqqgcd(p,q)=1gcd(p,q)=1\gcd(p,q)=1. Tuy nhiên, việc thu được kết quả giới hạn cụ thể trên các mạch độ sâu đa giác dường như nằm ngoài tầm với bằng cách sử dụng các phương pháp cổ điển như hạn chế đầu vào và xấp xỉ đa thức trên các trường hữu hạn. Tôi …

17 cc.complexity-theory  circuit-complexity  lower-bounds  dc.parallel-comp  gct 

Bài báo của Fischer trong tháng này đã nhắc nhở tôi rằng tôi biết rất ít về nghệ thuật cấu trúc dữ liệu cô đọng và thuật toán sử dụng chúng. Đối với những người không biết về cấu trúc dữ liệu cô đọng: Cho một cấu trúc tổ hợp, …

17 ds.data-structures  lower-bounds 

Số lượng cổng nhị phân tối thiểu cần thiết để tính toán AND và OR của bit đầu vào là bao nhiêu? Giới hạn trên tầm thường là . Tôi tin rằng điều này là tối ưu, nhưng làm thế nào để chứng minh điều này? Kỹ thuật loại bỏ …

16 cc.complexity-theory  lower-bounds  circuit-complexity 

Lý lịch Công thức đọc một lần trên một tập hợp các cổng (còn được gọi là cơ sở) là một công thức trong đó mỗi biến đầu vào xuất hiện một lần. Các công thức đọc một lần thường được nghiên cứu trên cơ sở De Morgan (có cổng …

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

Gần đây tôi đã phát hiện ra một bậc hai ràng buộc về mức độ phức tạp của một vấn đề trong mô hình cây quyết định và tôi tự hỏi liệu kết quả này có thể được khái quát hóa một phần cho mô hình máy truy cập ngẫu …

15 cc.complexity-theory  lower-bounds 

Đây là phần tiếp theo của câu hỏi này và có liên quan đến câu hỏi này của Shiva Kinali. Dường như các bằng chứng trong các bài báo này ( Allender , Caussinus-McKenzie-Therien-Vollmer , Koiran-Perifel ) sử dụng các định lý phân cấp. Tôi muốn biết liệu các bằng …

15 cc.complexity-theory  lower-bounds  relativization  permanent 

Trong độ phức tạp của mạch, chúng ta có sự phân tách giữa các quyền hạn của các mô hình mạch khác nhau. Trong độ phức tạp của bằng chứng, chúng ta có sự phân tách giữa các quyền hạn của các hệ thống chứng minh khác nhau. Nhưng trong …

15 cc.complexity-theory  circuit-complexity  lower-bounds  dynamic-programming 

Mỗi mạch số học đơn điệu , tức là một mạch {+,×}{+,×}\{+,\times\} , tính toán một số đa thức với các hệ số nguyên không âm. Cho một đa thức , mạchf ( x 1 , Mạnh , x n )F(x1,…,xn)F(x1,…,xn)F(x_1,\ldots,x_n)f(x1,…,xn)f(x1,…,xn)f(x_1,\ldots,x_n) tính nếu giữ cho tất cả ; F ( …

15 circuit-complexity  lower-bounds  arithmetic-circuits  cc-complexity-theory 

Chiều cao sao (tổng quát) của ngôn ngữ là mức lồng tối thiểu của các ngôi sao Kleene cần có để thể hiện ngôn ngữ bằng biểu thức chính quy mở rộng. Hãy nhớ lại rằng một biểu thức chính quy mở rộng trên bảng chữ cái hữu hạn thỏa …

15 fl.formal-languages  lower-bounds  regular-expressions 

Các -thứ tiểu đối xứng đa thức là tổng của tất cả sản phẩm của biến rõ rệt. Tôi quan tâm đến độ phức tạp của số học đơn điệu (+, \ lần) của đa thức này. Một thuật toán lập trình động đơn giản (cũng như Hình 1 bên …

14 cc.complexity-theory  circuit-complexity  lower-bounds  arithmetic-circuits  dynamic-programming 

Razborov đã chứng minh rằng chức năng khớp đơn điệu không có trong mP . Nhưng chúng ta có thể tính toán kết hợp bằng cách sử dụng một mạch kích thước đa thức với một vài phủ định không? Có một P / poly mạch với phủ nhận rằng …

14 cc.complexity-theory  circuit-complexity  lower-bounds  matching  monotone 

Nó cũng được biết rằng không có giao thức hai bên xác định có thể giải quyết vấn đề disjointness (DISJ) trên đầu vào -bit mà không gửi bit trong trường hợp xấu nhất (xem, ví dụ, cuốn sách bằng Kushilevitz và Nisan). Đối với các giao thức ngẫu nhiên …

14 lower-bounds  communication-complexity 

Có một số vấn đề trong lý thuyết biểu diễn tổ hợp và hình học đại số mà không có công thức tích cực nào được biết đến. Có một vài ví dụ tôi đang nghĩ đến, nhưng hãy để tôi lấy hệ số Kronecker làm ví dụ. Thông thường, …

14 cc.complexity-theory  counting-complexity  lower-bounds