graph
34934 papers tagged with this keyword
Matroids, Delta-matroids and Embedded Graphs
Published
• View Publication
• BIB
Matroid theory is often thought of as a generalization of graph theory. In this paper we propose an analogous correspondence between embedded graphs and delta-matroids. We show that delta-matroids arise as the natural extension of graphic matroids to the setting of embedded graphs. We show that various basic ribbon graph operations and concepts have delta-matroid analogues, and illustrate how the connections between embedded graphs and delta-matroids can be exploited. Also, in direct analogy with the fact that The Tutte polynomial is matroidal, we show that several polynomials of embedded graphs from the literature, including the Las Vergnas, Bollabas-Riordan and Krushkal polynomials, are in fact delta-matroidal.
Hamiltonian increasing paths in random edge orderings
Published
• View Publication
• BIB
If the edges of the complete graph $K_n$ are totally ordered, a simple path whose edges are in ascending order is called increasing. The worst-case length of the longest increasing path has remained an open problem for several decades, with asymptotic bounds between $\sqrt{n}$ (Graham and Kleitman, 1973) and $n/2$ (Calderbank, Chung, and Sturtevant, 1984).
We consider the average case, when the ordering is chosen uniformly at random. We discover the surprising result that in the random setting, an increasing path of the maximum possible length of $n-1$ exists with probability at least about $1/e$. We also prove that with probability $1-o(1)$, there is an increasing path of length at least $0.85n$, suggesting that this Hamiltonian (or near-Hamiltonian) phenomenon may hold asymptotically almost surely.
A Generalisation of Isomorphisms with Applications
In this paper, we study the behaviour of TF-isomorphisms, a natural generalisation of isomorphisms. TF-isomorphisms allow us to simplify the approach to seemingly unrelated problems. In particular, we mention the Neighbourhood Reconstruction problem, the Matrix Symmetrization problem and Stability of Graphs. We start with a study of invariance under TF-isomorphisms. In particular, we show that alternating trails and incidence double covers are conserved by TF-isomorphisms, irrespective of whether they are TF-isomorphisms between graphs or digraphs. We then define an equivalence relation and subsequently relate its equivalence classes to the incidence double cover of a graph. By directing the edges of an incidence double cover from one colour class to the other and discarding isolated vertices we obtain an invariant under TF-isomorphisms which gathers a number of invariants. This can be used to study TF-orbitals, an analogous generalisation of the orbitals of a permutation group.
Reconfiguring Independent Sets in Claw-Free Graphs
Published
• View Publication
• BIB
We present a polynomial-time algorithm that, given two independent sets in a claw-free graph $G$, decides whether one can be transformed into the other by a sequence of elementary steps. Each elementary step is to remove a vertex $v$ from the current independent set $S$ and to add a new vertex $w$ (not in $S$) such that the result is again an independent set. We also consider the more restricted model where $v$ and $w$ have to be adjacent.
Hall-Littlewood polynomials and Cohen-Lenstra heuristics for Jacobians of random graphs
Published
• View Publication
• BIB
Cohen-Lenstra heuristics for Jacobians of random graphs give rise to random partitions. We connect these random partitions to the Hall-Littlewood polynomials of symmetric function theory, and use this connection to give combinatorial proofs of properties of these random partitions. In addition, we use Markov chains to give an algorithm for generating these partitions.
Brooks' Theorem and Beyond
Published in J. Graph Theory. Vol. 80(3), November 2015, pp. 199-225
• View Publication
• BIB
We collect some of our favorite proofs of Brooks' Theorem, highlighting advantages and extensions of each. The proofs illustrate some of the major techniques in graph coloring, such as greedy coloring, Kempe chains, hitting sets, and the Kernel Lemma. We also discuss standard strengthenings of vertex coloring, such as list coloring, online list coloring, and Alon--Tarsi orientations, since analogues of Brooks' Theorem hold in each context. We conclude with two conjectures along the lines of Brooks' Theorem that are much stronger, the Borodin--Kostochka Conjecture and Reed's Conjecture.
Minimal counterexamples and discharging method
Recently, the author found that there is a common mistake in some papers by using minimal counterexample and discharging method. We first discuss how the mistake is generated, and give a method to fix the mistake. As an illustration, we consider total coloring of planar or toroidal graphs, and show that: if $G$ is a planar or toroidal graph with maximum degree at most $κ- 1$, where $κ\geq 11$, then the total chromatic number is at most $κ$.
The Erdős-Gyárfás problem on generalized Ramsey numbers
Published
• View Publication
• BIB
Fix positive integers $p$ and $q$ with $2 \leq q \leq {p \choose 2}$. An edge-coloring of the complete graph $K_n$ is said to be a $(p, q)$-coloring if every $K_p$ receives at least $q$ different colors. The function $f(n, p, q)$ is the minimum number of colors that are needed for $K_n$ to have a $(p,q)$-coloring. This function was introduced by Erdős and Shelah about 40 years ago, but Erdős and Gyárfás were the first to study the function in a systematic way. They proved that $f(n, p, p)$ is polynomial in $n$ and asked to determine the maximum $q$, depending on $p$, for which $f(n,p,q)$ is subpolynomial in $n$. We prove that the answer is $p-1$.
Mixed, Multi-color, and Bipartite Ramsey Numbers Involving Trees of Small Diameter
In this paper we study Ramsey numbers for trees of diameter 3 (bistars) vs., respectively, trees of diameter 2 (stars), complete graphs, and many complete graphs. In the case of bistars vs. many complete graphs, we determine this number exactly as a function of the Ramsey number for the complete graphs. We also determine the order of growth of the bipartite $k$-color Ramsey number for a bistar.
Polyhedra, Complexes, Nets and Symmetry
Published
• View Publication
• BIB
Skeletal polyhedra and polygonal complexes in ordinary Euclidean 3-space are finite or infinite 3-periodic structures with interesting geometric, combinatorial, and algebraic properties. They can be viewed as finite or infinite 3-periodic graphs (nets) equipped with additional structure imposed by the faces, allowed to be skew, zig-zag, or helical. A polyhedron or complex is "regular" if its geometric symmetry group is transitive on the flags (incident vertex-edge-face triples). There are 48 regular polyhedra (18 finite polyhedra and 30 infinite apeirohedra), as well as 25 regular polygonal complexes, all infinite, which are not polyhedra. Their edge graphs are nets well-known to crystallographers, and we identify them explicitly. There also are 6 infinite families of "chiral" apeirohedra, which have two orbits on the flags such that adjacent flags lie in different orbits.
A new characterization of $P_k$-free graphs
Published
• View Publication
• BIB
The class of graphs that do not contain an induced path on $k$ vertices, $P_k$-free graphs, plays a prominent role in algorithmic graph theory. This motivates the search for special structural properties of $P_k$-free graphs, including alternative characterizations.
Let $G$ be a connected $P_k$-free graph, $k \ge 4$. We show that $G$ admits a connected dominating set whose induced subgraph is either $P_{k-2}$-free, or isomorphic to $P_{k-2}$. Surprisingly, it turns out that every minimum connected dominating set of $G$ has this property.
This yields a new characterization for $P_k$-free graphs: a graph $G$ is $P_k$-free if and only if each connected induced subgraph of $G$ has a connected dominating set whose induced subgraph is either $P_{k-2}$-free, or isomorphic to $C_k$. This improves and generalizes several previous results; the particular case of $k=7$ solves a problem posed by van 't Hof and Paulusma [A new characterization of $P_6$-free graphs, COCOON 2008].
In the second part of the paper, we present an efficient algorithm that, given a connected graph $G$ on $n$ vertices and $m$ edges, computes a connected dominating set $X$ of $G$ with the following property: for the minimum $k$ such that $G$ is $P_k$-free, the subgraph induced by $X$ is $P_{k-2}$-free or isomorphic to $P_{k-2}$.
As an application our results, we prove that Hypergraph 2-Colorability, an NP-complete problem in general, can be solved in polynomial time for hypergraphs whose vertex-hyperedge incidence graph is $P_7$-free.
Hadwiger's conjecture for $\ell$-link graphs
Published
• View Publication
• BIB
In this paper we define and study a new family of graphs that generalises the notions of line graphs and path graphs. Let $G$ be a graph with no loops but possibly with parallel edges. An \emph{$\ell$-link} of $G$ is a walk of $G$ of length $\ell \geqslant 0$ in which consecutive edges are different. We identify an $\ell$-link with its reverse sequence. The \emph{$\ell$-link graph $\mathbb{L}_\ell(G)$} of $G$ is the graph with vertices the $\ell$-links of $G$, such that two vertices are joined by $μ\geqslant 0$ edges in $\mathbb{L}_\ell(G)$ if they correspond to two subsequences of each of $μ$ $(\ell + 1)$-links of $G$.
By revealing a recursive structure, we bound from above the chromatic number of $\ell$-link graphs. As a corollary, for a given graph $G$ and large enough $\ell$, $\mathbb{L}_\ell(G)$ is $3$-colourable. By investigating the shunting of $\ell$-links in $G$, we show that the Hadwiger number of a nonempty $\mathbb{L}_\ell(G)$ is greater or equal to that of $G$. Hadwiger's conjecture states that the Hadwiger number of a graph is at least the chromatic number of that graph. The conjecture has been proved by Reed and Seymour (2004) for line graphs, and hence $1$-link graphs. We prove the conjecture for a wide class of $\ell$-link graphs.
Percolation with small clusters on random graphs
Published in Graphs Combin. 32 no. 3 (2016), 1167-1185
• View Publication
• BIB
Consider the problem of determining the maximal induced subgraph in a random $d$-regular graph such that its components remain bounded as the size of the graph becomes arbitrarily large. We show, for asymptotically large $d$, that any such induced subgraph has size density at most $2(\log d)/d$ with high probability. A matching lower bound is known for independent sets. We also prove the analogous result for sparse Erdős-Rényi graphs.
Separator-Based Graph Embedding into Multidimensional Grids with Small Edge-Congestion
Published
• View Publication
• BIB
We study the problem of embedding a guest graph with minimum edge-congestion into a multidimensional grid with the same size as that of the guest graph. Based on a well-known notion of graph separators, we show that an embedding with a smaller edge-congestion can be obtained if the guest graph has a smaller separator, and if the host grid has a higher but constant dimension. Specifically, we prove that any graph with $N$ nodes, maximum node degree $Δ$, and with a node-separator of size $O(n^α)$ ($0\leqα<1$) can be embedded into a grid of a fixed dimension $d\geq 2$ with at least $N$ nodes, with an edge-congestion of $O(Δ)$ if $d>1/(1-α)$, $O(Δ\log N)$ if $d=1/(1-α)$, and $O(ΔN^{α-1+\frac{1}{d}})$ if $d< 1/(1-α)$. This edge-congestion achieves constant ratio approximation if $d>1/(1-α)$, and matches an existential lower bound within a constant factor if $d\leq 1/(1-α)$. Our result implies that if the guest graph has an excluded minor of a fixed size, such as a planar graph, then we can obtain an edge-congestion of $O(Δ\log N)$ for $d=2$ and $O(Δ)$ for any fixed $d\geq 3$. Moreover, if the guest graph has a fixed treewidth, such as a tree, an outerplanar graph, and a series-parallel graph, then we can obtain an edge-congestion of $O(Δ)$ for any fixed $d\geq 2$. To design our embedding algorithm, we introduce edge-separators bounding expansion, such that in partitioning a graph into isolated nodes using edge-separators recursively, the number of outgoing edges from a subgraph to be partitioned in a recursive step is bounded. We present an algorithm to construct an edge-separator with expansion of $O(Δn^α)$ from a node-separator of size $O(n^α)$.
Edge Elimination in TSP Instances
Published
• View Publication
• BIB
The Traveling Salesman Problem is one of the best studied NP-hard problems in combinatorial optimization. Powerful methods have been developed over the last 60 years to find optimum solutions to large TSP instances. The largest TSP instance so far that has been solved optimally has 85,900 vertices. Its solution required more than 136 years of total CPU time using the branch-and-cut based Concorde TSP code [1]. In this paper we present graph theoretic results that allow to prove that some edges of a TSP instance cannot occur in any optimum TSP tour. Based on these results we propose a combinatorial algorithm to identify such edges. The runtime of the main part of our algorithm is $O(n^2 \log n)$ for an n-vertex TSP instance. By combining our approach with the Concorde TSP solver we are able to solve a large TSPLIB instance more than 11 times faster than Concorde alone.
Picker-Chooser fixed graph games
Published
• View Publication
• BIB
Given a fixed graph $H$ and a positive integer $n$, a Picker-Chooser $H$-game is a biased game played on the edge set of $K_n$ in which Picker is trying to force many copies of $H$ and Chooser is trying to prevent him from doing so. In this paper we conjecture that the value of the game is roughly the same as the expected number of copies of $H$ in the random graph $G(n,p)$ and prove our conjecture for special cases of $H$ such as complete graphs and trees.
On Weak Integer Additive Set-Indexers of Certain Graph Classes
Published in Journal of Discrete Mathematical Sciences and Cryptography, Vol. 18, No.1-2, 2015, pp.117-128
• View Publication
• BIB
An integer additive set-indexer is defined as an injective function $f:V(G)\rightarrow 2^{\mathbb{N}_0}$ such that the induced function $g_f:E(G) \rightarrow 2^{\mathbb{N}_0}$ defined by $g_f (uv) = f(u)+ f(v)$ is also injective. An integer additive set-indexer is said to be $k$-uniform if $|g_f(uv)|=k$ for all $u,v\in V(G)$. An integer additive set-indexer $f$ is said to be a weak IASI if $|g_f(uv)|=max(|f(u)|,|f(v)|)$ for all $u,v\in V(G)$. The sparing number of a graph $G$ is the minimum number of edges in $G$ with singleton set-labels, so that $G$ admits a weak integer additive set-indexer. In this paper, we study the admissibility of weak integer additive set-indexers by certain graph classes and certain associated graphs of given graphs.
Classifying the Clique-Width of $H$-Free Bipartite Graphs
Published
• View Publication
• BIB
Let $G$ be a bipartite graph, and let $H$ be a bipartite graph with a fixed bipartition $(B_H,W_H)$. We consider three different, natural ways of forbidding $H$ as an induced subgraph in $G$. First, $G$ is $H$-free if it does not contain $H$ as an induced subgraph. Second, $G$ is strongly $H$-free if $G$ is $H$-free or else has no bipartition $(B_G,W_G)$ with $B_H\subseteq B_G$ and $W_H\subseteq W_G$. Third, $G$ is weakly $H$-free if $G$ is $H$-free or else has at least one bipartition $(B_G,W_G)$ with $B_H\not\subseteq B_G$ or $W_H\not\subseteq W_G$. Lozin and Volz characterized all bipartite graphs $H$ for which the class of strongly $H$-free bipartite graphs has bounded clique-width. We extend their result by giving complete classifications for the other two variants of $H$-freeness.
Fool's Solitaire on Joins and Cartesian Products of Graphs
Published
• View Publication
• BIB
Peg solitaire is a game generalized to connected graphs by Beeler and Hoilman. In the game pegs are placed on all but one vertex. If $xyz$ form a 3-vertex path and $x$ and $y$ each have a peg but $z$ does not, then we can remove the pegs at $x$ and $y$ and place a peg at $z$. By analogy with the moves in the original game, this is called a jump. The goal of the peg solitaire game on graphs is to find jumps that reduce the number of pegs on the graph to 1.
Beeler and Rodriguez proposed a variant where we instead want to maximize the number of pegs remaining when no more jumps can be made. Maximizing over all initial locations of a single hole, the maximum number of pegs left on a graph $G$ when no jumps remain is the fool's solitaire number $F(G)$. We determine the fool's solitaire number for the join of any graphs $G$ and $H$. For the cartesian product, we determine $F(G \Box K_k)$ when $k \ge 3$ and $G$ is connected and show why our argument fails when $k=2$. Finally, we give conditions on graphs $G$ and $H$ that imply $F(G \Box H) \ge F(G) F(H)$.
Formally self-dual linear binary codes from circulant graphs
In 2002, Tonchev first constructed some linear binary codes defined by the adjacency matrices of undirected graphs. So, graph is an important tool for searching optimum codes. In this paper, we introduce a new method of searching (proposed) optimum formally self-dual linear binary codes from circulant graphs.