graph
34828 papers tagged with this keyword
Stabilizing Weighted Graphs
Published
• View Publication
• BIB
An edge-weighted graph $G=(V,E)$ is called stable if the value of a maximum-weight matching equals the value of a maximum-weight fractional matching. Stable graphs play an important role in some interesting game theory problems, such as network bargaining games and cooperative matching games, because they characterize instances which admit stable outcomes. Motivated by this, in the last few years many researchers have investigated the algorithmic problem of turning a given graph into a stable one, via edge- and vertex-removal operations. However, all the algorithmic results developed in the literature so far only hold for unweighted instances, i.e., assuming unit weights on the edges of $G$.
We give the first polynomial-time algorithm to find a minimum cardinality subset of vertices whose removal from $G$ yields a stable graph, for any weighted graph $G$. The algorithm is combinatorial and exploits new structural properties of basic fractional matchings, which are of independent interest. In particular, one of the main ingredients of our result is the development of a polynomial-time algorithm to compute a basic maximum-weight fractional matching with minimum number of odd cycles in its support. This generalizes a fundamental and classical result on unweighted matchings given by Balas more than 30 years ago, which we expect to prove useful beyond this particular application.
In contrast, we show that the problem of finding a minimum cardinality subset of edges whose removal from a weighted graph $G$ yields a stable graph, does not admit any constant-factor approximation algorithm, unless $P=NP$. In this setting, we develop an $O(Δ)$-approximation algorithm for the problem, where $Δ$ is the maximum degree of a node in $G$.
Enumeration of N-rooted maps using quantum field theory
Published
• View Publication
• BIB
A one-to-one correspondence is proved between the N-rooted ribbon graphs, or maps, with e edges and the (e-N+1)-loop Feynman diagrams of a certain quantum field theory. This result is used to obtain explicit expressions and relations for the generating functions of N-rooted maps and for the numbers of N-rooted maps with a given number of edges using the path integral approach applied to the corresponding quantum field theory.
On the maximum value of conflict-free verex-connection number of graphs
Published
• View Publication
• BIB
A path in a vertex-colored graph is called {\it conflict-free} if there is a color used on exactly one of its vertices. A vertex-colored graph is said to be {\it conflict-free vertex-connected} if any two vertices of the graph are connected by a conflict-free path. The {\it conflict-free vertex-connection number}, denoted by $vcfc(G)$, is defined as the smallest number of colors required to make $G$ conflict-free vertex-connected. Li et al. conjectured that for a connected graph $G$ of order $n$, $vcfc(G)\leq vcfc(P_n)$. We confirm that the conjecture is true and pose a a relevant conjecture concerning the conflict-free connection number introduced by Czap et al..
On $k$-tuple and $k$-tuple total domination numbers of regular graphs
Published
• View Publication
• BIB
Let $G$ be a connected graph of order $n$, whose minimum vertex degree is at least $k$. A subset $S$ of vertices in $G$ is a $k$-tuple total dominating set if every vertex of $G$ is adjacent to at least $k$ vertices in $S$. The minimum cardinality of a $k$-tuple total dominating set of $G$ is the $k$-tuple total domination number of $G$, denoted by $γ_{\times k,t}(G)$. Henning and Yeo in \cite{hen} proved that if $G$ is a cubic graph different from the Heawood graph, $γ_{\times 2, t}(G) \leq \frac{5}{6}n$, and this bound is sharp. Similarly, a $k$-tuple dominating set is a subset $S$ of vertices of $G$, $V (G)$ such that $|N[v] \cap S| \geq k$ for every vertex $v$, where $N[v] = \{v\}\cup \{u \in V(G) : uv \in E(G)\}$. The $k$-tuple domination number of $G$, denoted by $γ_{\times k}(G)$, is the minimum cardinality of a $k$-tuple dominating set of $G$.
In this paper, we give a simple approach to compute an upper bound for $(r-1)$-tuple total domination number of $r$-regular graphs. Also, we give an upper bound for the $r$-tuple dominating number of $r$-regular graphs. In addition, our method gives algorithms to compute dominating sets with the given bounds, while the previous methods are existential.
Predicting Melting Points by the Graovac-Pisanski Index
Published in Fuller. Nanotub. Car. N. 26 (2018) 239-245
• View Publication
• BIB
Theoretical molecular descriptors alias topological indices are a convenient means for expressing in a numerical form the chemical structure encoded in a molecular graph. The structure descriptors derived from molecular graphs are widely used in Quantitative Structure-Property Relationship (QSPR) and Quantitative Structure-Activity Relationship (QSAR).
In this paper, we are interested in the Graovac-Pisanski index (also called modified Wiener index) introduced in 1991 by Graovac and Pisanski, which encounters beside the distances in a molecular graph also its symmetries. In the QSPR analysis we first calculate the Graovac-Pisanski index for different families of hydrocarbon molecules using a simple program and then we show a correlation with the melting points of considered molecules. We show that the melting points of the alkane series can be very effectively predicted by the Graovac-Pisanski index and for the rest of considered molecules (PAH's and octane isomers) the regression models are different, but we establish some correlation with the melting points for them as well.
A vertex and edge deletion game on graphs
Starting with a graph, two players take turns in either deleting an edge or deleting a vertex and all incident edges. The player removing the last vertex wins. We review the known results for this game and extend the computation of nim-values to new families of graphs. A conjecture of Khandhawit and Ye on the nim-values of graphs with one odd cycle is proved. We also see that, for wheels and their subgraphs, this game exhibits a surprising amount of unexplained regularity.
On the sharp lower bounds of Zagreb indices of graphs with given number of cut vertices
Published
• View Publication
• BIB
The first Zagreb index of a graph $G$ is the sum of the square of every vertex degree, while the second Zagreb index is the sum of the product of vertex degrees of each edge over all edges. In our work, we solve an open question about Zagreb indices of graphs with given number of cut vertices. The sharp lower bounds are obtained for these indices of graphs in $\mathbb{V}_{n,k}$, where $\mathbb{V}_{n, k}$ denotes the set of all $n$-vertex graphs with $k$ cut vertices and at least one cycle. As consequences, those graphs with the smallest Zagreb indices are characterized.
Vizing's 2-factor Conjecture Involving Toughness and Maximum Degree Conditions
Published
• View Publication
• BIB
Let $G$ be a simple graph, and let $Δ(G)$ and $χ'(G)$ denote the maximum degree and chromatic index of $G$, respectively. Vizing proved that $χ'(G)=Δ(G)$ or $Δ(G)+1$. We say $G$ is $Δ$-critical if $χ'(G)=Δ+1$ and $χ'(H)<χ'(G)$ for every proper subgraph $H$ of $G$. In 1968, Vizing conjectured that if $G$ is a $Δ$-critical graph, then $G$ has a 2-factor. Let $G$ be an $n$-vertex $Δ$-critical graph. It was proved that if $Δ(G)\ge n/2$, then $G$ has a 2-factor; and that if $Δ(G)\ge 2n/3+12$, then $G$ has a hamiltonian cycle, and thus a 2-factor. It is well known that every 2-tough graph with at least three vertices has a 2-factor. We investigate the existence of a 2-factor in a $Δ$-critical graph under "moderate" given toughness and maximum degree conditions. In particular, we show that if $G$ is an $n$-vertex $Δ$-critical graph with toughness at least 3/2 and with maximum degree at least $n/3$, then $G$ has a 2-factor. In addition, we develop new techniques in proving the existence of 2-factors in graphs.
On the Triangle Clique Cover and $K_t$ Clique Cover Problems
Published
• View Publication
• BIB
An edge clique cover of a graph is a set of cliques that covers all edges of the graph. We generalize this concept to "$K_t$ clique cover", i.e. a set of cliques that covers all complete subgraphs on $t$ vertices of the graph, for every $t \geq 1$. In particular, we extend a classical result of Erdös, Goodman, and Pósa (1966) on the edge clique cover number ($t = 2$), also known as the intersection number, to the case $t = 3$. The upper bound is tight, with equality holding only for the Turán graph $T(n,3)$. We also extend an algorithm of Scheinerman and Trenk (1999) to solve a weighted version of the $K_t$ clique cover problem on a superclass of chordal graphs. We also prove that the $K_t$ clique cover problem is NP-hard.
Graphs determined by their $A_α$-spectra
Let $G$ be a graph with $n$ vertices, and let $A(G)$ and $D(G)$ denote respectively the adjacency matrix and the degree matrix of $G$. Define $$ A_α(G)=αD(G)+(1-α)A(G) $$ for any real $α\in [0,1]$. The collection of eigenvalues of $A_α(G)$ together with multiplicities are called the \emph{$A_α$-spectrum} of $G$. A graph $G$ is said to be \emph{determined by its $A_α$-spectrum} if all graphs having the same $A_α$-spectrum as $G$ are isomorphic to $G$. We first prove that some graphs are determined by its $A_α$-spectrum for $0\leqα<1$, including the complete graph $K_m$, the star $K_{1,n-1}$, the path $P_n$, the union of cycles and the complement of the union of cycles, the union of $K_2$ and $K_1$ and the complement of the union of $K_2$ and $K_1$, and the complement of $P_n$. Setting $α=0$ or $\frac{1}{2}$, those graphs are determined by $A$- or $Q$-spectra. Secondly, when $G$ is regular, we show that $G$ is determined by its $A_α$-spectrum if and only if the join $G\vee K_m$ is determined by its $A_α$-spectrum for $\frac{1}{2}<α<1$. Furthermore, we also show that the join $K_m\vee P_n$ is determined by its $A_α$-spectrum for $\frac{1}{2}<α<1$. In the end, we pose some related open problems for future study.
An Ore-type Condition for Large $k$-factor and Disjoint Perfect Matchings
Published in Journal of Graph Theory (2020), Volume 94, Issue3, Pages 307--319
• View Publication
• BIB
Win [\emph{J. Graph Theory} {\bf 6}(1982), 489--492] conjectured that a graph $G$ on $n$ vertices contains $k$ disjoint perfect matchings, if the degree sum of any two nonadjacent vertices is at least $n+k-2$, where $n$ is even and $n\geq k+2$. In this paper, we prove that Win's conjecture is true for $k\geq n/2$, where $n$ is sufficiently large. To show this result, we prove a theorem on $k$-factor in a graph under some Ore-type condition. Our main tools include Tutte's $k$-factor theorem, the Karush-Kuhn-Tucker theorem on convex optimization, and the solution to the longstanding 1-factor decomposition conjecture.
The evolution of random graphs on surfaces
Published
• View Publication
• BIB
For integers $g,m \geq 0$ and $n>0$, let $S_{g}(n,m)$ denote the graph taken uniformly at random from the set of all graphs on $\{1,2, \ldots, n\}$ with exactly $m=m(n)$ edges and with genus at most $g$. We use counting arguments to investigate the components, subgraphs, maximum degree, and largest face size of $S_{g}(n,m)$, finding that there is often different asymptotic behaviour depending on the ratio $\frac{m}{n}$.
In our main results, we show that the probability that $S_{g}(n,m)$ contains any given non-planar component converges to $0$ as $n \to \infty$ for all $m(n)$; the probability that $S_{g}(n,m)$ contains a copy of any given planar graph converges to $1$ as $n \to \infty$ if $\liminf \frac{m}{n} > 1$; the maximum degree of $S_{g}(n,m)$ is $Θ(\ln n)$ with high probability if $\liminf \frac{m}{n} > 1$; and the largest face size of $S_{g}(n,m)$ has a threshold around $\frac{m}{n}=1$ where it changes from $Θ(n)$ to $Θ(\ln n)$ with high probability.
Planar anti-Ramsey numbers for paths and cycles
Published
• View Publication
• BIB
Motivated by anti-Ramsey numbers introduced by Erdős, Simonovits and Sós in 1975, we study the anti-Ramsey problem when host graphs are plane triangulations. Given a positive integer $n$ and a planar graph $H$, let $\mathcal{T}_n(H)$ be the family of all plane triangulations $T$ on $n$ vertices such that $T$ contains a subgraph isomorphic to $H$. The planar anti-Ramsey number of $H$, denoted $ar_{_\mathcal{P}}(n, H)$, is the maximum number of colors in an edge-coloring of a plane triangulation $T\in \mathcal{T}_n(H)$ such that $T$ contains no rainbow copy of $H$. Analogous to anti-Ramsey numbers and Turán numbers, planar anti-Ramsey numbers are closely related to planar Turán numbers, where the planar Turán number of $H$ is the maximum number of edges of a planar graph on $n$ vertices without containing $H$ as a subgraph. The study of $ar_{_\mathcal{P}}(n, H)$ (under the name of rainbow numbers) was initiated by Horňák, Jendrol$'$, Schiermeyer and Soták [J Graph Theory 78 (2015) 248--257]. In this paper we study planar anti-Ramsey numbers for paths and cycles. We first establish lower bounds for $ar_{_\mathcal{P}}(n, P_k)$ when $n\ge k\ge8$. We then improve the existing lower bound for $ar_{_\mathcal{P}}(n, C_k)$ when $k\geq 5$ and $n\geq k^2-k$. Finally, using the main ideas in the above-mentioned paper, we obtain upper bounds for $ar_{_\mathcal{P}}(n, C_6)$ when $n\ge8$ and $ar_{_\mathcal{P}}(n, C_7)$ when $n\geq 13$, respectively.
Surface effects in dense random graphs with sharp edge constraint
We show that the random number $T_n$ of triangles in a random graph on $n$ vertices, with a strict constraint on the total number of edges, admits an expansion $T_n = an^3 + bn^2 + F_n$, where $a$ and $b$ are numbers, with the mean $\langle F_n \rangle = O(n)$ and the standard deviation $σ(T_n) =σ(F_n)= O(n^{3/2})$. The presence of a `surface term' $bn^2$ has a significance analogous to the macroscopic surface effects of materials, and is missing in the model where the edge constraint is removed. We also find the surface effect in other graph models using similar edge constraints.
Tight paths in convex geometric hypergraphs
In this paper, we prove a theorem on tight paths in convex geometric hypergraphs, which is asymptotically sharp in infinitely many cases. Our geometric theorem is a common generalization of early results of Hopf and Pannwitz, Sutherland, Kupitz and Perles for convex geometric graphs, as well as the classical Erdős-Gallai Theorem for graphs. As a consequence, we obtain the first substantial improvement on the Turán problem for tight paths in uniform hypergraphs.
Combinatorial Iterated Integrals and the Harmonic Volume of Graphs
Published
• View Publication
• BIB
Let $Γ$ be a connected bridgeless metric graph, and fix a point $v$ of $Γ$. We define combinatorial iterated integrals on $Γ$ along closed paths at $v$, a unipotent generalization of the usual cycle pairing and the combinatorial analogue of Chen's iterated integrals on Riemann surfaces. These descend to a bilinear pairing between the group algebra of the fundamental group of $Γ$ at $v$ and the tensor algebra on the first homology of $Γ$, $\int\colon \mathbf{Z}π_1(Γ,v) \times T\mathrm{H}_1(Γ,\mathbf{R}) \to \mathbf{R}$. We show that this pairing on the two-step unipotent quotient of the group algebra allows one to recover the base-point $v$ up to well-understood finite ambiguity. We encode the data of this structure as the combinatorial harmonic volume which is valued in the tropical intermediate Jacobian. We also give a potential-theoretic characterization for hyperelliptiicity for graphs.
Feynman amplitudes on moduli spaces of graphs
Published in Annales de l'Institut Henri Poincare D, Volume 7, Issue 2, 2020
• View Publication
• BIB
This article introduces moduli spaces of coloured graphs on which Feynman amplitudes can be viewed as 'discrete' volume densities. The basic idea behind this construction is that these moduli spaces decompose into disjoint unions of open cells on which parametric Feynman integrals are defined in a natural way. Renormalisation of an amplitude translates then into the task of assigning to every cell a finite volume such that boundary relations between neighboring cells are respected. It is shown that this can be organized systematically using a type of Borel-Serre compactification of these moduli spaces. The key point is that in each compactified cell the newly added boundary components have a combinatorial description that resembles the forest structure of subdivergences of the corresponding Feynman diagram.
$R$-systems
Published
• View Publication
• BIB
Birational toggling on Gelfand-Tsetlin patterns appeared first in the study of geometric crystals and geometric Robinson-Schensted-Knuth correspondence. Based on these birational toggle relations, Einstein and Propp introduced a discrete dynamical system called birational rowmotion associated with a partially ordered set. We generalize birational rowmotion to the class of arbitrary strongly connected directed graphs, calling the resulting discrete dynamical system the $R$-system. We study its integrability from the points of view of singularity confinement and algebraic entropy. We show that in many cases, singularity confinement in an $R$-system reduces to the Laurent phenomenon either in a cluster algebra, or in a Laurent phenomenon algebra, or beyond both of those generalities, giving rise to many new sequences with the Laurent property possessing rich groups of symmetries. Some special cases of $R$-systems reduce to Somos and Gale-Robinson sequences.
Embeddings into almost self-centered graphs of given radius
Published
• View Publication
• BIB
A graph is almost self-centered (ASC) if all but two of its vertices are central. An almost self-centered graph with radius $r$ is called an $r$-ASC graph. The $r$-ASC index $θ_r(G)$ of a graph $G$ is the minimum number of vertices needed to be added to $G$ such that an $r$-ASC graph is obtained that contains $G$ as an induced subgraph. It is proved that $θ_r(G)\le 2r$ holds for any graph $G$ and any $r\ge 2$ which improves the earlier known bound $θ_r(G)\le 2r+1$. It is further proved that $θ_r(G)\le 2r-1$ holds if $r\geq 3$ and $G$ is of order at least $2$. The $3$-ASC index of complete graphs is determined. It is proved that $θ_3(G)\in \{3,4\}$ if $G$ has diameter $2$ and for several classes of graphs of diameter $2$ the exact value of the $3$-ASC index is obtained. For instance, if a graph $G$ of diameter $2$ does not contain a diametrical triple, then $θ_3(G) = 4$. The $3$-ASC index of paths of order $n\geq 1$, cycles of order $n\geq 3$, and trees of order $n\geq 10$ and diameter $n-2$ are also determined, respectively, and several open problems proposed.
Complexity of Domination in Triangulated Plane Graphs
We prove that for a triangulated plane graph it is NP-complete to determine its domination number and its power domination number.