Local Structure When All Maximal Independent Sets Have Equal Weight

From MaRDI portal





An \(A\)-weighted graph \(G= (V,E)\) is a graph whose vertices are weighted by elements of an arbitrary abelian group \(A\), and the weight of a given \(S\subseteq V\) is the sum of the weights of its elements. If all maximal independent sets in \(G\) have the same weight, it is called the independence weight of \(G\) and \(G\) is said to be well-covered. In the present paper the authors mention three structures and ask whether all independent sets of them have equal weight. These problems are formulated as follows: (1) Given an \(A\)-weighted graph, is it well-covered? (Graph problem). (2) Given an \(A\)-weighted independence system with all minimal dependent sets of cardinality 2, do all maximal independent sets have the same weight? (Independence system problem). (3) Given an \(A\)-edge-weighted hypergraph, do all maximal matchings have the same weight? (Hypergraph matching problem). Since the authors can show that these three problems are equivalent, it may be asked which is most convenient for a particular application. In this paper the graph problem is investigated. \(G\) can be assumed to be a simple graph. It is known that this problem is co-NP-complete in general. In Section 2 well-covered \(A\)-weighted graphs are characterized. The notion of a minimal non-well-covered graph is introduced and some of its characterizations are given (Theorem 2.3, Corollaries 2.4 and 2.5). In Section 3 these corollaries are used to prove that well-coveredness depends on the local, rather than the global, structure of \(G\). Basing on these results, the authors develop an algorithm to recognize well-covered graphs and they show that for graphs with \(n\) vertices and maximum degree \(\Delta\), it runs in linear time if \(\Delta\) is bounded by a constant, and in polynomial time if \(\Delta= O(\root 4\of{\log n})\) (see Corollary 3.3). Some applications of their results on areas which include hypergraph matchings and certain independent sets are also mentioned. In the last section, Section 4, the authors are concerned with the problem of determining whether a graph has a weighting which makes it well-covered.




Cited in
(32)








This page was built for publication: Local Structure When All Maximal Independent Sets Have Equal Weight

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4210230)