graph
34995 papers tagged with this keyword
Total Domination Value in Graphs
Published in Util. Math. vol. 95 (2014) pp. 263-279
• Search Publication
A set $D \subseteq V(G)$ is a \emph{total dominating set} of $G$ if for every vertex $v \in V(G)$ there exists a vertex $u \in D$ such that $u$ and $v$ are adjacent. A total dominating set of $G$ of minimum cardinality is called a $γ_t(G)$-set. For each vertex $v \in V(G)$, we define the \emph{total domination value} of $v$, $TDV(v)$, to be the number of $γ_t(G)$-sets to which $v$belongs. This definition gives rise to \emph{a local study of total domination} in graphs. In this paper, we study some basic properties of the $TDV$ function; also, we derive explicit formulas for the $TDV$ of any complete n-partite graph, any cycle, and any path.
On Bondage Numbers of Graphs -- a survey with some comments
Published
• View Publication
• BIB
The bondage number of a nonempty graph $G$ is the cardinality of a smallest edge set whose removal from $G$ results in a graph with domination number greater than the domination number of $G$. This lecture gives a survey on the bondage number, including the known results, problems and conjectures. We also summarize other types of bondage numbers.
On the p-reinforcement and the complexity
Published
• View Publication
• BIB
Let $G=(V,E)$ be a graph and $p$ be a positive integer. A subset $S\subseteq V$ is called a $p$-dominating set if each vertex not in $S$ has at least $p$ neighbors in $S$. The $p$-domination number $\g_p(G)$ is the size of a smallest $p$-dominating set of $G$. The $p$-reinforcement number $r_p(G)$ is the smallest number of edges whose addition to $G$ results in a graph $G'$ with $\g_p(G')<\g_p(G)$. In this paper, we give an original study on the $p$-reinforcement, determine $r_p(G)$ for some graphs such as paths, cycles and complete $t$-partite graphs, and establish some upper bounds of $r_p(G)$. In particular, we show that the decision problem on $r_p(G)$ is NP-hard for a general graph $G$ and a fixed integer $p\geq 2$.
On the diameter of the Kronecker product graph
Published
• View Publication
• BIB
Let $G_1$ and $G_2$ be two undirected nontrivial graphs. The Kronecker product of $G_1$ and $G_2$ denoted by $G_1\otimes G_2$ with vertex set $V(G_1)\times V(G_2)$, two vertices $x_1x_2$ and $y_1y_2$ are adjacent if and only if $(x_1,y_1)\in E(G_1)$ and $(x_2,y_2)\in E(G_2)$. This paper presents a formula for computing the diameter of $G_1\otimes G_2$ by means of the diameters and primitive exponents of factor graphs.
Fault Diagnosability of Arrangement Graphs
Published
• View Publication
• BIB
The growing size of the multiprocessor system increases its vulnerability to component failures. It is crucial to locate and to replace the faulty processors to maintain a system's high reliability. The fault diagnosis is the process of identifying faulty processors in a system through testing. This paper shows that the largest connected component of the survival graph contains almost all remaining vertices in the $(n,k)$-arrangement graph $A_{n,k}$ when the number of moved faulty vertices is up to twice or three times the traditional connectivity. Based on this fault resiliency, we establishes that the conditional diagnosability of $A_{n,k}$ under the comparison model. We prove that for $k\geq 4$, $n\geq k+2$, the conditional diagnosability of $A_{n,k}$ is $(3k-2)(n-k)-3$; the conditional diagnosability of $A_{n,n-1}$ is $3n-7$ for $n\geq 5$.
Maximum Cliques in Graphs with Small Intersection Number and Random Intersection Graphs
Published
• View Publication
• BIB
In this paper, we relate the problem of finding a maximum clique to the intersection number of the input graph (i.e. the minimum number of cliques needed to edge cover the graph). In particular, we consider the maximum clique problem for graphs with small intersection number and random intersection graphs (a model in which each one of $m$ labels is chosen independently with probability $p$ by each one of $n$ vertices, and there are edges between any vertices with overlaps in the labels chosen).
We first present a simple algorithm which, on input $G$ finds a maximum clique in $O(2^{2^m + O(m)} + n^2 \min\{2^m, n\})$ time steps, where $m$ is an upper bound on the intersection number and $n$ is the number of vertices. Consequently, when $m \leq \ln{\ln{n}}$ the running time of this algorithm is polynomial.
We then consider random instances of the random intersection graphs model as input graphs. As our main contribution, we prove that, when the number of labels is not too large ($m=n^α, 0< α<1$), we can use the label choices of the vertices to find a maximum clique in polynomial time whp. The proof of correctness for this algorithm relies on our Single Label Clique Theorem, which roughly states that whp a "large enough" clique cannot be formed by more than one label. This theorem generalizes and strengthens other related results in the state of the art, but also broadens the range of values considered.
As an important consequence of our Single Label Clique Theorem, we prove that the problem of inferring the complete information of label choices for each vertex from the resulting random intersection graph (i.e. the \emph{label representation of the graph}) is \emph{solvable} whp. Finding efficient algorithms for constructing such a label representation is left as an interesting open problem for future research.
Maximum Estrada Index of Bicyclic Graphs
Published
• View Publication
• BIB
Let $G$ be a simple graph of order $n$, let $λ_1(G),λ_2(G),...,λ_n(G)$ be the eigenvalues of the adjacency matrix of $G$. The Esrada index of $G$ is defined as $EE(G)=\sum_{i=1}^{n}e^{λ_i(G)}$. In this paper we determine the unique graph with maximum Estrada index among bicyclic graphs with fixed order.
Decompositions of complete graphs into cycles of arbitrary lengths
Published
• View Publication
• BIB
We show that the complete graph on $n$ vertices can be decomposed into $t$ cycles of specified lengths $m_1,\ldots,m_t$ if and only if $n$ is odd, $3\leq m_i\leq n$ for $i=1,\ldots,t$, and $m_1+\cdots+m_t=\binom n2$. We also show that the complete graph on $n$ vertices can be decomposed into a perfect matching and $t$ cycles of specified lengths $m_1,\ldots,m_t$ if and only if $n$ is even, $3\leq m_i\leq n$ for $i=1,\ldots,t$, and $m_1+\ldots+m_t=\binom n2-\frac n2$.
The Number of Ways to Assemble a Graph
Published
• View Publication
• BIB
Motivated by the question of how macromolecules assemble, the notion of an {\it assembly tree} of a graph is introduced. Given a graph $G$, the paper is concerned with enumerating the number of assembly trees of $G$, a problem that applies to the macromolecular assembly problem. Explicit formulas or generating functions are provided for the number of assembly trees of several families of graphs, in particular for what we call $(H,φ)$-graphs. In some natural special cases, we apply powerful recent results of Zeilberger and Apagodu on multivariate generating functions, and results of Wimp and Zeilberger, to deduce recurrence relations and very precise asymptotic formulas for the number of assembly trees of the complete bipartite graphs $K_{n,n}$ and the complete tripartite graphs $K_{n,n,n}$. Future directions for reseach, as well as open questions, are suggested.
A Cheeger Inequality for the Graph Connection Laplacian
Published
• View Publication
• BIB
The O(d) Synchronization problem consists of estimating a set of unknown orthogonal transformations O_i from noisy measurements of a subset of the pairwise ratios O_iO_j^{-1}. We formulate and prove a Cheeger-type inequality that relates a measure of how well it is possible to solve the O(d) synchronization problem with the spectra of an operator, the graph Connection Laplacian. We also show how this inequality provides a worst case performance guarantee for a spectral method to solve this problem.
Coalescing random walks and voting on connected graphs
Published
• View Publication
• BIB
In a coalescing random walk, a set of particles make independent random walks on a graph. Whenever one or more particles meet at a vertex, they unite to form a single particle, which then continues the random walk through the graph. Coalescing random walks can be used to achieve consensus in distributed networks, and is the basis of the self-stabilizing mutual exclusion algorithm of Israeli and Jalfon.
Let G=(V,E), be an undirected, connected n vertex graph with m edges. Let C(n) be the expected time for all particles to coalesce, when initially one particle is located at each vertex of an n vertex graph.
We study the problem of bounding the coalescence time C(n) for general classes of graphs. Our main result is that C(n)= O(1/(1-lambda_2))*((log n)^4 +n/A)), where lambda_2 is the absolute value of the second largest eigenvalue of the transition matrix of the random walk, A= (sum d^2(v))/(d^2 n), d(v) is the degree of vertex v, and d is the average node degree. The parameter A is an indicator of the variability of node degrees. Thus 1 <= A =O(n), with A=1 for regular graphs.
Decomposing various graphs into short even-length cycles
Published
• View Publication
• BIB
We prove that a complete bipartite graph can be decomposed into cycles of arbitrary specified lengths provided that the obvious necessary conditions are satisfied, the length of each cycle is at most the size of the smallest part, and the longest cycle is at most three times as long as the second longest. We then use this result to obtain results on incomplete even cycle systems with a hole and on decompositions of complete multipartite graphs into cycles of uniform even length.
On the probability of planarity of a random graph near the critical point
Published
• View Publication
• BIB
Consider the uniform random graph $G(n,M)$ with $n$ vertices and $M$ edges. Erdős and Rényi (1960) conjectured that the limit
$$ \lim_{n \to \infty} \Pr\{G(n,\textstyle{n\over 2}) is planar}} $$ exists and is a constant strictly between 0 and 1. Łuczak, Pittel and Wierman (1994) proved this conjecture and Janson, Łuczak, Knuth and Pittel (1993) gave lower and upper bounds for this probability.
In this paper we determine the exact probability of a random graph being planar near the critical point $M=n/2$. For each $λ$, we find an exact analytic expression for
$$ p(λ) = \lim_{n \to \infty} \Pr{G(n,\textstyle{n\over 2}(1+λn^{-1/3})) is planar}.$$
In particular, we obtain $p(0) \approx 0.99780$.
We extend these results to classes of graphs closed under taking minors. As an example, we show that the probability of $G(n,\textstyle{n\over 2})$ being series-parallel converges to 0.98003.
For the sake of completeness and exposition we reprove in a concise way several basic properties we need of a random graph near the critical point.
Rank of divisors on graphs: an algebro-geometric analysis
The divisor theory for graphs is compared to the theory of linear series on curves through the correspondence associating a curve to its dual graph. An algebro-geometric interpretation of the combinatorial rank is proposed, and proved in some cases.
Linear series on metrized complexes of algebraic curves
Published
• View Publication
• BIB
A metrized complex of algebraic curves is a finite metric graph together with a collection of marked complete nonsingular algebraic curves, one for each vertex, the marked points being in bijection with incident edges. We establish a Riemann-Roch theorem for metrized complexes of curves which generalizes both the classical Riemann-Roch theorem and its graph-theoretic and tropical analogues due to Baker-Norine, Gathmann-Kerber, and Mikhalkin-Zharkov. We also establish generalizations of the second author's specialization lemma and its weighted graph analogue due to Caporaso and the first author, showing that the rank of a divisor cannot go down under specialization from curves to metrized complexes. As an application of these considerations, we formulate a generalization of the Eisenbud-Harris theory of limit linear series to semistable curves which are not necessarily of compact type.
House of Graphs: a database of interesting graphs
Published in Discrete Appl. Math. 161 (2013) 311-314
• View Publication
• BIB
In this note we present House of Graphs (http://hog.grinvin.org) which is a new database of graphs. The key principle is to have a searchable database and offer -- next to complete lists of some graph classes -- also a list of special graphs that already turned out to be interesting and relevant in the study of graph theoretic problems or as counterexamples to conjectures. This list can be extended by users of the database.
On the Tutte-Krushkal-Renardy polynomial for cell complexes
Published
• View Publication
• BIB
Recently V. Krushkal and D. Renardy generalized the Tutte polynomial from graphs to cell complexes. We show that evaluating this polynomial at the origin gives the number of cellular spanning trees in the sense of A. Duval, C. Klivans, and J. Martin. Moreover, after a slight modification, the Tutte-Krushkal-Renardy polynomial evaluated at the origin gives a weighted count of cellular spanning trees, and therefore its free term can be calculated by the cellular matrix-tree theorem of Duval et al. In the case of cell decompositions of a sphere, this modified polynomial satisfies the same duality identity as the original polynomial. We find that evaluating the Tutte-Krushkal-Renardy along a certain line gives the Bott polynomial. Finally we prove skein relations for the Tutte-Krushkal-Renardy polynomial..
Infinite Reduction of Divisors on Metric Graphs
Published
• View Publication
• BIB
We demonstrate that the greedy algorithm for reduction of divisors on metric graphs need not terminate by modeling the Euclidean algorithm in this context. We observe that any infinite reduction has a well defined limit allowing us to treat the greedy reduction algorithm as a transfinite algorithm and to analyze its running time via ordinal numbers. We provide lower and upper bounds which establish a worst case running time of $ω^{Θ({\rm deg}(D))}$.
Note on the harmonic index of a graph
The harmonic index of a graph $G$ is defined as the sum of weights $\frac{2}{deg(v) + deg(u)}$ of all edges $uv$ of $E (G)$, where $deg (v)$ denotes the degree of a vertex $v$ in $V (G)$. In this note we generalize results of [L. Zhong, The harmonic index on graphs, Appl. Math. Lett. 25 (2012), 561--566] and establish some upper and lower bounds on the harmonic index of $G$.
Asymptotic Growth of Associated Primes of Certain Graph Ideals
Published
• View Publication
• BIB
We specify a class of graphs, $H_t$, and characterize the irreducible decomposition of all powers of the cover ideals. This gives insight into the structure and stabilization of the corresponding associated primes; specifically, providing an answer to the question "For each integer $t\geq 0$, does there exist a (hyper) graph $H_t$ such that stabilization of associated primes occurs at $s\geq (χ(H_t)-1)+t$?" asked by Francisco, Hà, and Van Tuyl. For each $t$, $H_t$ has chromatic number 3 and associated primes that stabilize at $s=2+t$.