42 research outputs found
Cross-intersecting sub-families of hereditary families
Families of sets are said
to be \emph{cross-intersecting} if for any and in
with , any set in intersects any set in
. For a finite set , let denote the \emph{power set of
} (the family of all subsets of ). A family is said to be
\emph{hereditary} if all subsets of any set in are in
; so is hereditary if and only if it is a union of
power sets. We conjecture that for any non-empty hereditary sub-family
of and any , both the sum
and product of sizes of cross-intersecting sub-families (not necessarily distinct or non-empty) of
are maxima if for some largest \emph{star of
} (a sub-family of whose sets have a common
element). We prove this for the case when is \emph{compressed
with respect to an element of }, and for this purpose we establish new
properties of the usual \emph{compression operation}. For the product, we
actually conjecture that the configuration is optimal for any hereditary and
any , and we prove this for a special case too.Comment: 13 page
The Strong Perfect Graph Conjecture: 40 years of Attempts, and its Resolution
International audienceThe Strong Perfect Graph Conjecture (SPGC) was certainly one of the most challenging conjectures in graph theory. During more than four decades, numerous attempts were made to solve it, by combinatorial methods, by linear algebraic methods, or by polyhedral methods. The first of these three approaches yielded the first (and to date only) proof of the SPGC; the other two remain promising to consider in attempting an alternative proof. This paper is an unbalanced survey of the attempts to solve the SPGC; unbalanced, because (1) we devote a signicant part of it to the 'primitive graphs and structural faults' paradigm which led to the Strong Perfect Graph Theorem (SPGT); (2) we briefly present the other "direct" attempts, that is, the ones for which results exist showing one (possible) way to the proof; (3) we ignore entirely the "indirect" approaches whose aim was to get more information about the properties and structure of perfect graphs, without a direct impact on the SPGC. Our aim in this paper is to trace the path that led to the proof of the SPGT as completely as possible. Of course, this implies large overlaps with the recent book on perfect graphs [J.L. Ramirez-Alfonsin and B.A. Reed, eds., Perfect Graphs (Wiley & Sons, 2001).], but it also implies a deeper analysis (with additional results) and another viewpoint on the topic
Cross-intersecting non-empty uniform subfamilies of hereditary families
A set -intersects a set if and have at least common
elements. A set of sets is called a family. Two families and
are cross--intersecting if each set in
-intersects each set in . A family is hereditary
if for each set in , all the subsets of are in
. The th level of , denoted by
, is the family of -element sets in . A set
in is a base of if for each set in
, is not a proper subset of . Let denote
the size of a smallest base of . We show that for any integers
, , and with , there exists an integer
such that the following holds for any hereditary family
with . If is a
non-empty subfamily of , is a non-empty
subfamily of , and are
cross--intersecting, and is maximum under
the given conditions, then for some set in with , either and ,
or , , , and . This was conjectured by the author for and generalizes well-known
results for the case where is a power set.Comment: 15 pages. arXiv admin note: text overlap with arXiv:1805.0524
Berge's conjecture on directed path partitions—a survey
AbstractBerge's conjecture from 1982 on path partitions in directed graphs generalizes and extends Dilworth's theorem and the Greene–Kleitman theorem which are well known for partially ordered sets. The conjecture relates path partitions to a collection of k independent sets, for each k⩾1. The conjecture is still open and intriguing for all k>1.11Only recently it was proved Berger and Ben-Arroyo Hartman [56] for k=2 (added in proof). In this paper, we will survey partial results on the conjecture, look into different proof techniques for these results, and relate the conjecture to other theorems, conjectures and open problems of Berge and other mathematicians
Non-trivial intersecting uniform sub-families of hereditary families
For a family F of sets, let μ(F ) denote the size of a smallest set in F that is not a subset of any other set in F , and for any positive integer r, let F (r) denote the family of r-element sets in F . We say that a family A is of Hilton–Milner (HM) type if for some A ∈ A, all sets in A \ {A} have a common element x ̸∈ A and intersect A. We show that if a hereditary family H is compressed and μ(H) ≥ 2r ≥ 4, then the HM-type family {A ∈ H(r): 1 ∈ A, A∩[2,r+1] ̸= ∅}∪{[2,r+1]}is a largest non-trivial intersecting sub-family of H(r); this generalises a well-known result of Hilton and Milner. We demonstrate that for any r ≥ 3 and m ≥ 2r, there exist non-compressed hereditary families H with μ(H) = m such that no largest non-trivial intersecting sub-family of H(r) is of HM type, and we suggest two conjectures about the extremal structures for arbitrary hereditary families.peer-reviewe
On vertex neighborhood in minimal imperfect graphs
AbstractLubiw (J. Combin. Theory Ser. B 51 (1991) 24) conjectures that in a minimal imperfect Berge graph, the neighborhood graph N(v) of any vertex v must be connected; this conjecture implies a well known Chvátal's conjecture (Chvátal, First Workshop on Perfect Graphs, Princeton, 1993) which states that N(v) must contain a P4. In this note we will prove an intermediary conjecture for some classes of minimal imperfect graphs. It is well known that a graph is P4-free if, and only if, every induced subgraph with at least two vertices either is disconnected or its complement is disconnected; this characterization implies that P4-free graphs can be constructed by complete join and disjoint union from isolated vertices. We propose to replace P4-free graphs by a similar construction using bipartite graphs instead of isolated vertices
Cross-intersecting non-empty uniform subfamilies of hereditary families
Two families A and B of sets are cross-t-intersecting if each set
in A intersects each set in B in at least t elements. A family H is
hereditary if for each set A in H, all the subsets of A are in H. Let
H(r) denote the family of r-element sets in H. We show that for
any integers t, r, and s with 1 ≤ t ≤ r ≤ s, there exists an integer
c(r, s, t) such that the following holds for any hereditary family
H whose maximal sets are of size at least c(r, s, t). If A is a nonempty subfamily of H(r)
, B is a non-empty subfamily of H(s)
, A
and B are cross-t-intersecting, and |A| + |B| is maximum under
the given conditions, then for some set I in H with t ≤ |I| ≤ r,
either A = {A ∈ H(r)
: I ⊆ A} and B = {B ∈ H(s)
: |B ∩ I| ≥ t}, or
r = s, t < |I|, A = {A ∈ H(r)
: |A ∩ I| ≥ t}, and B = {B ∈ H(s)
: I ⊆
B}. We give c(r, s, t) explicitly. The result was conjectured by the
author for t = 1 and generalizes well-known results for the case
where H is a power set.peer-reviewe
A Hilton–Milner-type theorem and an intersection conjecture for signed sets
A family A of sets is said to be intersecting if any two sets in A intersect (i.e. have at least one common element). A is said to be centred if there is an element common to all the sets in A; otherwise, A is said to be non-centred. For any r ∈ [n] := {1, . . . , n} and any integer k ≥ 2, let Sn,r,k be the family {{(x1, y1), . . . , (xr, yr)}: x1, . . . , xr are distinct elements of [n], y1, . . . , yr ∈ [k]} of k-signed r-sets on [n]. Let m := max{0, 2r−n}.We establish the following Hilton–Milner-type theorems, the second of which is proved using the first: (i) If A1 and A2 are non-empty cross-intersecting (i.e. any set in A1 intersects any set in A2) sub-families of Sn,r,k, then |A1| + |A2| ≤ n R K r −r i=m r I (k − 1) I n – r r – I K r−i + 1. (ii) If A is a non-centred intersecting sub-family of Sn,r,k, 2 ≤ r ≤ n, then |A| ≤ n – 1 r – 1 K r−1 −r−1 i=m r I (k − 1) I n − 1 – r r − 1 – I K r−1−i + 1 if r < n; k r−1 − (k − 1) r−1 + k − 1 if r = n. We also determine the extremal structures. (ii) is a stability theorem that extends Erdős–Ko–Rado-type results proved by various authors. We then show that (ii) leads to further evidence for an intersection conjecture suggested by the author about general signed set systems.peer-reviewe