求解可满足性问题的量子算法
量子物理
2015-06-26 v2
摘要
利用基态量子计算机中的非幺正变换，提出了一种求解可满足性（SAT）问题的新量子算法。分析了3比特精确覆盖问题的基态量子计算机能隙尺度。讨论了该算法在一般SAT问题上的时间代价。
引用
@article{arxiv.quant-ph/0411194,
title = {Quantum Algorithm to Solve Satisfiability Problems},
author = {Wenjin Mao},
journal= {arXiv preprint arXiv:quant-ph/0411194},
year = {2015}
}
备注
5 pages, 3 figures