×
艾哈迈德·尤尼斯

图二分问题的有界误差量子多项式时间算法。 （英语） Zbl 1325.81058号

量子信息处理。 14，第9号，3161-3177（2015）.
摘要：本文的目的是提出一种用于最大剖分和最小剖分问题的有界误差量子多项式时间算法。最大剖分和最小剖分问题是基本的NP-hard问题。给定一个具有偶数个顶点的图，最大剖分问题的目标是将顶点分为两个大小相同的子集，以最大化两个子集之间的边数，而最小剖分问题则是最小化两个子集间的边数。对于具有（m）条边的图，所提出的算法在（O（m^2））中运行；对于具有（n）个顶点的稠密图，在最坏的情况下，算法在（0（n^4）中运行。该算法以一般图为目标，将这两个问题表示为布尔约束满足问题，其中满足的约束集通过一种新的迭代部分否定和部分度量技术同时最大化/最小化。该算法表明，使用多项式空间资源，对于较小的（epsilon>0），可以实现任意高的成功概率\（1-\ epsilon\）。

引用于2文件

理学硕士：

81页68 量子计算
2012年第68季度 计算理论中的量子算法和复杂性
05第51页 图设计和同构分解

关键词：

量子算法;图形二分;最大剖切;最小剖检;振幅放大;BQP公司;NP-hard公司

软件：

卡夫帕;迪巴普;KaHIP公司;普雷格尔
PDF格式BibTeX公司 XML格式引用
\textit｛A.Younes｝，量子信息处理。14，第9号，3161--3177（2015；Zbl 1325.81058）
全文： 内政部 arXiv公司

参考文献：

[1] Armbruster，M.：大尺度最小二分问题的半定松弛的分支和割。Chemnitz理工大学博士论文（2007年）
[2] Armbruster，M.，Fgenschuh，M.，Helmberg，C.，Martin，A.：解决最小图平分问题的线性和半定分支和割方法的比较研究。摘自：《整数规划和组合优化会议论文集》，LNCS，第5035卷，第112-124页，（2008）·Zbl 1143.90397号
[3] Bazgan，C.，Karpinski，M.：关于全局约束满足的复杂性。摘自：第16届国际算法与计算研讨会论文集，第LNCS 3827卷，Springer，第624-633页（2005）·Zbl 1175.68194号
[4] Bazgan，C.：组合优化范式：问题和新方法。In:Paschos，V.T.（ed）（第1章：最优可满足性），第2卷，第25页，Wiley-ISTE，（2010）·Zbl 1139.81333号
[5] Bhatt，S.N.，Leighton，F.T.：解决超大规模集成电路图形布局问题的框架。J.计算。系统。科学。28(2), 300-343 (1984) ·Zbl 0543.68052号 ·doi:10.1016/0022-0000（84）90071-0
[6] Delling，D.，Goldberg，A.V.，Razenshteyn，I.，Werneck，R.F.：用自然切割进行图形分割。摘自：IEEE，IEEE国际并行和分布式处理研讨会（IPDPS）会议记录，第1135-1146页（2011年）
[7] Delling，D.，Werneck，R.F.：更快地定制道路网络。摘自：实验算法国际研讨会论文集。LNCS，第7933卷，第30-42页。柏林施普林格出版社（2013）·Zbl 1118.68073号
[8] Delling，D.，Fleischman，D.，Goldberg，A.V.，Razenshteyn，I.，Werneck，R.F.：最小图二分的精确组合算法。数学。程序。(2014). doi:10.1007/s10107-014-0811-z·Zbl 1327.90255号
[9] Josep Daza，J.，Kamiskib，M.：MAX-CUT和MAX-BISECTION是单位圆盘图上的NP-hard。西奥。计算。科学。377(13), 271-276 (2007) ·Zbl 1118.68073号
[10] Feige，U.，Langberg，M.：半定规划的RPR舍入技术。《算法杂志》60，1-23（2006）·Zbl 1113.90116号 ·doi:10.1016/j.jalgor.2004年11月03日
[11] Feldmann，A.E.，Widmayer，P.：计算实心网格图的二分法宽度的一种时间算法。摘自：《欧洲算法研讨会论文集》，LNCS，第6942卷，第143-154页，Springer，（2011）·Zbl 1347.68283号
[12] Guruswami，V.，Makarychev，Y.，Raghavendra，P.，Steurer，D.，Zhou，Y.：寻找几乎完美的图二分。载于：国际科学院院刊，第321-337页（2011年）
[13] Garey，M.R.，Johnson，D.S.：计算机与难治性。NP-完备性理论指南。W.H.弗里曼公司，伦敦（1979年）·兹伯利0411.68039
[14] Garey，M.R.，Johnson，D.S.，Stockmeyer，L.J.：一些简化的NP-完全图问题。西奥。计算。科学。1237-267（1976年）·Zbl 0338.05120号 ·doi:10.1016/0304-3975（76）90059-1
[15] 格罗弗，L.K.：量子力学有助于大海捞针。物理学。修订稿。79, 325 (1997) ·doi:10.1103/PhysRevLett.79.325
[16] Hager，W.W.，Phan，D.T.，Zhang，H.：图划分的精确算法。数学。程序。137, 531-556 (2013) ·Zbl 1263.90115号 ·doi:10.1007/s10107-011-0503-x
[17] Hendrickson，B.，Leland，R.：用于映射并行计算的改进谱图分割算法。SIAM J.科学。计算。16(2), 452-469 (1995) ·Zbl 0816.68093号 ·doi:10.1137/0916028
[18] Hein，M.，Bhler，T.：非线性特征问题的逆幂方法，在单谱聚类和稀疏PCA中的应用。摘自：《神经信息处理系统进展》（NIPS），第847-855页（2010年）
[19] Höyer，P.：量子振幅放大中的任意相位。物理学。版本A 62，52304（2000）·doi:10.1103/PhysRevA.62.052304
[20] Jansen，K.，Karpinski，M.，Lingas，A.，Seidel，E.：平面图和几何图上MAX-BISECTION的多项式时间近似方案。SIAM J.计算。35, 110-119 (2005) ·Zbl 1087.90063号 ·网址：10.1137/S009753970139567X
[21] Johnson，E.，Mehrotra，A.，Nemhauser，G.：Min-cut聚类。数学。程序。62, 133-152 (1993) ·Zbl 0807.90117号 ·doi:10.1007/BF01585164
[22] Kwatra，V.，Schdl，A.，Essa，I.，Turk，G.，Bobick，A.：图形切割纹理：使用图形切割的图像和视频合成。ACM事务处理。图表。22, 277-286 (2003) ·doi:10.1145/8822628.82264
[23] Land，A.H.，Doig，A.G.：解决离散编程问题的自动方法。《计量经济学》28（3），497-520（1960）·Zbl 0101.37004号 ·doi:10.307/1910129
[24] Lipton，R.J.，Tarjan，R.：平面分离器定理的应用。SIAM J.计算。9, 615-627 (1980) ·兹比尔0456.68077 ·数字对象标识代码：10.1137/0209046
[25] Malewicz，G.，Austern，M.H.，Bik，A.J.，Dehnert，J.C.，Horn，I.，Leiser，N.，Czajkowski，G.：Pregel，一个用于大规模图形处理的系统。收录于：PODC，第6页。ACM（2009）·Zbl 0543.68052号
[26] Meyerhenke，H.，Monien，B.，Sauerwald，T.：一种新的基于扩散的多级算法，用于计算图形划分。J平行分布计算。69(9), 750-761 (2009) ·doi:10.1016/j.jpdc.2009.04.005
[27] Rcke，H.：网络拥塞最小化的最优分层分解。摘自：ACM计算机理论研讨会（STOC）会议记录，第255-263页。纽约ACM出版社（2008）·Zbl 1318.90063号
[28] Raghavendra，P.，Tan，N.：使用SDP层次结构近似具有全局基数约束的CSP。摘自：SODA会议记录，第373-387页（2012年）·Zbl 1422.68312号
[29] 里夫林，T.J.：切比雪夫多项式。威利，纽约（1990年）·Zbl 0734.41029号
[30] Shi，J.，Malik，J.：标准化切割和图像分割。IEEE传输。模式分析。马赫。智力。22(8), 888-905 (2000) ·doi:10.1009/34.868688
[31] Sanders，P.，Schulz，C.：分布式进化图划分。摘自：《算法工程与实验学报》（ALENEX），第16-29页。SIAM（2012年）·Zbl 1430.68237号
[32] Sanders，P.，Schulz，C.：局部思考，全局行动：高度平衡的图形划分。摘自：实验算法国际研讨会论文集。LNCS，第7933卷，第164-175页。柏林施普林格出版社（2013）
[33] Xu，Z.，Du，D.，Xu，D.：最大分割和不相交的2目录分割问题的改进近似算法。J.库姆。最佳方案。27(2), 315-327 (2014) ·Zbl 1318.90063号 ·doi:10.1007/s10878-012-9526-3
[34] Younes，A.，Rowe，J.，Miller，J.：通过纠缠和部分扩散增强量子搜索。物理学。D.237（8），1074-1078（2007）·兹比尔1139.81333 ·doi:10.1016/j.physd.2007.12.005
[35] Younes，A.：迈向更可靠的固定相位量子搜索算法。申请。数学。信息科学。7(1), 93-98 (2013) ·doi:10.12785/amis/070110
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不声称其完整性或完全匹配。