Span-программа - это линейно-алгебраический способ задания булевой функции, представленный здесь . Недавно эта модель использовалась, чтобы показать, что метод отрицательного противника обеспечивает точную характеристику (по крайней мере, до ) сложности квантовых запросов.
Мера сложности, связывающая программы span с квантовой сложностью запроса, - это размер свидетеля. Эта мера кажется довольно похожей на сложность сертификата. Есть ли известные связи между этими двумя мерами? Как насчет измерения размера (числа входных векторов) для программ диапазона и других мер, таких как детерминистическая и рандомизированная сложность запросов? Каковы наиболее известные классические алгоритмы для оценки пролетных программ?
РЕДАКТИРОВАТЬ (после ответа Мартина Шварца):
Особый интерес представляют концептуальные связи, которые проходят непосредственно через программы охвата, а не через соответствие между размером свидетеля и сложностью квантового запроса. Существуют ли классические результаты, которые дают интуитивное представление о размахе программ / размере свидетеля и как они связаны с детерминистической и рандомизированной сложностью запросов?
источник