We show that performing just one round of the Sherali-Adams hierarchy gives an easy 7/3-approximation algorithm for the Feedback Vertex Set (FVST) problem in tournaments. This matches the best deterministic approximation algorithm for FVST due to Mnich, Williams, and Végh, and is a significant simplification and runtime improvement of their approach.
We determine the inducibility of all tournaments with at most $4$ vertices together with the extremal constructions. The $4$-vertex tournament containing an oriented $C_3$ and one source vertex has a particularly interesting extremal construction. It is an unbalanced blow-up of an edge, where the sink vertex is replaced by a quasi-random tournament and the source vertex is iteratively replaced by a copy of the construction itself.
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…
Tournaments are graphs obtained by assigning a direction for every edge in an undirected complete graph. We give a formula for the number of isomorphism classes of vertex-transitive tournaments with prime order. For that, we introduce Cayley tournaments, which are special Cayley digraphs, and show that there is a one to one identification between the isomorphism classes of vertex-transitive tournaments with prime order and the isomorphism classes of Cayley tournaments with prime order.
The Bermond-Thomassen conjecture states that, for any positive integer $r$, a digraph of minimum out-degree at least $2r-1$ contains at least $r$ vertex-disjoint directed cycles. Bessy, Sereni and Lichiardopol proved that a regular tournament $T$ of minimum degree $2r-1$ contains at least $r$ vertex-disjoint directed cycles, which shows that the above conjecture is true for tournaments. After that, Lichiardopol improved this result by showing that a $2r-1$-regular tournament contains at least $\frac{7}{6}r-\frac{7}{3}$ vertex-disjoint directed cycles. In this paper, we will extend the result t…
The Bermond-Thomassen conjecture states that, for any positive integer $r$, a digraph of minimum out-degree at least $2r-1$ contains at least $r$ vertex-disjoint directed cycles. In 2014, Bang-Jensen, Bessy and Thomass\' e proved the conjecture for tournaments. In 2010, Lichiardopol conjectured that a tournament $T$ with minimum out-degree at least $(q-1)r-1$ contains at least $r$ vertex-disjoint $q$-cycles, where integer $q\geq3$ and $r\geq1$. In this paper, we address Lichiardopol's conjecture affirmatively. In particular, the case $q=3$ implies Bermond-Thomassen conjecture for tournaments.
A conjecture of Alon, Pach and Solymosi, which is equivalent to the celebrated Erdős-Hajnal Conjecture, states that for every tournament $S$ there exists $ε(S)>0$ such that if $T$ is an $n$-vertex tournament that does not contains $S$ as a subtournament, then $T$ contains a transitive subtournament on at least $n^{ε(S)}$ vertices. Let $C_5$ be the unique five-vertex tournament where every vertex has two inneighbors and two outneighbors. The Alon-Pach-Solymosi conjecture is known to be true for the case when $S=C_5$. Here we prove a strengthening of this result, showing that in every tournament…
Sullivan stated the conjectures: (1) every oriented graph $D$ has a vertex $x$ such that $d^{++}(x)\geq d^{-}(x)$; (2) every oriented graph $D$ has a vertex $x$ such that $d^{++}(x)+d^{+}(x)\geq 2d^{-}(x)$. In this paper, we prove that these conjectures hold for local tournaments. In particular, for a local tournament $D$, we prove that $D$ has at least two vertices satisfying $(1)$ if $D$ has no vertex of in-degree zero. And, for a local tournament $D$, we prove that either there exist two vertices satisfying $(2)$ or there exists a vertex $v$ satisfying $d^{++}(v)+d^{+}(v)\geq 2d^{-}(v)+2$ i…
Let $S_k(n)$ be the maximum number of orientations of an $n$-vertex graph $G$ in which no copy of $K_k$ is strongly connected. For all integers $n$, $k\geq 4$ where $n\geq 5$ or $k\geq 5$, we prove that $S_k(n) = 2^{t_{k-1}(n)}$, where $t_{k-1}(n)$ is the number of edges of the $n$-vertex $(k-1)$-partite Turán graph $T_{k-1}(n)$, and that $T_{k-1}(n)$ is the only $n$-vertex graph with this number of orientations. Furthermore, $S_4(4) = 40$ and this maximality is achieved only by $K_4$.
We prove that there exists $C>0$ such that any $(n+Ck)$-vertex tournament contains a copy of every $n$-vertex oriented tree with $k$ leaves, improving the previously best known bound of $n+O(k^2)$ vertices to give a result tight up to the value of $C$. Furthermore, we show that, for each $k$, there exists $n_0$, such that, whenever $n\geqslant n_0$, any $(n+k-2)$-vertex tournament contains a copy of every $n$-vertex oriented tree with at most $k$ leaves, confirming a conjecture of Dross and Havet.
It is known that every strong tournament has directed cycles of any length, and thereby strong subtournaments of any size. In this note, we prove that they also can share a common vertex which is a king of all of them. This common vertex can be any king in the whole tournament. Further, the Hamiltonian cycles in them can be recursively constructed by inserting an additional vertex to one directed edge.
A dominating set in a directed graph is a set of vertices $S$ such that all the vertices that do not belong to $S$ have an in-neighbour in $S$. A locating set $S$ is a set of vertices such that all the vertices that do not belong to $S$ are characterized uniquely by the in-neighbours they have in $S$, i.e. for every two vertices $u$ and $v$ that are not in $S$, there exists a vertex $s\in S$ that dominates exactly one of them. The size of a smallest set of a directed graph $D$ which is both locating and dominating is denoted by $γ^{LD}(D)$. Foucaud, Heydarshahi and Parreau proved that any twin…
A tournament is an orientation of a complete graph. We say that a vertex $x$ in a tournament $\vec T$ controls another vertex $y$ if there exists a directed path of length at most two from $x$ to $y$. A vertex is called a king if it controls every vertex of the tournament. It is well known that every tournament has a king. We follow Shen, Sheng, and Wu (SIAM J. Comput., 2003) in investigating the query complexity of finding a king, that is, the number of arcs in $\vec T$ one has to know in order to surely identify at least one vertex as a king. The aforementioned authors showed that one always…
The oriented Ramsey number $\vec{r}(H)$ for an acyclic digraph $H$ is the minimum integer $n$ such that any $n$-vertex tournament contains a copy of $H$ as a subgraph. We prove that the $1$-subdivision of the $k$-vertex transitive tournament $H_k$ satisfies $\vec{r}(H_k)= O(k^2\log\log k)$. This is tight up to multiplicative $\log\log k$-term. We also show that if $T$ is an $n$-vertex tournament with $Δ^+(T)-δ^+(T)= O(n/k) - k^2$, then $T$ contains a $1$-subdivision of $\vec{K}_k$, a complete $k$-vertex digraph with all possible $k(k-1)$ arcs. This is also tight up to multiplicative constant.
An equivalent directed version of the celebrated unresolved conjecture of Erdos and Hajnal proposed by Alon et al. states that for every tournament H there exists epsilon(H) > 0 such that every H-free n-vertex tournament T contains a transitive subtournament of order at least n^(epsilon(H)). A tournament H has the strong EH-property if there exists c > 0 such that for every H-free tournament T with |T| > 1, there exist disjoint vertex subsets A and B, each of cardinality at least c|T| and every vertex of A is adjacent to every vertex of B. Berger et al. proved that the unique five-vertex tourn…
For a tournament $H$ with $h$ vertices, its typical density is $h!2^{-\binom{h}{2}}/aut(H)$, i.e. this is the expected density of $H$ in a random tournament. A family ${\mathcal F}$ of $h$-vertex tournaments is {\em dominant} if for all sufficiently large $n$, there exists an $n$-vertex tournament $G$ such that the density of each element of ${\mathcal F}$ in $G$ is larger than its typical density by a constant factor. Characterizing all dominant families is challenging already for small $h$. Here we characterize several large dominant families for every $h$. In particular, we prove the follow…
In 2009, Bang-Jensen asked whether there exists a function $g(k)$ such that every strongly $k$-connected $n$-vertex tournament contains a strongly $k$-connected spanning subgraph with at most $kn + g(k)$ arcs. In this paper, we answer the question by showing that every strongly $k$-connected $n$-vertex tournament contains a strongly $k$-connected spanning subgraph with at most $kn + 750k^2\log(k+1)$ arcs.
For an arc-colored digraph $D$, define its {\em kernel by rainbow paths} to be a set $S$ of vertices such that (i) no two vertices of $S$ are connected by a rainbow path in $D$, and (ii) every vertex outside $S$ can reach $S$ by a rainbow path in $D$. In this paper, we show that it is NP-complete to decide whether an arc-colored tournament has a kernel by rainbow paths, where a {\em tournament} is an orientation of a complete graph. In addition, we show that every arc-colored $n$-vertex tournament with all its strongly connected $k$-vertex subtournaments, $3\leq k\leq n$, colored with at least…
Both Cuckler and Yuster independently conjectured that when $n$ is an odd positive multiple of $3$ every regular tournament on $n$ vertices contains a collection of $n/3$ vertex-disjoint copies of the cyclic triangle. Soon after, Keevash and Sudakov proved that if $G$ is an orientation of a graph on $n$ vertices in which every vertex has both indegree and outdegree at least $(1/2 - o(1))n$, then there exists a collection of vertex-disjoint cyclic triangles that covers all but at most $3$ vertices. In this paper, we resolve the conjecture of Cuckler and Yuster for sufficiently large $n$.
An equivalent directed version of the celebrated unresolved conjecture of Erdos and Hajnal proposed by Alon, Pack, and Solymosi states that for every tournament H there exists epsilon(H)>0 such that every H-free n-vertex tournament T contains a transitive subtournament of order at least n^(epsilon(H)). A tournament H has the strong EH-property if there exists c > 0 such that for every H-free tournament T with |T| > 1, there exist disjoint vertex subsets A and B, each of cardinality at least |T|n and every vertex of A is adjacent to every vertex of B. Berger et al. proved that the unique five-v…
Following on the King Chicken Theorems originally proved by Maurer, we examine the idea of multiple flocks of chickens by bringing the chickens from tournaments to multipartite tournaments. As Kings have already been studied in multipartite settings, notably by Koh-Tan and Petrovic-Thomassen, we examine a new type of chicken more suited than Kings for these multipartite graphs: Dukes. We define an M-Duke to be a vertex from which any vertex in a different partite set is accessible by a directed path of length at most M. In analogy with Maurer's paper, we prove various structural results regard…
Let $\vec{T}_k$ be the transitive tournament on $k$ vertices. We show that every oriented graph on $n=4m$ vertices with minimum total degree $(11/12+o(1))n$ can be partitioned into vertex disjoint $\vec{T}_4$'s, and this bound is asymptotically tight. We also improve the best known bound on the minimum total degree for partitioning oriented graphs into vertex disjoint $\vec{T}_k$'s.
Let $T_{n}$ be an arc-colored tournament of order $n$. The maximum monochromatic indegree $Δ^{-mon}(T_{n})$ (resp. outdegree $Δ^{+mon}(T_{n})$) of $T_{n}$ is the maximum number of in-arcs (resp. out-arcs) of a same color incident to a vertex of $T_{n}$. The irregularity $i(T_{n})$ of $T_{n}$ is the maximum difference between the indegree and outdegree of a vertex of $T_{n}$. A subdigraph $H$ of an arc-colored digraph $D$ is called rainbow if each pair of arcs in $H$ have distinct colors. In this paper, we show that each vertex $v$ in an arc-colored tournament $T_{n}$ with $Δ^{-mon}(T_n)\leqΔ^{…
We look at structures that must be removed (or reversed) in order to make acyclic a given oriented graph. For a directed acyclic graph $H$ and an oriented graph $G$, let $f_H(G)$ be the maximum number of pairwise disjoint copies of $H$ that can be found in {\em all} feedback arc sets of $G$. In particular, to make $G$ acyclic, one must remove (or reverse) $f_H(G)$ pairwise disjoint copies of $H$. Most intriguing is the case where $H$ is a $k$-clique, where the parameter is denoted by $f_k(G)$. Determining $f_k(G)$ for arbitrary $G$ seems challenging. Here we determine $f_k(G)$ precisely for al…
A digraph is {\bf eulerian} if it is connected and every vertex has its in-degree equal to its out-degree. Having a spanning eulerian subdigraph is thus a weakening of having a hamiltonian cycle. A digraph is {\bf semicomplete} if it has no pair of non-adjacent vertices. A {\bf tournament} is a semicomplete digraph without directed cycles of length 2. Fraise and Thomassen \cite{fraisseGC3} proved that every $(k+1)$-strong tournament has a hamiltonian cycle which avoids any prescribed set of $k$ arcs. In \cite{bangsupereuler} the authors demonstrated that a number of results concerning vertex-c…
Ryser proved that any two tournaments with the same score sequence are $C_3$-equivalent while Beineke and Moon proved the $C_4$-equivalence for any two bipartite tournaments with the same score lists. In this paper, we extend these results to orientations of $G$ vertex-multiplications. We focus on two main areas, namely orientations with the same score list and with score-list parity. Our main tools are extensions of the refinement technique, directed difference graph and a reduction lemma.