菲利普·巴普蒂斯特;米哈伊尔·科瓦利约夫。;尤里·奥洛维奇。;弗兰克·维尔纳;伊戈尔·兹维罗维奇（Igor E.Zverovich）。 具有相同大小的最大诱导匹配的图。 （英语） Zbl 1350.05129号 离散应用程序。数学。 216，第1部分，15-28（2017）。 摘要：如果一个图的所有最大诱导匹配都是相同大小的，则该图是完全匹配的。我们首先证明了即使对于无（2P_5，K_{1,5}）的图，识别一个图是否良好工业匹配也是一个共同的NP-完全问题。然后我们证明了决策问题独立支配集、独立支配集和支配集对于一类良好工业匹配图是NP-完全的。我们还证明了该类是一个共行业匹配遗传类，即它在删除诱导匹配的端点及其邻域的情况下是封闭的，并且我们用禁止的共行业匹配子图来刻画良好的行业匹配图。我们证明了共诱导子图的识别是一个NP完全问题。我们引入了一个完全良诱导匹配图，其中每个诱导子图都是良诱导匹配的，并用禁止诱导子图来刻画这些图的类。最后，我们证明了对于完全工业匹配图，问题独立支配集和独立集的加权形式可以在多项式时间内求解，但问题支配集是NP-完全的。 引用于2文件 MSC公司： 05C70号 具有特殊性质的边子集（因子分解、匹配、划分、覆盖和打包等） 05C35号 图论中的极值问题 2017年第68季度 问题的计算难度（下限、完备性、近似难度等） 05C60型 图论中的同态问题（重构猜想等）和同态（子图嵌入等） 关键词：诱导匹配;覆盖良好的图;最优化问题;计算复杂性;禁止诱导子图 PDF格式BibTeX公司 XML格式引用 \textit{P.Baptiste}等人，《离散应用》。数学。216，第1部分，15--28（2017；Zbl 1350.05129） 全文： 内政部 链接 参考文献： [1] Alekseev，V.E.，关于遗传类图中最大稳定集的数量，（离散优化中的组合代数方法（1991），Gorkov。戈斯。大学：戈尔科夫。戈斯。高尔基大学），5-8，（俄语） [2] Balakrishnan，H。；巴雷特，C.L。；Anil Kumar，V.S。；马里兰州马拉太。；Thite，S.，距离-2匹配问题及其与自组网MAC层容量的关系，IEEE J.Sel。公共区域。，22, 1069-1079 (2004) [3] 巴拉斯，E。；Yu，C.S.，关于多项式可解最大权团问题的图，网络，19247-253（1989）·Zbl 0661.05036号 [4] Beineke，L.W.，衍生图和有向图，（Beiträdge zur Graphentherie（1968），Teubner:Teubner Leipzig），17-33·Zbl 0179.29204号 [5] Berge，C.，Graphs and Hypergraphs（1976），美国爱思唯尔出版公司：美国爱思维尔出版公司纽约·Zbl 0483.05029号 [6] Bertossi，A.，分裂图和二部图的支配集，Inform。过程。莱特。，19, 37-40 (1984) ·Zbl 0539.68058号 [7] 邦迪，J.A。；Murty，U.S.R.，《图论及其应用》（1976），麦克米伦，爱思唯尔：麦克米伦出版社，爱思惟尔伦敦，纽约·Zbl 1134.05001号 [8] Brandstädt，A。；埃舍恩，E.M。；Sritharan，R.，凸二部图的诱导匹配和链子图覆盖问题，Theoret。计算。科学。，381, 260-265 (2007) ·Zbl 1188.68209号 [9] Brandstädt，A。；Hoàng，C.T.，线性时间弦图的最大诱导匹配，算法，52440-447（2008）·Zbl 1171.68595号 [10] Brandstädt，A。；Mosca，R.，《关于距离-3匹配和诱导匹配》，《离散应用》。数学。，159, 509-520 (2011) ·Zbl 1210.05105号 [11] Brandstädt，A。；Mosca，R.，线性时间内无（P_7）图的主导诱导匹配，算法，68，998-1018（2014）·Zbl 1307.05171号 [12] Cameron，K.，诱导匹配，离散应用。数学。，第24页，97-102页（1989年）·Zbl 0687.05033号 [13] Cameron，K.，交集图中的诱导匹配，离散数学。，278, 1-9 (2004) ·Zbl 1033.05080号 [14] 卡梅隆，K。；Sritharan，R。；唐，Y.，寻找弱弦图中的最大诱导匹配，离散数学。，266, 133-142 (2003) ·Zbl 1022.05064号 [15] 卡梅隆，K。；Walker，T.，具有相同大小的最大诱导匹配和最大匹配的图，离散数学。，299, 49-55 (2005) ·Zbl 1073.05054号 [16] 坎贝尔，S.R。；Ellingham，M.N。；Royle，G.F.，《覆盖良好的三次图的特征》，J.Combin.Math。组合计算。，13, 193-212 (1993) ·Zbl 0788.05077号 [17] Caro，Y。；Ellingham，M.N。；Ramey，J.E.，当所有最大独立集具有相等权重时的局部结构，SIAM J.离散数学。，11, 644-654 (1998) ·Zbl 0914.05061号 [18] Caro，Y。；Sebö，A。；Tarsi，M.，《识别贪婪结构》，J.Algorithms，20，137-156（1996）·Zbl 0840.68106号 [19] Chang，J.-M.，小行星三重自由图中的诱导匹配，离散应用。数学。，132, 67-78 (2003) ·Zbl 1029.05120号 [20] 恰塔尔，V。；斯莱特，P.J.，《关于覆盖良好的图的注释》，《离散数学》。，55, 179-181 (1993) ·Zbl 0801.68119号 [21] 库克，S.A.，《定理证明过程的复杂性》（Proc.3rd Ann.ACM Symp.on Theory of Computing（1971），ACM:ACM New York），151-158·Zbl 0253.68020号 [22] 达布罗夫斯基，K.K。；Demange，M。；Lozin，V.V.，关于二部图及其以外的最大诱导匹配的新结果，Theoret。计算。科学。，478，33-40（2013）·Zbl 1267.68118号 [23] Finbow，A。；B.哈特内尔。；Nowakowski，R.，《好控制图：覆盖良好的图的集合》，Ars。贡布。，25A，5-10（1988）·Zbl 0652.05056号 [24] 芬博，A。；哈特内尔，B。；Nowakowski，R.，《周长为5或更大的覆盖图的一个特征》，J.Combin理论Ser。B、 57、44-68（1993）·Zbl 0777.05088号 [25] Finbow，A。；B.哈特内尔。；诺瓦科夫斯基，R。；普卢默，M.，《关于覆盖良好的三角剖分：第一部分，离散应用》。数学。，132, 97-108 (2004) ·Zbl 1029.05114号 [26] A.芬诺。；B.哈特内尔。；诺瓦科夫斯基，R。；Plummer，M.，《关于覆盖良好的三角剖分：第二部分，离散应用》。数学。，157, 2799-2817 (2009) ·Zbl 1209.05166号 [27] Finbow，A。；B.哈特内尔。；诺瓦科夫斯基，R。；普卢默，M.，《关于覆盖良好的三角测量：第三部分，离散应用》。数学。，158, 894-912 (2010) ·Zbl 1209.05167号 [28] Földes，S。；Hammer，P.L.，Dilworth二号分裂图，Canad。数学杂志。，29, 666-672 (1977) ·Zbl 0335.05130号 [29] Garey，M.R。；Johnson，D.S.，《计算机与难处理性，NP-完全性理论指南》（1979），W.H.Freeman and Co.：W.H.Freeman&Co.，加利福尼亚州旧金山·Zbl 0411.68039号 [30] 哥伦比奇，M.C。；Lewenstein，M.，诱导匹配的新结果，离散应用。数学。，101, 157-165 (2000) ·Zbl 0951.68104号 [31] Harary，F。；Nash-Williams，C.St.J.A.，《关于欧拉和哈密尔顿图和线图》，加拿大。数学。公牛。，8701-709（1965年）·Zbl 0136.44704号 [32] Hartnell，B.L。；Vestergaard，P.D.，Equipackable graphs，公牛。仪表组合应用。，46, 35-48 (2006) ·Zbl 1097.05033号 [33] 海恩斯，T.W。；Hedetniemi，S.T。；Slater，P.J.，《图的支配基础》（1998），马塞尔·德克尔公司·Zbl 0890.05002号 [34] Heggernes，P.，图的最小三角形：一项调查，离散数学。，306297-317（2006年）·Zbl 1086.05069号 [35] 卡普兰，H。；沙米尔，R。；Tarjan，R.E.，弦图、强弦图和适当区间图上参数化完备问题的可拓性，SIAM J.Compute。，28, 1906-1922 (1999) ·Zbl 0928.68124号 [36] 柯克帕特里克·D·G。；Hell，P.，《关于广义匹配问题的复杂性》，（Proc.10th Ann.ACM Symp.On Theory of Computing（1978），ACM:ACM New York），240-245·Zbl 1282.68182号 [37] 柯克帕特里克·D·G。；Hell，P.，《关于一般图因子问题的复杂性》，SIAM J.Compute。，12, 601-609 (1983) ·Zbl 0525.68023号 [38] Ko，C.W。；Shepherd，F.B.，二部控制和同时拟阵覆盖，SIAM J.离散数学。，16, 517-523 (2003) ·Zbl 1029.05097号 [39] Kobler，D。；Rotics，U.，《在无爪和无（P_5）-图的子类中，以及在具有匹配和诱导匹配的等最大尺寸图中寻找最大诱导匹配》，《算法》，37，327-346（2003）·Zbl 1082.68592号 [40] Lesk，M。；普卢默，医学博士。；普莱布兰克，W.R.，等匹配图，（图论与组合数学（1984），学术出版社：伦敦学术出版社），239-254·Zbl 0548.05048号 [41] 洛瓦兹，L。；普卢默，M.D.，《匹配理论》（1986），北荷兰特出版公司：北荷兰德出版公司，阿姆斯特丹·Zbl 0618.05001号 [42] 洛津，V。；Rautenbach，D.，关于无长诱导路径图的一些结果，Inform。过程。莱特。，88, 167-171 (2003) ·Zbl 1178.68285号 [43] 奥洛维奇，Y。；芬克，G。；戈登，V。；Zverovich，I.，最大和最小最大诱导匹配问题的近似结果，离散优化。，5, 584-593 (2008) ·Zbl 1140.90479号 [44] 普卢默，M.D.，《图中的一些覆盖概念》，J.Combin。B、 891-98（1970）·Zbl 0195.25801号 [45] Ravindra，G.，Well-covered graphs，J.Comb。信息系统。科学。，2, 20-21 (1977) ·兹伯利0396.005007 [46] Sankaranarayana，R.S。；Stewart，L.K.，覆盖图的复杂性结果，网络，22247-262（1992）·Zbl 0780.90104号 [47] 斯托克迈耶，L.J。；Vazirani，V.V.，最大匹配问题的一些推广的NP完备性，Inform。过程。莱特。，15, 14-19 (1982) ·Zbl 0493.68039号 [48] Tankus，D。；Tarsi，M.，Well-covered无爪图，J.Combin，Theory Ser。B、 66、293-302（1996）·Zbl 0858.05046号 [49] Tankus，D。；Tarsi，M.，《覆盖良好的图的结构及其识别问题的复杂性》，J.Combin，Theory Ser。B、 69、230-233（1997）·Zbl 0873.05074号 [50] Tankus，D。；Tarsi，M.，贪婪地构造哈密顿路径，哈密顿圈和最大线性森林，离散数学。，307, 1833-1843 (2007) ·Zbl 1117.05074号 [51] Tankus，D。；Tarsi，M.，贪婪地构造最大偏因子，离散数学。，309, 2180-2189 (2009) ·Zbl 1214.05133号 [52] 托普，J。；Vestergaard，P.D.，《良好无冗余图》，《离散应用》。数学。，63267-276（1995年）·兹比尔0846.05051 [53] 筑山，S。；Ide，M。；Ariyoshi，H。；白川方明，I.，生成所有最大独立集的新算法，SIAM J.Compute。，6, 505-517 (1977) ·Zbl 0364.05027号 [54] Tutte，W.T.，图论（1984），Addison-Wesley：Addison-Whesley Mass·Zbl 0554.05001号 [55] West，D.B.，Berge-Tutte公式和Gallai-Edmonds结构定理的简短证明，《欧洲联合杂志》，32，674-676（2011）·Zbl 1229.05234号 [56] 山下，M。；Kameda，T.，《用覆盖良好的图建模（k）-coteries》，《网络》，34221-228（1999）·Zbl 0984.05047号 [57] Yannakakis，M.，《计算最小填充是NP-complete》，SIAM J.Algebr。离散方法，277-79（1981）·Zbl 0496.68033号 [58] Zverovich，I.E.，用禁止的代价子图描述覆盖良好的图，数学。注释，67，41-44（2000），翻译自Mat.Zametki 67（2000）52-56（俄语）·Zbl 0971.05085号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。