graph
35367 papers tagged with this keyword
Effects of Backtracking on PageRank
Published
• View Publication
• BIB
In this paper, we consider three variations on standard PageRank: Non-backtracking PageRank, $μ$-PageRank, and $\infty$-PageRank, all of which alter the standard formula by adjusting the likelihood of backtracking in the algorithm's random walk. We show that in the case of regular and bipartite biregular graphs, standard PageRank and its variants are equivalent. We also compare each centrality measure and investigate their clustering capabilities.
On Jacobian group of the $Δ$-graph
Published
• View Publication
• BIB
In the present paper we compute the Jacobian group of $Δ$-graph $Δ(n; k, l, m).$ The notion of $Δ$-graph continues the list of families of $I$-, $Y$- and $H$-graphs well-known in the graph theory. In particular, graph $Δ(n; 1, 1, 1)$ is isomorphic to discrete torus $C_3\times C_n.$ It this case, the structure of the Jacobian group will be find explicitly.
Clique covers of H-free graphs
Published
• View Publication
• BIB
It takes $n^2/4$ cliques to cover all the edges of a complete bipartite graph $K_{n/2,n/2}$, but how many cliques does it take to cover all the edges of a graph $G$ if $G$ has no $K_{t,t}$ induced subgraph? We prove that $O(|G|^{2-1/(2t)})$ cliques suffice; and also prove that, even for graphs with no stable set of size four, we may need more than linearly many cliques. This settles two questions discussed at a recent conference in Lyon.
Stabilization of Capacitated Matching Games
Published
• View Publication
• BIB
An edge-weighted, vertex-capacitated graph G is called stable if the value of a maximum-weight capacity-matching equals the value of a maximum-weight fractional capacity-matching. Stable graphs play a key role in characterizing the existence of stable solutions for popular combinatorial games that involve the structure of matchings in graphs, such as network bargaining games and cooperative matching games.
The vertex-stabilizer problem asks to compute a minimum number of players to block (i.e., vertices of G to remove) in order to ensure stability for such games. The problem has been shown to be solvable in polynomial-time, for unit-capacity graphs. This stays true also if we impose the restriction that the set of players to block must not intersect with a given specified maximum matching of G.
In this work, we investigate these algorithmic problems in the more general setting of arbitrary capacities. We show that the vertex-stabilizer problem with the additional restriction of avoiding a given maximum matching remains polynomial-time solvable. Differently, without this restriction, the vertex-stabilizer problem becomes NP-hard and even hard to approximate, in contrast to the unit-capacity case.
Finally, in unit-capacity graphs there is an equivalence between the stability of a graph, existence of a stable solution for network bargaining games, and existence of a stable solution for cooperative matching games. We show that this equivalence does not extend to the capacitated case.
Online size Ramsey numbers: Path vs $C_4$
Published
• View Publication
• BIB
Given two graphs $G$ and $H$, a size Ramsey game is played on the edge set of $K_\mathbb{N}$. In every round, Builder selects an edge and Painter colours it red or blue. Builder's goal is to force Painter to create a red copy of $G$ or a blue copy of $H$ as soon as possible. The online (size) Ramsey number $\tilde r(G,H)$ is the number of rounds in the game provided Builder and Painter play optimally. We prove that $\tilde r(C_4,P_n)\le 2n-2$ for every $n\ge 8$. The upper bound matches the lower bound obtained by J. Cyman, T. Dzido, J. Lapinskas, and A. Lo, so we get $\tilde r(C_4,P_n)=2n-2$ for $n\ge 8$. Our proof for $n\le 13$ is computer assisted. The bound $\tilde r(C_4,P_n)\le 2n-2$ solves also the "all cycles vs. $P_n$" game for $n\ge 8$ $-$ it implies that it takes Builder $2n-2$ rounds to force Painter to create a blue path on $n$ vertices or any red cycle.
Some invariants related to threshold and chain graphs
Published
• View Publication
• BIB
Let G = (V, E) be a finite simple connected graph. We say a graph G realizes a code of the type 0^s_1 1^t_1 0^s_2 1^t_2 ... 0^s_k1^t_k if and only if G can obtained from the code by some rule. Some classes of graphs such as threshold and chain graphs realizes a code of the above mentioned type. In this paper, we develop some computationally feasible methods to determine some interesting graph theoretical invariants. We present an efficient algorithm to determine the metric dimension of threshold and chain graphs. We compute threshold dimension and restricted threshold dimension of threshold graphs. We discuss L(2, 1)-coloring of threshold and chain graphs. In fact, for every threshold graph G, we establish a formula by which we can obtain the λ-chromatic number of G. Finally, we provide an algorithm to compute the λ-chromatic number of chain graphs.
Typical values of extremal-weight combinatorial structures with independent symmetric weights
Published in Electron. J. Combin. 30 (2023), no. 1, Paper No. 1.12, 12 pp
• View Publication
• BIB
Suppose that the edges of a complete graph are assigned weights independently at random and we ask for the weight of the minimal-weight spanning tree, or perfect matching, or Hamiltonian cycle. For these and several other common optimisation problems, we establish asymptotically tight bounds when the weights are independent copies of a symmetric random variable (satisfying a mild condition on tail probabilities), in particular when the weights are Gaussian.
Finding Almost Tight Witness Trees
Published
• View Publication
• BIB
This paper addresses a graph optimization problem, called the Witness Tree problem, which seeks a spanning tree of a graph minimizing a certain non-linear objective function. This problem is of interest because it plays a crucial role in the analysis of the best approximation algorithms for two fundamental network design problems: Steiner Tree and Node-Tree Augmentation. We will show how a wiser choice of witness trees leads to an improved approximation for Node-Tree Augmentation, and for Steiner Tree in special classes of graphs.
General polygonal line tilings and their matching complexes
Published
• View Publication
• BIB
A (general) polygonal line tiling is a graph formed by a string of cycles, each intersecting the previous at an edge, no three intersecting. In 2022, Matsushita proved the matching complex of a certain type of polygonal line tiling with even cycles is homotopy equivalent to a wedge of spheres. In this paper, we extend Matsushita's work to include a larger family of graphs and carry out a closer analysis of lines of triangle and pentagons, where the Fibonacci numbers arise.
Spectral conditions for spherical two-distance sets
Published in Discrete Mathematics, Volume 349, Issue 3, 2026
• View Publication
• BIB
A set of points $S$ in $d$-dimensional Euclidean space $\mathbb{R}^d$ is called a 2-distance set if the set of pairwise distances between the points has cardinality two. The 2-distance set is called spherical if its points lie on the unit sphere in $\mathbb{R}^{d}$. We characterize the spherical 2-distance sets using the spectrum of the adjacency matrix of an associated graph and the spectrum of the projection of the adjacency matrix onto the orthogonal complement of the all-ones vector. We also determine the lowest dimensional space in which a given spherical 2-distance set could be represented using the graph spectrum.
A generalization on spectral extrema of $K_{s,t}$-minor free graphs
Published
• View Publication
• BIB
The spectral extrema problems on forbidding minors have aroused wide attention. Very recently, Zhai and Lin [J. Combin. Theory Ser. B 157 (2022) 184--215] determined the extremal graph with maximum adjacency spectral radius among all $K_{s,t}$-minor free graphs of sufficiently large order. The matrix $A_α(G)$ is a generalization of the adjacency matrix $A(G)$, which is defined by Nikiforov \cite{Nikiforov2} as $$A_α(G) = αD(G) + (1 - α)A(G),$$ where $0\leqα\leq1$. Given a graph $F$, the $A_α$-spectral extrema problem is to determine the maximum spectral radius of $A_α(G)$ or characterize the extremal graph among all graphs with no subgraph isomorphic to $F$. For $α=0$, the matrix $A_α(G)$ is exactly the adjacency matrix $A(G)$. Motivated by the nice work of Zhai and Lin, in this paper we determine the extremal graph with maximum $A_α$-spectral radius among all $K_{s,t}$-minor free graphs of sufficiently large order, where $0<α<1$ and $2\leq s\leq t$. As by-products, we completely solve the Conjecture posed by Chen and Zhang in [Linear Multilinear Algebra 69 (10) (2021) 1922--1934].
On the Laplacian spectrum of $k$-symmetric graphs
Published
• View Publication
• BIB
For some positive integer $k$, if the finite cyclic group $\mathbb{Z}_k$ can act freely on a graph $G$, then we say that $G$ is $k$-symmetric. In 1985, Faria showed that the multiplicity of Laplacian eigenvalue 1 is greater than or equal to the difference between the number of pendant vertices and the number of quasi-pendant vertices. But if a graph has a pendant vertex, then it is at most 1-connected. In this paper, we investigate a class of 2-connected $k$-symmetric graphs with a Laplacian eigenvalue 1. We also identify a class of $k$-symmetric graphs in which all Laplacian eigenvalues are integers.
Treedepth vs circumference
Published in Combinatorica, 43:659--664, 2023
• View Publication
• BIB
The circumference of a graph $G$ is the length of a longest cycle in $G$, or $+\infty$ if $G$ has no cycle. Birmelé (2003) showed that the treewidth of a graph $G$ is at most its circumference minus $1$. We strengthen this result for $2$-connected graphs as follows: If $G$ is $2$-connected, then its treedepth is at most its circumference. The bound is best possible and improves on an earlier quadratic upper bound due to Marshall and Wood (2015).
Introduction to total coalitions in graphs
Published
• View Publication
• BIB
Let $G$ be a graph with vertex set $V$. Two disjoint sets $V_1, V_2\subseteq V$ are called a total coalition in $G$, if neither $V_1$ and $V_2$ is a total dominating set of $G$ but $V_1\cup V_2$ is a total dominating set. A total coalition partition of $G$ is a vertex partition $π=\{V_1,V_2,\ldots, V_k\}$ such that no set of $π$ is a total dominating set but each set $V_i\in π$ forms a total coalition with another set $V_j\in π$. The maximum cardinality of a total coalition partition of $G$ is called the total coalition number of $G$, denoted by $TC(G)$. In this paper, we initiate the study of the total coalition in graphs and its properties.
A construction of a $\frac{3}{2}$-tough plane triangulation with no 2-factor
Published
• View Publication
• BIB
In 1956, Tutte proved the celebrated theorem that every 4-connected planar graph is hamiltonian. This result implies that every more than $\frac{3}{2}$-tough planar graph on at least three vertices is hamiltonian and so has a 2-factor. Owens in 1999 constructed non-hamiltonian maximal planar graphs of toughness arbitrarily close to $\frac{3}{2}$ and asked whether there exists a maximal non-hamiltonian planar graph of toughness exactly $\frac{3}{2}$. In fact, the graphs Owens constructed do not even contain a 2-factor. Thus the toughness of exactly $\frac{3}{2}$ is the only case left in asking the existence of 2-factors in tough planar graphs. This question was also asked by Bauer, Broersma, and Schmeichel in a survey. In this paper, we close this gap by constructing a maximal $\frac{3}{2}$-tough plane graph with no 2-factor, answering the question asked by Owens as well as by Bauer, Broersma, and Schmeichel.
A Cut-Matching Game for Constant-Hop Expanders
Published
• View Publication
• BIB
This paper extends and generalizes the well-known cut-matching game framework and provides a novel cut-strategy that produces constant-hop expanders.
Constant-hop expanders are a significant strengthening of regular expanders with the additional guarantee that any demand can be (obliviously) routed along constant-hop flow-paths - in contrast to the $Ω(\log n)$-hop paths in expanders.
Cut-matching games for expanders are key tools for obtaining linear-time approximation algorithms for many hard problems, including finding (balanced or approximately-largest) sparse cuts, certifying the expansion of a graph by embedding an (explicit) expander, as well as computing expander decompositions, hierarchical cut decompositions, oblivious routings, multi-cuts, and multi-commodity flows.
The cut-matching game of this paper is crucial in extending this versatile and powerful machinery to constant-hop and length-constrained expanders and has been already been extensively used. For example, as a key ingredient in several recent breakthroughs, including, computing constant-approximate $k$-commodity (min-cost) flows in $(m+k)^{1+ε}$ time as well as the optimal constant-approximate deterministic worst-case fully-dynamic APSP-distance oracle - in all applications the constant-approximation factor directly traces to and crucially relies on the expanders from a cut-matching game guaranteeing constant-hop routing paths.
Algorithmic Applications of Hypergraph and Partition Containers
Published
• View Publication
• BIB
We present a general method to convert algorithms into faster algorithms for almost-regular input instances. Informally, an almost-regular input is an input in which the maximum degree is larger than the average degree by at most a constant factor. This family of inputs vastly generalizes several families of inputs for which we commonly have improved algorithms, including bounded-degree inputs and random inputs. It also generalizes families of inputs for which we don't usually have faster algorithms, including regular-inputs of arbitrarily high degree and very dense inputs. We apply our method to achieve breakthroughs in exact algorithms for several central NP-Complete problems including $k$-SAT, Graph Coloring, and Maximum Independent Set.
Our main tool is the first algorithmic application of the relatively new Hypergraph Container Method (Saxton and Thomason 2015, Balogh, Morris and Samotij 2015). This recent breakthrough, which generalizes an earlier version for graphs (Kleitman and Winston 1982, Sapozhenko 2001), has been used extensively in recent years in extremal combinatorics. An important component of our work is the generalization of (hyper-)graph containers to Partition Containers.
Maximum odd induced subgraph of a graph concerning its chromatic number
Published
• View Publication
• BIB
Let $f_{o}(G)$ be the maximum order of an odd induced subgraph of $G$. In 1992, Scott proposed a conjecture that $f_{o}(G)\geq \frac {n} {2χ(G)}$ for a graph $G$ of order $n$ without isolated vertices, where $χ(G)$ is the chromatic number of $G$. In this paper, we show that the conjecture is not true for bipartite graphs, but is true for all line graphs. In addition, we also disprove a conjecture of Berman, Wang and Wargo in 1997, which states that $f_{o}(G)\geq 2\lfloor\frac {n} {4}\rfloor$ for a connected graph $G$ of order $n$. Scott's conjecture is open for a graph with chromatic number at least 3.
Components of domino tilings under flips in quadriculated cylinder and torus
Published
• View Publication
• BIB
In a region $R$ consisting of unit squares, a domino is the union of two adjacent squares and a (domino) tiling is a collection of dominoes with disjoint interior whose union is the region. The flip graph $\mathcal{T}(R)$ is defined on the set of all tilings of $R$ such that two tilings are adjacent if we change one to another by a flip (a $90^{\circ}$ rotation of a pair of side-by-side dominoes). It is well-known that $\mathcal{T}(R)$ is connected when $R$ is simply connected. By using graph theoretical approach, we show that the flip graph of $2m\times(2n+1)$ quadriculated cylinder is still connected, but the flip graph of $2m\times(2n+1)$ quadriculated torus is disconnected and consists of exactly two isomorphic components. For a tiling $t$, we associate an integer $f(t)$, forcing number, as the minimum number of dominoes in $t$ that is contained in no other tilings. As an application, we obtain that the forcing numbers of all tilings in $2m\times (2n+1)$ quadriculated cylinder and torus form respectively an integer interval whose maximum value is $(n+1)m$.
The weak saturation number of $\boldsymbol{K_{2, t}}$
Published
• View Publication
• BIB
For two graphs $G$ and $F$, we say that $G$ is weakly $F$-saturated if $G$ contains no copy of $F$ as a subgraph and one could join all the nonadjacent pairs of vertices of $G$ in some order so that a new copy of $F$ is created at each step. The weak saturation number $\mathrm{wsat}(n, F)$ is the minimum number of edges of a weakly $F$-saturated graph on $n$ vertices. In this paper, we examine $\mathrm{wsat}(n, K_{s, t})$, where $K_{s, t}$ is the complete bipartite graph with parts of sizes $s$ and $ t $.
We determine $\mathrm{wsat}(n, K_{2, t})$, correcting a previous report in the literature. It is also shown that $\mathrm{wsat}(s+t, K_{s,t})=\binom{s+t-1}{2}$ if $\gcd(s, t)=1$ and $\mathrm{wsat}(s+t, K_{s,t})=\binom{s+t-1}{2}+1$, otherwise.