×
伊利亚州埃弗堡;本尼·戈德林;约翰·马考斯基（Johann A.Makowsky）。

最一般的边缘消除多项式。 （英语） Zbl 1202.05063号

Broersma，Hajo（编辑）等人，《计算机科学中的图论概念》。2008年6月30日至7月2日，第34届国际研讨会，2008年工作组，英国达勒姆。修订论文。柏林：施普林格出版社（ISBN 978-3-540-92247-6/pbk）。计算机科学课堂讲稿5344，31-42（2008）。
摘要：我们寻找满足三种边缘消除递归关系的图多项式：边缘删除、边缘收缩和边缘提取，即边缘及其端点的删除。就像只在删除和收缩的情况下一样(J·G·。奥克斯利和D.J.博士。答：。威尔士的[“Tutte多项式和渗流”，图论和相关主题，Proc.Conf.Honour W.T.Tutte，滑铁卢/安大略省，1977，329–339（1979；Zbl 0498.05018号)])结果表明，存在一个满足这种递推关系的最一般多项式，我们称之为（xi（G，x，y，z））。我们证明了新多项式同时推广了Tutte多项式、匹配多项式和由K.多曼,A.Pönitz公司和P.蒂特曼[“色多项式的一个新的双变量推广”，《离散数学理论计算科学》第6期，第。1、69–90，仅电子版（2003年；Zbl 1035.68078号)]，还包括独立集多项式I.古特曼和哈拉里[“匹配多项式的推广”，《实用数学》24，97–106（1983）（1983；兹伯利0527.05055)]，和的顶点覆盖多项式F.M.公司。东,医学博士。亨迪,K.T.公司。特奥和C.小时。C、。小[“图的顶点覆盖多项式”，《离散数学》，第250期。1-3, 71–78 (2002;Zbl 1007.05079号)]. 我们给出了新多项式的三个定义：第一，最一般的递归定义，第二，显式定义，使用集合展开公式，最后是分配函数，使用加权图同态计数。我们证明了这三个定义的等价性。最后，我们讨论了计算的复杂性（xi（G，x，y，z））。
关于整个系列，请参见[Zbl 1153.68002号].

引用于4评论
引用于14文件

MSC公司：

05C31号 图多项式
65年第68季度 算法和问题复杂性分析

关键词：

边缘消除;边缘删除;边缘收缩;边缘提取

引文：

Zbl 0498.05018号;Zbl 1035.68078号;Zbl 0527.05055号;Zbl 1007.05079号
PDF格式BibTeX公司 XML格式引用
\textit{I.Averbouch}等人，Lect。注释计算。科学。5344，31-42（2008；Zbl 1202.05063）
全文： 内政部 arXiv公司

参考文献：

[1] Averbouch，I.，Godlin，B.，Makowsky，J.A.：最常见的边缘消除多项式。arXiv（2007），http://uk.arxiv.org/pdf/0712.3112.pdf ·兹比尔1198.05099
[2] Averbouch，I.，Godlin，B.，Makowsky，J.A.：二元色多项式的推广（提交日期，2008年）·Zbl 1198.05099号
[3] 比格斯，N.：代数图论，第二版。剑桥大学出版社，剑桥（1993）·Zbl 0284.05101号
[4] Bollobás，B.：现代图论。斯普林格，海德堡（1999）·Zbl 0902.05016号
[5] Bollobás，B.，Riordan，O.：彩色图的Tutte多项式。组合数学、概率与计算8，45–94（1999）·Zbl 0926.05017号 ·doi:10.1017/S0963548398003447
[6] Courcelle，B.，Olariu，S.：团的上界-图的宽度。离散应用数学101，77–114（2000）·Zbl 0958.05105号 ·doi:10.1016/S0166-218X（99）00184-5
[7] Downey，R.G.，Fellows，M.F.：参数化复杂性。斯普林格，海德堡（1999）·doi:10.1007/978-1-4612-0515-9
[8] Dong，F.M.，Hendy，M.D.，Teo，K.L.，Little，C.H.C.：图的顶点覆盖多项式。离散数学250，71–78（2002）·Zbl 1007.05079号 ·doi:10.1016/S0012-365X（01）00272-2
[9] Dong，F.M.，Koh，K.M.，Teo，K.L.：图的色多项式和色性。《世界科学》，新加坡（2005年）·Zbl 1070.05038号 ·数字对象标识代码：10.1142/5814
[10] Dohmen，K.，Pönitz，A.，Tittmann，P.：色多项式的一个新的二元推广。离散数学和理论计算机科学6，69–90（2003）·Zbl 1035.68078号
[11] Flum，J.，Grohe，M.：参数化复杂性理论。斯普林格，海德堡（2006）·Zbl 1143.68016号
[12] Fomin，F.，Golovach，P.，Lokshtanov，D.，Saurabh，S.：集团宽度：以一般性为代价。挪威卑尔根大学信息学系（预印本，2008年）
[13] Freedman，M.，Lovász，L.，Schrijver，A.：图的反射正性，秩连通性和同态。AMS杂志20，37–51（2007）·Zbl 1107.05089号
[14] Fischer，E.，Makowsky，J.A.，Ravve，E.V.：有界树宽和团宽公式的计数真值赋值。离散应用数学156、511–529（2008）·Zbl 1131.68093号 ·doi:10.1016/j.dam.2006.06.020
[15] Gutman，I.，Harary，F.：匹配多项式的推广。数学实用程序24，97–106（1983）·Zbl 0527.05055号
[16] Giménez，O.，Hlinĕn૙，P.，Noy，M.：计算有界围宽图上的Tutte多项式。摘自：Kratsch，D.（编辑）WG 2005。LNCS，第3787卷，第59-68页。斯普林格，海德堡（2005）·Zbl 1126.05302号 ·doi:10.1007/116046866
[17] Godsil，C.，Royle，G.：代数图论。数学研究生课文。斯普林格，海德堡（2001）·Zbl 0968.05002号 ·doi:10.1007/978-1-4613-0163-9
[18] Heilmann，C.J.，Lieb，E.H.：单体聚合物系统理论。公共数学。物理28、190–232（1972）·Zbl 0228.05131号 ·doi:10.1007/BF01877590
[19] Hoffmann，C.：一个最通用的边缘消除多项式-边缘加厚（2008）arXiv:0801.1600v1[math.CO]·Zbl 1203.05072号
[20] Lovasz，L.，Plummer，M.D.：匹配理论。离散数学年鉴，第29卷。荷兰北部，阿姆斯特丹（1986年）
[21] Makowsky，J.A.：费费曼-沃特定理的算法应用。《纯粹逻辑与应用逻辑年鉴》126（1-3），159-213（2004）·邮编1099.03009 ·doi:10.1016/j.apal.2003.11.002
[22] Makowsky，J.A.：有界树宽图上的彩色Tutte多项式和Kauffman括号。光盘。申请。数学。 145(2), 276–290 (2005) ·Zbl 1084.05505号 ·doi:10.1016/j.dam.2004.01.016
[23] Makowsky，J.A.，Rotics，U.，Averbouch，I.，Godlin，B.：计算有界围宽图上的图多项式。In:Fomin，F.V.（编辑）WG 2006。LNCS，第4271卷，第191–204页。斯普林格，海德堡（2006）·Zbl 1167.05335号 ·doi:10.1007/11917496_18
[24] Oxley，J.G.，Welsh，D.J.A.：塔特多项式与渗流。收录于：Bundy，J.A.，Murty，U.S.R.（编辑）《图论及相关主题》，第329-339页。伦敦学术出版社（1979）·Zbl 0498.05018号
[25] Sokal，A.：图和拟阵的多元Tutte多项式（别名Potts模型）。收录：2005年组合数学调查。伦敦数学学会讲义，第327卷，第173–226页（2005年）·Zbl 1110.05020号 ·doi:10.1017/CBO9780511734885.009
[26] Traldi，L.：关于有界树宽图的彩色Tutte多项式。离散应用数学154（6），1032–1036（2006）·Zbl 1091.05027号 ·doi:10.1016/j.dam.2005.09.013
[27] Yetter，D.N.：关于线性递推关系给出的图不变量。组合理论杂志，B辑48（1），6–18（1990）·Zbl 0748.05087号 ·doi:10.1016/0095-8956（90）90127-L
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。