graph
35396 papers tagged with this keyword
A Fixed-Parameter Algorithm for the Kneser Problem
The Kneser graph $K(n,k)$ is defined for integers $n$ and $k$ with $n \geq 2k$ as the graph whose vertices are all the $k$-subsets of $\{1,2,\ldots,n\}$ where two such sets are adjacent if they are disjoint. A classical result of Lovász asserts that the chromatic number of $K(n,k)$ is $n-2k+2$. In the computational Kneser problem, we are given an oracle access to a coloring of the vertices of $K(n,k)$ with $n-2k+1$ colors, and the goal is to find a monochromatic edge. We present a randomized algorithm for the Kneser problem with running time $n^{O(1)} \cdot k^{O(k)}$. This shows that the problem is fixed-parameter tractable with respect to the parameter $k$. The analysis involves structural results on intersecting families and on induced subgraphs of Kneser graphs.
We also study the Agreeable-Set problem of assigning a small subset of a set of $m$ items to a group of $\ell$ agents, so that all agents value the subset at least as much as its complement. As an application of our algorithm for the Kneser problem, we obtain a randomized polynomial-time algorithm for the Agreeable-Set problem for instances that satisfy $\ell \geq m - O(\frac{\log m}{\log \log m})$. We further show that the Agreeable-Set problem is at least as hard as a variant of the Kneser problem with an extended access to the input coloring.
On restricted completions of chordal and trivially perfect graphs
Published
• View Publication
• BIB
Let $G$ be a graph having a vertex $v$ such that $H = G - v$ is a trivially perfect graph. We give a polynomial-time algorithm for the problem of deciding whether it is possible to add at most $k$ edges to $G$ to obtain a trivially perfect graph. This is a slight variation of the well-studied {\sc Edge Completion}, also known as {\sc Minimum Fill-In}, problem. We also show that if $H$ is a chordal graph, then the problem of deciding whether it is possible to add at most $k$ edges to $G$ to obtain a chordal graph is \NP-complete.
On the Shannon capacity of sums and products of graphs
Published
• View Publication
• BIB
Let $Θ(G)$ denote the Shannon capacity of a graph $G$. We give an elementary proof of the equivalence, for any graphs $G$ and $H$, of the inequalities $Θ(G\sqcup H)>Θ(G)+Θ(H)$ and $Θ(G\boxtimes H)>Θ(G)Θ(H)$. This was shown independently by Wigderson and Zuiddam [2022] using Kadison-Dubois duality and the Axiom of choice.
The average Euler-genus of the vertex-amalgamation of signed graphs
In this paper, we first generalize a theorem for counting the number of faces of an oriented embedding of a graph that passing through a given cut-edge set [S. Stahl, Trans. Amer. Math. Soc. 259 (1980), 129--145] to all surfaces. Then we extend Stahl's bounds for the average genus of the vertex-amalgamation of graphs [S. Stahl, Discrete Math. 142 (1995), 235--245] to signed graphs.
On The Complexity of Matching Cut for Graphs of Bounded Radius and $H$-Free Graphs
Published
• View Publication
• BIB
For a connected graph $G=(V,E)$, a matching $M\subseteq E$ is a matching cut of $G$ if $G-M$ is disconnected. It is known that for an integer $d$, the corresponding decision problem Matching Cut is polynomial-time solvable for graphs of diameter at most $d$ if $d\leq 2$ and NP-complete if $d\geq 3$. We prove the same dichotomy for graphs of bounded radius. For a graph $H$, a graph is $H$-free if it does not contain $H$ as an induced subgraph. As a consequence of our result, we can solve Matching Cut in polynomial time for $P_6$-free graphs, extending a recent result of Feghali for $P_5$-free graphs. We then extend our result to hold even for $(sP_3+P_6)$-free graphs for every $s\geq 0$ and initiate a complexity classification of Matching Cut for $H$-free graphs.
The Merino--Welsh conjecture for split matroids
Published in Ann. Comb. 27, pp. 737-748 (2023)
• View Publication
• BIB
In 1999 Merino and Welsh conjectured that evaluations of the Tutte polynomial of a graph satisfy an inequality. In this short article we show that the conjecture generalized to matroids holds for the large class of all split matroids by exploiting the structure of their lattice of cyclic flats. This class of matroids strictly contains all paving and copaving matroids.
The Extremal Function for Apex Graphs
McCarty and Thomas conjectured that a linklessly embeddable graph with $n\ge 7 $ vertices and $t$ triangles has at most $3n-9 +\frac{t}{3}$ edges. Thomas and Yoo proved this to be true for apex graphs. We give a shorter and simpler proof for the apex case.
A combinatorial proof of the Burdzy-Pitman conjecture
Published
• View Publication
• BIB
We prove a sharp upper bound for the number of high degree differences in bipartite graphs: let $ (U, V, E)$ be a bipartite graph with $U=\{u_1, u_2, \dots, u_n\}$ and $V=\{v_1, v_2, \dots, v_n\}$; for $n\ge k>\frac{n}{2}$ we show that $\sum_{1\le i,j \le n} 1 {\Big\{|\text{deg}(u_i)-\text{deg}(v_j)|\ge k}\Big\} \le 2k(n-k).$ As a direct application we show a slightly stronger, probabilistic version of this theorem and thus confirm the Burdzy-Pitman conjecture about the maximal spread of coherent and independent distributions.
Facets of Random Symmetric Edge Polytopes, Degree Sequences, and Clustering
Published in Discrete Mathematics & Theoretical Computer Science, vol. 25:2, Combinatorics (December 11, 2023) dmtcs:9925
• View Publication
• BIB
Symmetric edge polytopes are lattice polytopes associated with finite simple graphs that are of interest in both theory and applications. We investigate the facet structure of symmetric edge polytopes for various models of random graphs. For an Erdős-Renyi random graph, we identify a threshold probability at which with high probability the symmetric edge polytope shares many facet-supporting hyperplanes with that of a complete graph. We also investigate the relationship between the average local clustering, also known as the Watts-Strogatz clustering coefficient, and the number of facets for graphs with either a fixed number of edges or a fixed degree sequence. We use well-known Markov Chain Monte Carlo sampling methods to generate empirical evidence that for a fixed degree sequence, higher average local clustering in a connected graph corresponds to higher facet numbers in the associated symmetric edge polytope.
The vertex connectivity of some classes of divisible design graphs
Published
• View Publication
• BIB
A $k$-regular graph is called a divisible design graph if its vertex set can be partitioned into $m$ classes of size $n$, such that two distinct vertices from the same class have exactly $λ_1$ common neighbours, and two vertices from different classes have exactly $λ_2$ common neighbours. In this paper, we find the vertex connectivity of some classes of divisible design graphs, in particular, we present examples of divisible design graphs, whose vertex connectivity is less than $k$, where $k$ is the degree of a vertex. We also show that the vertex connectivity a divisible design graphs may be less than $k$ by any power of 2.
On coloring of graphs of girth 2l + 1 without longer odd holes
Published
• View Publication
• BIB
A hole is an induced cycle of length at least 4. Let $ł\ge 2$ be a positive integer, let ${\cal G}_l$ denote the family of graphs which have girth $2ł+1$ and have no holes of odd length at least $2ł+3$, and let $G\in {\cal G}_ł$. For a vertex $u\in V(G)$ and a nonempty set $S\subseteq V(G)$, let $d(u, S)=\min\{d(u, v):v\in S\}$, and let $L_i(S)=\{u\in V(G) \mbox{ and } d(u, S)=i\}$ for any integer $i\ge 0$. We show that if $G[S]$ is connected and $G[L_i(S)]$ is bipartite for each $i\in\{1, \ldots, \lfloor{ł\over 2}\rfloor\}$, then $G[L_i(S)]$ is bipartite for each $i>0$, and consequently $χ(G)\le 4$, where $G[S]$ denotes the subgraph induced by $S$. Let $θ^-$ be the graph obtained from the Petersen graph by deleting three vertices which induce a path, let $θ^+$ be the graph obtained from the Petersen graph by deleting two adjacent vertices, and let $θ$ be the graph obtained from $θ^+$ by removing an edge incident with two vertices of degree 3. For a graph $G\in{\cal G}_2$, we show that if $G$ is 3-connected and has no unstable 3-cutset then $G$ must induce either $θ$ or $θ^-$ but does not induce $θ^+$. As corollaries, $χ(G)\le 3$ for every graph $G$ of ${\cal G}_2$ that induces neither $θ$ nor $θ^-$, and minimal non-3-colorable graphs of ${\cal G}_2$ induce no $θ^+$.
The Ceresa class and tropical curves of hyperelliptic type
Published
• View Publication
• BIB
We define a new algebraic invariant of a graph $G$ called the Ceresa-Zharkov class and show that it is trivial if and only if $G$ is of hyperelliptic type, equivalently, $G$ does not have as a minor the complete graph on 4 vertices or the loop of 3 loops. After choosing edge-lengths, this class specializes to an algebraic invariant of a tropical curve with underlying graph $G$ that is closely related to the Ceresa cycle for an algebraic curve defined over $\mathbb{C}(\!(t)\!)$.
Total domination number of middle graphs
Published
• View Publication
• BIB
A total dominating set of a graph G with no isolated vertices is a subset S of the vertex set such that every vertex of G is adjacent to a vertex in S. The total domination number of G is the minimum cardinality of a total dominating set of G. In this paper, we study the total domination number of middle graphs. Indeed, we obtain tight bounds for this number in terms of the order of the graph G. We also compute the total domination number of the middle graph of some known families of graphs explicitly. Moreover, some Nordhaus-Gaddum-like relations are presented for the total domination number of middle graphs.
The chromatic number of (P_5, HVN )-free graphs
Published
• View Publication
• BIB
Let $G$ be a graph. We use $χ(G)$ and $ω(G)$ to denote the chromatic number and clique number of $G$ respectively. A $P_5$ is a path on 5 vertices, and an $HVN$ is a $K_4$ together with one more vertex which is adjacent to exactly two vertices of $K_4$. Combining with some known result, in this paper we show that if $G$ is $(P_5, \textit{HVN})$-free, then $χ(G)\leq \max\{\min\{16, ω(G)+3\}, ω(G)+1\}$. This upper bound is almost sharp.
Colourings of path systems
Published
• View Publication
• BIB
A $P_m$ path in a graph is a path on $m$ vertices. A $P_m$ system of order $n>1$ is a partition of the edges of the complete graph $K_n$ into $P_m$ paths. A $P_m$ system is said to be $k$-colourable if the vertex set of $K_n$ can be partitioned into $k$ sets called colour classes such that no path in the system is monochromatic. The system is $k$-chromatic if it is $k$-colourable but is not $(k-1)$-colourable. If every $k$-colouring of a $P_m$ system can be obtained from some $k$-colouring $φ$ by a permutation of the colours, we say that the system is uniquely $k$-colourable. In this paper, we first observe that there exists a $k$-chromatic $P_m$ system for any $k\geq 2$ and $m\geq 4$ where $m$ is even. Next, we prove that there exists an equitably 2-chromatic $P_4$ system of order $n$ for each admissible order $n$. We then show that for all $k\geq 3$, there exists a $k$-chromatic $P_4$ system of order $n$ for all sufficiently large admissible $n$. Finally, we show that there exists a uniquely 2-chromatic $P_4$ system of order $n$ for each admissible $n \geq 109$.
Hamiltonicity in generalized quasi-dihedral groups
Published
• View Publication
• BIB
Witte Morris showed in [21] that every connected Cayley graph of a finite (generalized) dihedral group has a Hamiltonian path. The infinite dihedral group is defined as the free product with amalgamation $\mathbb Z_2 \ast \mathbb Z_2$. We show that every connected Cayley graph of the infinite dihedral group has both a Hamiltonian double ray, and extend this result to all two-ended generalized quasi-dihedral groups.
Galactic Token Sliding
Published
• View Publication
• BIB
Given a graph $G$ and two independent sets $I_s$ and $I_t$ of size $k$, the independent set reconfiguration problem asks whether there exists a sequence of $k$-sized independent sets $I_s = I_0, I_1, I_2, \ldots, I_\ell = I_t$ such that each independent set is obtained from the previous one using a so-called reconfiguration step. Viewing each independent set as a collection of $k$ tokens placed on the vertices of a graph $G$, the two most studied reconfiguration steps are token jumping and token sliding. In the token jumping variant of the problem, a single step allows a token to jump from one vertex to any other vertex in the graph. In the token sliding variant, a token is only allowed to slide from a vertex to one of its neighbors. Like the independent set problem, both of the aforementioned problems are known to be W[1]-hard on general graphs. A very fruitful line of research has showed that the independent set problem becomes fixed-parameter tractable when restricted to sparse graph classes, such as planar, bounded treewidth, nowhere-dense, and all the way to biclique-free graphs. Over a series of papers, the same was shown to hold for the token jumping problem. As for the token sliding problem, which is mentioned in most of these papers, almost nothing is known beyond the fact that the problem is polynomial-time solvable on trees and interval graphs. We remedy this situation by introducing a new model for the reconfiguration of independent sets, which we call galactic reconfiguration. Using this new model, we show that (standard) token sliding is fixed-parameter tractable on graphs of bounded degree, planar graphs, and chordal graphs of bounded clique number. We believe that the galactic reconfiguration model is of independent interest and could potentially help in resolving the remaining open questions concerning the (parameterized) complexity of token sliding.
The topology of independence complexes of square grids
The independence complex of a graph G is a simplicial complex whose simplices are the independent sets in G. In the last couple of decades, the independence complexes of square grids (with various boundary conditions) have gained much attention because of their connections with the hard square model from statistical physics. In this article, we prove that if G is an $m\times n$ grid with open or cylindrical boundary condition then its independence complex is homotopy equivalent to a wedge of spheres. A part of this result settles a conjecture of Iriye.
Several Roman domination graph invariants on Kneser graphs
Published in Discrete Mathematics & Theoretical Computer Science, vol. 25:1, Graph Theory (May 26, 2023) dmtcs:10506
• View Publication
• BIB
This paper considers the following three Roman domination graph invariants on Kneser graphs:
Roman domination, total Roman domination, and signed Roman domination.
For Kneser graph $K_{n,k}$, we present exact values for Roman domination number $γ_{R}(K_{n,k})$ and total Roman domination number $γ_{tR}(K_{n,k})$ proving that for $n\geqslant k(k+1)$, $γ_{R}(K_{n,k}) =γ_{tR}(K_{n,k}) = 2(k+1)$. For signed Roman domination number $γ_{sR}(K_{n,k})$, the new lower and upper bounds for $K_{n,2}$ are provided: we prove that for $n\geqslant 12$, the lower bound is equal to 2, while the upper bound depends on the parity of $n$ and is equal to 3 if $n$ is odd, and equal to $5$ if $n$ is even. For graphs of smaller dimensions, exact values are found by applying exact methods from literature.
Square coloring planar graphs with automatic discharging
Published
• View Publication
• BIB
The discharging method is a powerful proof technique, especially for graph coloring problems. Its major downside is that it often requires lengthy case analyses, which are sometimes given to a computer for verification. However, it is much less common to use a computer to actively look for a discharging proof. In this paper, we use a Linear Programming approach to automatically look for a discharging proof. While our system is not entirely autonomous, we manage to make some progress towards Wegner's conjecture for distance-$2$ coloring of planar graphs, by showing that $12$ colors are sufficient to color at distance $2$ every planar graph with maximum degree $4$.