AC0

AC^0 là một lớp độ phức tạp trong độ phức tạp mạch. Nó là lớp nhỏ nhất trong cấp bậc AC, bao gồm tất cả các mạch có chiều sâu O(1) và kích thước đa thức, với cổng AND và cổng OR có fan-in (số dữ liệu vào) không giới hạn. (cổng NOT chỉ được sử dụng cho dữ liệu vào). Nó bao hàm lớp NC^0 (chỉ cho phép cổng AND và OR với fan-in là hằng số).

Năm 1984, Furst, Saxe, và Sipser chứng minh rằng không thể kiểm tra tính chẵn lẻ của dữ liệu vào bằng bất kì mạch AC^0 nào.[1] Do đó, AC^0 không bằng NC^1, do tồn tại một gia đình các mạch trong NC^1 kiểm tra được tính chẵn lẻ.

Năm 2008, Mark Braverman đã chứng minh các mạch trong AC^0 không thể phân biệt được phân bố với độ độc lập đa thức của lôgarit của kích thước với phân bố ngẫu nhiên thực sự.[2]

Ghi chú

1. M. Furst, J. B. Saxe, and M. Sipser. Parity, circuits, and the polynomial-time hierarchy. Math. Systems Theory, 17:13–27, 1984.
2. Mark Braverman (2008). “Polylogarithmic independence fools AC0 circuits”. J. ACM. New York, NY, USA: ACM. 57 (5): 28:1--28:10. doi:10.1145/1754399.1754401.