arXiv++ Combinatorics

Seymour's Second Neighborhood Conjecture (SSNC) asserts that every oriented finite simple graph (without digons) has a vertex whose second out-neighborhood is at least as large as its first out-neighborhood. Such a vertex is said to have the second neighborhood property (SNP). In this paper, we prove SSNC for tournaments missing two stars. We also study SSNC for tournaments missing disjoint paths and, particularly, in the case of missing paths of length 2. In some cases, we exhibit at least two vertices with the SNP.

A celebrated unresolved conjecture of Erdös and Hajnal states that for every undirected graph $H$ there exists $ ε(H) > 0 $ such that every undirected graph on $ n $ vertices that does not contain $H$ as an induced subgraph contains a clique or a stable set of size at least $ n^{ε(H)} $. This conjecture has a directed equivalent version stating that for every tournament $H$ there exists $ ε(H) > 0 $ such that every $H-$free $n-$vertex tournament $T$ contains a transitive subtournament of size at least $ n^{ε(H)} $. Recently the conjecture was proved for all six-vertex tournaments, except $K_{6}$. In this paper we construct two infinite families of tournaments for which the conjecture is still open for infinitely many tournaments in these two families $-$ the family of so-called super nebulas and the family of so-called super triangular galaxies. We prove that for every super nebula $H_{1}$ and every $Δ$galaxy $H_{2}$ there exist $ε(H_{1},H_{2})$ such that every $\lbrace H_{1},H_{2}\rbrace$$-$free tournament $T$ contains a transitive subtournament of size at least $\mid$$T$$\mid^{ε(H_{1},H_{2})}$. We also prove that for every central triangular galaxy $H$ there exist $ε(K_{6},H)$ such that every $\lbrace K_{6},H\rbrace$$-$free tournament $T$ contains a transitive subtournament of size at least $\mid$$T$$\mid^{ε(K_{6},H)}$. And we give an extension of our results.

A celebrated unresolved conjecture of Erdös and Hajnal states that for every undirected graph $H$ there exists $ ε(H) > 0 $ such that every undirected graph on $ n $ vertices that does not contain $H$ as an induced subgraph contains a clique or a stable set of size at least $ n^{ε(H)} $. The conjecture has a directed equivalent version stating that for every tournament $H$ there exists $ ε(H) > 0 $ such that every $H-$free $n-$vertex tournament $T$ contains a transitive subtournament of order at least $ n^{ε(H)} $. Both the directed and the undirected versions of the conjecture are known to be true for small graphs (tournaments). So far the conjecture was proved only for some specific families of prime tournaments, tournaments constructed according to the so$-$called substitution procedure allowing to build bigger graphs, and for all five$-$vertex tournaments. Recently the conjecture was proved for all six$-$vertex tournament, with one exception, but the question about the correctness of the conjecture for all seven$-$vertex tournaments remained open. In this paper we prove the correctness of the conjecture for several seven$-$vertex tournaments.

The celebrated Erdös-Hajnal conjecture states that for every undirected graph $H$ there exists $ ε(H) > 0 $ such that every undirected graph on $ n $ vertices that does not contain $H$ as an induced subgraph contains a clique or a stable set of size at least $ n^{ε(H)} $. This conjecture has a directed equivalent version stating that for every tournament $H$ there exists $ ε(H) > 0 $ such that every $H$-free $n$-vertex tournament $T$ contains a transitive subtournament of order at least $ n^{ε(H)} $. This conjecture is proved for few infinite families of tournaments. In this paper we construct a new infinite family of tournaments $-$ the family of so-called flotilla-galaxies and we prove the correctness of the conjecture for every flotilla-galaxy tournament.

Erdös-Hajnal conjecture states that for every undirected graph $H$ there exists $ ε(H) > 0 $ such that every undirected graph on $ n $ vertices that does not contain $H$ as an induced subgraph contains a clique or a stable set of size at least $ n^{ε(H)} $. This conjecture has a directed equivalent version stating that for every tournament $H$ there exists $ ε(H) > 0 $ such that every $H-$free $n-$vertex tournament $T$ contains a transitive subtournament of order at least $ n^{ε(H)} $. This conjecture is known to hold for a few infinite families of tournaments. In this paper we construct two new infinite families of tournaments - the family of so-called galaxies with spiders and the family of so-called asterisms, and we prove the correctness of the conjecture for these two families.

A $(2+1)$-bispindle $B(k_1,k_2;k_3)$ is the union of two $xy$-dipaths of respective lengths $k_1$ and $k_2$, and one $yx$-dipath of length $k_3$, all these dipaths being pairwise internally disjoint. Recently, Cohen et al. conjectured that, for every positive integers $k_1, k_2, k_3$, there is an integer $g(k_1, k_2, k_3)$ such that every strongly connected digraph not containing subdivisions of $B(k_1, k_2; k_3)$ has a chromatic number at most $g(k_1, k_2, k_3)$, and they proved it only for the case where $k_2=1$. For Hamiltonian digraphs, we prove Cohen et al.'s conjecture, namely $g(k_1, k_2, k_3)\leq 4k$, where $k=max\{k_1, k_2, k_3\}$. A two-blocks cycle $C(k_1,k_2)$ is the union of two internally disjoint $xy$-dipaths of length $k_1$ and $k_2$ respectively. Addario et al. asked if the chromatic number of strong digraphs not containing subdivisions of a two-blocks cycle $C(k_1,k_2)$ can be bounded from above by $O(k_1+k_2)$, which remains an open problem. Assuming that $k=max\{k_1,k_2\}$, the best reached upper bound, found by Kim et al., is $12k^2$. In this article, we conjecture that this bound can be slightly improved to $4k^2$ and we confirm our conjecture for some particular cases. Moreover, we provide a positive answer to Addario et al.'s question for the class of digraphs having a Hamiltonian directed path.

Seymour's Second Neighborhood Conjecture (SNC) asserts that every oriented graph has a vertex whose first out-neighborhood is at most as large as its second out-neighborhood. In this paper, we prove that if $G$ is a graph containing no induced $C_4$, $\overline{C_4}$, $S_3$, chair and $\overline{chair}$, then every oriented graph missing $G$ satisfies this conjecture. As a consequence, we deduce that the conjecture holds for every oriented graph missing a threshold graph, a generalized comb or a star.

We find the structure of graphs that have no $C_4$, $\overline{C}_4$, $C_5$, chair and co-chair as induced subgraphs.

Seymour's Second Neighborhood Conjecture asserts that every oriented graph has a vertex whose first out-neighborhood is at most as large as its second out-neighborhood. Combs are the graphs having no induced $C_4$, $\overline{C_4}$, $C_5$, chair or $\overline{chair}$. We characterize combs using dependency digraphs. We characterize the graphs having no induced $C_4$, $\overline{C_4}$, chair or $\overline{chair}$ using dependency digraphs. Then we prove that every oriented graph missing a comb satisfies this conjecture. We then deduce that every oriented comb and every oriented threshold graph satisfies Seymour's conjecture.

Seymour's second neighborhood conjecture states that every simple digraph (without digons) has a vertex whose first out-neighborhood is at most as large as its second out-neighborhood. Such a vertex is said to have the second neighborhood property (SNP). We define "good" digraphs and prove a statement that implies that every feed vertex of a tournament has the SNP. In the case of digraphs missing a matching, we exhibit a feed vertex with the SNP by refining a proof due to Fidler and Yuster and using good digraphs. Moreover, in some cases we exhibit two vertices with SNP.

We prove that the proof of existence of weighted local median order of weighted tournaments is wrong and that the proof of the correct statement which asserts that every digraph obtained from a tournament by deleting a set of arcs incident to the same vertex contains a mistake, in the paper entitled "Remarks on the second neighborhood problem". We introduce correct proofs of each.

We introduce four new elementary short proofs of the famous König's theorem which characterizes bipartite graphs by absence of odd cycles.

Seymour's Second Neighborhood Conjecture asserts that every digraph (without digons) has a vertex whose first out-neighborhood is at most as large as its second out-neighborhood. It is proved for tournaments, tournaments missing a matching and tournaments missing a generalized star. We prove this conjecture for classes of digraphs whose missing graph is a comb, a complete graph minus 2 independent edges, or a complete graph minus the edges of a cycle of length 5.

We prove Seymour's Second Neighborhood Conjecture when the missing graph is disjoint stars under some conditions. Weaker conditions are required when n=2 or 3. In some cases, we exhibit two vertices with the desired property.

Seymour's Second Neighborhood Conjecture asserts that every digraph (without digons) has a vertex whose first out-neighborhood is at most as large as its second out-neighborhood. We prove its weighted version for tournaments missing a generalized star. As a consequence the weighted version holds for tournaments missing a sun, star, or a complete graph.