Giải quyết một câu hỏi mở lâu đời bằng cách xây dựng một hàm Boolean toàn phần đạt Q(f) = Õ(⁴√C(f)), chứng minh rằng khoảng cách tối đa giữa độ phức tạp chứng chỉ và độ phức tạp truy vấn lượng tử là tứ phương (tính đến các hệ số logarit).

Giải quyết một câu hỏi mở lâu đời bằng cách xây dựng một hàm Boolean toàn phần đạt Q(f) = Õ(⁴√C(f)), chứng minh rằng khoảng cách tối đa giữa độ phức tạp chứng chỉ và độ phức tạp truy vấn lượng tử là tứ phương (tính đến các hệ số logarit).