文件Open Access徽标

从另一侧看到的近似计数CSP

作者 安德烈·布拉托夫, 斯坦尼斯拉夫·伊文

PDF格式
缩略图PDF

文件

LIPIcs公司。MFCS.2019.60.pdf
  • 文件大小：0.52 MB
  • 14页

文件标识符

作者详细信息

安德烈·布拉托夫
  • 加拿大西蒙弗雷泽大学计算科学学院
斯坦尼斯拉夫·伊文
  • 英国牛津大学计算机科学系

基金

该项目已收到欧洲研究委员会（ERC）根据欧盟地平线2020研究和创新计划（拨款协议编号714532）提供的资金。本文仅反映了作者的观点，而非ERC或欧盟委员会的观点。欧盟对其中所含信息的任何使用概不负责。
  • 安德烈·布拉托夫（Andrei A.Bulatov）。：Andrei Bulatov获得了NSERC Discovery拨款的支持。
  • 斯坦尼斯拉夫·伊文：斯坦尼斯拉夫·伊文得到了皇家学会大学研究奖学金的支持。

引用为获取BibTex

安德烈·布拉托夫和斯坦尼斯拉夫·伊文。从另一侧看到的近似计数CSP。第44届计算机科学数学基础国际研讨会（MFCS 2019）。莱布尼茨国际信息学论文集（LIPIcs），第138卷，第60:1-60:14页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2019）
https://doi.org/10.4230/LIPIcs.MFCS.2019.60

摘要

本文研究了#CSP（C，-）形式的约束满足问题（CSP）的计数复杂性，其中的目标是从一类C结构和一个任意结构B中给定一个关系结构a，以找出从a到B的同态数。Flum和Grohe证明#CSP如果C具有有界树宽[FOCS'02]，则在多项式时间内可解。基于Grohe[JACM'07]关于决策CSP的工作，Dalmau和Jonsson随后表明，如果C是有界arity的关系结构的递归可枚举类，那么假设FPT！=#W[1]，#CSP（C，-）在多项式时间（甚至固定参数时间）内没有其他精确可解的情况[TCS'04]。我们证明了，假设FPT！=W[1]（在随机参数化约简下），对于满足某些一般条件的C，#CSP（C，-）对于无界树宽的C甚至是近似不可解的；也就是说，#CSP（C，-）没有固定参数可处理（因此也不是完全多项式）的随机化近似方案。特别地，我们的条件推广了C在取未成年人时是闭的情况。

主题分类

ACM科目分类
  • 计算理论→ 问题、减少和完整性
关键词
  • 约束满足
  • 近似计数
  • 同态

韵律学

工具书类

  1. Vikraman Arvind和Venkatesh Raman。一些参数化计数问题的近似算法。第13届算法与计算国际研讨会（ISAAC’02）论文集，计算机科学讲稿第2518卷，第453-464页。斯普林格，2002年。网址：https://doi.org/10.1007/3-540-36136-7_40.
  2. 约翰·布劳特·巴伦、弗洛伦特·卡佩利和斯特凡·蒙格尔。了解β-非循环CNF公式的模型计数。《第32届计算机科学理论方面国际研讨会论文集》（STACS’15），第143-156页，2015年。网址：https://doi.org/10.4230/LIPIcs.STACS.2015.143.
  3. 安德烈·布拉托夫。非均匀CSP的二分法定理。第58届IEEE计算机科学基础年度研讨会论文集（FOCS'17），第319-330页。IEEE，2017年。谷歌学者
  4. 安德烈·布拉托夫、彼得·杰文斯和安德烈·克罗金。使用有限代数对约束的复杂性进行分类。SIAM计算机杂志，34（3）：720-7422005。网址：https://doi.org/10.1137/S0097539700376676.
  5. 安德烈·布拉托夫。计数约束满足问题的复杂性。ACM杂志，60（5）：342013。网址：https://doi.org/10.1145/2528400.
  6. 蔡金一和陈曦。具有复数权重的CSP计数的复杂性。美国医学会杂志，64（3）：19:1-19:392017。网址：https://doi.org/10.1145/2822891.
  7. Xi Chen、Martin E.Dyer、Leslie Ann Goldberg、Mark Jerrum、Pinyan Lu、Colin McQuillan和David Richerby。近似保守计数CSP的复杂性。《计算机与系统科学杂志》，81（1）：311-3292015。谷歌学者
  8. 纳迪娅·克里诺（Nadia Creignou）和米基·赫尔曼（Miki Hermann）。广义可满足性计数问题的复杂性。信息与计算，125（1）：1-121996。谷歌学者
  9. 维科特·达尔摩和彼得·琼森。从另一方面看计算同态的复杂性。理论计算机科学，329（1-3）：315-3232004。网址：https://doi.org/10.1016/j.tcs.2004.08.008.
  10. Víctor Dalmau、Phokion G.Kolaitis和Moshe Y.Vardi。约束满足、有界树宽和有限变量逻辑。《第八届约束编程原理与实践国际会议论文集》（CP'02），计算机科学讲稿第2470卷，第310-326页。斯普林格，2002年。网址：https://doi.org/10.1007/3-540-46135-3_21.
  11. 莱因哈德·迪斯特尔。图论。施普林格，第四版，2010年。谷歌学者
  12. 罗德尼·G·唐尼（Rodney G.Downey）和迈克尔·R·费罗斯（Michael R.Fellows）。固定参数牵引性和完整性I：基本结果。SIAM计算计算期刊，24（4）：873-9212995。网址：https://doi.org/10.1137/S0097539792228228.
  13. 罗德尼·G·唐尼（Rodney G.Downey）和迈克尔·R·费罗斯（Michael R.Fellows）。固定参数可处理性和完备性II：关于W[1]的完备性。理论计算机科学，141（1-2）：109-1311995。谷歌学者
  14. 罗德尼·G·唐尼（Rodney G.Downey）、迈克尔·R·费罗斯（Michael R.Fellows）和肯尼斯·雷根（Kenneth W.Regan）。参数化电路复杂性和W层次。理论计算机科学，191（1-2）：97-1151998。网址：https://doi.org/10.1016/S0304-3975(96)00317-9.
  15. Martin E.Dyer、Leslie Ann Goldberg、Catherine S.Greenhill和Mark Jerrum。近似计数问题的相对复杂性。算法，38（3）：471-500，2004。网址：https://doi.org/10.1007/s00453-003-1073-y.
  16. Martin E.Dyer、Leslie Ann Goldberg和Mark Jerrum。布尔#CSP的近似三分法。《计算机与系统科学杂志》，76（3-4）：267-2772010。网址：https://doi.org/10.1016/j.jcss.2009.08.003.
  17. 马丁·戴尔（Martin E.Dyer）和凯瑟琳·格林希尔（Catherine S.Greenhill）。计数图同态的复杂性。随机结构。算法，17（3-4）：260-2892000。谷歌学者
  18. 马丁·戴尔（Martin E.Dyer）和大卫·理查德比（David Richerby）。计数约束满足问题的有效二分法。SIAM计算机杂志，42（3）：1245-12742013。网址：https://doi.org/10.1137/100811258.
  19. 托马斯·费德（Tomás Feder）、帕沃尔·赫尔（Pavol Hell）、丹尼尔·克拉尔（Daniel Král）和吉·斯加尔（JiříSgall）。两种通用列表矩阵划分算法。第十六届ACM-SIAM离散算法年会论文集（SODA'05），第870-876页，2005年。谷歌学者
  20. 托马斯·费德、帕沃·地狱和谢永锵。具有有限多个障碍的矩阵划分。选举人。J.库姆。，14(1), 2007.谷歌学者
  21. Tomás Feder和Moshe Y.Vardi。单调一元SNP的计算结构和约束满足：通过数据日志和群论进行的研究。SIAM计算机杂志，28（1）：57-1041998。网址：https://doi.org/10.1137/S0097539794266766.
  22. Jörg Flum和Martin Grohe。计数问题的参数化复杂性。第43届计算机科学基础研讨会论文集（FOCS’02），第538页。IEEE计算机协会，2002年。网址：https://doi.org/10.109/SFCS.2002.1181978.
  23. Jörg Flum和Martin Grohe。计数问题的参数化复杂性。SIAM计算机杂志，33（4）：892-9222004。网址：https://doi.org/10.1137/S0097539703427203.
  24. 约格·弗鲁姆和马丁·格罗赫。参数化复杂性理论。理论计算机科学课文。EATCS系列。斯普林格，2006年。谷歌学者
  25. 安德烈亚斯·加拉尼斯（Andreas Galanis）、莱斯利·安·戈德伯格（Leslie Ann Goldberg）和马克·杰拉姆（Mark Jerrum）。近似计算H色是#BIS-Hard。SIAM计算机杂志，45（3）：680-7112016。谷歌学者
  26. 安德烈亚斯·加拉尼斯（Andreas Galanis）、莱斯利·安·戈德伯格（Leslie Ann Goldberg）和马克·杰拉姆（Mark Jerrum）。近似计数表H-染色的复杂性三分法。ACM计算理论汇刊，9（2）：9:1-9:22，2017年。网址：https://doi.org/10.1145/3037381.
  27. 迈克尔·加里（Michael R.Garey）和大卫·约翰逊（David S.Johnson）。计算机与不可纠正性：NP-完备性理论指南。W.H.Freeman，1979年。谷歌学者
  28. 乔治·戈特洛布（Georg Gottlob）、尼古拉·利昂（Nicola Leone）和弗朗西斯科·斯卡切罗（Francesco Scarcello）。超树分解和易处理的查询。计算机与系统科学杂志，64（3）：579-6272002。网址：https://doi.org/10.1006/jcss.2001.1809.
  29. 马丁·格罗。从另一方面看同态和约束满足问题的复杂性。美国医学会杂志，54（1）：1-242007。网址：https://doi.org/10.1145/1206035.1206036.
  30. 马丁·格罗和达尼尔·马克思。通过分数边覆盖求解约束。ACM算法汇刊，11（1）：4:1-4:20，2014。网址：https://doi.org/10.1145/2636918.
  31. 马丁·格罗（Martin Grohe）、托马斯·施温蒂克（Thomas Schwentick）和吕克·塞古芬（Luc Segoufin）。什么时候可以处理连接查询的评估？第33届美国计算机学会计算理论研讨会论文集（STOC'01），第657-666页。ACM，2001年。网址：https://doi.org/10.1145/380752.380867.
  32. 帕沃尔·赫尔和雅罗斯拉夫·内什等人。关于H染色的复杂性。组合理论杂志，B辑，48（1）：92-1101990。网址：https://doi.org/10.1016/0095-8956（90）90132-J.
  33. Phokion G.Kolaitis和Moshe Y.Vardi。连接查询包含和约束满足。计算机与系统科学杂志，61（2）：302-3322000。网址：https://doi.org/10.1006/jcss.2000.1713.
  34. 基蒂·米克斯。参数化子图计数问题中无界树宽的挑战。离散应用数学，198:170-1942016。网址：https://doi.org/10.1016/j.dam.2015.06.019.
  35. 迈克尔·米赞马赫（Michael Mitzenmacher）和埃利·厄普法尔（Eli Upfal）。概率与计算。剑桥大学出版社，剑桥，第二版，2017年。算法和数据分析中的随机化和概率技术。谷歌学者
  36. 尼尔·罗伯逊和保罗·D·西摩。图形子对象。三、 平面树宽度。组合理论杂志，B辑，36（1）：49-641984。网址：https://doi.org/10.1016/0095-8956(84)90013-3.
  37. 尼尔·罗伯逊和保罗·D·西摩。图形子对象。V.排除平面图。组合理论杂志，B辑，41（1）：92-1141986。网址：https://doi.org/10.1016/0095-8956(86)90030-4.
  38. 托马斯·谢弗（Thomas J.Schaefer）。可满足性问题的复杂性。《第十届ACM计算机理论研讨会论文集》（STOCS'78），第216-226页，1978年。谷歌学者
  39. 德米特里·朱克。CSP二分法猜想的证明。第58届IEEE计算机科学基础年会（FOCS’17）会议记录，第331-342页。IEEE，2017年。谷歌学者
问题/备注/反馈
X（X）

Dagstuhl出版社反馈


感谢您的反馈！

已提交反馈

无法发送消息

请稍后再试或发送电子邮件
© 2023-2024Schloss Dagstuhl–LZI股份有限公司 印记 隐私 联系人