摘要
[1] 乔根·邦·詹森(Jörgen Bang-Jensen)、帕沃尔·赫尔(Pavol Hell)和加里·麦克吉利夫雷(Gary MacGillivray)。 1988.半完全有向图着色的复杂性。 SIAM J.公司。 数学。 1, 3 (1988), 281–298. 谷歌学者 [2] 曼努埃尔·博德斯基、扬·卡拉和巴纳比·马丁。 2012.满射同态问题的复杂性——一项调查。 离散。 申请。 数学。 160, 12 (2012), 1680–1690. 谷歌学者 [3] 费迪南德·伯纳、安德烈·布拉托夫、胡比·陈、彼得·杰文斯和安德烈·克罗金。 2009.约束满足游戏和QCSP的复杂性。 Inf.计算。 207, 9 (2009), 923–944. 谷歌学者 [4] 安德烈·布拉托夫。 2017.非均匀CSP的二分法定理。 在 第58届IEEE计算机科学基础年会(FOCS’17)会议记录 ,319–330。 谷歌学者 [5] 安德烈·布拉托夫、彼得·杰文斯和安德烈·克罗金。 2005.使用有限代数对约束的复杂性进行分类。 SIAM J.计算。 34, 3 (2005), 720–742. 谷歌学者 [6] 保罗·卡米昂。 1959.Chemins et circuits hamiltoniens de grapes完成。 Compt.公司。 伦德。 阿卡德。 科学。 巴黎 249 (1959), 2151–2152. 谷歌学者 [7] 胡比·陈。 2008.量化约束满足的复杂性:可折叠性、汇代数和三元素情况。 SIAM J.计算。 37, 5 (2008), 1674–1701. 内政部: 谷歌学者 数字图书馆 [8] Hubie Chen、Florent R.Madelaine和Barnaby Martin。 2015年。量化约束和遏制问题。 逻辑。 方法计算。 科学。 11, 3 (2015). 谷歌学者 [9] Víctor Dalmau和Andrei A.Krokhin。 2008年。大多数约束具有有限的路径宽度二元性。 欧洲联合会。 29, 4 (2008), 821–837. 谷歌学者 [10] 彼得·达皮克(Petar Dapic)、彼得·马科维奇(Petar Markovic)和巴纳比·马丁(Barnaby Martin)。 2017.半完全有向图上的量化约束满足问题。 ACM事务处理。 计算。 日志。 18, 1 (2017), 2:1–2:47. 内政部: 谷歌学者 数字图书馆 [11] Tomás Feder和Moshe Y.Vardi。 单调单子SNP的计算结构和约束满足:通过数据日志和群论的研究。 SIAM J.计算。 28, 1 (1998), 57–104. 谷歌学者 [12] Petr A.Golovach、Daniöl Paulusma和Jian Song。 2012.计算部分自反树的顶点满射同态。 西奥。 计算。 科学。 457 (2012), 86–100. 谷歌学者 [13] P.G.Kolaitis和M.Y.Vardi。 2005 有限模型理论及其应用 理论计算机科学课文。 Springer-Verlag纽约公司。 谷歌学者 [14] Benoit Larose公司。 2006.有限自反结构的泰勒运算。 国际数学杂志。 计算。 科学。 1, 1 (2006), 1–26. 谷歌学者 [15] 贝诺伊特·拉罗泽、巴纳比·马丁和丹尼尔·保卢斯马。 2019.反身有向图上的surpjective H-colouring。 ACM事务处理。 计算。 理论 11,1(2019),3:1–3:21。 内政部: 谷歌学者 数字图书馆 [16] Benoit Larose和LászlóZádori,2005年。 局部有限簇中的有限偏序集和拓扑空间。 阿尔盖布。 通用。 52, 2 (2005), 119–136. 谷歌学者 [17] 巴纳比·马丁。 2011.部分反射森林QCSP。 在 第17届约束规划原理与实践国际会议论文集(CP’11) , 546–560. 内政部: 谷歌学者 交叉引用 [18] 巴纳比·马丁和弗洛伦特·马德兰。 2006.走向量化的三分法 H(H) -着色。输入 第二届欧洲可计算性会议论文集:计算障碍的逻辑方法(CiE'06) , 342–352. 内政部: 谷歌学者 数字图书馆 [19] 纳拉扬·维卡斯。 2013.压缩和顶点压缩下某些类图的划分算法。 算法 67, 2 (2013), 180–206. 谷歌学者 [20] 纳拉扬·维卡斯。 2017.顶点压缩到非自反六边形下图划分的计算复杂性。 在 第42届计算机科学数学基础国际研讨会论文集(MFCS’17) , 69:1–69:14. 谷歌学者 [21] 亚历山大·威尔斯(Alexander Wires)。 2015.混合类型有限比赛的二分法。 离散。 数学。 338, 12 (2015), 2523–2538. 内政部: 谷歌学者 数字图书馆 [22] 德米特里·朱克。 2017年,CSP二分法猜想的证明。 在 第36届ACM/IEEE计算机科学逻辑年会,LICS 2021,罗马,意大利,2021年6月29日-7月2日 IEEE,1-7。 内政部: 谷歌学者 数字图书馆 [23] 德米特里·朱克。 无彩虹问题和满射约束满足问题。 arXiv:2003.11764年 。检索自 https://arxiv.org/abs/2003.11764 . 谷歌学者 [24] 德米特里·朱克。 2020年。CSP二分法猜想的证明。 美国临床医学杂志 67, 5 (2020), 30:1–30:78. 内政部: 谷歌学者 数字图书馆 [25] 德米特里·朱克和巴纳比·马丁。 2020年,QCSP怪兽和陈猜想的消亡。 在 第52届ACM SIGACT计算机理论年会(STOC)会议记录 20年) ,Konstantin Makarychev、Yury Makarychev、Madhur Tulsiani、Gautam Kamath和Julia Chuzhoy(编辑)。 91–104.美国医学会。 内政部: 谷歌学者 数字图书馆
建议
QCSP怪兽与陈猜想的消亡 STOC 2020:第52届ACM SIGACT计算理论年会论文集 我们对约束语言Γ,QCSP(Γ)上的量化约束满足问题的计算复杂性进行了令人惊讶的分类,其中Γ是包含所有常数的3个元素上的有限语言。 特别是。。。 自反有向图上的surpjective H-Coloring Surjective H-Coloring问题是为了测试给定图是否允许固定图H的顶点上射同态。对于无向(部分)自反图,这个问题的复杂性已经得到了很好的研究。 我们介绍 隐私权 , ...