graph
34516 papers tagged with this keyword
Graph-codes
The symmetric difference of two graphs $G_1,G_2$ on the same set of vertices $[n]=\{1,2, \ldots ,n\}$ is the graph on $[n]$ whose set of edges are all edges that belong to exactly one of the two graphs $G_1,G_2$. Let $H$ be a fixed graph with an even (positive) number of edges, and let $D_H(n)$ denote the maximum possible cardinality of a family of graphs on $[n]$ containing no two members whose symmetric difference is a copy of $H$. Is it true that $D_H(n)=o(2^{n \choose 2})$ for any such $H$? We discuss this problem, compute the value of $D_H(n)$ up to a constant factor for stars and matchings, and discuss several variants of the problem including ones that have been considered in earlier work.
A characterization of regular partial cubes whose all convex cycles have the same lengths
Published in J. Graph Theory.2024;107:550-558
• View Publication
• BIB
Partial cubes are graphs that can be isometrically embedded into hypercubes. Convex cycles play an important role in the study of partial cubes. In this paper, we prove that a regular partial cube is a hypercube (resp., a Doubled Odd graph, an even cycle of length $2n$ where $n\geqslant 4$) if and only if all its convex cycles are 4-cycles (resp., 6-cycles, $2n$-cycles). In particular, the partial cubes whose all convex cycles are 4-cycles are equivalent to almost-median graphs. Therefore, we conclude that regular almost-median graphs are exactly hypercubes, which generalizes the result by Mulder [J. Graph Theory, 4 (1980) 107--110] -- regular median graphs are hypercubes.
Defective acyclic colorings of planar graphs
This paper studies two variants of defective acyclic coloring of planar graphs. For a graph $G$ and a coloring $\varphi$ of $G$, a 2CC transversal is a subset $E'$ of $E(G)$ that intersects every 2-colored cycle. Let $k$ be a positive integer. We denote by $m_k(G)$ the minimum integer $m$ such that $G$ has a proper $k$-coloring which has a 2CC transerval of size $m$, and by $m'_k(G)$ the minimum size of a subset $E'$ of $E(G)$ such that $G-E'$ is acyclic $k$-colorable. We prove that for any $n$-vertex $3$-colorable planar graph $G$, $m_3(G) \le n - 3$ and for any planar graph $G$, $m_4(G) \le n - 5$ provided that $n \ge 5$. We show that these upper bounds are sharp: there are infinitely many planar graphs attaining these upper bounds. Moreover, the minimum 2CC transversal $E'$ can be chosen in such a way that $E'$ induces a forest. We also prove that for any planar graph $G$, $m'_3(G) \le (13n - 42) / 10$ and $m'_4(G) \le (3n - 12) / 5$.
Laplacian polytopes of simplicial complexes
Given a (finite) simplicial complex, we define its $i$-th Laplacian polytope as the convex hull of the columns of its $i$-th Laplacian matrix. This extends Laplacian simplices of finite simple graphs, as introduced by Braun and Meyer. After studying basic properties of these polytopes, we focus on the $d$-th Laplacian polytope of the boundary of a $(d+1)$-simplex $\partial(σ_{d+1})$. If $d$ is odd, then as for graphs, the $d$-th Laplacian polytope turns out to be a $(d+1)$-simplex in this case. If $d$ is even, we show that the $d$-th Laplacian polytope of $\partial(σ_{d+1})$ is combinatorially equivalent to a $d$-dimensional cyclic polytope on $d+2$ vertices. Moreover, we provide an explicit regular unimodular triangulation for the $d$-th Laplacian polytope of $\partial(σ_{d+1})$. This enables us to to compute the normalized volume and to show that the $h^\ast$-polynomial is real-rooted and unimodal, if $d$ is odd and even, respectively.
Decompositions into two linear forests of bounded lengths
For some $k \in \mathbb{Z}_{\geq 0}\cup \infty$, we call a linear forest $k$-bounded if each of its components has at most $k$ edges. We will say a $(k,\ell)$-bounded linear forest decomposition of a graph $G$ is a partition of $E(G)$ into the edge sets of two linear forests $F_k,F_\ell$ where $F_k$ is $k$-bounded and $F_\ell$ is $\ell$-bounded. We show that the problem of deciding whether a given graph has such a decomposition is NP-complete if both $k$ and $\ell$ are at least $2$, NP-complete if $k\geq 9$ and $\ell =1$, and is in P for $(k,\ell)=(2,1)$. Before this, the only known NP-complete cases were the $(2,2)$ and $(3,3)$ cases. Our hardness result answers a question of Bermond et al. from 1984. We also show that planar graphs of girth at least nine decompose into a linear forest and a matching, which in particular is stronger than $3$-edge-colouring such graphs.
Dispersed graph labellings
A $k$-dispersed labelling of a graph $G$ on $n$ vertices is a labelling of the vertices of $G$ by the integers $1, \dots , n$ such that $d(i,i+1) \geq k$ for $1 \leq i \leq n-1$. $DL(G)$ denotes the maximum value of $k$ such that $G$ has a $k$-dispersed labelling. In this paper, we study upper and lower bounds on $DL(G)$. Computing $DL(G)$ is NP-hard. However, we determine the exact values of $DL(G)$ for cycles, paths, grids, hypercubes and complete binary trees. We also give a product construction and we prove a degree-based bound.
On the Toughness of Regular Graphs and Prisms
We contribute results on $r$-regular graphs that do and don't have the maximum possible toughness, namely $r/2$. Doty and Ferland showed the existence of a $5$-regular graph with toughness $5/2$ for all even orders except $n= 18$. Using a computer search we show that there does not exist such a graph for $n=18$. Also, we provide the first family of $4$-regular graphs with toughness $2$ that contains claws. For the prism $G \Box K_2$ of a graph~$G$, we provide several bounds including a sufficient condition for the prism to have the same toughness as~$G$. In particular, we show that if $G$ has toughness $t\le \frac{1}{2}$ then its prism has toughness $2t$; further, the prism of any $r$-regular $r$-connected inflation has toughness~$r/2$ (despite being $(r+1)$-regular) and in general the prism of any $3$-regular graph has toughness at most~$3/2$.
Constructing edge-disjoint Steiner trees in Cartesian product networks
Cartesian product networks are always regarded as a tool for ``combining'' two given networks with established properties to obtain a new one that inherits properties from both. For a graph $F=(V,E)$ and a set $S\subseteq V(F)$ of at least two vertices, \emph{an $S$-Steiner tree} or \emph{a Steiner tree connecting $S$} (or simply, \emph{an $S$-tree}) is a subgraph $T=(V',E')$ of $F$ that is a tree with $S\subseteq V'$. For $S\subseteq V(F)$ and $|S|\geq 2$, the {\it generalized local edge-connectivity} $λ(S)$ is the maximum number of edge-disjoint Steiner trees connecting $S$ in $F$. For an integer $k$ with $2\leq k\leq n$, the {\it generalized $k$-edge-connectivity} $λ_k(F)$ of a graph $F$ is defined as $λ_k(F)=\min\{λ(S)\,|\,S\subseteq V(F) \ and \ |S|=k\}$.In this paper, we give sharp upper and lower bounds for $λ_k(G\Box H)$, where $\Box$ is the Cartesian product operation, and $G,H$ are two graphs.
The excluded minors for embeddability into a compact surface
We determine the excluded minors characterising the class of countable graphs that embed into some compact surface.
Spectral arbitrariness for trees fails spectacularly
If $G$ is a graph and $\mathbf{m}$ is an ordered multiplicity list which is realizable by at least one symmetric matrix with graph $G$, what can we say about the eigenvalues of all such realizing matrices for $\mathbf{m}$? It has sometimes been tempting to expect, especially in the case that $G$ is a tree, that any spacing of the multiple eigenvalues should be realizable. In 2004, however, F. Barioli and S. Fallat produced the first counterexample: a tree on 16 vertices and an ordered multiplicity list for which every realizing set of eigenvalues obeys a nontrivial linear constraint.
We extend this by giving an infinite family of trees and ordered multiplicity lists whose sets of realizing eigenvalues are very highly constrained, with at most 5 degrees of freedom, regardless of the size of the tree in this family. In particular, we give the first examples of multiplicity lists for a tree which impose nontrivial nonlinear eigenvalue constraints and produce an ordered multiplicity list which is achieved by a unique set of eigenvalues, up to shifting and scaling.
Asymmetrizing infinite trees
A graph $G$ is asymmetrizable if it has a set of vertices whose setwise stablizer only consists of the identity automorphism. The motion $m$ of a graph is the minimum number of vertices moved by any non-identity automorphism. It is known that infinite trees $T$ with motion $m=\aleph_0$ are asymmetrizable if the vertex-degrees are bounded by $2^m.$ We show that this also holds for arbitrary, infinite $m$, and that the number of inequivalent asymmetrizing sets is $2^{|T|}$.
On the rainbow planar Turán number of paths
An edge-colored graph is said to contain a rainbow-$F$ if it contains $F$ as a subgraph and every edge of $F$ is a distinct color. The problem of maximizing edges among $n$-vertex properly edge-colored graphs not containing a rainbow-$F$, known as the rainbow Turán problem, was initiated by Keevash, Mubayi, Sudakov and Verstraëte. We investigate a variation of this problem with the additional restriction that the graph is planar, and we denote the corresponding extremal number by $\ex_{\p}^*(n,F)$. In particular, we determine $\ex_{\p}^*(n,P_5)$, where $P_5$ denotes the $5$-vertex path.
Forbidden Subgraphs of co-prime Graphs of finite Groups
For a finite group $G$ the co-prime graph $Γ(G)$ is defined as a graph with vertex set $G$ in which two distinct vertices $x$ and $y$ are adjacent if and only if $gcd(o(x),o(y))=1$ where $o(x)$ and $o(y)$ denote the orders of the elements $x$ and $y$ respectively. In this paper we find properties of groups whose co-prime graphs forbid graphs such as $C_4,K_{1,3},P_4$ and asteroidal triples.
On extremal problems on multigraphs
An $(n,s,q)$-graph is an $n$-vertex multigraph in which every $s$-set of vertices spans at most $q$ edges. Erdős initiated the study of maximum number of edges of $(n,s,q)$-graphs, and the extremal problem on multigraphs has been considered since the 1990s. The problem of determining the maximum product of the edge multiplicities in $(n,s,q)$-graphs was posed by Mubayi and Terry in 2019. Recently, Day, Falgas-Ravry and Treglown settled a conjecture of Mubayi and Terry on the case $(s,q)=(4, 6a + 3)$ of the problem (for $a \ge 2$), and they gave a general lower bound construction for the extremal problem for many pairs $(s, q)$, which they conjectured is asymptotically best possible. Their conjecture was confirmed exactly or asymptotically for some specific cases. In this paper, we consider the case that $(s,q)=(5,\binom{5}{2}a+4)$ and $d=2$ of their conjecture, partially solve an open problem raised by Day, Falgas-Ravry and Treglown. We also show that the conjecture fails for $n=6$, which indicates for the case that $(s,q)=(5,\binom{5}{2}a+4)$ and $d=2$, $n$ needs to be sufficiently large for the conjecture to hold.
Strongly proper connected coloring of graphs
We study a new variant of \emph{connected coloring} of graphs based on the concept of \emph{strong} edge coloring (every color class forms an \emph{induced} matching). In particular, an edge-colored path is \emph{strongly proper} if its color sequence does not contain identical terms within a distance of at most two. A \emph{strong proper connected} coloring of $G$ is the one in which every pair of vertices is joined by at least one strongly proper path. Let spc($G$) denote the least number of colors needed for such coloring of a graph $G$. We prove that the upper bound spc($G$)$\leq${5} holds for any $2$-connected graph $G$. On the other hand, we demonstrate that there are $2$-connected graphs with arbitrarily large girth satisfying spc($G$)$\geq${4}. Additionally, we prove that graphs whose cycle lengths are divisible by $3$ satisfy spc($G$)$\leq{3}$. We also consider briefly other connected colorings defined by various restrictions on color sequences of connecting paths. For instance, in a \emph{nonrepetitive connected coloring} of $G$, every pair of vertices should be joined by a path whose color sequence is \emph{nonrepetitive}, that is, it does not contain two adjacent identical blocks. We demonstrate that $2$-connected graphs are $15$-colorable while $4$-connected graphs are $6$-colorable, in the connected nonrepetitive sense. A similar conclusion with a finite upper bound on the number of colors holds for a much wider variety of connected colorings corresponding to fairly general properties of sequences. We end the paper with some open problems of concrete and general nature.
Exploring structural properties of $k$-trees and block graphs
We present a new characterization of $k$-trees based on their reduced clique graphs and $(k+1)$-line graphs, which are block graphs. We explore structural properties of these two classes, showing that the number of clique-trees of a $k$-tree $G$ equals the number of spanning trees of the $(k+1)$-line graph of $G$. This relationship allows to present a new approach for determining the number of spanning trees of any connected block graph. We show that these results can be accomplished in linear time complexity.
Solving Quantum-Inspired Perfect Matching Problems via Tutte's Theorem-Based Hybrid Boolean Constraints
Published
• View Publication
• BIB
Determining the satisfiability of Boolean constraint-satisfaction problems with different types of constraints, that is hybrid constraints, is a well-studied problem with important applications. We study here a new application of hybrid Boolean constraints, which arises in quantum computing. The problem relates to constrained perfect matching in edge-colored graphs. While general-purpose hybrid constraint solvers can be powerful, we show that direct encodings of the constrained-matching problem as hybrid constraints scale poorly and special techniques are still needed. We propose a novel encoding based on Tutte's Theorem in graph theory as well as optimization techniques. Empirical results demonstrate that our encoding, in suitable languages with advanced SAT solvers, scales significantly better than a number of competing approaches on constrained-matching benchmarks. Our study identifies the necessity of designing problem-specific encodings when applying powerful general-purpose constraint solvers.
Restricted optimal pebbling is NP-hard
Consider a distribution of pebbles on a graph. A pebbling move removes two pebbles from a vertex and place one at an adjacent vertex. A vertex is reachable under a pebble distribution if it has a pebble after the application of a sequence of pebbling moves. A pebble distribution is solvable if each vertex is reachable under it. The size of a pebble distribution is the total number of pebbles. The optimal pebbling number $π^*(G)$ is the size of the smallest solvable distribution. A $t$-restricted pebble distribution places at most $t$ pebbles at each vertex. The $t$-restricted optimal pebbling number $π_t^*(G)$ is the size of the smallest solvable $t$-restricted pebble distribution. We show that deciding whether $π^*_2(G)\leq k$ is NP-complete. We prove that $π_t^*(G)=π^*(G)$ if $δ(G)\geq \frac{2|V(G)|}{3}-1$ and we show infinitely many graphs which satisfies $δ(H)\approx \frac{1}{2}|V(H)|$ but $π_t^*(H)\neqπ^*(H)$, where $δ$ denotes the minimum degree.
Color-avoiding percolation of random graphs: between the subcritical and the intermediate regime
Fix a graph $G$ in which every edge is colored in some of $k\ge 2$ colors. Two vertices $u$ and $v$ are CA-connected if $u$ and $v$ may be connected using any subset of $k - 1$ colors. CA-connectivity is an equivalence relation dividing the vertex set into classes called CA-components.
In two recent papers, Ráth, Varga, Fekete, and Molontay, and Lichev and Schapira studied the size of the largest CA-component in a randomly colored random graph. The second of these works distinguished and studied three regimes (supercritical, intermediate, and subcritical) in which the largest CA-component has respectively linear, logarithmic, and bounded size. In this short note, we describe the phase transition between the intermediate and the subcritical regime.
On an $f$-coloring generalization of linear arboricity of multigraphs
Given a multigraph $G$ and function $f : V(G) \rightarrow \mathbb{Z}_{\ge 2}$ on its vertices, a degree-$f$ subgraph of $G$ is a spanning subgraph in which every vertex $v$ has degree at most $f(v)$. The degree-$f$ arboricity $a_f(G)$ of $G$ is the minimum number of colors required to edge-color $G$ into degree-$f$ forests. At least for constant $f$, Truszczyński conjectured that $a_f(G) \le \max \{Δ_f(G) + 1, a(G)\}$ for every multigraph $G$, where $Δ_f(G) = \max_{v \in V(G)} \lceil d(v)/f(v) \rceil$ and $a(G)$ is the usual arboricity of $G$. This is a strong generalization of the Linear Arboricity Conjecture due to Akiyama, Exoo, and Harary. In this paper, we disprove Truszczyński's conjecture in a strong sense for general multigraphs. On the other hand, extending known results for linear arboricity, we prove that the conjecture holds for simple graphs with sufficiently large girth, and that it holds for all simple graphs asymptotically. More strongly, we prove these partial results in the setting of directed graphs, where the color classes are required to be analogously defined degree-$f$ branchings.