最大k-SAT与高阶奇偶校验到Chimera图的直接映射
量子物理
2016-11-21 v3
摘要
我们展示了将最大k-SAT问题（及加权最大k-SAT）直接映射到Chimera图，该图是由D-Wave Systems Inc.制造的设备的非平面硬件图。我们进一步表明，该映射可用于映射一类相似的最大可满足性问题，其中子句被潜在大量比特上的奇偶校验所替代。后者对于通信解码应用具有特殊意义。我们讨论了一个示例，其中已被证明性能接近香农极限的turbo码的解码可映射到Chimera图。加权最大k-SAT问题是可满足性问题中最一般的类别，因此我们的结果有效地展示了任意可满足性问题如何可直接映射到Chimera图。我们的方法忠实再现了目标问题的低能谱，因此也可用于最大熵推断。
引用
@article{arxiv.1604.00651,
title = {A Direct Mapping of Max k-SAT and High Order Parity Checks to a Chimera Graph},
author = {Nicholas Chancellor and Stefan Zohren and Paul A. Warburton and Simon C. Benjamin and Stephen Roberts},
journal= {arXiv preprint arXiv:1604.00651},
year = {2016}
}
备注
8 pages, 5 figures, minor changes in version 2, mostly to improve clarity of writing changes at request of referee added in v3, accepted by Scientific Reports