TY - JOUR

T1 - Some More Updates on an Annihilation Number Conjecture

T2 - Pros and Cons

AU - Levit, Vadim E.

AU - Mandrescu, Eugen

N1 - Publisher Copyright:
© 2022, The Author(s), under exclusive licence to Springer Japan KK, part of Springer Nature.

PY - 2022/10

Y1 - 2022/10

N2 - If α(G) + μ(G) = | V| , then G= (V, E) is a König–Egerváry graph, where α(G) denotes the cardinality of a maximum independent set, while μ(G) is the size of a maximum matching in G. If d1≤ d2≤ ⋯ ≤ dn is the degree sequence of G, then the annihilation numbera(G) of G is the largest integer k such that ∑i=1kdi≤|E| (Pepper, Binding independence, Ph.D. Dissertation, University of Houston, 2004; Pepper, On the annihilation number of a graph, in: Recent Advances in Electrical Engineering: Proceedings of the 15th American Conference on Applied Mathematics, pp 217–220, 2009). A set A⊆ V satisfying ∑a∈Adeg(a)≤|E| is an annihilation set; if, in addition, deg(v)+∑a∈Adeg(a)>|E|, for every vertex v∈ V(G) - A, then A is a maximal annihilation set in G. In Larson and Pepper (Graphs with equal independence and annihilation numbers. Electron J Comb 18:180, 2011) it was conjectured that the following assertions are equivalent: (i) α(G) = a(G) ; (ii)G is a König–Egerváry graph and every maximum independent set is a maximal annihilating set. Recently, it turned out that the implication “(i)⟹ (ii)” was not true. A series of corresponding counterexamples can be found in Hiller (Counterexamples to the characterisation of graphs with equal independence and annihilation number. arXiv:2202.07529v1 [math.CO], 2022). In Levit and Mandrescu (On an annihilation number conjecture. Ars Math. Contemp. 18, 359–369, 2020), we presented an infinite family of non-bipartite König–Egerváry graphs that invalidate the “ (ii)⟹ (i)” part of this conjecture. In this paper, we provide two more infinite families of counterexamples, one consisting of trees and the other one comprising non-tree bipartite graphs. We also show that the above conjecture is true for trees with α(G) = 4 , disconnected non-bipartite König–Egerváry graphs with α(G) = 4 , and disconnected bipartite graphs with α(G) = 4 excluding the three following counterexamples: C4∪ 2 K2, Domino∪ K2 and K3 , 3- e.

AB - If α(G) + μ(G) = | V| , then G= (V, E) is a König–Egerváry graph, where α(G) denotes the cardinality of a maximum independent set, while μ(G) is the size of a maximum matching in G. If d1≤ d2≤ ⋯ ≤ dn is the degree sequence of G, then the annihilation numbera(G) of G is the largest integer k such that ∑i=1kdi≤|E| (Pepper, Binding independence, Ph.D. Dissertation, University of Houston, 2004; Pepper, On the annihilation number of a graph, in: Recent Advances in Electrical Engineering: Proceedings of the 15th American Conference on Applied Mathematics, pp 217–220, 2009). A set A⊆ V satisfying ∑a∈Adeg(a)≤|E| is an annihilation set; if, in addition, deg(v)+∑a∈Adeg(a)>|E|, for every vertex v∈ V(G) - A, then A is a maximal annihilation set in G. In Larson and Pepper (Graphs with equal independence and annihilation numbers. Electron J Comb 18:180, 2011) it was conjectured that the following assertions are equivalent: (i) α(G) = a(G) ; (ii)G is a König–Egerváry graph and every maximum independent set is a maximal annihilating set. Recently, it turned out that the implication “(i)⟹ (ii)” was not true. A series of corresponding counterexamples can be found in Hiller (Counterexamples to the characterisation of graphs with equal independence and annihilation number. arXiv:2202.07529v1 [math.CO], 2022). In Levit and Mandrescu (On an annihilation number conjecture. Ars Math. Contemp. 18, 359–369, 2020), we presented an infinite family of non-bipartite König–Egerváry graphs that invalidate the “ (ii)⟹ (i)” part of this conjecture. In this paper, we provide two more infinite families of counterexamples, one consisting of trees and the other one comprising non-tree bipartite graphs. We also show that the above conjecture is true for trees with α(G) = 4 , disconnected non-bipartite König–Egerváry graphs with α(G) = 4 , and disconnected bipartite graphs with α(G) = 4 excluding the three following counterexamples: C4∪ 2 K2, Domino∪ K2 and K3 , 3- e.

KW - König–Egerváry graph

KW - annihilation number

KW - annihilation set

KW - bipartite graph

KW - matching

KW - maximum independent set

KW - tree

UR - http://www.scopus.com/inward/record.url?scp=85135867455&partnerID=8YFLogxK

U2 - 10.1007/s00373-022-02534-7

DO - 10.1007/s00373-022-02534-7

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:85135867455

SN - 0911-0119

VL - 38

JO - Graphs and Combinatorics

JF - Graphs and Combinatorics

IS - 5

M1 - 141

ER -