利波·巴托;安德烈·克罗金;罗斯·威拉德 多态性，以及如何使用它们。 （英语） Zbl 1482.68161号 Krokhin，Andrei（编辑）等人，《约束满足问题：复杂性和近似性》，Dagstuhl研讨会153012015年7月。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。Dagstuhl Follow-Ups 7，1-44（2017）。 摘要：本文描述了约束满足问题的代数方法CSP和泛代数的许多发展。没有泛代数的先验知识假设。关于整个系列，请参见[Zbl 1375.68019号]. 引用于39文件 MSC公司： 68兰特 可满足性的计算方面 08A70号 泛代数在计算机科学中的应用 65年第68季度 算法和问题复杂性分析 关键词：约束满足;复杂性;泛代数;多态性 PDF格式BibTeX公司 XML格式引用 \textit{L.Barto}等人，Dagstuhl Follow-Ups 7，1--44（2017；Zbl 1482.68161） 全文： 内政部 参考文献： [1] 埃里克·阿伦德（Eric Allender）、迈克尔·鲍兰德（Michael Bauland）、尼尔·伊梅尔曼（Neil Immerman）、亨宁·施诺尔（Henning Schnoor）和赫里伯特·沃尔默（Heribert Vollmer）。可满足性问题的复杂性：改进Schaefer定理。计算机与系统科学杂志，75（4）：245-2542009·Zbl 1161.68487号 [2] 埃里克·阿伦德（Eric Allender）、克劳斯·莱因哈特（Klaus Reinhardt）和周世玉（Shiyu Zhou）。隔离、匹配和计数均匀和非均匀上界。J.计算。系统。科学。，59(2):164-181, 1999. ·Zbl 0944.68068号 [3] 桑吉夫·阿罗拉和波阿斯·巴拉克。计算复杂性：现代方法。Cam-bridge大学出版社，美国纽约州纽约市，2009年第1版·Zbl 1193.68112号 [4] 阿尔伯特·阿塞里亚斯（Albert Atserias）、安德烈·布拉托夫（Andrei A.Bulatov）和阿努杰·达瓦尔（Anuj Dawar）。仿射方程组和计数无穷逻辑。西奥。计算。科学。，410(18):1666-1683, 2009. ·Zbl 1168.68040号 [5] Per Austrin、Johan Hástad和Venkatesan Guruswami。（2+）-周六为NP-hard。《计算机科学基础学报》（FOCS），第1-10页，2014年·Zbl 1476.68188号 [6] Kirby A.Baker和Alden F.Pixley。代数系统的多项式插值和中国剩余定理。Mathematische Zeitschrift，143:165-1741975年·Zbl 0292.08004号 [7] 利伯·巴托。重新讨论了保守约束满足问题的二分法。《计算机科学中的逻辑》，2011年第301-310页。 [8] 利伯·巴托。同余分配簇中的有限相关代数具有近似非一致项。加拿大。数学杂志。，65(1):3-21, 2013. ·Zbl 1283.08009号 [9] 利伯·巴托。同余模簇中的有限相关代数几乎没有子幂。出现在《欧洲数学杂志》上。Soc.，2015年·Zbl 1528.08010号 [10] 利伯·巴托。有界宽度层次的塌陷。J.日志。计算。，26(3):923-943, 2016. ·Zbl 1353.68107号 [11] 利伯·巴托（Libor Barto）和马金·科齐克（Marcin Kozik）。同余分布意味着有界宽度。SIAM计算机杂志，39（4）：1531-15422009·Zbl 1205.68529号 [12] 利伯·巴托（Libor Barto）和马金·科齐克（Marcin Kozik）。有界宽度的约束满足问题。《计算机科学基础学报》（FOCS），第595-603页，2009年·Zbl 1292.68088号 [13] 利伯·巴托（Libor Barto）和马金·科齐克（Marcin Kozik）。吸收子代数、循环项和约束满足问题。《计算机科学中的逻辑方法》，8（1），2012年·Zbl 1239.08002号 [14] 利伯·巴托（Libor Barto）和马金·科齐克（Marcin Kozik）。约束满足问题可以用局部一致性方法求解。J.ACM，61（1）：3:1-3:19，2014年1月·Zbl 1295.68126号 [15] 利伯·巴托（Libor Barto）和马金·科齐克（Marcin Kozik）。稳健可解的约束满足问题。SIAM计算机杂志，45（4）：1646-16692016·Zbl 1350.68127号 [16] 利伯·巴托（Libor Barto）和马金·科齐克（Marcin Kozik）。泛代数和CSP中的吸收。约束满足问题：复杂性和近似性，第45-78页。2017. ·Zbl 1482.68160号 [17] 利伯·巴托（Libor Barto）、马金·科齐克（Marcin Kozik）和托德·尼文（Todd Niven）。CSP二分法适用于无源无汇的有向图（Bang Jensen和Hell猜想的肯定答案）。SIAM J.计算。，38(5):1782-1802, 2008/09. ·Zbl 1191.68460号 [18] 利伯·巴托、马金·科齐克和大卫·斯坦诺夫斯克。Mal'tsev条件、缺乏吸收和可溶解性。《通用代数》，74（1）：185-2062015年·Zbl 1323.08004号 [19] 利伯·巴托（Libor Barto）、马金·科齐克（Marcin Kozik）和罗斯·威拉德（Ross Willard）。几乎一致性约束具有有界路径宽度对偶性。《计算机科学中的逻辑学报》（LICS），第125-134页，2012年·Zbl 1362.68095号 [20] 利伯·巴托（Libor Barto）、雅库布·奥普沙尔（Jakub Opršal）和迈克尔·平斯克（Michael Pinsker）。倒影的仙境。出现在以色列数学杂志上。，2016. ·Zbl 1397.08002号 [21] 利伯·巴托和迈克尔·平斯克。无限域约束满足问题的代数二分法猜想。《计算机科学中的逻辑学报》（LICS），第615-622页，2016年·Zbl 1401.68108号 [22] 利伯·巴托和大卫·斯坦诺夫斯克。小有向图的多态性。Novi Sad J.数学。，40(2):95-109, 2010. ·Zbl 1289.05446号 [23] Joel Berman、Pawel Idziak、Petar Marković、Ralph McKenzie、Matthew Valeriote和Ross Willard。具有很少幂子代数的变体。美国数学学会学报，362:1445-14732010·Zbl 1190.08004号 [24] 曼纽尔·博德斯基。无限模板的约束满足问题。Nadia Creignou、Phokion G.Kolaitis和Heribert Vollmer，《约束的复杂性》编辑，《计算机科学讲义》第5250卷，196-228页。施普林格，2008年·Zbl 1171.03320号 [25] 曼纽尔·博德斯基和马塞洛·马米诺。数字域上的约束满足问题。《约束满足问题：复杂性和近似性》，第79-111页。2017. ·Zbl 1482.68162号 [26] V.G.Bodnarčuk、L.A.Kalužnin、V.N.Kotov和B.A.Romov。后代数的伽罗瓦理论。一、 二、。Kibernetika（基辅），（3）：1-10；同上，1969年，第5、1-9、1969年·Zbl 0212.31802号 [27] Joshua Brakensiek和Venkatesan Guruswami。图形和水文图着色的新硬度结果。计算复杂性电子座谈会（ECCC），2016年23月29日·Zbl 1380.68190号 [28] Joshua Brakensiek和Venkatesan Guruswami。承诺约束满足：代数结构和对称布尔二分法。计算复杂性电子学术讨论会（ECCC），23:1832016·Zbl 1403.68074号 [29] 乔纳·布朗·科恩和普拉萨德·拉格汉德拉。通过多态性的组合优化算法。CoRR，abs/1501.015982015年。 [30] 乔纳·布朗·科恩和普拉萨德·拉格汉德拉。CSP的相关性衰减和可操纵性。《自动化、语言和编程（ICALP）学报》，第79:1-79:13页，2016年·Zbl 1388.68301号 [31] 安德烈·布拉托夫。有界关系宽度。手稿，2009年。 [32] 安德烈·布拉托夫（Andrei Bulatov）和维科特·达尔摩（Víctor Dalmau）。Mal'tsev约束的简单算法。SIAM J.计算。，36（1）：16-27（电子版），2006年·Zbl 1112.08002号 [33] 安德烈·布拉托夫和彼得·杰文斯。组合问题中的代数结构。技术报告MATH-AL-4-2001，德累斯顿理工大学，2001年。 [34] 安德烈·布拉托夫、彼得·杰文斯和安德烈·克罗金。使用有限代数对连系的复杂性进行分类。SIAM J.计算。，34:720-742，2005年3月·Zbl 1071.08002号 [35] 安德烈·布拉托夫。Mal’tsev约束是可处理的。计算复杂性电子学术讨论会（ECCC），（034），2002年。 [36] 安德烈·布拉托夫。关系结构和约束满足问题的图。《计算机科学中的逻辑学报》（LICS），第448-457页，2004年。 [37] 安德烈·布拉托夫。由2-半格提出的组合问题。《代数杂志》，298（2）：321-3392006·Zbl 1110.08001号 [38] 安德烈·布拉托夫。三元集上约束满足问题的二分法定理。J.ACM，53（1）：66-120（电子版），2006年·兹比尔1316.68057 [39] 安德烈·布拉托夫。保守约束满足问题的复杂性。ACM事务处理。计算。逻辑，12（4）：24:1-24:66，2011年7月·Zbl 1351.68113号 [40] 安德烈·布拉托夫。计数约束满足问题的复杂性。J.ACM，60（5）：34:1-34:412013年10月·Zbl 1281.68130号 [41] 安德烈·布拉托夫。重新访问保守约束满意度。J.计算。系统科学。，82(2):347-356, 2016. ·Zbl 1346.68108号 [42] 安德烈·布拉托夫。关系结构图：受限类型。《计算机科学中的逻辑学报》（LICS），第642-651页，2016年·Zbl 1401.68112号 [43] 安德烈·布拉托夫。半格块Mal'tsev代数-ras上的约束满足问题。CoRR，arXiv:1701.026232017年·Zbl 1458.68071号 [44] Andrei A.Bulatov、Andrei Krokhin和Benoit Larose。约束的复杂性。约束满足问题的二重性，第93-124页。施普林格·弗拉格，柏林，海德堡，2008年·Zbl 1171.68494号 [45] Jakub Bulin、Dejan Delic、Marcel Jackson和Todd Niven。将约束问题精细化为有向图。《计算机科学中的逻辑方法》，11（4），2015年·Zbl 1409.05094号 [46] 格哈德·邦特洛克（Gerhard Buntrock）、卡斯滕·达姆（Carsten Damm）、乌尔里希·赫斯特兰夫（Ulrich Hertranff）和克里斯托夫·梅内尔（Christoph Meinel）。logspace-mod类的结构和重要性。数学系统理论，25（3）：223-2371992·Zbl 0749.68033号 [47] 卡塔琳娜·卡瓦略（Catarina Carvalho）、维科特·达尔摩（Víctor Dalmau）和安德烈·克罗金（Andrei Krokhin）。CSP对偶和有界路径宽度树。理论计算机科学，411（34-36）：3188-32082010·Zbl 1196.68167号 [48] Catarina Carvalho、Víctor Dalmau、Petar Marković和Miklós Maróti。CD（4）具有有界宽度。《普遍代数》，60（3）：293-3072009年·Zbl 1190.08003号 [49] 胡比·陈。关于量化约束满意度的思考。《逻辑和程序语义》，第35-49页，2012年·Zbl 1354.68113号 [50] Hubie Chen和Benoit Larose。在约束可处理性方面提出元问题。arXiv:1604.009322016年4月。 [51] 大卫·科恩、马丁·库珀、帕迪·克里德、彼得·杰文斯和斯坦尼斯拉夫·伊文。离散优化的复杂性代数理论。SIAM计算机杂志，42（5）：1915-19392013·Zbl 1305.08007号 [52] 维克托·达尔摩（Víctor Dalmau）。关系结构的线性数据日志和有界路径对偶性。计算机科学中的逻辑方法，1（1），2005·Zbl 1125.68408号 [53] 维克托·达尔摩（Víctor Dalmau）。广义的多数-少数操作是容易处理的。日志。方法计算。科学。，2(4):4:1, 14, 2006. ·Zbl 1127.68039号 [54] Víctor Dalmau、LászlóEgri、Pavol Hell、Benoit Larose和Arash Rafiey。对数空间中列表h-着色问题的描述复杂性：一种改进的二分法。《计算机科学中的逻辑学报》（LICS），第487-498页，2015年·兹比尔1401.68104 [55] Víctor Dalmau、Marcin Kozik、Andrei Krokhin、Konstantin Makarychev、Yury Makarychev和Jakub Opršal。近一致CSP的多项式损失鲁棒算法。《离散算法学报》（SODA），第340-357页，2017年·Zbl 1410.68162号 [56] 维克托·达尔摩和安德烈·克罗金。大多数约束具有有界路径宽度对偶性。欧洲组合数学杂志，29（4）：821-8372008·Zbl 1138.68052号 [57] 维克托·达尔摩和安德烈·克罗金。CSP的鲁棒可满足性：硬度和算法结果。ACM事务处理。计算。理论，5（4）：15:1-15:252013年11月·兹比尔1322.68099 [58] 维克特·达尔摩、安德烈·克罗金和拉杰斯卡·马诺卡兰。研究常数近似最小CSP的特征。《离散算法学报》（SODA），第847-857页，2015年·Zbl 1371.90116号 [59] Víctor Dalmau和Benoit Larose。马尔采夫+数据日志->对称数据日志。《计算机科学中的逻辑学报》（LICS），第297-306页，2008年。 [60] 维科特·达尔摩和贾斯汀·皮尔森。闭合函数和宽度1问题。《约束编程（CP）的程序、原则和实践》，第159-173页，1999年·Zbl 0957.68081号 [61] 马丁·戴尔（Martin E.Dyer）和大卫·理查德比（David Richerby）。计数约束满足问题的有效二分法。SIAM J.计算。，42(3):1245-1274, 2013. ·Zbl 1275.68077号 [62] LászlóEgri、Benoit Larose和Pascal Tesson。日志空间中的对称数据日志和约束满足问题。《计算机科学中的逻辑学报》（LICS），第193-202页，2007年。 [63] 托马斯·费德和帕沃·地狱。列出自反图的同态。J.组合理论系列。B、 72（2）：236-250，1998年·Zbl 0904.05078号 [64] 托马斯·费德（Tomas Feder）、帕沃尔·赫尔（Pavol Hell）和黄晶（Jing Huang）。列出同态和圆弧图。Combinatorica，19（4）：487-5051999·兹伯利0985.05048 [65] Tomás Feder和Moshe Y.Vardi。单调单子SNP的计算结构和约束满足：通过数据日志和群论进行的研究。SIAM计算机杂志，28（1）：57-1041998·Zbl 0914.68075号 [66] 拉尔夫·弗里斯和拉尔夫·麦肯齐。马尔采夫品种家族在加入或马尔采夫产品下关闭。《普遍代数》出版·Zbl 1406.08003号 [67] 大卫·盖革。函数和谓词的封闭系统。太平洋数学杂志。，27:95-100, 1968. ·Zbl 0186.02502号 [68] J.Hagemann和A.Mitschke。关于n-置换同余。《普遍代数》，3（1）：8-121973年·Zbl 0273.08001号 [69] 约翰·哈斯塔德。一些最佳不可接近性结果。J.ACM，48:798-8592001年7月·Zbl 1127.68405号 [70] 约翰·哈斯塔德。关于约束满足问题的有效逼近性。在2007年组合学调查中，伦敦数学第346卷。Soc.课堂讲稿Ser。，第201-221页。剑桥大学出版社，剑桥，2007年·Zbl 1129.68082号 [71] 帕沃尔·赫尔和雅罗斯拉夫·内什等人。关于H-染色的复杂性。J.组合理论。B、 48（1）:92-1101990年·Zbl 0639.05023号 [72] 帕沃尔·赫尔和雅罗斯拉夫·内什等人。图和同态，牛津数学及其应用系列讲座第28卷。牛津大学出版社，牛津，2004年·Zbl 1062.05139号 [73] 大卫·霍比和拉尔夫·麦肯齐。有限代数的结构，当代数学第76卷。美国数学学会，普罗维登斯，RI，1988年·Zbl 0721.08001号 [74] Pawel M.Idziak、Petar Markovic、Ralph McKenzie、Matthew Valeriote和Ross Willard。可追踪性和可学习性源自于具有少量子幂的代数。SIAM J.计算。，39(7):3023-3037, 2010. ·Zbl 1216.68129号 [75] 尼尔·伊梅尔曼。非确定性空间在互补下是封闭的。SIAM J.Com-输入。，17（5）：935-9381988年10月·Zbl 0668.68056号 [76] 马塞尔·杰克逊（Marcel Jackson）、托马斯·科瓦尔斯基（Tomasz Kowalski）和托德·尼文（Todd Niven）。有向图约束问题在一些基本构造下的复杂性和多态性。国际代数与计算杂志，26（07）：1395-14332016·Zbl 1401.05132号 [77] 彼得·杰文斯（Peter Jeavons）。构造约束。在Con-straint Programming（CP）的Proceedings，Principles and Practice，第2-16页，1998年。 [78] 彼得·杰文斯（Peter Jeavons）。关于组合问题的代数结构。理论计算机科学，200（1-2）：185-2041998·Zbl 0915.68074号 [79] 彼得·杰文斯、大卫·科恩和马丁·库珀。约束、一致性和封闭性。人工智能，101（1-2）：251-2651998·Zbl 0909.68076号 [80] 彼得·杰文斯（Peter Jeavons）、大卫·科恩（David Cohen）和马克·吉森（Marc Gyssens）。约束的闭包属性。J.ACM，44（4）：527-5481997年·Zbl 0890.68064号 [81] 马克·杰拉姆。计算约束满足问题。《约束满足问题：复杂性和近似性》，第201-228页。2017 [82] Jelena Jovanović、Petar Markovć、Ralph McKenzie和Matthew Moore。局部有限簇中同余满足半分布性的最优强Mal'cev条件。代数大学，76（3）：305-3252016·兹比尔1355.08003 [83] 亚历山大·卡兹达。马尔采夫有向图具有大多数多态性。欧洲联合杂志，32（3）：390-3972011·Zbl 1214.05043号 [84] 亚历山大·卡兹达\（n）-置换性和线性数据日志意味着对称数据日志。CoRR，abs/1508.057662015年·Zbl 1476.68107号 [85] 基思·卡恩斯（Keith Kearnes）、彼得·马尔科维奇（Petar Marković）和拉尔夫·麦肯齐（Ralph McKenzie）。局部有限变种中省略1型的最优强Mal’cev条件。《代数通论》，72（1）：91-1002014·Zbl 1305.08008号 [86] 埃米尔·基斯和马修·瓦莱里奥特。关于可处理性和同余分配性。日志。方法计算。科学。，3（2）：2:6，20页（电子版），2007年·邮编1128.08004 [87] Phokion G.Kolaitis和Moshe Y.Vardi。连接查询包含和约束满足。J.计算。系统。科学。，61(2):302-332, 2000. ·Zbl 0963.68059号 [88] 弗拉基米尔·科尔莫戈罗夫（Vladimir Kolmogorov）、安德烈·克罗金（Andrei Krokhin）和米查尔·罗利内克（Michal Rolinek）。一般值CSP的复杂性。《计算机科学基础学报》（FOCS），第1246-1258页，2015年。 [89] 弗拉基米尔·科尔莫戈罗夫、约翰·塔珀和斯坦尼斯拉夫·伊文。一般值CSP的线性规划能力。SIAM J.计算。，44(1):1-36, 2015. ·Zbl 1456.68059号 [90] 马金·科齐克（Marcin Kozik）。有界宽度的所有CSP的弱一致性概念。《计算机科学中的逻辑学报》（LICS），第633-641页，2016年·Zbl 1401.68123号 [91] 马金·科齐克（Marcin Kozik）、安德烈·克罗金（Andrei Krokhin）、马特·瓦列里奥特（Matt Valeriote）和罗斯·威拉德（Ross Willard）。几种马尔采夫条件的特征。《通用代数》，73（3）：205-2242015年·Zbl 1319.08002号 [92] 安德烈·克罗钦和斯坦尼斯拉夫·日夫尼。有价值的CSP的复杂性。《约束满足问题：复杂性和近似性》，第229-261页，2017年。 [93] Gabor Kun、Ryan O'Donnell、Suguru Tamaki、Yuichi Yoshida和Yuan Zhou。线性规划、宽度-1 CSP和稳健满意度。《The-orietical Computer Science（ITCS）创新学报》，第484-495页，2012年·Zbl 1347.68184号 [94] 戈博尔·昆和马里奥·塞格迪。对二分法猜想的新攻击。欧洲组合数学杂志，52，B部分：338-3672016。特刊：图形和分析的最新进展·Zbl 1327.05183号 [95] 理查德·E·拉德纳。关于多项式时间可约性的结构。J.ACM，22:155-171975年·Zbl 0322.68028号 [96] 贝诺·拉罗斯。代数与有向图CSP的复杂性：综述。《约束满足问题：复杂性和近似性》，第263-282页。2016 [97] 贝诺·拉罗斯和帕斯卡尔·泰森。约束满足问题的泛代数和硬度结果。西奥。计算。科学。，410:1629-1647，2009年4月·Zbl 1172.68024号 [98] Benoit Larose、Matt Valeriote和LászlóZádori。省略类型、有界宽度和计数能力。国际。代数计算杂志。，19(5):647-668, 2009. ·Zbl 1178.68289号 [99] Benoit Larose和LászlóZádori。泰勒项、约束满足和有限代数上多项式方程的复杂性。国际。代数计算杂志。，16(3):563-581, 2006. ·Zbl 1100.08004号 [100] Benoit Larose和LászlóZádori。有界宽度问题和代数。《大学代数》，56（3-4）：439-4662007·Zbl 1120.08002号 [101] 弗洛伦特·马德琳和巴纳比·马丁。正一阶逻辑的四分法，没有等式。《计算机科学中的逻辑学报》（LICS），第311-320页，2011年。 [102] 康斯坦丁·马卡里切夫和尤里·马卡利切夫。CSP的近似算法。在《约束满足问题：复杂性和近似性》中，第283-320页。2017 [103] 彼得·马尔科维奇。私人通信，2011年。 [104] 米克洛斯·马洛蒂和拉尔夫·麦肯齐。弱对称运算的存在性定理。《普遍代数》，59（3-4）：463-4892008年·邮编：1186.08003 [105] 达尼尔·马克思。约束满足和连接查询的可追踪超图属性。J.ACM，60（6）：42:1-42:512013年11月·Zbl 1281.68135号 [106] 克里斯托斯·帕帕迪米特里欧。计算复杂性。Addison-Wesley出版公司，马萨诸塞州雷丁，1994年·Zbl 0833.68049号 [107] 迈克尔·平斯克。约束满足中的代数和模型理论方法。CoRR，abs/1507.009312015年。 [108] 埃米尔·L·波斯特。数学逻辑的二值迭代系统。（AM-5）。数学研究年鉴。普林斯顿大学出版社，1941年·Zbl 0063.06326号 [109] 奥马尔·莱因戈尔德（Omer Reingold）。日志空间中的无方向连接。J.ACM，55（4）：17:1-17:242008年9月·Zbl 1315.68156号 [110] 克劳斯·莱因哈特（Klaus Reinhardt）和埃里克·阿伦德（Eric Allender）。使不确定性明确。SIAM J.Com-输入。，29(4):1118-1131, 2000. ·Zbl 0947.68063号 [111] 弗朗西丝卡·罗西、彼得·范·比克和托比·沃尔什。约束编程手册（人工智能基础）。爱思唯尔科学公司，美国纽约州纽约市，2006年·Zbl 1175.90011号 [112] 托马斯·J·谢弗。可满足性问题的复杂性。《计算理论学报》（STOC），第216-226页，1978年·Zbl 1282.68143号 [113] 马克·希格斯（Mark H.Siggers）。省略一元类型的局部有限簇的强Mal'cev条件。《通用代数》，64（1-2）：15-22010年·Zbl 1216.08002号 [114] Mario Szegedy和Yixin Xu。不可能定理和通用代数工具包。CoRR，abs/1506.013152015年。 [115] 罗德·斯泽莱普塞尼伊（Róbert Szelepcsényi）。非确定性自动机的强制枚举方法。《学报》，26（3）：279-2841988年11月·Zbl 0638.68046号 [116] 沃尔特·泰勒。服从同伦定律的变种。加拿大。数学杂志。，29(3):498-527, 1977. ·Zbl 0357.08004号 [117] 约翰·塔珀和斯坦尼斯拉夫·伊文。有限值CSP的复杂性。J.ACM，63（4）：37:1-37:33，2016年·Zbl 1410.68177号 [118] 罗斯·威拉德。测试可表达性很困难。《约束编程（CP）的程序、原则和实践》，2010年第9-23页。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。