×
杰尔科·M·博德韦斯。;Bodlaender，Hans L。;冈瑟·科内利森;范德韦根（Marieke van der Wegen）

多项式时间内超椭圆图的识别。 （英文） Zbl 1436.05105号

西奥。计算。科学。 815, 121-146 (2020).
总结：基于代数曲线和图形之间的类比，M.贝克和S.挪威【2009年国际数学研究报告，第15号，2914–2955（2009；Zbl 1178.05031号)]介绍了与树宽、多重图算法和数论有关的多重图的图参数&除数角性。代数曲线的角性的各种等价定义转化为图的不同角性概念，称为稳定角性和稳定除法角性。
我们考虑所谓的超椭圆图（任何意义上的图的角性为2的多重图），并为此类多重图提供了一组安全完整的约简规则。这导致了一个识别时间为（O（m+n\log n）的超椭圆图的算法，其中，（n）是多重图的顶点数，（m）是多重图形的边数。一个推论是，我们可以在相同的运行时决定一个双边连通图（G）是否允许对合（sigma），从而使商（G/langle\sigma\rangle）是一棵树。

引用于2文件

MSC公司：

05C85号 图形算法（图形理论方面）
05年10月 平面图；图论的几何和拓扑方面

关键词：

算法;正方性;约简规则;树宽

引文：

Zbl 1178.05031号

软件：

岩浆;计算TW
PDF格式BibTeX公司 XML格式引用
\textit{J.M.Bodewes}等人，Theor。计算。科学。815121-146（2020年；Zbl 1436.05105）
全文： 内政部

参考文献：

[1] 阿米尼，奥米德；马修·贝克（Matthew Baker）；埃尔万布鲁加莱；约瑟夫·拉宾诺夫（Joseph Rabinoff），《提升调和态II：热带曲线和度量复合体》，代数数论，9，2，267-315（2015）·Zbl 1312.14138号
[2] 斯特凡·阿恩博格；Proskurowski，Andrzej，部分3-树的特征和识别，SIAM J.代数离散方法，7，2，305-314（1986）·Zbl 0597.05027号
[3] Babai，László，拟多项式时间中的图同构[扩展摘要]，（第四十八届美国计算机学会计算理论年会论文集。第四十八届美国计算机学会计算理论年会论文集，STOC'16（2016）），684-697，扩展摘要·Zbl 1376.68058号
[4] 烘焙，Per；唐超；Wiesenfeld，Kurt，《自组织临界》，Phys。修订版A，38，1，364（1988）·Zbl 1230.37103号
[5] Baker，Matthew，《从曲线到图的线性系统专业化》，代数数论，2，6，613-653（2008），附布莱恩·康拉德（Brian Conrad）的附录·Zbl 1162.14018号
[6] 马修·贝克（Matthew Baker）；诺琳，塞尔盖伊，调和态射和超椭圆图，国际数学。Res.不。IMRN，15，2914-2955（2009年）·Zbl 1178.05031号
[7] 马修·贝克（Matthew Baker）；Shokrieh，Farbod，Chip-fireing games，图的势理论，以及生成树，J.Comb。理论，Ser。A、 120、1、164-182（2013）·Zbl 1408.05089号
[8] 丹尼尔·宾斯托克（Daniel Bienstock）；Paul Seymour，图搜索中的单调性，J.Algorithms，12，239-245（1991）·Zbl 0760.05081号
[9] 安德斯·比约纳；Lovász，László；彼得·W·肖（Peter W.Shor），《图形上的芯片射击游戏》（Chip-fireing games on graphs），《欧洲期刊》（Eur.J.Comb.）。，12, 4, 283-291 (1991) ·Zbl 0729.05048号
[10] 杰尔科·M·博德韦斯。；Bodlaender，Hans L。；冈瑟·科内利森；van der Wegen，Marieke，在多项式时间内识别超椭圆图[扩展抽象]，（Brandstädt，Andreas；Köhler，Ekkehard；Meer，Klaus，《计算机科学中的图论概念》，2018年工作组。计算机科学中的图论概念。计算机科学中的图论概念，WG 2018，Springer计算机科学讲义，第11159卷（2018），52-64·Zbl 1517.68276号
[11] Bodlaender，Hans L。；普洛·格伦奥斯·德伦奇；马克斯·德雷吉。；Fedor V.Fomin。；丹尼尔·洛克斯塔诺夫（Daniel Lokshtanov）；Pilipczuk，Michał，A（c^k n 5）-树宽近似算法，SIAM J.Compute。，45, 2, 317-378 (2016) ·Zbl 1333.05282号
[12] Bodlaender，Hans L。；Hagerup，Torben，有界树宽最优加速的并行算法，SIAM J.Comput。，27, 6, 1725-1746 (1998) ·Zbl 0907.68089号
[13] Bodlaender，Hans L。；Koster，Arie M.C.A.，树状结构计算II。下限，Inf.Compute。，209, 7, 1103-1119 (2011) ·Zbl 1220.68071号
[14] Bodlaender，Hans L。；范德韦根，马里克；van der Zanden，Tom C.，《稳定的除数正方性在NP中[扩展摘要]》，（卡塔尼亚，芭芭拉；克拉洛维奇，拉斯蒂斯拉夫；纳罗基，杰奇；皮奇奇尼，乔瓦尼，SOFSEM 2019：计算机科学的理论与实践》。SOFSEM 2019：计算机科学理论与实践。SOFSEM 2019：计算机科学理论与实践，SOFSEM2019，Springer计算机科学讲义，第11376卷（2019年），81-93，扩展摘要·Zbl 1444.68138号
[15] 博斯玛（Bosma）、维布（Wieb）；坎农，约翰；Catherine Playout，《岩浆代数系统》。I.用户语言，J.Symb。计算。，24，3-4，235-265（1997年）·Zbl 0898.68039号
[16] Chan，Melody；格拉斯，达伦；马修·麦考利（Matthew Macauley）；大卫·珀金森（David Perkinson）；卡琳·沃纳（Caryn Werner）；杨巧玉，沙堆，生成树，平面二元性，SIAM J.离散数学。，29, 1, 461-471 (2015) ·Zbl 1327.05342号
[17] 亨利·科恩（Henri Cohen）；格哈德·弗雷（Gerhard Frey）；罗伯特·阿文齐（Roberto Avanzi）；多奇，克利斯朵夫；坦贾·兰格；Nguyen，Kim；Vercauteren，Frederik，《椭圆和超椭圆曲线密码术手册》（2012），查普曼和霍尔/CRC·兹比尔1082.94001
[18] 冈瑟·科内利森；福美haru加藤；Kool，Janne，组合Li-Yau不等式和曲线上的有理点，数学。年鉴，361，1-2，211-258（2015）·Zbl 1341.11034号
[19] Courcelle，Bruno，图的一元二阶逻辑。一： 有限图的可识别集，Inf.Comput。，85, 1, 12-75 (1990) ·Zbl 0722.03008号
[20] Dhar，Deepak，沙堆自动机模型的自组织临界状态，Phys。修订稿。，64, 14, 1613 (1990) ·Zbl 0943.82553号
[21] van Dobben de Bruyn，Josse，有限图中的降因子和刚度（2012），莱顿大学，学士论文
[22] 范多本·德布鲁恩（Josse van Dobben de Bruyn）；Gijswijt，Dion，Treewidth是图的正方性的下限（2014），预印本·Zbl 1477.05125号
[23] 杜塔，尼拉夫；Jensen，David，膨胀图的几何性，离散数学。，341, 9, 2535-2543 (2018) ·兹比尔1392.05099
[24] Gijswijt，Dion；哈里·史密特；van der Wegen，Marieke，《计算图形的直角性很难》（2019），预印本·Zbl 1450.05088号
[25] 格罗特·科尔坎普（Groot Koerkamp），拉格纳尔（Ragnar）；范德韦根（van der Wegen），玛丽克（Marieke），稳定的正方形是可计算的，离散的。数学。西奥。计算。科学。，2018年ICGT第21、1期（2019年）·Zbl 1417.05234号
[26] Hagerup，Torben，有界树宽图的动态算法，算法，27，3，292-315（2000）·Zbl 0959.03019号
[27] Helfgott，Harald Andrés，《温度拟多项式同构图》[d’après Babai et Luks，Weisfeiler-Leman，…]，（séminaire Bourbaki，第2016/2017卷。1120-1135年博览会。塞米纳伊尔·布尔巴吉。第2016/2017卷。《博览会1120-1135》，《阿斯特里斯克》，第407卷：第1125号（2019年），第135-182页·Zbl 1483.05181号
[28] Hendrey，Kevin，《高次方稀疏图》，SIAM J.离散数学。，32, 2, 1400-1407 (2018) ·Zbl 1388.05105号
[29] Andrea S.LaPaugh，《再污染无助于搜索图表》，J.ACM，40，2，224-245（1993年4月）·Zbl 0768.68048号
[30] Lubiw，Anna，《一些类似于图同构的NP-完全问题》，SIAM J.Compute。，10, 1, 11-21 (1981) ·Zbl 0454.68025号
[31] Norin，Sergey，《图小结构理论的新工具和结果》，（2015年组合数学调查）。2015年组合数学调查，伦敦数学。Soc.课堂讲稿Ser。，第424卷（2015），剑桥大学出版社），221-260·Zbl 1352.05172号
[32] Poonen，Bjorn，《计算曲线上的有理点》，（《千年数论》，第三卷，《千年数论》，伊利诺伊州乌尔班纳，2000年（2002年），A K Peters:A K Peters Natick，MA），149-172·Zbl 1038.11037号
[33] Josef Schicho；弗兰克·奥拉夫·施雷耶；Weimann，Martin，《直角图的计算方面和曲线的径向参数化》，应用。代数工程通讯。计算。，24, 5, 313-341 (2013) ·兹比尔1299.14047
[34] 塔尔多斯，加博尔，一个基于图的芯片点火游戏的多项式界，SIAM J.离散数学。，1, 3, 397-398 (1988) ·兹比尔0652.68089
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。