TY - JOUR
T1 - CRITICAL DUAL SET-SYSTEMS
AU - Jarden, A
N1 - Times Cited in Web of Science Core Collection: 0 Total Times Cited: 0 Cited Reference Count: 9
PY - 2019
Y1 - 2019
N2 - The equality vertical bar A - B vertical bar = vertical bar B - A vertical bar holds trivially for each finite sets A, B of the same cardinality. Theorem 0.1 presents a generalization of this fact to every set-system of even cardinality. A set-system Gamma is said to be dual if the equality vertical bar boolean AND Gamma(1) - boolean OR Gamma(2)vertical bar = vertical bar boolean AND Gamma(2 )- boolean OR Gamma(1)vertical bar holds, for each two disjoint non-empty sub-set-systems Gamma(1), Gamma(2) of Gamma. A critical dual set-system is a uniform set-system such that each strictly sub-set-system of this set-system is dual. Theorem 0.1. Let k > 1 be an integer. The following are equivalent: (1) k is even and (2) every critical dual set-system of cardinality k is dual. Corollary 0.2 is an application of Theorem 0.1. For a graph G, alpha(G) denotes the maximal cardinality of an independent set. Omega(G) is the set of independent sets of cardinality alpha(G). mu(G) is the matching number of G. G is a Konig Egervary graph if alpha(G) + mu(G) = vertical bar V(G)vertical bar. Corollary 0.2. G is a Konig Egervaty graph if and only if some subset F of Omega(G) satisfies the following two properties: (a) There is a matching from V(G) - boolean OR F into boolean AND F and b) for every sub-set-system Gamma of F of odd cardinality, there is a partition {Gamma(1), Gamma(2)} of Gamma into two non-empty sub-set-systems such that the following equality holds: vertical bar boolean AND Gamma(1) - boolean OR Gamma(2)vertical bar = vertical bar boolean AND Gamma(2 )- boolean OR Gamma(1)vertical bar.
AB - The equality vertical bar A - B vertical bar = vertical bar B - A vertical bar holds trivially for each finite sets A, B of the same cardinality. Theorem 0.1 presents a generalization of this fact to every set-system of even cardinality. A set-system Gamma is said to be dual if the equality vertical bar boolean AND Gamma(1) - boolean OR Gamma(2)vertical bar = vertical bar boolean AND Gamma(2 )- boolean OR Gamma(1)vertical bar holds, for each two disjoint non-empty sub-set-systems Gamma(1), Gamma(2) of Gamma. A critical dual set-system is a uniform set-system such that each strictly sub-set-system of this set-system is dual. Theorem 0.1. Let k > 1 be an integer. The following are equivalent: (1) k is even and (2) every critical dual set-system of cardinality k is dual. Corollary 0.2 is an application of Theorem 0.1. For a graph G, alpha(G) denotes the maximal cardinality of an independent set. Omega(G) is the set of independent sets of cardinality alpha(G). mu(G) is the matching number of G. G is a Konig Egervary graph if alpha(G) + mu(G) = vertical bar V(G)vertical bar. Corollary 0.2. G is a Konig Egervaty graph if and only if some subset F of Omega(G) satisfies the following two properties: (a) There is a matching from V(G) - boolean OR F into boolean AND F and b) for every sub-set-system Gamma of F of odd cardinality, there is a partition {Gamma(1), Gamma(2)} of Gamma into two non-empty sub-set-systems such that the following equality holds: vertical bar boolean AND Gamma(1) - boolean OR Gamma(2)vertical bar = vertical bar boolean AND Gamma(2 )- boolean OR Gamma(1)vertical bar.
KW - Konig-Egervary graphs
KW - independent sets
KW - set-systems
U2 - 10.17654/DM022020221
DO - 10.17654/DM022020221
M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???
SN - 0974-1658
VL - 22
SP - 221
EP - 242
JO - Advances and Applications in Discrete Mathematics
JF - Advances and Applications in Discrete Mathematics
IS - 2
ER -