https://9dok.net/document/zpnpvpjv-complexity-bounds-fundamental-computational-problems-quantum-branching-programs.html