Quantum Query Complexity and Span Programs from Pre-Geometry
이 논문은 쿼리 의존성을 프로그램 구조로부터 분리하여 정확한 적대적 하한(adversary bounds)의 도출, 세이무어 분해(Seymour decomposition)를 통한 합성적 환원을 가능하게 하며, 무작위 알고리즘보다 우수한 복잡도의 양자 쿼리 알고리즘 구축을 가능하게 하는 스팬 프로그램(span programs)을 위한 매트로이드 프레임워크를 소개한다.