文件Open Access徽标

超越JWP:一类通过M-凸交集可牵引的二进制VCSP

作者 Hiroshi Hirai先生, 岩马由尼, 卡佐·穆罗塔, 斯坦尼斯拉夫·齐夫尼



PDF格式
缩略图PDF

文件

LIPIcs公司。STACS.2018.39.pdf
  • 文件大小:0.59 MB
  • 14页

文件标识符

作者详细信息

Hiroshi Hirai先生
岩正裕尼
卡佐·穆罗塔
斯坦尼斯拉夫·齐夫尼

引用为获取BibTex

Hiroshi Hirai、Yuni Iwamasa、Kazuo Murota和Stanislav Zivny。超越JWP:通过M-凸交集的一类可牵引的二进制VCSP。在第35届计算机科学理论方面研讨会(STACS 2018)上。莱布尼茨国际信息学论文集(LIPIcs),第96卷,第39:1-39:14页,达格斯图尔-莱布尼兹-泽特鲁姆信息学院(2018)
https://doi.org/10.4230/LIPIcs.STACS.2018.39

摘要

二进制VCSP是表示为一元和二进制成本函数之和的函数的最小化问题的一般框架。VCSP研究的一条重要路线是研究哪些函数可以在多项式时间内求解。Cooper-Zivny根据“三角形”的概念对二进制VCSP实例的可处理性进行了分类并表明唯一有趣的可处理案例是由联合胜利者属性(JWP)诱导的案例。最近,Iwamasa-Murota-Zivny将VCSP与离散凸分析联系起来,表明满足JWP的函数可以转化为表示为两个M-凸函数之和的函数,如果给出每个M-凸函数的值预言,则可以通过M-凸交会算法在多项式时间内最小化。在本文中,我们给出了一个自然问题的算法答案:哪些二进制有限值CSP实例可以通过M-凸交集算法在多项式时间内求解?我们通过设计多项式时间算法来解决这个问题,以便在可表示的情况下获得表示的具体形式。我们的结果给出了一个更大的可处理的二进制有限值CSP类,它正确地包含了JWP类。
关键词
  • 有值约束满足问题
  • 离散凸分析
  • M-凸性

韵律学

工具书类

  1. A.A.布拉托夫。非均匀CSP的二分法定理。第58届IEEE计算机科学基础年会(FOCS’17)会议记录,第319-330页,2017年。谷歌学者
  2. M·C·库珀和S·洗伊文。有值约束问题的混合可处理性。人工智能,175:1555-15692011。谷歌学者
  3. M.C.Cooper和S.živný。离散优化中的可牵引三角形和无交叉凸性。《人工智能研究杂志》,44:455-4902012年。谷歌学者
  4. M·C·库珀和S·洗伊文。约束问题的混合可处理类,Dagstuhl Follow-Ups Series第7卷,第4章,第113-135页。Dagstuhl Schloss-Leibniz-Zentrum für Informatik,2017年。谷歌学者
  5. A.W.M.Dress和W.Wenzel。赋值拟阵:贪婪算法的新视角。《应用数学快报》,3(2):33-351990年。谷歌学者
  6. A.W.M.Dress和W.Wenzel。估价拟阵。数学进展,93:214-2501992。谷歌学者
  7. G.Gottlob、G.Greco和F.Scarcello。通过基于超图的结构限制的可追踪优化问题。第36届国际自动化、语言和编程学术讨论会论文集(ICALP’09,第二部分),第16-30页,2009年。谷歌学者
  8. H.Hirai。分裂分解的几何研究。离散和计算几何,36:331-3612006。谷歌学者
  9. H.Hirai。最小0-扩张问题中的离散凸性和多项式可解性。数学编程,A辑,155:1-552016。谷歌学者
  10. H.Hirai、Y.Iwamasa、K.Murota和S.Zhi ivn。一类通过M-凸交集可处理的二进制VCSP。正在准备中。谷歌学者
  11. 岩马沙(Y.Iwamasa)、村田康夫(K.Murota)和沙依文(S.Zhi ivn)。联合优胜者属性中的离散凸性。出现在离散优化中。谷歌学者
  12. V.Kolmogorov、A.Krokhin和M.Rolínek。一般价值CSP的复杂性。SIAM计算机杂志,46(3):1087-11102017。谷歌学者
  13. V.Kolmogorov、J.Thapper和S.ivn。一般值CSP的线性规划的威力。SIAM计算机杂志,44(1):1-362015。谷歌学者
  14. B.Korte和J.Vygen。组合优化:理论与算法。施普林格,海德堡,第5版,2010年。谷歌学者
  15. K.Murota。凸性和斯坦尼茨的交换性质。数学进展,124:272-311996。谷歌学者
  16. K.Murota。赋值拟阵交集,I:最优性准则。SIAM离散数学杂志,9:545-5611996。谷歌学者
  17. K.Murota。赋值拟阵交集,II:算法。SIAM离散数学杂志,9:562-5761996。谷歌学者
  18. K.Murota。离散凸分析。数学规划,83:313-371998。谷歌学者
  19. K.Murota。系统分析的矩阵和矩阵阵。斯普林格,海德堡,2000年。谷歌学者
  20. K.Murota。离散凸分析。SIAM,费城,2003年。谷歌学者
  21. K.Murota。离散凸分析的最新进展。编辑W.Cook、L.Lovász和J.Vygen,《组合优化研究趋势》,第11章,第219-260页。斯普林格,海德堡,2009年。谷歌学者
  22. K.Murota。离散凸分析:经济学和博弈论的工具。《机制与制度设计杂志》,1(1):151-2732016。谷歌学者
  23. A.Schrijver。组合优化:多面体和效率。斯普林格,海德堡,2003年。谷歌学者
  24. 沙依文。有值约束满足问题的复杂性。施普林格,海德堡,2012年。谷歌学者
  25. D.朱克。CSP二分法猜想的证明。第58届IEEE计算机科学基础年会(FOCS’17)会议记录,第331-342页,2017年。谷歌学者
问题/备注/反馈
X(X)

Dagstuhl出版社反馈


感谢您的反馈!

已提交反馈

无法发送消息

请稍后再试或发送电子邮件