When G^2 is a Konig-Egervary graph?
图G的平方是指图G^2具有与G中相同的顶点集,并且G^2的一条边连接两个不同的顶点,只要它们在G中的距离至多为2。G是平方稳定图,如果它具有性质alpha(G)=alpha(G^2),其中alpha(G)是G中最大稳定集的大小.本文证明了G ^2是Konig-Egervary图当且仅当G是平方稳定的Konig-Egervary图。
2010-04-27 cs.DM math.CO
An Algorithm Computing the Core of a Konig-Egervary Graph
图G中的一个顶点集S是独立的,如果S中没有两个顶点是相邻的,α(G)是G的一个最大独立集的基数.如果G的阶等于alpha(G)+mu(G),则称G为Konig-Egervary图,其中mu(G)表示最大匹配的大小.核心(G)是指G的所有极大独立集的交集。判定核(G)是否为空是NP难的。本文给出了几个求Konig-Egervary图G的核(G)的多项式时间算法。
2011-02-06 cs.DM math.CO
On Konig-Egervary Collections of Maximum Critical Independent Sets
设G是顶点集为V(G)的简单图.一个集合S是独立的,如果S中没有两个顶点相邻。如果alpha(G)+mu(G)=| V(G)|其中alpha(G)表示最大独立集的大小,mu(G)是最大匹配的基数。数字d(X)= |X| -|N(X)|是X的差,并且如果d(A)= max{d(I):I是G中的独立集}(Zhang; 1990),则独立集A是临界的。设Ω(G)表示所有极大独立集的族.假设一个独立集族Gamma是一个Konig-Egervary集合,如果|伽玛联盟| + |伽马交叉点|= 2alpha(G)(Jarden,Levit,Mandrescu; 2015)。本文证明了:如果图G的所有极大临界独立集的族是Konig-Egervary集合,则G是Konig-Egervary图。它概括了我们最近在(Short; 2015)中验证的一个模型。
2015-12-07 cs.DM math.CO
On Konig-Egervary Square-Stable Graphs
图G的稳定数α(G)是图G中最大独立集的基数,图G中最大匹配的基数是图G中最大匹配的基数。如果alpha(G)+mu(G)等于它的阶,则G是一个Konig-Egervary图.在本文中,我们处理平方稳定图,即,图G满足等式alpha(G)=alpha(G^{2}),其中G^{2}表示G的二次幂。特别地,我们证明了一个Konig-Egervary图是平方稳定的当且仅当它有一个完美的匹配组成的悬垂边,因此,我们推断,良好覆盖的树正是平方稳定的树。
2009-08-25 cs.DM math.CO
Critical independent sets and Konig--Egervary graphs
设alpha(G)为图G中最大独立集的基数,mu(G)为最大匹配集的大小。如果G的阶等于alpha(G)+ mu(G),则G是Konig-Egervary图.集合核(G)是G的所有最大独立集合的交集(Levit & Mandrescu,2002)。数字def(G)=| V(G)|-2*mu(G)是G的不足(Lovasz和Plummer,1986)。数d(G)=max{ |S| -|N(S)|:S in Ind(G)}是G的临界差。如果|A| -|N(A)|=d(G),其中N(S)是S的邻域(Zhang,1990). 2009年,Larson证明了G是Konig-Egervary图当且仅当存在一个最大独立集,且该最大独立集也是临界的.本文证明了:(i)d(G)=|核心(G)|-|N(核心(G))|=alpha(G)-mu(G)=def(G);(ii)G是Konig-Egervary图当且仅当G的每个最大独立集是临界的。
2009-06-30 cs.DM math.CO
Computing Unique Maximum Matchings in O(m) time for Konig-Egervary Graphs and Unicyclic Graphs
设α(G)表示图G中一个独立集的最大顶点数,μ(G)表示图G中一个最大匹配的基数.一个匹配饱和所有的顶点是完美的。如果alpha(G)+ mu(G)等于G的顶点数,则称之为Konig-Egervary图。一个图是单圈的,如果它有一个唯一的圈。在2010年,Bartha证明了一个唯一的完美匹配,如果存在的话,可以在O(m)时间内找到,其中m是边的数量。本文对Konig-Egervary图和单圈图证明了这一猜想。我们提出了一个变体的Karp-Sipser叶去除算法(Karp和Spiser,1981),它结束于一个空图当且仅当原始图是一个Konig-Egervary图,并获得一个唯一的完美匹配作为输出。我们还证明了一个单圈非二部图G可能至多有一个完美匹配,这是G是一个Konig-Egervary图的情况。
2014-02-12 cs.DM math.CO
On corona of Konig-Egervary graphs
本文完整刻画了冠图为0-König-Egerváry图和1-König-Egerváry图的图,给出了基于最大独立集与最大匹配的精确分类条件。
2024-11-19 cs.DM math.CO
On Minimal Critical Independent Sets of Almost Bipartite non-Konig-Egervary Graphs
独立数$α(G)$是最大独立集的基数,而$μ(G)$是$G$中最大匹配的大小。如果$α(G)+μ(G)$等于$G$的阶,则$G$称为Konig-Egervary图。数$d\left( G\right) =\max\{\left\vert A\right\vert -\left\vert N\left( A\right) \right\vert :A\subseteq V\}$称为$G$的临界差(其中$N\left( A\right) =\left\{ v:v\in V,N\left( v\right) \cap A\neq\emptyset\right\} $)。已知$α(G)-μ(G)\leq d\left( G\right) $对每个图都成立。一个图$G$是单圈的,如果它有一个唯一的圈;几乎二部的,如果它只有一个奇圈。设$\mathrm{\ker}(G)=\bigcap\left\{ S:S\text{ is a critical independent set}\right\} $,$\mathrm{core}\left( G\right) $是所有最大独立集的交集,$\mathrm{corona}\left( G\right) $是$G$的所有最大独立集的并集.已知$\mathrm{\ker}(G)\subseteq\mathrm{core}(G)$对任何图都成立,而等式对…
2022-09-01 cs.DM math.CO
A sharp Randić bound for König--Egerváry graphs and a conjecture of Aouchiche, Hansen, and Zheng
Sungkyunkwan University(成均馆大学);Nankai University(南开大学);The State University of New York(纽约州立大学);Guangdong University of Foreign Studies(广东外语外贸大学)
研究科尼格 - 埃格瓦里图的兰迪奇指数,证明其满足特定不等式并刻画等式成立的图,结合贝尔热 - 图特公式确定\(R(G)-\alpha'(G)\)的最大值及极值图,否定了奥奇切等人2006年的猜想。
2026-08-04 math.CO
On Bipartite-Almost Bipartite Graphs and the Determinantal Factorization
Universidad Nacional de San Luis(圣路易斯国立大学);IMASL-CONICET(阿根廷国家科学研究委员会圣路易斯数学与理论物理研究所)
本文提出BAB图概念,通过Gallai-Edmonds分解研究其结构,并证明其邻接矩阵行列式可分解,验证R-不相交图猜想。
2026-03-11 math.CO
Monotonic Properties of Collections of Maximum Independent Sets of a Graph
设G是顶点集为V(G)的简单图. V(G)的一个子集S是独立的,如果S中没有两个顶点相邻。如果alpha(G)+ mu(G)=| V(G)|其中alpha(G)表示最大独立集的大小,mu(G)是最大匹配的基数。设Omega(G)表示所有极大独立集的族,f是Omega(G)的子集Gamma的函数,使得f(Gamma)=(Gamma的元素并的基数)+(Gamma的元素交的基数).我们的主要发现是f是“<<"-递增的,其中前序{Gamma 1} << {Gamma 2}意味着{Gamma 1}的所有元素的并集是{Gamma 2}的所有元素的并集的子集,而{Gamma 2}的所有元素的交集是{Gamma 1}的所有元素的交集的子集。假设一个族{Gamma}是一个Konig-Egervary集合,如果f(Gamma)= 2*alpha(G)。我们的结论是,对于每一个图G的每个子集合的Konig-Egervary集合是Konig-Egervary以及。
2015-05-31 cs.DM math.CO
On the Intersection of All Critical Sets of a Unicyclic Graph
一个集合S在图G中是独立的,如果S中没有两个顶点是相邻的。独立数alpha(G)是最大独立集的基数,而mu(G)是G中最大匹配的大小。如果alpha(G)+mu(G)= |V|,则G=(V,E)称为Konig-Egervary图.数字d_{c}(G)=max{ |A| -|N(A)|}称为G的临界差(Zhang,1990)。通过core(G)(corona(G)),我们表示所有最大独立集的交集(并),而ker(G)表示所有临界独立集的交集。只有一个圈的连通图称为单圈图。已知ker(G)是每个图G的core(G)的子集,而等式对于二分图也成立(Levit and Mandrescu,2011)。对于Konig-Egervary单圈图,|核心(G)|-|克(G)|可以等于任何非负整数。本文证明了:如果G是一个非Konig-Egervary单圈图,则:(i)ker(G)= core(G);|电晕(G)|+|核心(G)|=2*alpha(G)+1。注意|电晕(G)|+|核心(G)|=2*alpha(G)对每个Konig-Egervary图成立。
2011-08-18 cs.DM math.CO
Tuza's Conjecture for Graphs of Maximum Average Degree Less Than 7
图扎猜想指出,如果一个图$G$不包含多于$k$个边不相交的三角形,则某个至多$2k$边的集合满足$G$的所有三角形。本文证明了图$G$的Tuza猜想,它不含平均度至少为$7$的子图.作为一个关键的工具,在证明中,我们介绍了一个概念,可约集的图扎猜想,这些子结构,不能发生在一个最小的反例图扎猜想。我们还介绍了弱König-Egerváry图,广泛研究的König-Egerváry图的推广。
2015-04-13 math.CO
Almost Bipartite non-König-Egerváry Graphs Revisited
本文研究具有唯一奇圈的近似二部非 König-Egerváry 图,刻画其最大匹配、diadem、corona 与删点后成为 König-Egerváry 图之间的结构关系。
2024-05-21 cs.DM math.CO
Coverings, Matchings and the number of maximal independent sets of graphs
利用图的覆盖数确定了任意图的极大独立集的最大个数,并对极图进行了完全刻画。作为应用,我们给出了König-Egerváry图的匹配数的一个类似结果.
2016-10-19 math.CO
On an Annihilation Number Conjecture
令$α(G)$表示最大独立集的基数,而$μ(G)$是图$G=\left(V,E\right) $中最大匹配的大小。如果是$α(G)+μ(G)=\left\vert V\right\vert $,则$G$是一个König-Egerváry图。如果$d_{1}\leq d_{2}\leq\cdots\leq d_{n}$是$G$的度序列,则$G$的湮灭数$h\left(G\right) $是使得$\sum\limits_{i=1}^{k}d_{i}\leq\left\vert E\right\vert $的最大整数$k$(Pepper 2004,Pepper 2009)。一个满足$\sum \limits_{a\in A} deg(a)\leq\left\vert E\right\vert $的集合$A\subseteq V$是一个湮灭集,如果另外,对每个顶点$v\in V(G)-A$,有$ deg\left(v\right) +\sum\limits_{a\in A} deg(a)>\left\vert E\right\vert $,则$A$是$G$中的一个极大湮灭集.在(Larson & Pepper 2011)中,证明了以下断言是等价的:(i)$α\left(G\right) =h\left(G\right) $ ;(ii)$G$是一个König-Egerváry图,并且每个最大…
2019-03-13 cs.DM math.CO
Problems on Matchings and Independent Sets of a Graph
设$G$是一个有限简单图。对于$X \subset V(G)$,$X$,$d(X) := |X| - |N (X)|$的差称为$G$的临界差,其中$N(X)$是$X$和$\max \, \{d(X):X\subset V(G)\}$的邻域。如果$d(X)$等于临界差,并且ker $(G)$是所有临界集的交集,则称$X$为临界集。已知ker $(G)$是$G$的独立(顶点)集合。diadem $(G)$是所有临界独立集的并集。如果$S$的真子集都不具有正差,则独立集$S$是包含$d(S) > 0$的极小集。一个图$G$称为König-Egerváry,如果它的独立数($α(G)$)和匹配数($μ(G)$)之和等于$|V(G)|$。已知二部图是König-Egerváry图。本文研究了具有正差的独立集,使得每个真子集的差都较小,并证明了Levit和Mandrescu在2013年提出的一个结果。猜想指出,对于任何图,包含极小集$S$与$d(S) > 0$的个数至少是图的临界差。我们还给出了不等式$|$ ker $(G)| + |$ diadem $(G)| \le 2α(G)$的一个简短证明(由Short在2016年证明)。给出了单圈非König-Egerváry图的一个刻画,并证明了一个猜想:对于这样的图$G$,临界差等于$α(G) - μ(G)$.并以Edmonds-Gallai结构…
2018-02-19 cs.DM math.CO
On $α^{++}$-Stable Graphs
图G的稳定数用alpha(G)表示,是G中最大尺寸的独立集的基数。一个图是良好覆盖的,如果每个极大独立集具有相同的大小。G是Koenig-Egervary图,如果G的阶等于alpha(G)+ mu(G),其中mu(G)是G中最大匹配的基数.本文刻画了$α^{++}$ -稳定图,即其稳定数对于补图的任意两条边的添加是不变的图。我们证明了一个König-Egerváry图是$α^{++}$ -稳定的当且仅当它有一个完美匹配,由悬垂边组成,并且图的四个顶点不跨越一个圈。作为推论,给出了二部图和树的$α^{++}$ -稳定的充要条件.例如,我们证明了一个二部图是$α^{++}$ -稳定的当且仅当它是良好覆盖的和C4-自由的。
2000-03-09 math.CO
Core and Corona in 2-Bicritical Odd-Bicyclic Graphs
Instituto de Matemática Aplicada San Luis, Universidad Nacional de San Luis and CONICET(圣路易斯应用数学研究所,圣路易斯国立大学及阿根廷国家科学研究委员会);Departamento de Matemática, Universidad Nacional de San Luis(数学系,圣路易斯国立大学)
本文研究了最多包含两个奇环的2-双临界图的结构,通过耳-悬垂分解将其分为四个家族,并计算了核心和冠的参数,揭示了奇环位置对独立集结构的影响。
2026-03-12 math.CO
On the Critical Difference of Almost Bipartite Graphs
一个集合$S\subseteq V$是图$G=\left( V,E\right) $中的\textit{independent},如果没有两个来自$S$的顶点是相邻的。\textit{independence number} $α(G)$是最大独立集的基数,而$μ(G)$是$G$中最大匹配的大小。如果$α(G)+μ(G)$等于$G$的阶数,则$G$称为\textit{König-Egerváry graph } \cite{dem,ster}。数字$d\left( G\right) =\max\{\left\vert A\right\vert -\left\vert N\left( A\right) \right\vert :A\subseteq V\}$被称为$G$ \cite{Zhang}的\textit{critical difference}(其中$N\left( A\right) =\left\{ v:v\in V,N\left( v\right) \cap A\neq\emptyset\right\} $)。已知$α(G)-μ(G)\leq d\left( G\right) $对每个图\cite{Levman2011a,Lorentzen1966,Schrijver2003}都成立。在\cite{LevMan5}中,证明了$d(G)=α(G)-μ(G)$对于每个Köni…
2019-05-22 cs.DM math.CO
On the independent set sequence of a tree
Alavi,Malde,Schwenk和Erdensys问是否每个树的独立集序列是单峰的。在这里,我们对这个问题做一些观察。我们证明了对于一致随机(标号)树,渐近几乎必然(a.a.s.)序列的初始约49.5%在增加,而末端约38.8%在减少。我们的方法使用矩阵树定理,结合计算。我们也给出了Levit和Mandrescu关于König-Egerváry图的独立集序列的最后三分之一的结果的推广。
2021-07-03 math.CO
The Critical Independence Number and an Independence Decomposition
一个独立集$I_c$是一个\textit{critical independent set},如果对于任何独立集$J$,有$|I_c| - |N(I_c)| \geq |J| - |N(J)|$。图的\textit{critical independence number}是图的最大临界独立集的基数。这个数是独立数的下界,可以在多项式时间内计算。任何图都可以分解为两个子图,其中一个子图的独立数等于它的临界独立数,另一个子图的临界独立数为零,子图的独立数之和就是图的独立数。对Gravel.pc的一个猜想的证明给出了König-Egervary图的一个新的刻画:这些图恰好是独立数和临界独立数相等的图。
2009-12-11 math.CO
An Improved Approximation for Maximum $k$-Dependent Set on Bipartite Graphs
对于任意$k\ge1$,我们给出了二部图上最大$k$依赖集问题的一个$(1+\frac{k}{k+2})$ -近似算法.对于具有$n$顶点和$m$边的图,该算法在$O(k m \sqrt{n})$时间内运行,并且改进了Kumar等人[Theoretical Computer Science,526:90- 96(2014)]建立的$1+\frac{k}{k+1}$的先前最知名的近似比。我们的证明还表明,该算法保留其近似比时,适用于(更一般)类的König-Egerváry图。
2021-10-06 cs.DS math.CO
The First Time KE is Broken up
相关集合是集合的集合$F$,使得$F$中的每个集合具有相同的基数$α(F)$。Konig Egervary(KE)集合是满足$|\bigcup F|+|\bigcap F|=2α(F)$的相关集合$F$。一个hke(遗传KE)集合是一个相关集合,使得他的所有非空子集都是KE集合。在\cite{jlm}和\cite{dam}中,Jarden、Levit和Mandrescu提出了有关图的结果,这些结果为hke集合的研究提供了动力。在\cite{hke}中,Jarden描述了这些集合。令$Γ$是一个相关集合,使得对于每个$S \in Γ$,$Γ-\{S\}$是一个相似集合。我们研究了$|\bigcap Γ_1-\bigcup Γ_2|$和$|\bigcap Γ_2-\bigcup Γ_1|$之间的差异,其中$\{Γ_1,Γ_2\}$是$Γ$的一个分区。我们得到了一个HKE集合和一个KE图的新的刻画。
2016-03-27 math.CO
On some conjectures concerning critical independent sets of a graph
设$G$是一个顶点集为$V(G)$的简单图.如果来自$S$的两个顶点不相邻,则集合$S\subseteq V(G)$是独立的。对于$X\subseteq V(G)$,$X$的差是$d(X) = |X|-|N(X)|$,如果$d(A) = \max \{d(X): X\subseteq V(G) \text{ is an independent set}\}$(可能是$A=\emptyset$),则独立集合$A$是关键的。设$\text{nucleus}(G)$和$\text{diadem}(G)$分别是$G$中所有最大尺寸临界独立集的交集和并集。本文给出了涉及$\text{nucleus}(G)$和$\text{diadem}(G)$的König-Egerváry图的两个新的刻画.我们还证明了一个相关的下界的独立数的图。这项工作回答了Jarden,Levit和Mandrescu提出的几个问题。
2015-09-16 cs.DM math.CO
Inequalities Connecting the Annihilation and Independence Numbers
本文研究了图的湮灭数与独立数之间的差异,针对树、二部图和König-Egerváry图证明了一系列紧上界不等式。
2023-08-03 cs.DM math.CO
The maximum number of maximum dissociation sets in trees
顶点的子集是{ \it最大独立集},如果没有两个顶点是相邻的,并且子集具有最大基数。一个顶点子集称为{ \it最大解离集},如果它导出一个顶点度至多为1的子图,并且该子集具有最大基数。Zito [J.图论{ \bf 15}(1991)207- 221]证明了$n$阶树的最大独立集的最大个数是$2^{\frac{n-3}{2}}$(如果$n$是奇数)和$2^{\frac{n-2}{2}}+1$(如果$n$是偶数),并刻画了所有具有最大独立集的极树,解决了Wilf提出的一个问题.本文受Zito结果的启发,通过建立四个结构定理和$k$图的一个结果,证明了$n$阶树的最大解离集的最大个数为\begin{center} $\left\{ \begin{array}{ll} 3^{\frac{n}{3}-1}+\frac{n}{3}+1, & \hbox{if $n\equiv0\pmod{3}$;} 3^{\frac{n-1}{3}-1}+1, & \hbox{if $n\equiv1\pmod{3}$;} 3^{\frac{n-2}{3}-1}, & \hbox{if $n\equiv2\pmod{3}$,} \end{array} \right.$ \end{center},并给出了所有达到这些最大值的极值树的完整结构描述.
2020-08-27 math.CO
Tuza's conjecture for graphs of maximum degree at most seven
Independent researcher
该研究证明最大度至多为7的图满足Tuza猜想,通过改进Puleo的可归约集框架,结合机器验证的局部证书完成极小7-正则反例的分析,明确了猜想常数的最优性。
2026-08-10 math.CO
Graphs with core(G) = nucleus(G)
Ariel University(阿里埃尔大学);Holon Institute of Technology(霍隆理工学院);Instituto de Matemática Aplicada San Luis, Universidad Nacional de San Luis and CONICET(圣路易斯应用数学研究所,圣路易斯国立大学和阿根廷国家科学研究委员会);Departamento de Matemática, Universidad Nacional de San Luis(数学系,圣路易斯国立大学)
本文研究了图中核心和核相等的条件,利用Larson的独立分解理论,证明了当2-双临界部分的核心为空且冠部顶点不位于核心与2-双临界部分边界时,核心等于核。
2026-03-29 cs.DM math.CO