graph
34828 papers tagged with this keyword
The distinguishing chromatic number of bipartite graphs of girth at least six
The distinguishing number $D(G)$ of a graph $G$ is the least integer $d$ such that $G$ has a vertex labeling with $d$ labels that is preserved only by a trivial automorphism. The distinguishing chromatic number $χ_{D}(G)$ of $G$ is defined similarly, where, in addition, $f$ is assumed to be a proper labeling. Motivated by a conjecture in \cite{colins}, we prove that if $G$ is a bipartite graph of girth at least six with the maximum degree $Δ(G)$, then $χ_{D}(G)\leq Δ(G)+1$. We also obtain an upper bound for $χ_{D}(G)$ where $G$ is a graph with at most one cycle. Finally, we state a relationship between the distinguishing chromatic number of a graph and its spanning subgraphs.
A counterexample regarding labelled well-quasi-ordering
Published
• View Publication
• BIB
Korpelainen, Lozin, and Razgon conjectured that a hereditary property of graphs which is well-quasi-ordered by the induced subgraph order and defined by only finitely many minimal forbidden induced subgraphs is labelled well-quasi-ordered, a notion stronger than that of $n$-well-quasi-order introduced by Pouzet in the 1970s. We present a counterexample to this conjecture. In fact, we exhibit a hereditary property of graphs which is well-quasi-ordered by the induced subgraph order and defined by finitely many minimal forbidden induced subgraphs yet is not $2$-well-quasi-ordered. This counterexample is based on the widdershins spiral, which has received some study in the area of permutation patterns.
Finding Small Weight Isomorphisms with Additional Constraints is Fixed-Parameter Tractable
Lubiw showed that several variants of Graph Isomorphism are NP-complete, where the solutions are required to satisfy certain additional constraints [SICOMP 10, 1981]. One of these, called Isomorphism With Restrictions, is to decide for two given graphs $X_1=(V,E_1)$ and $X_2=(V,E_2)$ and a subset $R\subseteq V\times V$ of forbidden pairs whether there is an isomorphism $π$ from $X_1$ to $X_2$ such that $π(i)\neq j$ for all $(i,j)\in R$. We prove that this problem and several of its generalizations are in fact in FPT:
- The problem of deciding whether there is an isomorphism between two graphs that moves k vertices and satisfies Lubiw-style constraints is in FPT, with k and the size of $R$ as parameters. The problem remains in FPT if a CNF of such constraints is allowed. It follows that the problem to decide whether there is an isomorphism that moves exactly k vertices is in FPT. This solves a question left open in our article on exact weight automorphisms [STACS 2017].
- When the weight and complexity are unrestricted, finding isomorphisms that satisfy a CNF of Lubiw-style constraints can be solved in FPT with access to a GI oracle.
- Checking if there is an isomorphism $π$ between two graphs with complexity t is also in FPT with t as parameter, where the complexity of a permutation is the Cayley measure defined as the minimum number t such that $π$ can be expressed as a product of t transpositions.
- We consider a more general problem in which the vertex set of a graph X is partitioned into Red and Blue, and we are interested in an automorphism that stabilizes Red and Blue and moves exactly k vertices in Blue, where k is the parameter. This problem was introduced by [Downey and Fellows 1999], and we showed [STACS 2017] that it is W[1]-hard even with color classes of size 4 inside Red. Now, for color classes of size at most 3 inside Red, we show the problem is in FPT.
Distance ideals of graphs
Published
• View Publication
• BIB
We introduce the concept of distance ideals of graphs, which can be regarded as a generalization of the Smith normal form and the spectra of the distance matrix of a graph. We obtain a classification of the graphs with at most one trivial distance ideal.
3-coloring triangle-free planar graphs with a precolored 9-cycle
Published
• View Publication
• BIB
Given a triangle-free planar graph G and a 9-cycle C in G, we characterize situations where a 3-coloring of C does not extend to a proper 3-coloring of G. This extends previous results when C is a cycle of length at most 8.
Hamilton decompositions of one-ended Cayley graphs
Published
• View Publication
• BIB
We prove that any one-ended, locally finite Cayley graph with non-torsion generators admits a decomposition into edge-disjoint Hamiltonian (i.e. spanning) double-rays. In particular, the $n$-dimensional grid $\mathbb{Z}^n$ admits a decomposition into $n$ edge-disjoint Hamiltonian double-rays for all $n \in \mathbb{N}$.
Random Overlapping Communities: Approximating Motif Densities of Large Graphs
A wide variety of complex networks (social, biological, information etc.) exhibit local clustering with substantial variation in the clustering coefficient (the probability of neighbors being connected). Existing models of large graphs capture power law degree distributions (Barabási-Albert) and small-world properties (Watts-Strogatz), but only limited clustering behavior. We introduce a generalization of the classical Erdős-Rényi model of random graphs which provably achieves a wide range of desired clustering coefficient, triangle-to-edge and four-cycle-to-edge ratios for any given graph size and edge density. Rather than choosing edges independently at random, in the Random Overlapping Communities model, a graph is generated by choosing a set of random, relatively dense subgraphs ("communities"). We discuss the explanatory power of the model and some of its consequences.
Surjective H-Colouring over Reflexive Digraphs
Published
• View Publication
• BIB
The Surjective H-Colouring problem is to test if a given graph allows a vertex-surjective homomorphism to a fixed graph H. The complexity of this problem has been well studied for undirected (partially) reflexive graphs. We introduce endo-triviality, the property of a structure that all of its endomorphisms that do not have range of size 1 are automorphisms, as a means to obtain complexity-theoretic classifications of Surjective H-Colouring in the case of reflexive digraphs.
Chen [2014] proved, in the setting of constraint satisfaction problems, that Surjective H-Colouring is NP-complete if H has the property that all of its polymorphisms are essentially unary. We give the first concrete application of his result by showing that every endo-trivial reflexive digraph H has this property. We then use the concept of endo-triviality to prove, as our main result, a dichotomy for Surjective H-Colouring when H is a reflexive tournament: if H is transitive, then Surjective H-Colouring is in NL, otherwise it is NP-complete.
By combining this result with some known and new results we obtain a complexity classification for Surjective H-Colouring when H is a partially reflexive digraph of size at most 3.
Extremality of graph entropy based on degrees of uniform hypergraphs with few edges
Published
• View Publication
• BIB
Let $\mathcal{H}$ be a hypergraph with $n$ vertices. Suppose that $d_1,d_2,\ldots,d_n$ are degrees of the vertices of $\mathcal{H}$. The $t$-th graph entropy based on degrees of $\mathcal{H}$ is defined as $$ I_d^t(\mathcal{H}) =-\sum_{i=1}^{n}\left(\frac{d_i^{t}}{\sum_{j=1}^{n}d_j^{t}}\log\frac{d_i^{t}}{\sum_{j=1}^{n}d_j^{t}}\right) =\log\left(\sum_{i=1}^{n}d_i^{t}\right)-\sum_{i=1}^{n}\left(\frac{d_i^{t}}{\sum_{j=1}^{n}d_j^{t}}\log d_i^{t}\right), $$ where $t$ is a real number and the logarithm is taken to the base two. In this paper we obtain upper and lower bounds of $I_d^t(\mathcal{H})$ for $t=1$, when $\mathcal{H}$ is among all uniform supertrees, unicyclic uniform hypergraphs and bicyclic uniform hypergraphs, respectively.
Independence in generic incidence structures
Published in J. symb. log. 84 (2019) 750-780
• View Publication
• BIB
We study the theory $T_{m,n}$ of existentially closed incidence structures omitting the complete incidence structure $K_{m,n}$, which can also be viewed as existentially closed $K_{m,n}$-free bipartite graphs. In the case $m = n = 2$, this is the theory of existentially closed projective planes. We give an $\forall\exists$-axiomatization of $T_{m,n}$, show that $T_{m,n}$ does not have a countable saturated model when $m,n\geq 2$, and show that the existence of a prime model for $T_{2,2}$ is equivalent to a longstanding open question about finite projective planes. Finally, we analyze model theoretic notions of complexity for $T_{m,n}$. We show that $T_{m,n}$ is NSOP$_1$, but not simple when $m,n\geq 2$, and we show that $T_{m,n}$ has weak elimination of imaginaries but not full elimination of imaginaries. These results rely on combinatorial characterizations of various notions of independence, including algebraic independence, Kim independence, and forking independence.
A note on the grid Ramsey problem
Published
• View Publication
• BIB
The grid Ramsey number $ G(r) $ is the smallest number $ n $ such that every edge-colouring of the grid graph $Γ_{n,n} := K_n \times K_n$ with $r$ colours induces a rectangle whose parallel edges receive the same colour. We show $ G(r) \leq r^{\binom{r+1}{2}} - \left( 1/4 - o(1) \right) r^{\binom{r}{2}+1} $, slightly improving the currently best known upper bound due to Gyárfás.
Word-representability of split graphs
Published
• View Publication
• BIB
Letters $x$ and $y$ alternate in a word $w$ if after deleting in $w$ all letters but the copies of $x$ and $y$ we either obtain a word $xyxy\cdots$ (of even or odd length) or a word $yxyx\cdots$ (of even or odd length). A graph $G=(V,E)$ is word-representable if and only if there exists a word $w$ over the alphabet $V$ such that letters $x$ and $y$ alternate in $w$ if and only if $xy\in E$. It is known that a graph is word-representable if and only if it admits a certain orientation called semi-transitive orientation.
Word-representable graphs generalize several important classes of graphs such as $3$-colorable graphs, circle graphs, and comparability graphs. There is a long line of research in the literature dedicated to word-representable graphs. However, almost nothing is known on word-representability of split graphs, that is, graphs in which the vertices can be partitioned into a clique and an independent set. In this paper, we shed a light to this direction. In particular, we characterize in terms of forbidden subgraphs word-representable split graphs in which vertices in the independent set are of degree at most 2, or the size of the clique is 4. Moreover, we give necessary and sufficient conditions for an orientation of a split graph to be semi-transitive.
On the tractability of optimization problems on H-graphs
Published
• View Publication
• BIB
For a graph $H$, a graph $G$ is an $H$-graph if it is an intersection graph of connected subgraphs of some subdivision of $H$. $H$-graphs naturally generalize several important graph classes like interval or circular-arc graph. This class was introduced in the early 1990s by Bíró, Hujter, and Tuza. Recently, Chaplick et al. initiated the algorithmic study of $H$-graphs by showing that a number of fundamental optimization problems are solvable in polynomial time on $H$-graphs. We extend and complement these algorithmic findings in several directions.
First we show that for every fixed $H$, the class of $H$-graphs is of logarithmically-bounded boolean-width (via mim-width). Pipelined with the plethora of known algorithms on graphs of bounded boolean-width, this describes a large class of problems solvable in polynomial time on $H$-graphs. We also observe that $H$-graphs are graphs with polynomially many minimal separators. Combined with the work of Fomin, Todinca and Villanger on algorithmic properties of such classes of graphs, this identify another wide class of problems solvable in polynomial time on $H$-graphs.
The most fundamental optimization problems among the problems solvable in polynomial time on $H$-graphs are Maximum Clique, Maximum Independent Set, and Minimum Dominating Set. We provide a more refined complexity analysis of these problems from the perspective of Parameterized Complexity. We show that Maximum Independent Set and Minimum Dominating Set are W[1]-hard being parameterized by the size of $H$ plus the size of the solution. On the other hand, we prove that when $H$ is a tree, then Minimum Dominating Set is fixed-parameter tractable parameterized (FPT) by the size of $H$. For Maximum Clique we show that it admits a polynomial kernel parameterized by $H$ and the solution size.
Linearly $χ$-Bounding $(P_6,C_4)$-Free Graphs
Published
• View Publication
• BIB
Given two graphs $H_1$ and $H_2$, a graph $G$ is $(H_1,H_2)$-free if it contains no subgraph isomorphic to $H_1$ or $H_2$. Let $P_t$ and $C_s$ be the path on $t$ vertices and the cycle on $s$ vertices, respectively. In this paper we show that for any $(P_6,C_4)$-free graph $G$ it holds that $χ(G)\le \frac{3}{2}ω(G)$, where $χ(G)$ and $ω(G)$ are the chromatic number and clique number of $G$, respectively. %Our bound is attained by $C_5$ and the Petersen graph. Our bound is attained by several graphs, for instance, the five-cycle, the Petersen graph, the Petersen graph with an additional universal vertex, and all $4$-critical $(P_6,C_4)$-free graphs other than $K_4$ (see \cite{HH17}). The new result unifies previously known results on the existence of linear $χ$-binding functions for several graph classes. Our proof is based on a novel structure theorem on $(P_6,C_4)$-free graphs that do not contain clique cutsets. Using this structure theorem we also design a polynomial time $3/2$-approximation algorithm for coloring $(P_6,C_4)$-free graphs. Our algorithm computes a coloring with $\frac{3}{2}ω(G)$ colors for any $(P_6,C_4)$-free graph $G$ in $O(n^2m)$ time.
Asymptotically approaching the Moore bound for diameter three by Cayley graphs
The largest order $n(d,k)$ of a graph of maximum degree $d$ and diameter $k$ cannot exceed the Moore bound, which has the form $M(d,k)=d^k - O(d^{k-1})$ for $d\to\infty$ and any fixed $k$. Known results in finite geometries on generalised $(k+1)$-gons imply, for $k=2,3,5$, the existence of an infinite sequence of values of $d$ such that $n(d,k)=d^k - o(d^k)$. This shows that for $k=2,3,5$ the Moore bound can be asymptotically approached in the sense that $n(d,k)/M(d,k)\to 1$ as $d\to\infty$; moreover, no such result is known for any other value of $k\ge 2$. The corresponding graphs are, however, far from vertex-transitive, and there appears to be no obvious way to extend them to vertex-transitive graphs giving the same type of asymptotic result.
The second and the third author (2012) proved by a direct construction that the Moore bound for diameter $k=2$ can be asymptotically approached by Cayley graphs. Subsequently, the first and the third author (2015) showed that the same construction can be derived from generalised triangles with polarity.
By a detailed analysis of regular orbits of suitable groups of automorphisms of graphs arising from polarity quotients of incidence graphs of generalised quadrangles with polarity, we prove that for an infinite set of values of $d$ there exist Cayley graphs of degree $d$, diameter $3$, and order $d^3{-}O(d^{2.5})$. The Moore bound for diameter $3$ can thus as well be asymptotically approached by Cayley graphs. We also show that this method does not extend to constructing Cayley graphs of diameter $5$ from generalised hexagons with polarity.
Partial matching width and its application to lower bounds for branching programs
We introduce a new structural graph parameter called \emph{partial matching width}. For each (sufficiently large) integer $k \geq 1$, we introduce a class $\mathcal{G}_k$ of graphs of treewidth at most $k$ and max-degree $7$ such that for each $G \in \mathcal{G}_k$ and each (sufficiently large) $V \subseteq V(G)$, the partial matching width of $V$ is $Ω(k \log |V|)$.
We use the above lower bound to establish a lower bound on the size of non-deterministic read-once branching programs (NROBPs). In particular, for each sufficiently large ineteger $k$, we introduce a class ${\bf Φ}_k$ of CNFs of (primal graph) treewidth at most $k$ such that for any $\varphi \in {\bf Φ}_k$ and any Boolean function $F \subseteq \varphi$ and such that $|\varphi|/|F| \leq 2^{\sqrt{n}}$ (here the functions are regarded as sets of assignments on which they are true), a NROBP implementing $F$ is of size $n^{Ω(k)}$. This result significantly generalises an earlier result of the author showing a non-FPT lower bound for NROBPs representing CNFs of bounded treewidth. Intuitively, we show that not only those CNFs but also their arbitrary one side approximations with an exponential ratio still attain that lower bound.
The non-trivial aspect of this approximation is that due to a small number of satisfying assignments for $F$, it seems difficult to establish a large bottleneck: the whole function can `sneak' through a single rectangle corresponding to just \emph{one} vertex of the purported bottleneck. We overcome this problem by simultaneously exploring $\sqrt{n}$ bottlenecks and showing that at least one of them must be large. This approach might be useful for establishing other lower bounds for branching programs.
Perfect matchings in highly cyclically connected regular graphs
A leaf matching operation on a graph consists of removing a vertex of degree~$1$ together with its neighbour from the graph. For $k\geq 0$, let $G$ be a $d$-regular cyclically $(d-1+2k)$-edge-connected graph of even order. We prove that for any given set $X$ of $d-1+k$ edges, there is no $1$-factor of $G$ avoiding $X$ if and only if either an isolated vertex can be obtained by a series of leaf matching operations in $G-X$, or $G-X$ has an independent set that contains more than half of the vertices of~$G$. To demonstrate how to check the conditions of the theorem we prove several statements on $2$-factors of cubic graphs. For $k\ge 3$, we prove that given a cubic cyclically $(4k-5)$-edge-connected graph $G$ and three paths of length $k$ such that the distance of any two of them is at least $8k-17$, there is a $2$-factor of $G$ that contains one of the paths . We provide a similar statement for two paths when $k=3$ and $k=4$. As a corollary we show that given a vertex $v$ in a cyclically $7$-edge-connected cubic graph, there is a $2$-factor such that $v$ is in a circuit of length greater than $7$.
On $k$-rainbow independent domination in graphs
In this paper, we define a new domination invariant on a graph $G$, which coincides with the ordinary independent domination number of the generalized prism $G \Box K_k$, called the $k$-rainbow independent domination number and denoted by $γ_{{\rm ri}k}(G)$. Some bounds and exact values concerning this domination concept are determined. As a main result, we prove a Nordhaus-Gaddum-type theorem on the sum for $2$-rainbow independent domination number, and show if G is a graph of order $n \geq 3$, then $5\leq γ_{{\rm ri}2}(G)+γ_{{\rm ri}2}(\overline{G})\leq n+3$, with both bounds being sharp.
Graph rigidity for unitarily invariant matrix norms
Published
• View Publication
• BIB
A rigidity theory is developed for bar-joint frameworks in linear matrix spaces endowed with a unitarily invariant norm. Analogues of Maxwell's counting criteria are obtained and minimally rigid matrix frameworks are shown to belong to the matroidal class of (k,l)-sparse graphs for suitable k and l. A characterisation of infinitesimal rigidity is obtained for product norms and it is shown that K_6 - e (respectively, K_7) is the smallest minimally rigid graph for the class of 2 x 2 symmetric (respectively, hermitian) matrices with the trace norm.
The smallest eigenvalues of Hamming graphs, Johnson graphs and other distance-regular graphs with classical parameters
Published
• View Publication
• BIB
We prove a conjecture by Van Dam and Sotirov on the smallest eigenvalue of (distance-$j$) Hamming graphs and a conjecture by Karloff on the smallest eigenvalue of (distance-$j$) Johnson graphs. More generally, we study the smallest eigenvalue and the second largest eigenvalue in absolute value of the graphs of the relations of classical $P$- and $Q$-polynomial association schemes.