arXiv++ Combinatorics

We give a quintet of proofs resulting from questions posed by Erdős. These questions concern ordinary lines in planar point sets, sequences with uniformly small exponential sums, $K_4$-free $4$-critical graphs with few chords in any cycle, a counterexample to a "fewnomial" version of the Erdős--Turán discrepancy bound, and a finiteness theorem for integers $n$ such that $n-a k^2$ is prime for all $k\leq \sqrt{n/a}$ coprime to $n$ (for fixed $a\in\mathbb Z_+$). Each proof is due to an internal model at OpenAI.

We give a triplet of short proofs, each of which answers a question raised by Erdős. The first concerns the small prime factors of $\binom{n}{k}$, the second concerns whether an additive basis $A$ can always be split into pieces $A_1$ and $A_2$ such that each of $A_i + A_i$ has bounded gaps, and the final concerns whether $\{αp\}$ is "well-distributed" in the sense introduced by Hlawka and Petersen. In each case, the proof is due entirely to an internal model at OpenAI.

We give a construction of an infinite set of points $A$ in $\mathbb{R}^2$ such that any subset $P\subseteq A$ has a constant density subset $P'$ with no three points collinear and yet $A$ cannot be separated into finitely many subsets such that each subset has no three points collinear. This provides a new proof of a question of Erdős, Nešetřil, and Rödl. The construction was generated by an internal model at OpenAI.

Let $D$ be a digraph. A subset $S$ of $V(D)$ is a stable set if every pair of vertices in $S$ is non-adjacent in $D$. A collection of disjoint paths $\mathcal{P}$ of $D$ is a path partition of $V(D)$, if every vertex in $V(D)$ is exactly on a path of $\mathcal{P}$. We say that a stable set $S$ and a path partition $\mathcal{P}$ are orthogonal if each path of $P$ contains exactly one vertex of $S$. A digraph $D$ satisfies the $α$-property if for every maximum stable set $S$ of $D$, there exists a path partition $\mathcal{P}$ such that $S$ and $\mathcal{P}$ are orthogonal. A digraph $D$ is $α$-diperfect if every induced subdigraph of $D$ satisfies the $α$-property. In 1982, Claude Berge proposed a characterization for $α$-diperfect digraphs in terms of forbidden anti-directed odd cycles. In 2018, Sambinelli, Silva and Lee proposed a similar conjecture. A digraph $D$ satisfies the Begin-End-property or BE-property if for every maximum stable set $S$ of $D$, there exists a path partition $\mathcal{P}$ such that (i) $S$ and $\mathcal{P}$ are orthogonal and (ii) for each path $P \in \mathcal{P}$, either the start or the end of $P$ belongs to $S$. A digraph $D$ is BE-diperfect if every induced subdigraph of $D$ satisfies the BE-property. Sambinelli, Silva and Lee proposed a characterization for BE-diperfect digraphs in terms of forbidden blocking odd cycles. In this paper, we verified both conjectures for $3$-anti-circulant digraphs. We also present some structural results for $α$-diperfect and BE-diperfect digraphs.

Let $D$ be a digraph. A subset $S$ of $V(D)$ is a stable set if every pair of vertices in $S$ is non-adjacent in $D$. A collection of disjoint paths $\mathcal{P}$ of $D$ is a path partition of $V(D)$, if every vertex in $V(D)$ is on a path of $\mathcal{P}$. We say that a stable set $S$ and a path partition $\mathcal{P}$ are orthogonal if each path of $P$ contains exactly one vertex of $S$. A digraph $D$ satisfies the $α$-property if for every maximum stable set $S$ of $D$, there exists a path partition $\mathcal{P}$ such that $S$ and $\mathcal{P}$ are orthogonal. A digraph $D$ is $α$-diperfect if every induced subdigraph of $D$ satisfies the $α$-property. In 1982, Claude Berge proposed a characterization of $α$-diperfect digraphs in terms of forbidden anti-directed odd cycles. In 2018, Sambinelli, Silva and Lee proposed a similar conjecture. A digraph $D$ satisfies the Begin-End-property or BE-property if for every maximum stable set $S$ of $D$, there exists a path partition $\mathcal{P}$ such that (i) $S$ and $\mathcal{P}$ are orthogonal and (ii) for each path $P \in \mathcal{P}$, either the start or the end of $P$ lies in $S$. A digraph $D$ is BE-diperfect if every induced subdigraph of $D$ satisfies the BE-property. Sambinelli, Silva and Lee proposed a characterization of BE-diperfect digraphs in terms of forbidden blocking odd cycles. In this paper, we show some structural results for $α$-diperfect and BE-diperfect digraphs. In particular, we show that in every minimal counterexample $D$ to both conjectures, the size of a maximum stable set is smaller than $\vert V(D)\vert /2$. As an application we use these results to prove both conjectures for arc-locally in-semicomplete and arc-locally out-semicomplete digraphs.

This work is the PhD thesis of Nicolas Trotignon, written in 2004 under the supervision of Frédéric Maffray. It is motivated by the desire for a better understanding of perfect graphs. The proof of the Claude Berge's perfect graph conjecture in 2002 by Chudnovsky, Robertson, Seymour and Thomas has shed a new light on this field of combinatorics. But some questions are still unsettled, particulary the existence of a combinatorial algorithm for the coloring of perfect graphs. An even pair of a graph is a pair of vertices such that every path joining them has even length. As proved by Fonlupt and Uhry, the contraction of an even pair preserves the chromatic number, and when applied recursively may lead to an optimal coloring. We prove a conjecture of Everett and Reed saying that this method works for a class of perfect graphs: Artemis graphs. This yields a coloring algorithm for Artemis graphs with complexity $O(n^2m)$. We give an $O(n^9)$ algorithm for the recognition of Artemis graphs. Other recognition algorithms are also given, each of them based on subgraph detection routines for Berge graphs. We show that these subgraph detection problems are NP-complete when extended to general graphs.

Perfect graphs were defined by Claude Berge in the 1960s. They are important objects for graph theory, linear programming and combinatorial optimization. Claude Berge made a conjecture about them, that was proved by Chudnovsky, Robertson, Seymour and Thomas in 2002, and is now called the strong perfect graph theorem. This is a survey about perfect graphs, mostly focused on the strong perfect graph theorem.

A set S is independent if no two vertices from S are adjacent. In this paper we prove that if F is a collection of maximum independent sets of a graph, then there is a matching from S-{intersection of all members of F} into {union of all members of F}-S, for every independent set S. Based on this finding we give alternative proofs for a number of well-known lemmata, as the "Maximum Stable Set Lemma" due to Claude Berge and the "Clique Collection Lemma" due to András Hajnal.

In 1966, Claude Berge proposed the following sorting problem. Given a string of $n$ alternating white and black pegs on a one-dimensional board consisting of an unlimited number of empty holes, rearrange the pegs into a string consisting of $\lceil\frac{n}{2}\rceil$ white pegs followed immediately by $\lfloor\frac{n}{2}\rfloor$ black pegs (or vice versa) using only moves which take 2 adjacent pegs to 2 vacant adjacent holes. Avis and Deza proved that the alternating string can be sorted in $\lceil\frac{n}{2}\rceil$ such {\em Berge 2-moves} for $n\geq 5$. Extending Berge's original problem, we consider the same sorting problem using {\em Berge $k$-moves}, i.e., moves which take $k$ adjacent pegs to $k$ vacant adjacent holes. We prove that the alternating string can be sorted in $\lceil\frac{n}{2}\rceil$ Berge 3-moves for $n\not\equiv 0\pmod{4}$ and in $\lceil\frac{n}{2}\rceil+1$ Berge 3-moves for $n\equiv 0\pmod{4}$, for $n\geq 5$. In general, we conjecture that, for any $k$ and large enough $n$, the alternating string can be sorted in $\lceil\frac{n}{2}\rceil$ Berge $k$-moves. This estimate is tight as $\lceil\frac{n}{2}\rceil$ is a lower bound for the minimum number of required Berge $k$-moves for $k\geq 2$ and $n\geq 5$.