arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 0811.4089math.COcs.DM
收藏

区间广义拟阵与局部极大值稳定图集族

Interval greedoids and families of local maximum stable sets of graphs

Vadim E. Levit, Eugen Mandrescu

摘要:

图G的最大独立集是具有最大基数的独立集。若S是由其闭邻域导出的子图的极大独立集,则S是G的一个局部极大值独立集.内姆豪泽和特罗特1975年证明了G的任何局部极大值独立集都是G的极大独立集的子集。2002年我们证明了森林的所有局部极大值稳定集的族在其顶点集上形成一个广义拟阵。在2004年、2007年和2008年,分别分析了G是二部的、无三角形的、良好覆盖的,而所有局部极大值稳定集的族是一个广义拟阵的情况。本文证明了如果图的所有局部极大值稳定集的族满足可达性,则它是一个区间拟阵。我们还刻画了那些图的局部极大值稳定集的族是反拟阵或拟阵。

英文摘要:

A maximum stable set in a graph G is a stable set of maximum cardinality. S is a local maximum stable set of G, if S is a maximum stable set of the subgraph induced by its closed neighborhood. Nemhauser and Trotter Jr. proved in 1975 that any local maximum stable set is a subset of a maximum stable set of G. In 2002 we showed that the family of all local maximum stable sets of a forest forms a greedoid on its vertex set. The cases where G is bipartite, triangle-free, well-covered, while the family of all local maximum stable sets is a greedoid, were analyzed in 2004, 2007, and 2008, respectively. In this paper we demonstrate that if the family of all local maximum stable sets of the graph satisfies the accessibility property, then it is an interval greedoid. We also characterize those graphs whose families of local maximum stable sets are either antimatroids or matroids.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑