graph
34516 papers tagged with this keyword
Contracting edges to destroy a pattern: A complexity study
Given a graph G and an integer k, the objective of the $Π$-Contraction problem is to check whether there exists at most k edges in G such that contracting them in G results in a graph satisfying the property $Π$. We investigate the problem where $Π$ is `H-free' (without any induced copies of H). It is trivial that H-free Contraction is polynomial-time solvable if H is a complete graph of at most two vertices. We prove that, in all other cases, the problem is NP-complete. We then investigate the fixed-parameter tractability of these problems. We prove that whenever H is a tree, except for seven trees, H-free Contraction is W[2]-hard. This result along with the known results leaves behind three unknown cases among trees.
Proof of a Conjecture on Online Ramsey Numbers of Paths
For two graphs $G_1$ and $G_2$, the online Ramsey number $\tilde{r}(G_1,G_2)$ is the smallest number of edges that Builder draws on an infinite empty graph to guarantee that there is either a red copy of $G_1$ or a blue copy of $G_2$, under the condition that Builder draws one edge in each round and Painter immediately colors it red or blue. For online Ramsey numbers of paths, Cyman, Dzido, Lapinskas, and Lo conjectured that $\tilde{r}(P_4, P_{\ell+1}) = \lceil(7\ell+2)/5\rceil$ for all $\ell \ge 3$ [Electron. J. Combin. 22 (2015) #P1.15]. We verify the conjecture in this paper.
Determining the b-chromatic number of subdivision-vertex neighbourhood coronas
Published in Analele Stiintifice ale Universitatii Ovidius Constanta, Seria Matematica 32:2 (2024), 53-84
• View Publication
• BIB
Let $G$ and $H$ be two graphs, each one of them being a path, a cycle or a star. In this paper, we determine the $b$-chromatic number of every subdivision-vertex neighbourhood corona $G\boxdot H$ or $G\boxdot K_n$, where $K_n$ is the complete graph of order $n$. It is also established for those graphs $K_n\boxdot G$ having $m$-degree not greater than $n+2$. All the proofs are accompanied by illustrative examples.
A notion of twins
Given a combinatorial structure, a ``twin'' is a pair of disjoint substructures which are isomorphic (or look the same in some sense). In recent years, there have been many problems about finding large twins in various combinatorial structures. For example, given a graph $G$, one can ask what is the largest $s$ such that there exist disjoint subsets $I,J\subset V(G)$ on $s$ vertices, such that the induced subgraphs $G[I],G[J]$ are isomorphic.
We are motivated by two different problems of finding twins in two kinds of ordered objects (strings and permutations). We introduce a new variant of ``twin problem'' which generalizes both of these. By considering this generalization, we are able to improve some bounds obtained by Dudek, Grytczuk, and Ruciński, and give a negative answer to a conjecture of theirs.
Minimum Degree Threshold for $H$-factors with High Discrepancy
Given a graph $H$, a perfect $H$-factor in a graph $G$ is a collection of vertex-disjoint copies of $H$ spanning $G$. Kühn and Osthus showed that the minimum degree threshold for a graph $G$ to contain a perfect $H$-factor is either given by $1-1/χ(H)$ or by $1-1/χ_{cr}(H)$ depending on certain natural divisibility considerations. Given a graph $G$ of order $n$, a $2$-edge-coloring of $G$ and a subgraph $G'$ of $G$, we say that $G'$ has high discrepancy if it contains significantly (linear in $n$) more edges of one color than the other. Balogh, Csaba, Pluhár and Treglown asked for the minimum degree threshold guaranteeing that every 2-edge-coloring of $G$ has an $H$-factor with high discrepancy and they settled the case where $H$ is a clique. Here we completely resolve this question by determining the minimum degree threshold for high discrepancy of $H$-factors for every graph $H$.
Coxeter tournaments
We describe the Coxeter permutahedra, recently studied by Ardila, Castillo, Eur and Postnikov, in terms of random Coxeter tournaments, which involve cooperative and solitaire games, as well as the usual competitive games in graph tournaments. In this way, we establish a Coxeter version of Moon's theorem on random tournaments. We present a geometric proof by the Mirsky--Thompson generalized Birkhoff's theorem, a probabilistic proof by Strassen's coupling theorem, and an algorithmic proof by a Coxeter analogue of the Havel--Hakimi algorithm. These proofs have interpretations in terms of players choosing competitors/collaborators with respect to relative weakness/strength. We also introduce a natural Coxeter analogue of the Bradley--Terry model, from the statistical theory of paired comparisons.
Strong domatic number of a graph
A set $D$ of vertices of a simple graph $G=(V,E)$ is a strong dominating set, if for every vertex $x\in \overline{D}=V\setminus D$ there is a vertex $y\in D$ with $xy\in E(G)$ and $deg(x)\leq deg(y)$. The strong domination number $γ_{st}(G)$ is defined as the minimum cardinality of a strong dominating set. The strong domatic number of $G$ is the maximum number of strong dominating sets into which the vertex set of $G$ can be partitioned. We initiate the study of the strong domatic number, and we present different sharp bounds on $d_{st}(G)$. In addition, we determine this parameter for some classes of graphs, such as cubic graphs of order at most $10$.
Rigidity, Tensegrity and Reconstruction of Polytopes under Metric Constraints
We conjecture that a convex polytope is uniquely determined up to isometry by its edge-graph, edge lengths and the collection of distances of its vertices to some arbitrary interior point, across all dimensions and all combinatorial types. We conjecture even stronger that for two polytopes $P\subset\mathbb R^d$ and $Q\subset\mathbb R^e$ with the same edge-graph it is not possible that $Q$ has longer edges than $P$ while also having smaller vertex-point distances.
We develop techniques to attack this question and verify it in three relevant special cases: if $P$ and $Q$ are centrally symmetric, if $Q$ is a slight perturbation of $P$, and if $P$ and $Q$ are combinatorially equivalent. In the first two cases the statements stay true if we replace $Q$ by some graph embedding $q\colon V(G_P)\to\mathbb R^e$ of the edge-graph $G_P$ of $P$, which can be interpreted as local resp. universal rigidity of certain tensegrity frameworks. We also establish that a polytope is uniquely determined up to affine equivalence by its edge-graph, edge lengths and the Wachspress coordinates of an arbitrary interior point.
We close with a broad overview of related and subsequent questions.
On the Multigraph Overfull Conjecture
A subgraph $H$ of a multigraph $G$ is overfull if $ |E(H) | > Δ(G) \lfloor |V(H)|/2 \rfloor$. Analogous to the Overfull Conjecture proposed by Chetwynd and Hilton in 1986, Stiebitz et al. in 2012 formed the multigraph version of the conjecture as follows: Let $G$ be a multigraph with maximum multiplicity $r$ and maximum degree $Δ>\frac{1}{3} r|V(G)|$. Then $G$ has chromatic index $Δ(G)$ if and only if $G$ contains no overfull subgraph. In this paper, we prove the following three results toward the Multigraph Overfull Conjecture for sufficiently large and even $n$.
(1) If $G$ is $k$-regular with $k\ge r(n/2+18)$, then $G$ has a 1-factorization. This result also settles a conjecture of the first author and
Tipnis from 2001 up to a constant error in the lower bound of $k$.
(2) If $G$ contains an overfull subgraph and $δ(G)\ge r(n/2+18)$, then $χ'(G)=\lceil χ'_f(G) \rceil$, where $χ'_f(G)$ is the fractional chromatic index of $G$.
(3) If the minimum degree of $G$ is at least $(1+\varepsilon)rn/2$ for any $0<\varepsilon<1$ and $G$ contains no overfull subgraph, then $χ'(G)=Δ(G)$.
The proof is based on the decomposition of multigraphs into simple graphs and we prove a slightly weak version of a conjecture due to the first author and Tipnis from 1991 on decomposing a multigraph into constrained simple graphs. The result is of independent interests.
Embedding hypercubes into torus and Cartesian product of paths and cycles for minimizing wirelength
Though embedding problems have been considered for several regular graphs, it is still an open problem for hypercube into torus. In the paper, we prove the conjecture mathematically and obtain the minimum wirelength of embedding for hypercube into Cartesian product of paths and/or cycles. In addition, we explain that Gray code embedding is an optimal strategy in such embedding problems.
Partitioning edges of a planar graph into linear forests and a matching
We show that the edges of any planar graph of maximum degree at most $9$ can be partitioned into $4$ linear forests and a matching. Combined with known results, this implies that the edges of any planar graph $G$ of odd maximum degree $Δ\ge 9$ can be partitioned into $\tfrac{Δ-1}{2}$ linear forests and one matching. This strengthens well-known results stating that graphs in this class have chromatic index $Δ$ [Vizing, 1965] and linear arboricity at most $\lceil(Δ+1)/2\rceil$ [Wu, 1999].
Power of $k$ Choices in the Semi-Random Graph Process
The semi-random graph process is a single player game in which the player is initially presented an empty graph on $n$ vertices. In each round, a vertex $u$ is presented to the player independently and uniformly at random. The player then adaptively selects a vertex $v$, and adds the edge $uv$ to the graph. For a fixed monotone graph property, the objective of the player is to force the graph to satisfy this property with high probability in as few rounds as possible.
In this paper, we introduce a natural generalization of this game in which $k$ random vertices $u_1, \ldots, u_k$ are presented to the player in each round. She needs to select one of the presented vertices and connect to any vertex she wants. We focus on the following three monotone properties: minimum degree at least $\ell$, the existence of a perfect matching, and the existence of a Hamiltonian cycle.
Optimal local identifying and local locating-dominating codes
Published in Fundamenta Informaticae, Volume 191, Issues 3-4: Iiro Honkala's 60 Birthday (November 10, 2024) fi:11001
• Search Publication
We introduce two new classes of covering codes in graphs for every positive integer $r$. These new codes are called local $r$-identifying and local $r$-locating-dominating codes and they are derived from $r$-identifying and $r$-locating-dominating codes, respectively. We study the sizes of optimal local 1-identifying codes in binary hypercubes. We obtain lower and upper bounds that are asymptotically tight. Together the bounds show that the cost of changing covering codes into local 1-identifying codes is negligible. For some small $n$ optimal constructions are obtained. Moreover, the upper bound is obtained by a linear code construction. Also, we study the densities of optimal local 1-identifying codes and local 1-locating-dominating codes in the infinite square grid, the hexagonal grid, the triangular grid, and the king grid. We prove that seven out of eight of our constructions have optimal densities.
$K_r$-saturated Graphs and the Two Families Theorem
Given a graph $H$, we say that a graph $G$ is $H$-saturated if $G$ contains no copy of $H$ but adding any new edge to $G$ creates a copy of $H$. Let $sat(n,K_r,t)$ be the minimum number of edges in a $K_r$-saturated graph on $n$ vertices with minimum degree at least $t$. Day showed that for fixed $r \geq 3$ and $t \geq r-2$, $sat(n,K_r,t)=tn-c(r,t)$ for large enough $n$, where $c(r,t)$ is a constant depending on $r$ and $t$, and proved the bounds
$$ 2^t t^{3/2} \ll_r c(r,t) \leq t^{t^{2t^2}} $$
for fixed $r$ and large $t$. In this paper we show that for fixed $r$ and large $t$, the order of magnitude of $c(r,t)$ is given by $c(r,t)=Θ_r \left(4^t t^{-1/2} \right)$. Moreover, we investigate the dependence on $r$, obtaining the estimates
$$ \frac{4^{t-r}}{\sqrt{t-r+3}} + r^2 \ll c(r,t) \ll \frac{4^{t-r} \min{(r,\sqrt{t-r+3})}}{\sqrt{t-r+3}} + r^2 \ . $$
We further show that for all $r$ and $t$, there is a finite collection of graphs such that all extremal graphs are blow-ups of graphs in the collection.
Using similar ideas, we show that every large $K_r$-saturated graph with $e$ edges has a vertex cover of size $O(e / \log e)$, uniformly in $r \geq 3$. This strengthens a previous result of Pikhurko. We also provide examples for which this bound is tight.
A key ingredient in the proofs is a new version of Bollobás's Two Families Theorem.
Cycles of quadratic Latin squares and anti-perfect $1$-factorisations
Published in J. Combin. Des. 31, (2023), 447-475
• View Publication
• BIB
A Latin square of order $n$ is an $n \times n$ matrix of $n$ symbols, such that each symbol occurs exactly once in each row and column. For an odd prime power $q$ let $\mathbb{F}_q$ denote the finite field of order $q$. A quadratic Latin square is a Latin square $\mathcal{L}[a, b]$ defined by, $$(\mathcal{L}[a, b])_{i, j} = \begin{cases} i + a(j-i) & \text{if } j-i \text{ is a quadratic residue in } \mathbb{F}_q, \\ i + b(j-i) & \text{otherwise}, \end{cases}$$ for some $\{a, b\} \subseteq \mathbb{F}_q$ such that $ab$ and $(a-1)(b-1)$ are quadratic residues in $\mathbb{F}_q$. Quadratic Latin squares have previously been used to construct perfect $1$-factorisations, mutually orthogonal Latin squares and atomic Latin squares. We first characterise quadratic Latin squares which are devoid of $2 \times 2$ Latin subsquares. Let $G$ be a graph and $\mathcal{F}$ a $1$-factorisation of $G$. If the union of every pair of $1$-factors in $\mathcal{F}$ induces a Hamiltonian cycle in $G$ then $\mathcal{F}$ is called perfect, and if there is no pair of $1$-factors in $\mathcal{F}$ which induce a Hamiltonian cycle in $G$ then $\mathcal{F}$ is called anti-perfect. We use quadratic Latin squares to construct new examples of anti-perfect $1$-factorisations of complete graphs and complete bipartite graphs. We also demonstrate that for each odd prime $p$, there are only finitely many orders $q$, which are powers of $p$, such that quadratic Latin squares of order $q$ could be used to construct perfect $1$-factorisations of complete graphs or complete bipartite graphs.
Self-Assembling DNA Complexes with a Wheel Graph Structure
The Watson-Crick complementary properties of DNA make DNA a useful tool for the self-assembly of various target complexes. Concepts from graph theory can be used to model the self-assembling process in which the vertices of the graph represent $k$-armed branched junction molecules, called tiles. We seek to determine the minimum number of tile and cohesive-end types necessary to create the desired self-assembled complex. Although results are known for a few infinite classes of graphs, many classes of graphs remain unsolved. We present results for the wheel graph within the restrictions of three different settings.
Cosecure Domination: Hardness Results and Algorithm
For a simple graph $G=(V,E)$ without any isolated vertex, a cosecure dominating set $D$ of $G$ satisfies the following two properties (i) $S$ is a dominating set of $G$, (ii) for every vertex $v \in S$ there exists a vertex $u \in V \setminus S$ such that $uv \in E$ and $(S \setminus \{v\}) \cup \{u\}$ is a dominating set of $G$. The minimum cardinality of a cosecure dominating set of $G$ is called cosecure domination number of $G$ and is denoted by $γ_{cs}(G)$. The Minimum Cosecure Domination problem is to find a cosecure dominating set of a graph $G$ of cardinality $γ_{cs}(G)$. The decision version of the problem is known to be NP-complete for bipartite, planar, and split graphs. Also, it is known that the Minimum Cosecure Domination problem is efficiently solvable for proper interval graphs and cographs.
In this paper, we work on various important graph classes in an effort to reduce the complexity gap of the Minimum Cosecure Domination problem. We show that the decision version of the problem remains NP-complete for circle graphs, doubly chordal graphs, chordal bipartite graphs, star-convex bipartite graphs and comb-convex bipartite graphs. On the positive side, we give an efficient algorithm to compute the cosecure domination number of chain graphs, which is an important subclass of bipartite graphs. In addition, we show that the problem is linear-time solvable for bounded tree-width graphs. Further, we prove that the computational complexity of this problem varies from the domination problem.
Construction numbers: How to build a graph?
A construction sequence for a graph is a listing of the elements of the graph (the set of vertices and edges) such that each edge follows both its endpoints. The construction number of the graph is the number of such sequences. We determine this number for various graph families.
The number of descendants in a random directed acyclic graph
We consider a well known model of random directed acyclic graphs of order $n$, obtained by recursively adding vertices, where each new vertex has a fixed outdegree $d\ge2$ and the endpoints of the $d$ edges from it are chosen uniformly at random among previously existing vertices.
Our main results concern the number $X$ of vertices that are descendants of $n$. We show that $X/\sqrt n$ converges in distribution; the limit distribution is, up to a constant factor, given by the $d$th root of a Gamma distributed variable. $Γ(d/(d-1))$. When $d=2$, the limit distribution can also be described as a chi distribution $χ(4)$. We also show convergence of moments, and find thus the asymptotics of the mean and higher moments.
The least distance eigenvalue of the complements of graphs of diameter greater than three
Suppose $G$ is a connected simple graph with the vertex set $V( G ) = \{ v_1,v_2,\cdots ,v_n \} $. Let $d_G( v_i,v_j ) $ be the least distance between $v_i$ and $v_j$ in $G$. Then the distance matrix of $G$ is $D( G ) =( d_{ij} ) _{n\times n}$, where $d_{ij}=d_G( v_i,v_j ) $. Since $D( G )$ is a non-negative real symmetric matrix, its eigenvalues can be arranged as $λ_1(G)\ge λ_2(G)\ge \cdots \ge λ_n(G)$, where eigenvalue $λ_n(G)$ is called the least distance eigenvalue of $G$. In this paper we determine the unique graph whose least distance eigenvalue attains maximum among all complements of graphs of diameter greater than three.