graph
34828 papers tagged with this keyword
Treewidth Bounds for Planar Graphs Using Three-Sided Brambles
Square grids play a pivotal role in Robertson and Seymour's work on graph minors as planar obstructions to small treewidth. We introduce a three-sided bramble in a plane graph called a net, which generalizes the standard bramble of crosses in a square grid. We then characterize any minimal cover of a net as a tree drawn in the plane.
We use nets in an $O(n^3)$ time algorithm that computes both upper and lower bounds on the bramble number (hence treewidth) of any planar graph. Let $G$ be a planar graph, $BN(G)$ be its bramble number and $λ(G)$ be the largest order of any net in a subgraph of $G$. Our algorithm outputs a constant, $KB$, so that $λ(G)/4 \leq KB \leq BN(G)\leq 4KB \leq 4λ(G)$.
Let $s(G)$ be the size of a side of the largest square grid minor of $G$. Smith (2015) has shown that $λ(G) \geq s(G)$. Our upper bound improves that of Grigoriev (2011) when $λ(G)\leq (5/4)s(G)$. We correct a lower bound of Bodlaender, Grigoriev and Koster (2008) to $s(G)/5$ (instead of $s(G)/4$) and thus the lower bound of $λ(G)/4$ on our approximation is an improvement.
A splitter theorem for 3-connected 2-polymatroids
Published
• View Publication
• BIB
Seymour's Splitter Theorem is a basic inductive tool for dealing with $3$-connected matroids. This paper proves a generalization of that theorem for the class of $2$-polymatroids. Such structures include matroids, and they model both sets of points and lines in a projective space and sets of edges in a graph. A series compression in such a structure is an analogue of contracting an edge of a graph that is in a series pair. A $2$-polymatroid $N$ is an s-minor of a $2$-polymatroid $M$ if $N$ can be obtained from $M$ by a sequence of contractions, series compressions, and dual-contractions, where the last are modified deletions. The main result proves that if $M$ and $N$ are $3$-connected $2$-polymatroids such that $N$ is an s-minor of $M$, then $M$ has a $3$-connected s-minor $M'$ that has an s-minor isomorphic to $N$ and has $|E(M)| - 1$ elements unless $M$ is a whirl or the cycle matroid of a wheel. In the exceptional case, such an $M'$ can be found with $|E(M)| - 2$ elements.
Minimum Connected Transversals in Graphs: New Hardness Results and Tractable Cases Using the Price of Connectivity
Published
• View Publication
• BIB
We perform a systematic study in the computational complexity of the connected variant of three related transversal problems: Vertex Cover, Feedback Vertex Set, and Odd Cycle Transversal. Just like their original counterparts, these variants are NP-complete for general graphs. A graph $G$ is $H$-free for some graph $H$ if $G$ contains no induced subgraph isomorphic to $H$. It is known that Connected Vertex Cover is NP-complete even for $H$-free graphs if $H$ contains a claw or a cycle. We show that the two other connected variants also remain NP-complete if $H$ contains a cycle or claw. In the remaining case $H$ is a linear forest. We show that Connected Vertex Cover, Connected Feedback Vertex Set, and Connected Odd Cycle Transversal are polynomial-time solvable for $sP_2$-free graphs for every constant $s\geq 1$. For proving these results we use known results on the price of connectivity for vertex cover, feedback vertex set, and odd cycle transversal. This is the first application of the price of connectivity that results in polynomial-time algorithms.
Restricted size Ramsey number for $P_3$ versus cycles
Published
• View Publication
• BIB
Let $F$, $G$ and $H$ be simple graphs. We say $F \rightarrow (G, H)$ if for every $2$-coloring of the edges of $F$ there exists a monochromatic $G$ or $H$ in $F$. The Ramsey number $r(G, H)$ is defined as $r(G, H) = min\{|V (F)|: F \rightarrow (G, H)\}$, while the restricted size Ramsey number $r^{*}(G, H)$ is defined as $r^{*}(G, H) = min\{|E (F)|: F \rightarrow (G, H) , |V (F) | = r(G, H)\}$. In this paper we determine previously unknown restricted size Ramsey numbers $r^{*}(P_3, C_n)$ for $7 \leq n \leq 12$. We also give new upper bound $r^{*}(P_3, C_n) \leq 2n-2$ for even $n \geq 8$.
There is but one PDS in $\mathbb{Z}^{3}$ inducing just square components
It is known that in the unit distance graph of the lattice $\mathbb{Z}^3\subset\mathbb{R}^3$ there exists a dominating set $S$ with $4$-cycles as sole induced components and each vertex of $\mathbb{Z}^3\setminus S$ having a unique neighbor in $S$. We show $S$ is unique.
Smith and Critical groups of Polar Graphs
Published in J. Comb. Theory A. 167 (2019), 460-498
• View Publication
• BIB
We compute the elementary divisors of the adjacency and Laplacian matrices of families of polar graphs. These graphs have as vertices the isotropic one-dimensional subspaces of finite vector spaces with respect to non-degenerate forms, with adjacency given by orthogonality.
On Validity of Reed Conjecture for {P_5, Flag^C}-free graphs
Here we prove that Reed Conjecture is valid for {P5, Flag_Complement}-free graphs where FlagComplement is the complement of the Flag graph. Some of the known results follow as corollaries to our result. Reed conjecture is still open in general.
Numerical studies of Thompson's group F and related groups
Published in International Journal of Algebra and Computation 29.2 (2019): 179243
• View Publication
• BIB
We have developed polynomial-time algorithms to generate terms of the cogrowth series for groups $\mathbb{Z}\wr \mathbb{Z},$ the lamplighter group, $(\mathbb{Z}\wr \mathbb{Z})\wr \mathbb{Z}$ and the Navas-Brin group $B.$ We have also given an improved algorithm for the coefficients of Thompson's group $F,$ giving 32 terms of the cogrowth series. We develop numerical techniques to extract the asymptotics of these various cogrowth series. We present improved rigorous lower bounds on the growth-rate of the cogrowth series for Thompson's group $F$ using the method from \cite{HHR15} applied to our extended series. We also generalise their method by showing that it applies to loops on any locally finite graph. Unfortunately, lower bounds less than 16 do not help in determining amenability.
Again for Thompson's group $F$ we prove that, if the group is amenable, there cannot be a sub-dominant stretched exponential term in the asymptotics\footnote{ }. Yet the numerical data provides compelling evidence for the presence of such a term. This observation suggests a potential path to a proof of non-amenability: If the universality class of the cogrowth sequence can be determined rigorously, it will likely prove non-amenability.
We estimate the asymptotics of the cogrowth coefficients of $F$ to be $$ c_n \sim c \cdot μ^n \cdot κ^{n^σ\log^δ{n}} \cdot n^g,$$ where $μ\approx 15,$ $κ\approx 1/e,$ $σ\approx 1/2,$ $δ\approx 1/2,$ and $g \approx -1.$ The growth constant $μ$ must be 16 for amenability. These two approaches, plus a third based on extrapolating lower bounds, support the conjecture \cite{ERvR15, HHR15} that the group is not amenable.
A bijection of plane increasing trees with relaxed binary trees of right height at most one
Published
• View Publication
• BIB
Plane increasing trees are rooted labeled trees embedded into the plane such that the sequence of labels is increasing on any branch starting at the root. Relaxed binary trees are a subclass of unlabeled directed acyclic graphs. We construct a bijection between these two combinatorial objects and study the therefrom arising connections of certain parameters. Furthermore, we show central limit theorems for two statistics on leaves. We end the study by considering more than 20 subclasses and their bijective counterparts. Many of these subclasses are enumerated by known counting sequences, and thus enrich their combinatorial interpretation.
A note on edge degree and spanning trail containing given edges
Let $G$ be a simple graph with $n\geq4$ vertices and $d(x)+d(y)\geq n+k$ for each edge $xy\in E(G)$. In this work we prove that $G$ either contains a spanning closed trail containing any given edge set $X$ if $|X|\leq k$, or $G$ is a well characterized graph. As a corollary, we show that line graphs of such graphs are $k$-hamiltonian.
Decomposing $C_4$-free graphs under degree constraints
Published
• View Publication
• BIB
A celebrated theorem of Stiebitz asserts that any graph with minimum degree at least $s+t+1$ can be partitioned into two parts which induce two subgraphs with minimum degree at least $s$ and $t$, respectively. This resolved a conjecture of Thomassen. In this paper, we prove that for $s,t\geq 2$, if a graph $G$ contains no cycle of length four and has minimum degree at least $s+t-1$, then $G$ can be partitioned into two parts which induce two subgraphs with minimum degree at least $s$ and $t$, respectively. This improves the result of Diwan, who proved the same statement for graphs of girth at least five. Our proof also works for the case of variable functions, in which the bounds are sharp as showing by some polarity graphs. As a corollary, it follows that any graph containing no cycle of length four with minimum degree at least $k+1$ contains $k$ vertex-disjoint cycles.
On the non-existence of $srg(76,21,2,7)$
Published
• View Publication
• BIB
We present a new non-existence proof for the strongly regular graph $G$ with parameters $(76,21,2,7)$, using the unit vector representation of the graph.
Antimagic orientation of biregular bipartite graphs
Published
• View Publication
• BIB
An antimagic labeling of a directed graph $D$ with $n$ vertices and $m$ arcs is a bijection from the set of arcs of $D$ to the integers $\{1, \cdots, m\}$ such that all $n$ oriented vertex sums are pairwise distinct, where an oriented vertex sum is the sum of labels of all arcs entering that vertex minus the sum of labels of all arcs leaving it. An undirected graph $G$ is said to have an antimagic orientation if $G$ has an orientation which admits an antimagic labeling. Hefetz, M{ü}tze, and Schwartz conjectured that every connected undirected graph admits an antimagic orientation. In this paper, we support this conjecture by proving that every biregular bipartite graph admits an antimagic orientation.
The Extremal Function and Colin de Verdière Graph Parameter
Published in Electron. J. Combin. 25(2) (2018) P2.32
• View Publication
• BIB
We study the maximum number of edges in an $n$ vertex graph with Colin de Verdière parameter no more than $t$. We conjecture that for every integer $t$, if $G$ is a graph with at least $t$ vertices and Colin de Verdière parameter at most $t$, then $|E(G)| \leq t|V(G)|-\binom{t+1}{2}$. We observe a relation to the graph complement conjecture for the Colin de Verdière parameter and prove the conjectured edge upper bound for graphs $G$ such that either $μ(G) \leq 7$, or $μ(G) \geq |V(G)|-6$, or the complement of $G$ is chordal, or $G$ is chordal.
The Rees algebra of a two-Borel ideal is Koszul
Published
• View Publication
• BIB
Let $M$ and $N$ be two monomials of the same degree, and let $I$ be the smallest Borel ideal containing $M$ and $N$. We show that the toric ring of $I$ is Koszul by constructing a quadratic Gröbner basis for the associated toric ideal. Our proofs use the construction of graphs corresponding to fibers of the toric map. As a consequence, we conclude that the Rees algebra is also Koszul.
Uniquely Pressable Graphs: Characterization, Enumeration, and Recognition
Published
• View Publication
• BIB
We consider "pressing sequences", a certain kind of transformation of graphs with loops into empty graphs, motivated by an application in phylogenetics. In particular, we address the question of when a graph has precisely one such pressing sequence, thus answering an question from Cooper and Davis (2015). We characterize uniquely pressable graphs, count the number of them on a given number of vertices, and provide a polynomial time recognition algorithm. We conclude with a few open questions.
Keywords: Pressing sequence, adjacency matrix, Cholesky factorization, binary matrix
Solving the Rubik's Cube Optimally is NP-complete
Published
• View Publication
• BIB
In this paper, we prove that optimally solving an $n \times n \times n$ Rubik's Cube is NP-complete by reducing from the Hamiltonian Cycle problem in square grid graphs. This improves the previous result that optimally solving an $n \times n \times n$ Rubik's Cube with missing stickers is NP-complete. We prove this result first for the simpler case of the Rubik's Square---an $n \times n \times 1$ generalization of the Rubik's Cube---and then proceed with a similar but more complicated proof for the Rubik's Cube case.
Irregular independence and irregular domination
Published
• View Publication
• BIB
If $A$ is an independent set of a graph $G$ such that the vertices in $A$ have different degrees, then we call $A$ an irregular independent set of $G$. If $D$ is a dominating set of $G$ such that the vertices that are not in $D$ have different numbers of neighbours in $D$, then we call $D$ an irregular dominating set of $G$. The size of a largest irregular independent set of $G$ and the size of a smallest irregular dominating set of $G$ are denoted by $α_{ir}(G)$ and $γ_{ir}(G)$, respectively. We initiate the investigation of these two graph parameters. For each of them, we obtain sharp bounds in terms of basic graph parameters such as the order, the size, the minimum degree and the maximum degree, and we obtain Nordhaus-Gaddum-type bounds. We also establish sharp bounds relating the two parameters. Furthermore, we characterize the graphs $G$ with $α_{ir}(G)=1$, we determine those that are planar, and we determine those that are outerplanar.
Metric dimension of Andrasfai graphs
Published
• View Publication
• BIB
In this paper we determine the metric dimension of Andrasfai graphs and some related graphs.
On vertex-disjoint paths in regular graphs
Published
• View Publication
• BIB
Let $c\in (0, 1]$ be a real number and let $n$ be a sufficiently large integer. We prove that every $n$-vertex $c n$-regular graph $G$ contains a collection of $\lfloor 1/c \rfloor$ paths whose union covers all but at most $o(n)$ vertices of $G$. The constant $\lfloor 1/c \rfloor$ is best possible when $1/c\notin \mathbb{N}$ and off by $1$ otherwise. Moreover, if in addition $G$ is bipartite, then the number of paths can be reduced to $\lfloor 1/(2c) \rfloor$, which is best possible.