Chúng ta có thể đếm sâu


19

Chúng ta có thể tính toán một ngưỡng ngưỡng -bit theo các mạch kích thước đa thức (không giới hạn quạt) có độ sâu lg n khôngn ? Ngoài ra, chúng ta có thể đếm số lượng 1 trong các bit đầu vào bằng các mạch này không?lgnlglgn

?TC0MộttôitTtôime(Ôi(lgnlglgn),Ôi(lgn))


Lưu ý rằng . Vì vậy, câu hỏi về cơ bản là hỏi liệu chúng ta có thể lưu một yếu tố lg lg n trong độ sâu của các mạch khi tính toán các cổng ngưỡng hay không.TC0NC1= =MộtLogTtôime= =MộttôitTtôime(Ôi(lgn),Ôi(lgn))lglgn


Chỉnh sửa:

Như Kristoffer đã viết trong câu trả lời của mình, chúng ta có thể lưu một yếu tố . Nhưng chúng ta có thể tiết kiệm hơn một chút không? Chúng ta có thể thay thế O ( lg nlglgnvớio(lgnÔi(lgnlglgn)?o(lgnlglgn)

Dường như với tôi rằng lớp brute-force lừa không làm việc cho tiết kiệm thậm chí (tổng quát hơn bất kỳ chức năng trong lg lg n + ω ( 1 ) ).2lglgnlglgn+ω(1)


3
Tôi đã sửa đổi câu trả lời của mình để bao gồm chỉnh sửa mới nhất.
Kristoffer Arnsfelt Hansen

Câu trả lời:


22

Hãy xem xét một mạch fanin 2 của sâu O ( log n ) . Chia các lớp C thành O ( log n / log log n ) chặn từng lớp log log n lớp liên tiếp. Bây giờ chúng tôi muốn thay thế mỗi khối bằng một mạch sâu 2. Cụ thể, mỗi cổng trong lớp cuối cùng của một khối phụ thuộc vào tối đa 2 log log n = log nCÔi(đăng nhậpn)CÔi(đăng nhậpn/đăng nhậpđăng nhậpn)đăng nhậpđăng nhậpn2đăng nhậpđăng nhậpn= =đăng nhậpncổng của lớp cuối cùng trong khối bên dưới. Do đó, chúng ta có thể thay thế mỗi cổng trong lớp cuối cùng bằng một DNF có kích thước đa thức với các đầu vào là các cổng trong lớp cuối cùng của khối bên dưới. Làm điều này cho tất cả các cổng trong các lớp cuối cùng cho tất cả các khối và kết nối chúng sẽ mang lại mạch mong muốn.

Hãy để tôi lưu ý rằng đây về cơ bản là thứ tốt nhất có thể đạt được: bổ đề chuyển đổi cho phép giới hạn thấp hơn tất cả các cách để .đăng nhậpn/đăng nhậpđăng nhậpn


1
Cảm ơn Kristoffer. Tôi đã thêm một câu hỏi mạnh mẽ hơn một chút.
Kaveh

2
Chỉ để chắc chắn rằng tôi có được bức tranh lớn một cách chính xác: lên đến độ sâu các mạch này không thể tính được tính chẵn lẻ, ở độ sâu này, chúng đột nhiên có khả năng tính toán N C 1 . lgn/lglgnNC1
Kaveh

2
Điều đó đúng (tối đa các yếu tố không đổi theo chiều sâu).
Kristoffer Arnsfelt Hansen
Khi sử dụng trang web của chúng tôi, bạn xác nhận rằng bạn đã đọc và hiểu Chính sách cookieChính sách bảo mật của chúng tôi.
Licensed under cc by-sa 3.0 with attribution required.