Chứng minh các giới hạn hữu hạn n rõ ràng trên các tập hợp của hệ thống toàn phương bình phương không có giải pháp so với chính xác một giải pháp, thiết lập các giới hạn cơ bản liên quan đến các giả định độ khó mã hóa sau lượng tử.

Chứng minh các giới hạn hữu hạn n rõ ràng trên các tập hợp của hệ thống toàn phương bình phương không có giải pháp so với chính xác một giải pháp, thiết lập các giới hạn cơ bản liên quan đến các giả định độ khó mã hóa sau lượng tử.