Конструктивные доказательства типа «черный ящик» неизбежны.

Авторы: Лицзе Чен (Калифорнийский университет в Беркли); Райан Уильямс (Массачусетский технологический институт); Тяньци Ян (Университет Цинхуа) ITCS — Инновации в теоретической информатике