Câu hỏi này nảy sinh trong bối cảnh của mật mã học, nhưng dưới đây tôi sẽ trình bày nó dưới dạng lý thuyết phức tạp, vì mọi người ở đây đã quen thuộc hơn với cái sau. Câu hỏi này liên quan đến các vấn đề trong NP nhưng không phải ở mức trung bình P / poly và đánh bại sự không đồng nhất của Oracle Access .
Tuyên bố không chính thức: Khi nào các đối thủ không đồng nhất (tức là họ mạch đa kích thước) thành công trong việc phá vỡ sơ đồ mật mã, nhưng các đối thủ thống nhất (ví dụ như máy Turing đa thời gian xác suất) thì không?
Tuyên bố lý thuyết phức tạp: Điều này không hoàn toàn giống với tuyên bố không chính thức ở trên, nhưng tôi thực sự quan tâm đến phiên bản này:
Vấn đề gì tự nhiên nằm trong ?
Nói cách khác, những vấn đề N P tự nhiên trung bình khó có thể được giải quyết bằng họ mạch đa kích cỡ?
Từ được giải có thể được hiểu là trường hợp xấu nhất hoặc trường hợp trung bình (trường hợp sau được ưu tiên).
Nếu các vấn đề tự nhiên không thể được tìm thấy dễ dàng, các vấn đề nhân tạo cũng được chấp nhận.