arXiv++ Combinatorics

Browse math.CO papers from arXiv

graph

34828 papers tagged with this keyword
On the maximum size of connected hypergraphs without a path of given length
In this note we asymptotically determine the maximum number of hyperedges possible in an $r$-uniform, connected $n$-vertex hypergraph without a Berge path of length $k$, as $n$ and $k$ tend to infinity. We show that, unlike in the graph case, the multiplicative constant is smaller with the assumption of connectivity.
Decomposing graphs into edges and triangles
Published in Combinator. Probab. Comp. 28 (2019) 465-472 • View Publication • BIB
We prove the following 30-year old conjecture of Győri and Tuza: the edges of every $n$-vertex graph $G$ can be decomposed into complete graphs $C_1,\ldots,C_\ell$ of orders two and three such that $|C_1|+\cdots+|C_\ell|\le (1/2+o(1))n^2$. This result implies the asymptotic version of the old result of Erdős, Goodman and Pósa that asserts the existence of such a decomposition with $\ell\le n^2/4$.
2017-10-22 v2
Rainbow saturation of graphs
In this paper we study the following problem proposed by Barrus, Ferrara, Vandenbussche, and Wenger. Given a graph $H$ and an integer $t$, what is $\operatorname{sat}_{t}\left(n, \mathfrak{R}{(H)}\right)$, the minimum number of edges in a $t$-edge-coloured graph $G$ on $n$ vertices such that $G$ does not contain a rainbow copy of $H$, but adding to $G$ a new edge in any colour from $\{1,2,\ldots,t\}$ creates a rainbow copy of $H$? Here, we completely characterize the growth rates of $\operatorname{sat}_{t}\left(n, \mathfrak{R}{(H)}\right)$ as a function of $n$, for any graph $H$ belonging to a large class of connected graphs and for any $t\geq e(H)$. This classification includes all connected graphs of minimum degree $2$. In particular, we prove that $\operatorname{sat}_{t}\left(n, \mathfrak{R}{(K_r)}\right)=Θ(n\log n)$, for any $r\geq 3$ and $t\geq {r \choose 2}$, thus resolving a conjecture of Barrus, Ferrara, Vandenbussche, and Wenger. We also pose several new problems and conjectures.
On the Kőnig-Egerváry Theorem for $k$-Paths
Published • View Publication • BIB
The famous Kőnig-Egerváry theorem is equivalent to the statement that the matching number equals the vertex cover number for every induced subgraph of some graph if and only if that graph is bipartite. Inspired by this result, we consider the set ${\cal G}_k$ of all graphs such that, for every induced subgraph, the maximum number of disjoint paths of order $k$ equals the minimum order of a set of vertices intersecting all paths of order $k$. For $k\in \{ 3,4\}$, we give complete structural descriptions of the graphs in ${\cal G}_k$. Furthermore, for odd $k$, we give a complete structural description of the graphs in ${\cal G}_k$ that contain no cycle of order less than $k$. For these graph classes, our results yield efficient recognition algorithms as well as efficient algorithms that determine maximum sets of disjoint paths of order $k$ and minimum sets of vertices intersecting all paths of order $k$.
2017-10-21
A classification of small operators using graph theory
Published • View Publication • BIB
Given a real $n \times m$ matrix $B$, its operator norm can be defined as $$|B|=\max_{|v|=1}|Bv|.$$ We consider a matrix "small" if it has non-negative integer entries and its operator norm is less than $2$. These matrices correspond to bipartite graphs with spectral radius less than $2$, which can be classified as disjoint unions of Coxeter graphs. This gives a direct route to an $ADE$-classification result in terms of very basic mathematical objects. Our goal here is to see these results as part of a general program of classification of small objects, relating quadratic forms, reflection groups, root systems, and Lie algebras.
2017-10-21 v2
Tree-based networks: characterisations, metrics, and support trees
Published • View Publication • BIB
Phylogenetic networks generalise phylogenetic trees and allow for the accurate representation of the evolutionary history of a set of present-day species whose past includes reticulate events such as hybridisation and lateral gene transfer. One way to obtain such a network is by starting with a (rooted) phylogenetic tree $T$, called a base tree, and adding arcs between arcs of $T$. The class of phylogenetic networks that can be obtained in this way is called tree-based networks and includes the prominent classes of tree-child and reticulation-visible networks. Initially defined for binary phylogenetic networks, tree-based networks naturally extend to arbitrary phylogenetic networks. In this paper, we generalise recent tree-based characterisations and associated proximity measures for binary phylogenetic networks to arbitrary phylogenetic networks. These characterisations are in terms of matchings in bipartite graphs, path partitions, and antichains. Some of the generalisations are straightforward to establish using the original approach, while others require a very different approach. Furthermore, for an arbitrary tree-based network $N$, we characterise the support trees of $N$, that is, the tree-based embeddings of $N$. We use this characterisation to give an explicit formula for the number of support trees of $N$ when $N$ is binary. This formula is written in terms of the components of a bipartite graph.
2017-10-20
More on the sixth coefficient of the matching polynomial in regular graphs
A matching set $M$ in a graph $G$ is a collection of edges of $G$ such that no two edges from $M$ share a vertex. In this paper we consider some parameters related to the matching of regular graphs. We find the sixth coefficient of the matching polynomial of regular graphs. As a consequence, every cubic graph of order $10$ is matching unique.
2017-10-20 v3
A Dual Ramsey Theorem for Finite Ordered Oriented Graphs
In contrast to the abundance of "direct" Ramsey results for classes of finite structures (such as finite ordered graphs, finite ordered metric spaces and finite posets with a linear extension), in only a handful of cases we have a meaningful dual Ramsey result. In this paper we prove a dual Ramsey theorem for finite ordered oriented graphs. Instead of embeddings, which are crucial for "direct" Ramsey results, we consider a special class of surjective homomorphisms between finite ordered oriented graphs. Since the setting we are interested in involves both structures and morphisms, all our results are spelled out using the reinterpretation of the (dual) Ramsey property in the language of category theory.
2017-10-20 v2
Extremal problems on saturation for the family of $k$-edge-connected graphs
Published • View Publication • BIB
Let $\mathcal{F}$ be a family of graphs. A graph $G$ is $\mathcal{F}$-saturated if $G$ contains no member of $\mathcal{F}$ as a subgraph but $G+e$ contains some member of $\mathcal{F}$ whenever $e\in E(\overline{G})$. The saturation number and extremal number of $\mathcal{F}$, denoted $sat(n,\mathcal{F})$ and $ex(n,\mathcal{F})$ respectively, are the minimum and maximum numbers of edges among $n$-vertex $\mathcal{F}$-saturated graphs. For $k\in\mathbb{N}$, let $\mathcal{F}_k$ and $\mathcal{F}'_k$ be the families of $k$-connected and $k$-edge-connected graphs, respectively. Wenger proved $sat(n,\mathcal{F}_k)=(k-1)n-{k\choose2}$, we prove $sat(n,\mathcal{F}'_k)=(k-1)(n-1)-\lfloor{\frac {n}{k+1}}\rfloor{k-1 \choose 2}$. We also prove $ex(n,\mathcal{F}'_k)=(k-1)n-{k\choose2}$ and characterize when equality holds. Finally, we give a lower bound on the spectral radius for $\mathcal{F}_k$-saturated and $\mathcal{F}'_k$-saturated graphs.
2017-10-20
Resonance graphs of kinky benzenoid systems are daisy cubes
Klavžar and Mollard introduced daisy cubes which are interesting isometric subgraphs of $ n$-cubes $Q_n$, induced with intervals between the maximal elements of a poset $ (V (Q_n),\leq)$ and the vertex $ 0^n \in V (Q_n)$. In this paper we show that the resonance graph, which reflects the interaction between Kekulé structures of aromatic hydrocarbon molecules, is a daisy cube, if the molecules considered can be modeled with the so called kinky benzenoid systems, i.e. catacondensed benzenoid systems without linear hexagons.
2017-10-20
Nearest-neighbour Markov point processes on graphs with Euclidean edges
Published in Adv. Appl. Probab. 50 (2018) 1275-1293 • View Publication • BIB
We define nearest-neighbour point processes on graphs with Euclidean edges and linear networks. They can be seen as the analogues of renewal processes on the real line. We show that the Delaunay neighbourhood relation on a tree satisfies the Baddeley--Møller consistency conditions and provide a characterisation of Markov functions with respect to this relation. We show that a modified relation defined in terms of the local geometry of the graph satisfies the consistency conditions for all graphs with Euclidean edges.
2017-10-20 v2
On the Steiner hyper-Wiener index of a graph
Published in Appl. Math. Comput. 337 (2018) 360-371 • View Publication • BIB
In this paper, we study the Steiner hyper-Wiener index of a graph, which is obtained from the standard hyper-Wiener index by replacing the classical graph distance with the Steiner distance. It is shown how this index is related to the Steiner Hosoya polynomial, which generalizes similar result for the standard hyper-Wiener index. Next, we show how the Steiner $3$-hyper-Wiener index of a modular graph can be expressed by using the classical graph distances. As the main result, a method for computing this index for median graphs is developed. Our method makes computation of the Steiner $3$-hyper-Wiener index much more efficient. Finally, the method is used to obtain the closed formulas for the Steiner $3$-Wiener index and the Steiner $3$-hyper-Wiener index of grid graphs.
2017-10-20
The cost number and the determining number of a graph
The distinguishing number $D(G)$ of a graph $G$ is the least integer $d$ such that $G$ has an vertex labeling with $d$ labels that is preserved only by a trivial automorphism. The minimum size of a label class in such a labeling of $G$ with $D(G) = d$ is called the cost of $d$-distinguishing $G$ and is denoted by $ρ_d(G)$. A set of vertices $S\subseteq V(G)$ is a determining set for $G$ if every automorphism of $G$ is uniquely determined by its action on $S$. The determining number of $G$, Det(G), is the minimum cardinality of determining sets of $G$. In this paper we obtain some general upper and lower bounds for $ρ_d(G)$ based on Det(G). Finally, we compute the cost and the determining number for the friendship graphs and corona product of two graphs.
2017-10-20
Sum-perfect graphs
Published in Discrete Applied Mathematics, 259 (2019), 232-239 • View Publication • BIB
Inspired by a famous characterization of perfect graphs due to Lovász, we define a graph $G$ to be sum-perfect if for every induced subgraph $H$ of $G$, $α(H) + ω(H) \geq |V(H)|$. (Here $α$ and $ω$ denote the stability number and clique number, respectively.) We give a set of $27$ graphs and we prove that a graph $G$ is sum-perfect if and only if $G$ does not contain any of the graphs in the set as an induced subgraph.
The Maximum Colorful Arborescence problem parameterized by the structure of its color hierarchy graph
Let G=(V,A) be a vertex-colored arc-weighted directed acyclic graph (DAG) rooted in some vertex r, and let H be its color hierarchy graph, defined as follows: V(H) is the color set C of G, and an arc from color c to color c' exists in H if there is an arc in G from a vertex of color c to a vertex of color c'. In this paper, we study the MAXIMUM COLORFUL ARBORESCENCE problem (or MCA), which takes as input a DAG G with the additional constraint that H is also a DAG, and aims at finding in G an arborescence rooted in r, of maximum weight, and in which no color appears more than once. The MCA problem is motivated by the inference of unknown metabolites from mass spectrometry experiments. However, whereas the problem has been studied for roughly ten years, the crucial property that H is necessarily a DAG has only been pointed out and exploited very recently. In this paper, we further investigate MCA under this new light, by providing algorithmic results for the problem, with a specific focus on fixed-parameterized tractability (FPT) issues, and relatively to different structural parameters of H. In particular, we provide an O*(3^{nhs}) time algorithm for solving MCA, where nhs is the number of vertices of indegree at least two in H, thereby improving the O*(3^{|C|}) algorithm from [Böcker et al. 2008]. We also prove that MCA is W[2]-hard relatively to the treewidth Ht of H, and further show that it is FPT relatively to Ht+lc, where lc = |V| - |C|.
On the Turán number of some ordered even cycles
Published in European Journal of Combinatorics, 73 (2018), 81-88 • View Publication • BIB
A classical result of Bondy and Simonovits in extremal graph theory states that if a graph on $n$ vertices contains no cycle of length $2k$ then it has at most $O(n^{1+1/k})$ edges. However, matching lower bounds are only known for $k=2,3,5$. In this paper we study ordered variants of this problem and prove some tight estimates for a certain class of ordered cycles that we call bordered cycles. In particular, we show that the maximum number of edges in an ordered graph avoiding bordered cycles of length at most $2k$ is $Θ(n^{1+1/k})$. Strengthening the result of Bondy and Simonovits in the case of 6-cycles, we also show that it is enough to forbid these bordered orderings of the 6-cycle to guarantee an upper bound of $O(n^{4/3})$ on the number of edges.
2017-10-19
Spanning tree with lower bound on the degrees
We concentrate on some recent results of Egawa and Ozeki [J. Graph Theory, 2015 and Combinatorica, 2014], and He et al. [J. Graph Theory, 2002]. We give shorter proofs and polynomial time algorithms as well. We present two new proofs for the sufficient condition for having a spanning tree with prescribed lower bounds on the degrees, achieved recently by Egawa and Ozeki. The first one is a natural proof using induction, and the second one is a simple reduction to the theorem of Lovász. Using an algorithm of Frank we show that the condition of the theorem can be checked in time $O(m\sqrt{n})$, and moreover, in the same running time -- if the condition is satisfied -- we can also generate the spanning tree required. This gives the first polynomial time algorithm for this problem. Next we show a nice application of this theorem for the simplest case of the Weak Nine Dragon Tree Conjecture, and for the game coloring number of planar graphs, first discovered by He et al. Finally, we give a shorter proof and a polynomial time algorithm for a good characterization of having a spanning tree with prescribed degree lower bounds, for the special case when $G[S]$ is a cograph, where $S$ is the set of the vertices having degree lower bound prescription at least two. This theorem was proved by Egawa and Ozeki in 2014 while they did not give a polynomial time algorithm.
2017-10-19
On vertex coloring without monochromatic triangles
We study a certain relaxation of the classic vertex coloring problem, namely, a coloring of vertices of undirected, simple graphs, such that there are no monochromatic triangles. We give the first classification of the problem in terms of classic and parametrized algorithms. Several computational complexity results are also presented, which improve on the previous results found in the literature. We propose the new structural parameter for undirected, simple graphs -- the triangle-free chromatic number $χ_3$. We bound $χ_3$ by other known structural parameters. We also present two classes of graphs with interesting coloring properties, that play pivotal role in proving useful observation about our problem. We give/ask several conjectures/questions throughout this paper to encourage new research in the area of graph coloring.
2017-10-19
Directed Hamilton cycles in digraphs and matching alternating Hamilton cycles in bipartite graphs
Published in Zhang, Z. B., Zhang, X., & Wen, X. (2013). Directed Hamilton Cycles in Digraphs and Matching Alternating Hamilton Cycles in Bipartite Graphs. SIAM Journal on Discrete Mathematics, 27(1), 274-289 • Search Publication
In 1972, Woodall raised the following Ore type condition for directed Hamilton cycles in digraphs: Let $D$ be a digraph. If for every vertex pair $u$ and $v$, where there is no arc from $u$ to $v$, we have $d^+u)+d^-(v)\geq |D|$, then $D$ has a directed Hamilton cycle. By a correspondence between bipartite graphs and digraphs, the above result is equivalent to the following result of Las Vergnas: Let $G = (B,W)$ be a balanced bipartite graph. If for any $b \in B$ and $w \in W$, where $b$ and $w$ are nonadjacent, we have $d(w)+d(b) \geq |G|/2 + 1$, then every perfect matching of $G$ is contained in a Hamilton cycle. The lower bounds in both results are tight. In this paper, we reduce both bounds by $1$, and prove that the conclusions still hold, with only a few exceptional cases that can be clearly characterized.
2017-10-19 v2
On subgraphs of random Cayley sum graphs
Published • View Publication • BIB
We prove that asymptotically almost surely, the random Cayley sum graph over a finite abelian group $G$ has edge density close to the expected one on every induced subgraph of size at least $\log^c |G|$, for any fixed $c > 1$ and $|G|$ large enough.