graph
34763 papers tagged with this keyword
Hamilton cycles in Cayley graphs on generalized dihedral groups
We study existence of Hamilton cycles in connected Cayley graphs on generalized dihedral groups
On the spectral characterization of mixed extensions of $P_3$
Published
• View Publication
• BIB
A mixed extension of a graph $G$ is a graph $H$ obtained from $G$ by replacing each vertex of $G$ by a clique or a coclique, whilst two vertices in $H$ corresponding to distinct vertices $x$ and $y$ of $G$ are adjacent whenever $x$ and $y$ are adjacent in $G$. If $G$ is the path $P_3$, then $H$ has at most three adjacency eigenvalues unequal to $0$ and $-1$. Recently, the first author classified the graphs with the mentioned eigenvalue property. Using this classification we investigate mixed extension of $P_3$ on being determined by the adjacency spectrum. We present several cospectral families, and with the help of a computer we find all graphs on at most $25$ vertices that are cospectral with a mixed extension of $P_3$.
A note on saturation for Berge-G hypergraphs
Published
• View Publication
• BIB
For a graph G, a hypergraph H is called Berge-G if there is a hypergraph H', isomorphic to H, containing all vertices of G, so that e is contained in f(e) for each edge e of G, where f is a bijection between E(G) and E(H'). The set of all Berge-G hypergraphs is denoted B(G). A hypergraph H is called Berge-G saturated if it does not contain any subhypergraph from B(G), but adding any new hyperedge of size at least 2 to H creates such a subhypergraph. Each Berge-G saturated hypergraph has at least |E(G)|-1 hyperedges. We show that for each graph G that is not a certain star and for any n at least |V(G)|, there is a Berge-G saturated hypergraph on n vertices and exactly |E(G)|-1 hyperedges. This solves a problem of finding a saturated hypergraph on n vertices with the smallest number of edges exactly.
A rotor configuration with maximum escape rate
Published in Electron. Commun. Probab., Volume 25 (2020), paper no. 19, 5 pp
• View Publication
• BIB
Rotor walk is a deterministic analogue of simple random walk. For any given graph, we construct a rotor configuration for which the escape rate of the corresponding rotor walk is equal to the escape rate of simple random walk, and thus answer a question of Florescu, Ganguly, Levine, and Peres (2014).
The structure of graphs with no W_4 immersion
Published
• View Publication
• BIB
This paper gives a precise structure theorem for the class of graphs which do not contain $W_4$ as an immersion. This strengthens a previous result of Belmonte at al. that gives a rough description of this class. In fact, we prove a stronger theorem concerning rooted immersions of $W_4$ where one terminal is specified in advance. This stronger result is key in a forthcoming structure theorem for graphs with no $K_{3,3}$ immersion.
The structure of graphs with no K_{3,3} immersion
Published
• View Publication
• BIB
The Kuratowski-Wagner Theorem asserts that a graph is planar if and only if it does not have either $K_{3,3}$ or $K_5$ as a minor. Using this Wagner obtained a precise description of all graphs with no $K_{3,3}$ minor and all graphs with no $K_5$ minor. Similar results have been achieved for the class of graphs with no $H$-minor for a number of small graphs $H$.
In this paper we give a precise structure theorem for graphs which do not contain $K_{3,3}$ as an immersion. This strengthens an earlier theorem of Giannopoulou, Kamiński, and Thilikos that gives a rough description of the class of graphs with no $K_{3,3}$ or $K_5$ immersion.
Simultaneously Dominating all Spanning Trees of a Graph
Published
• View Publication
• BIB
We investigate the problem of simultaneously dominating all spanning trees of a given graph. We prove that on 2-connected graphs, a subset of the vertices dominates all spanning trees of the graph if and only if it is a vertex cover. Using this fact we present an exact algorithm that finds a simultaneous dominating set of minimum size using an oracle for finding a minimum vertex cover. The algorithm can be implemented to run in polynomial time on several graph classes, such as bipartite or chordal graphs. We prove that there is no polynomial time algorithm that finds a minimum simultaneous dominating set on perfect graphs, unless P=NP. Finally, we provide a 2-approximation algorithm for finding a minimum simultaneous dominating set.
The 2-domination and Roman domination numbers of grid graphs
Published in Discrete Mathematics & Theoretical Computer Science, vol. 21 no. 1, ICGT 2018 (May 23, 2019) dmtcs:4952
• View Publication
• BIB
We investigate the 2-domination number for grid graphs, that is the size of a smallest set $D$ of vertices of the grid such that each vertex of the grid belongs to $D$ or has at least two neighbours in $D$. We give a closed formula giving the 2-domination number of any $n \!\times\! m$ grid, hereby confirming the results found by Lu and Xu, and Shaheen et al. for $n \leq 4$ and slightly correct the value of Shaheen et al. for $n = 5$. The proof relies on some dynamic programming algorithms, using transfer matrices in (min,+)-algebra. We also apply the method to solve the Roman domination problem on grid graphs.
R-BBG$_2$: Recursive Bipartition of Bi-connected Graphs
Given an undirected graph $G(V, E)$, it is well known that partitioning a graph $G$ into $q$ connected subgraphs of equal or specificed sizes is in general NP-hard problem. On the other hand, it has been shown that the q-partition problem is solvable in polynomial time for q-connected graphs. For example, efficient polynomial time algorithms for finding 2-partition (bipartition) or 3-partition of 2-connected or 3-connected have been developed in the literature. In this paper, we are interested in the following problem: given a bi-connected graph $G$ of size $n$, can we partition it into two (connected) sub-graphs, $G[V_1]$ and $G[V_2]$ of sizes $n_1$ and $n_2$ such as both $G[V_1]$ and $G[V_2]$ are also bi-connected (and $n_1+n_2=n$)? We refer to this problem as the recursive bipartition problem of bi-connected graphs, denoted by R-BBG$_2$. We show that a ploynomial algorithm exists to both decide the recursive bipartion problem R-BBG$_2$ and find the corresponding bi-connected subgraphs when such a recursive bipartition exists.
On chordal phylogeny graphs
Published
• View Publication
• BIB
An acyclic digraph each vertex of which has indegree at most $i$ and outdegree at most $j$ is called an $(i, j)$ digraph for some positive integers $i$ and $j$. Lee {\it et al.} (2017) studied the phylogeny graphs of $(2, 2)$ digraphs and gave sufficient conditions and necessary conditions for $(2, 2)$ digraphs having chordal phylogeny graphs. Their work was motivated by problems related to evidence propagation in a Bayesian network for which it is useful to know which acyclic digraphs have their moral graphs being chordal (phylogeny graphs are called moral graphs in Bayesian network theory).
In this paper, we extend their work. We completely characterize phylogeny graphs of $(1, i)$ digraphs and $(i,1)$ digraphs, respectively, for a positive integer $i$. Then, we study phylogeny graphs of a $(2,j)$ digraphs, which is worthwhile in the context that a child has two biological parents in most species, to show that the phylogeny graph of a $(2,j)$ digraph $D$ is chordal if the underlying graph of $D$ is chordal for any positive integer $j$. Especially, we show that as long as the underlying graph of a $(2,2)$ digraph is chordal, its phylogeny graph is not only chordal but also planar.
Dense induced bipartite subgraphs in triangle-free graphs
Published
• View Publication
• BIB
The problem of finding dense induced bipartite subgraphs in $H$-free graphs has a long history, and was posed 30 years ago by Erdős, Faudree, Pach and Spencer. In this paper, we obtain several results in this direction. First we prove that any $K_t$-free graph with minimum degree at least $d$ contains an induced bipartite subgraph of minimum degree at least $c_t \log d/\log \log d$, confirming (asymptotically) several conjectures by Esperet, Kang and Thomassé. Complementing this result, we further obtain optimal bounds for this problem in the case of dense triangle-free graphs, and we also answer a question of Erdős, Janson, Łuczak and Spencer.
Reflexive polytopes arising from bipartite graphs with $γ$-positivity associated to interior polynomials
Published in Selecta Mathematica. New Series 26 (2020), 59
• View Publication
• BIB
In this paper, we introduce polytopes ${\mathcal B}_G$ arising from root systems $B_n$ and finite graphs $G$, and study their combinatorial and algebraic properties. In particular, it is shown that ${\mathcal B}_G$ is reflexive if and only if $G$ is bipartite. Moreover, in the case, ${\mathcal B}_G$ has a regular unimodular triangulation. This implies that the $h^*$-polynomial of ${\mathcal B}_G$ is palindromic and unimodal when $G$ is bipartite. Furthermore, we discuss stronger properties, namely the $γ$-positivity and the real-rootedness of the $h^*$-polynomials. In fact, if $G$ is bipartite, then the $h^*$-polynomial of ${\mathcal B}_G$ is $γ$-positive and its $γ$-polynomial is given by an interior polynomial (a version of the Tutte polynomial for a hypergraph). The $h^*$-polynomial is real-rooted if and only if the corresponding interior polynomial is real-rooted. From a counterexample to Neggers--Stanley conjecture, we construct a bipartite graph $G$ whose $h^*$-polynomial is not real-rooted but $γ$-positive, and coincides with the $h$-polynomial of a flag triangulation of a sphere.
A Maximum Linear Arrangement Problem on Directed Graphs
We propose a new arrangement problem on directed graphs, Maximum Directed Linear Arrangement (MaxDLA). This is a directed variant of a similar problem for undirected graphs, in which however one seeks maximum and not minimum; this problem known as the Minimum Linear Arrangement Problem (MinLA) has been much studied in the literature. We establish a number of theorems illustrating the behavior and complexity of MaxDLA. First, we relate MaxDLA to Maximum Directed Cut (MaxDiCut) by proving that every simple digraph $D$ on $n$ vertices satisfies $\frac{n}{2}$$maxDiCut(D) \leq MaxDLA(D) \leq (n-1)MaxDiCut(D)$. Next, we prove that MaxDiCut is NP-Hard for planar digraphs (even with the added restriction of maximum degree 15); it follows from the above bounds that MaxDLA is also NP-Hard for planar digraphs. In contrast, Hadlock (1975) and Dorfman and Orlova (1972) showed that the undirected Maximum Cut problem is solvable in polynomial time on planar graphs.
On the positive side, we present a polynomial-time algorithm for solving MaxDLA on orientations of trees with degree bounded by a constant, which translates to a polynomial-time algorithm for solving MinLA on the complements of those trees. This pairs with results by Goldberg and Klipker (1976), Shiloach (1979) and Chung (1984) solving MinLA in polynomial time on trees. Finally, analogues of Harper's famous isoperimetric inequality for the hypercube, in the setting of MaxDLA, are shown for tournaments, orientations of graphs with degree at most two, and transitive acyclic digraphs.
Unavoidable chromatic patterns in 2-colorings of the complete graph
Published
• View Publication
• BIB
We consider unavoidable chromatic patterns in $2$-colorings of the edges of the complete graph. Several such problems are explored being a junction point between Ramsey theory, extremal graph theory (Turán type problems), zero-sum Ramsey theory, and interpolation theorems in graph theory. A role-model of these problems is the following: Let $G$ be a graph with $e(G)$ edges. We say that $G$ is omnitonal if there exists a function ${\rm ot}(n,G)$ such that the following holds true for $n$ sufficiently large: For any $2$-coloring $f: E(K_n) \to \{red, blue \}$ such that there are more than ${\rm ot}(n,G)$ edges from each color, and for any pair of non-negative integers $r$ and $b$ with $r+b = e(G)$, there is a copy of $G$ in $K_n$ with exactly $r$ red edges and $b$ blue edges. We give a structural characterization of omnitonal graphs from which we deduce that omnitonal graphs are, in particular, bipartite graphs, and prove further that, for an omnitonal graph $G$, ${\rm ot}(n,G) = \mathcal{O}(n^{2 - \frac{1}{m}})$, where $m = m(G)$ depends only on $G$. We also present a class of graphs for which ${\rm ot}(n,G) = ex(n,G)$, the celebrated Turán numbers. Many more results and problems of similar flavor are presented.
Resilient degree sequences with respect to Hamilton cycles and matchings in random graphs
Published
• View Publication
• BIB
Pósa's theorem states that any graph $G$ whose degree sequence $d_1 \le \ldots \le d_n$ satisfies $d_i \ge i+1$ for all $i < n/2$ has a Hamilton cycle. This degree condition is best possible. We show that a similar result holds for suitable subgraphs $G$ of random graphs, i.e. we prove a `resilience version' of Pósa's theorem: if $pn \ge C \log n$ and the $i$-th vertex degree (ordered increasingly) of $G \subseteq G_{n,p}$ is at least $(i+o(n))p$ for all $i<n/2$, then $G$ has a Hamilton cycle. This is essentially best possible and strengthens a resilience version of Dirac's theorem obtained by Lee and Sudakov.
Chvátal's theorem generalises Pósa's theorem and characterises all degree sequences which ensure the existence of a Hamilton cycle. We show that a natural guess for a resilience version of Chvátal's theorem fails to be true. We formulate a conjecture which would repair this guess, and show that the corresponding degree conditions ensure the existence of a perfect matching in any subgraph of $G_{n,p}$ which satisfies these conditions. This provides an asymptotic characterisation of all degree sequences which resiliently guarantee the existence of a perfect matching.
Characterising and recognising game-perfect graphs
Published in Discrete Mathematics & Theoretical Computer Science, vol. 21 no. 1, ICGT 2018 (May 23, 2019) dmtcs:4935
• View Publication
• BIB
Consider a vertex colouring game played on a simple graph with $k$ permissible colours. Two players, a maker and a breaker, take turns to colour an uncoloured vertex such that adjacent vertices receive different colours. The game ends once the graph is fully coloured, in which case the maker wins, or the graph can no longer be fully coloured, in which case the breaker wins. In the game $g_B$, the breaker makes the first move. Our main focus is on the class of $g_B$-perfect graphs: graphs such that for every induced subgraph $H$, the game $g_B$ played on $H$ admits a winning strategy for the maker with only $ω(H)$ colours, where $ω(H)$ denotes the clique number of $H$. Complementing analogous results for other variations of the game, we characterise $g_B$-perfect graphs in two ways, by forbidden induced subgraphs and by explicit structural descriptions. We also present a clique module decomposition, which may be of independent interest, that allows us to efficiently recognise $g_B$-perfect graphs.
Large triangle packings and Tuza's conjecture in sparse random graphs
Published
• View Publication
• BIB
The triangle packing number $ν(G)$ of a graph $G$ is the maximum size of a set of edge-disjoint triangles in $G$. Tuza conjectured that in any graph $G$ there exists a set of at most $2ν(G)$ edges intersecting every triangle in $G$. We show that Tuza's conjecture holds in the random graph $G=G(n,m)$, when $m \le 0.2403n^{3/2}$ or $m\ge 2.1243n^{3/2}$. This is done by analyzing a greedy algorithm for finding large triangle packings in random graphs.
Another Enumeration of Caterpillar Trees
A caterpillar tree is a connected, acyclic, graph in which all vertices are either a member of a central path, or joined to that central path by a single edge. In other words, caterpillar trees are the class of trees which become path graphs after removing all leaves. In 1973, F. Harary and A.J. Schwenk provided two proofs found in [1] which show that the number of non-isomorphic caterpillars with N vertices is given by the formula $2^{N-4} + \ 2^{ \lfloor \frac{N - 4}{2}\rfloor}$, where $\lfloor \ \rfloor$ denotes the floor function. The first proof follows from a special case of an application of Pólya's Enumeration theorem on graphs with integer-weighted vertices. The second proof proceeds through an appropriate edge labelling of the caterpillars. The proof presented here owes much of its insight to the first two, but has the benefit of utilizing a natural labelling for the caterpillars. We will proceed by labelling the vertices of the caterpillars with integer-weights, followed by an application of the orbit-counting theorem.
Monochromatic $k$-edge-connection colorings of graphs
A path in an edge-colored graph $G$ is called monochromatic if any two edges on the path have the same color. For $k\geq 2$, an edge-colored graph $G$ is said to be monochromatic $k$-edge-connected if every two distinct vertices of $G$ are connected by at least $k$ edge-disjoint monochromatic paths, and $G$ is said to be uniformly monochromatic $k$-edge-connected if every two distinct vertices are connected by at least $k$ edge-disjoint monochromatic paths such that all edges of these $k$ paths colored with a same color. We use $mc_k(G)$ and $umc_k(G)$ to denote the maximum number of colors that ensures $G$ to be monochromatic $k$-edge-connected and, respectively, $G$ to be uniformly monochromatic $k$-edge-connected. In this paper, we first conjecture that for any $k$-edge-connected graph $G$, $mc_k(G)=e(G)-e(H)+\lfloor\frac{k}{2}\rfloor$, where $H$ is a minimum $k$-edge-connected spanning subgraph of $G$. We verify the conjecture for $k=2$. We also prove the conjecture for $G=K_{k+1}$ when $k\geq4$ is even, and for $G=K_{k,n}$ when $k\geq4$ is even, or when $k=3$ and $n\geq k$. When $G$ is a minimal $k$-edge-connected graph, we give an upper bound of $mc_k(G)$, i.e., $mc_k(G)\leq k-1$, and $mc_k(G)\leq \lfloor\frac{k}{2}\rfloor$ when $G=K_{k,n}$. For the uniformly monochromatic $k$-edge-connectivity, we prove that for all $k$, $umc_k(G)=e(G)-e(H)+1$, where $H$ is a minimum $k$-edge-connected spanning subgraph of $G$.
On operations preserving semi-transitive orientability of graphs
Published
• View Publication
• BIB
We consider the class of semi-transitively orientable graphs, which is a much larger class of graphs compared to transitively orientable graphs, in other words, comparability graphs. Ever since the concept of a semi-transitive orientation was defined as a crucial ingredient of the characterization of alternation graphs, also knownas word-representable graphs, it has sparked independent interest.
In this paper, we investigate graph operations and graph products that preserve semitransitive orientability of graphs. The main theme of this paper is to determine which graph operations satisfy the following statement: if a graph operation is possible on a semitransitively orientable graph, then the same graph operation can be executed on the graph while preserving the semi-transitive orientability. We were able to prove that this statement is true for edge-deletions, edge-additions, and edge-liftings. Moreover, for all three graph operations,we showthat the initial semi-transitive orientation can be extended to the new graph obtained by the graph operation.
Also, Kitaev and Lozin explicitly asked if certain graph products preserve the semitransitive orientability. We answer their question in the negative for the tensor product, lexicographic product, and strong product.We also push the investigation further and initiate the study of sufficient conditions that guarantee a certain graph operation to preserve the semi-transitive orientability.