graph
34934 papers tagged with this keyword
Magic labelings of distance at most 2
For an arbitrary set of distances $D\subseteq \{0,1, \ldots, d\}$, a graph $G$ is said to be $D$-distance magic if there exists a bijection $f:V\rightarrow \{1,2, \ldots , v\}$ and a constant {\sf k} such that for any vertex $x$, $\sum_{y\in N_D(x)} f(y) ={\sf k}$, where $N_D(x) = \{y \in V| d(x,y) \in D\}$.
In this paper we study some necessary or sufficient conditions for the existence of $D$-distance magic graphs, some of which are generalization of conditions for the existence of $\{1\}$-distance magic graphs. More specifically, we study $D$-distance magic labelings for cycles and $D$-distance magic graphs for $D\subseteq\{0,1,2\}$.
On Integer Additive Set-Indexers of Graphs
Published in International J. of Math. Sci. & Engg. Appls. (IJMSEA), Vol. 8 No. II, 11-22, 2014
• Search Publication
A set-indexer of a graph $G$ is an injective set-valued function $f:V(G) \rightarrow2^{X}$ such that the function $f^{\oplus}:E(G)\rightarrow2^{X}-\{\emptyset\}$ defined by $f^{\oplus}(uv) = f(u){\oplus} f(v)$ for every $uv{\in} E(G)$ is also injective, where $2^{X}$ is the set of all subsets of $X$ and $\oplus$ is the symmetric difference of sets. An integer additive set-indexer is defined as an injective function $f:V(G)\rightarrow 2^{\mathbb{N}_0}$ such that the induced function $g_f:E(G) \rightarrow 2^{\mathbb{N}_0}$ defined by $g_f (uv) = f(u)+ f(v)$ is also injective. A graph $G$ which admits an IASI is called an IASI graph. An IASI $f$ is said to be a {\em weak IASI} if $|g_f(uv)|=max(|f(u)|,|f(v)|)$ and an IASI $f$ is said to be a {\em strong IASI} if $|g_f(uv)|=|f(u)| |f(v)|$ for all $u,v\in V(G)$. In this paper, we study about certain characteristics of inter additive set-indexers.
A Study on Arithmetic Integer Additive Set-Indexers of Graphs
A set-indexer of a graph $G$ is an injective set-valued function $f:V(G) \rightarrow2^{X}$ such that the function $f^{\oplus}:E(G)\rightarrow2^{X}-\{\emptyset\}$ defined by $f^{\oplus}(uv) = f(u){\oplus} f(v)$ for every $uv{\in} E(G)$ is also injective, where $2^{X}$ is the set of all subsets of $X$ and $\oplus$ is the symmetric difference of sets. An integer additive set-indexer is defined as an injective function $f:V(G)\rightarrow 2^{\mathbb{N}_0}$ such that the induced function $f^+:E(G) \rightarrow 2^{\mathbb{N}_0}$ defined by $f^+ (uv) = f(u)+ f(v)$ is also injective. A graph $G$ which admits an IASI is called an IASI graph. An IASI $f$ is said to be a weak IASI if $|f^+(uv)|=max(|f(u)|,|f(v)|)$ and an IASI $f$ is said to be a strong IASI if $|f^+(uv)|=|f(u)| |f(v)|$ for all $u,v\in V(G)$. In this paper, we discuss about a special type of integer additive set-indexers called arithmetic integer additive set-indexer and establish some results on this type of integer additive set-indexers. We also check the admissibility of arithmetic integer additive set-indexer by certain graphs associated with a given graph.
Size of edge-critical uniquely 3-colorable planar graphs
Published
• View Publication
• BIB
A graph $G$ is \emph{uniquely k-colorable} if the chromatic number of $G$ is $k$ and $G$ has only one $k$-coloring up to permutation of the colors. A uniquely $k$-colorable graph $G$ is edge-critical if $G-e$ is not a uniquely $k$-colorable graph for any edge $e\in E(G)$. Mel'nikov and Steinberg [L. S. Mel'nikov, R. Steinberg, One counterexample for two conjectures on three coloring, Discrete Math. 20 (1977) 203-206] asked to find an exact upper bound for the number of edges in a edge-critical 3-colorable planar graph with $n$ vertices. In this paper, we give some properties of edge-critical uniquely 3-colorable planar graphs and prove that if $G$ is such a graph with $n(\geq6)$ vertices, then $|E(G)|\leq \frac{5}{2}n-6 $, which improves the upper bound $\frac{8}{3}n-\frac{17}{3}$ given by Matsumoto [N. Matsumoto, The size of edge-critical uniquely 3-colorable planar graphs, Electron. J. Combin. 20 (3) (2013) $\#$P49]. Furthermore, we find some edge-critical 3-colorable planar graphs which have $n(=10,12, 14)$ vertices and $\frac{5}{2}n-7$ edges.
The edge cover polynomials of cubic graphs of order 10
Let $G$ be a simple graph of order $n$ and size $m$. The edge covering of $G$ is a set of edges such that every vertex of $G$ is incident to at least one edge of the set.
The edge cover polynomial of $G$ is the polynomial $E(G,x)=\sum_{i=ρ(G)}^{m} e(G,i) x^{i}$, where $e(G,i)$ is the number of edge coverings of $G$ of size $i$, and $ρ(G)$ is the edge covering number of $G$. In this paper we study the edge cover polynomials of cubic graphs of order $10$. We show that all cubic graphs of order $10$ (especially the Petersen graph) are determined uniquely by their edge cover polynomials. Also we construct infinite families of graphs whose edge cover polynomials have only roots $-1$ and $0$.
Minimum order of graphs with given coloring parameters
A complete $k$-coloring of a graph $G=(V,E)$ is an assignment $\varphi:V\to\{1,\ldots,k\}$ of colors to the vertices such that no two vertices of the same color are adjacent, and the union of any two color classes contains at least one edge. Three extensively investigated graph invariants related to complete colorings are the minimum and maximum number of colors in a complete coloring (chromatic number $χ(G)$ and achromatic number $ψ(G)$, respectively), and the Grundy number $Γ(G)$ defined as the largest $k$ admitting a complete coloring $\varphi$ with exactly $k$ colors such that every vertex $v\in V$ of color $\varphi(v)$ has a neighbor of color $i$ for all $1\le i<\varphi(v)$. The inequality chain $χ(G)\le Γ(G)\le ψ(G)$ obviously holds for all graphs $G$. A triple $(f,g,h)$ of positive integers at least 2 is called realizable if there exists a connected graph $G$ with $χ(G)=f$, $Γ(G)=g$, and $ψ(G)=h$. Chartrand et al. (A note on graphs with prescribed complete coloring numbers, J. Combin. Math. Combin. Comput. LXXIII (2010) 77-84) found the list of realizable triples. In this paper we determine the minimum number of vertices in a connected graph with chromatic number $f$, Grundy number $g$, and achromatic number $h$, for all realizable triples $(f,g,h)$ of integers. Furthermore, for $f=g=3$ we describe the (two) extremal graphs for each $h \geq 6$. For $h=4$ and $5$, there are more extremal graphs, their description is contained as well.
Connection between the clique number and the Lagrangian of $3$-uniform hypergraphs
Published
• View Publication
• BIB
There is a remarkable connection between the clique number and the Lagrangian of a 2-graph proved by Motzkin and Straus in 1965. It is useful in practice if similar results hold for hypergraphs. However the obvious generalization of Motzkin and Straus' result to hypergraphs is false. Frankl and Füredi conjectured that the $r$-uniform hypergraph with $m$ edges formed by taking the first $m$ sets in the colex ordering of ${\mathbb N}^{(r)}$ has the largest Lagrangian of all $r$-uniform hypergraphs with $m$ edges. For $r=2$, Motzkin and Straus' theorem confirms this conjecture. For $r=3$, it is shown by Talbot that this conjecture is true when $m$ is in certain ranges. In this paper, we explore the connection between the clique number and Lagrangians for $3$-uniform hypergraphs. As an application of this connection, we confirm that Frankl and Füredi's conjecture holds for bigger ranges of $m$ when $r$=3. We also obtain two weaker versions of Turán type theorem for left-compressed $3$-uniform hypergraphs.
Cops and Robbers on diameter two graphs
Published
• View Publication
• BIB
In this short paper we study the game of Cops and Robbers, played on the vertices of some fixed graph $G$ of order $n$. The minimum number of cops required to capture a robber is called the cop number of $G$. We show that the cop number of graphs of diameter 2 is at most $\sqrt{2n}$, improving a recent result of Lu and Peng by a constant factor. We conjecture that this bound is still not optimal, and obtain some partial results towards the optimal bound.
Weighted Well-Covered Claw-Free Graphs
Published
• View Publication
• BIB
A graph G is well-covered if all its maximal independent sets are of the same cardinality. Assume that a weight function w is defined on its vertices. Then G is w-well-covered if all maximal independent sets are of the same weight. For every graph G, the set of weight functions w such that G is w-well-covered is a vector space. Given an input claw-free graph G, we present an O(n^6)algortihm, whose input is a claw-free graph G, and output is the vector space of weight functions w, for which G is w-well-covered. A graph G is equimatchable if all its maximal matchings are of the same cardinality. Assume that a weight function w is defined on the edges of G. Then G is w-equimatchable if all its maximal matchings are of the same weight. For every graph G, the set of weight functions w such that G is w-equimatchable is a vector space. We present an O(m*n^4 + n^5*log(n)) algorithm which receives an input graph G, and outputs the vector space of weight functions w such that G is w-equimatchable.
On Distance Antimagic Graphs
For an arbitrary set of distances $D\subseteq \{0,1, \ldots, diam(G)\}$, a $D$-weight of a vertex $x$ in a graph $G$ under a vertex labeling $f:V\rightarrow \{1,2, \ldots , v\}$ is defined as $w_D(x)=\sum_{y\in N_D(x)} f(y)$, where $N_D(x) = \{y \in V| d(x,y) \in D\}$. A graph $G$ is said to be $D$-distance magic if all vertices has the same $D$-vertex-weight, it is said to be $D$-distance antimagic if all vertices have distinct $D$-vertex-weights, and it is called $(a,d)-D$-distance antimagic if the $D$-vertex-weights constitute an arithmetic progression with difference $d$ and starting value $a$.
In this paper we study some necessary conditions for the existence of $D$-distance antimagic graphs. We conjecture that such conditions are also sufficient. Additionally, we study $\{1\}$-distance antimagic labelings for some cycle-related connected graphs: cycles, suns, prisms, complete graphs, wheels, fans, and friendship graphs.
Generalized Irreducible Divisor Graphs
Published
• View Publication
• BIB
In 1988, I. Beck introduced the notion of a zero-divisor graph of a commutative rings with $1$. There have been several generalizations in recent years. In particular, in 2007 J. Coykendall and J. Maney developed the irreducible divisor graph. Much work has been done on generalized factorization, especially $τ$-factorization. The goal of this paper is to synthesize the notions of $τ$-factorization and irreducible divisor graphs in domains. We will define a $τ$-irreducible divisor graph for non-zero non-unit elements of a domain. We show that by studying $τ$-irreducible divisor graphs, we find equivalent characterizations of several finite $τ$-factorization properties.
The Bondage Number of the Strong Product of a Complete Graph and a Path
Published in Discrete Math. Algorithms Appl. 8(1) (2016) 1650006 (14 pages)
• View Publication
• BIB
The bondage number $b(G)$ of a graph $G$ is the cardinality of a minimum edge set whose removal from $G$ results in a graph with the domination number greater than that of $G$. It is a parameter to measure the vulnerability of a communication network under link failure. In this paper, we obtain the exact value of the bondage number of the strong product of a complete graph and a path. That is, for any two integers $m\geq1$ and $n\geq2$, $b(K_{m}\boxtimes P_{n})=\lceil\frac{m}{2}\rceil$ if $n\equiv 0$ (mod 3); $m$ if $n\equiv 2$ (mod 3); $\lceil\frac{3m}{2}\rceil$ if $n\equiv 1$ (mod 3). Furthermore, we determine the exact value of the bondage number of the strong product of a complete graph and a special starlike tree.
Tree-width and Logspace: Determinants and Counting Euler Tours
Motivated by the recent result of [EJT10] showing that MSO properties are Logspace computable on graphs of bounded tree-width, we consider the complexity of computing the determinant of the adjacency matrix of a bounded tree-width graph and prove that it is L-complete. It is important to notice that the determinant is neither an MSO-property nor counts the number of solutions of an MSO-predicate. We extend this technique to count the number of spanning arborescences and directed Euler tours in bounded tree-width digraphs, and further to counting the number of spanning trees and the number of Euler tours in undirected graphs, all in L. Notice that undirected Euler tours are not known to be MSO-expressible and the corresponding counting problem is in fact #P-hard for general graphs. Counting undirected Euler tours in bounded tree-width graphs was not known to be polynomial time computable till very recently Chebolu et al [CCM13] gave a polynomial time algorithm for this problem (concurrently and independently of this work). Finally, we also show some linear algebraic extensions of the determinant algorithm to show how to compute the charcteristic polynomial and trace of the powers of a bounded tree-width graph in L.
The acquaintance time of (percolated) random geometric graphs
In this paper, we study the acquaintance time $\AC(G)$ defined for a connected graph $G$. We focus on $\G(n,r,p)$, a random subgraph of a random geometric graph in which $n$ vertices are chosen uniformly at random and independently from $[0,1]^2$, and two vertices are adjacent with probability $p$ if the Euclidean distance between them is at most $r$. We present asymptotic results for the acquaintance time of $\G(n,r,p)$ for a wide range of $p=p(n)$ and $r=r(n)$. In particular, we show that with high probability $\AC(G) = Θ(r^{-2})$ for $G \in \G(n,r,1)$, the "ordinary" random geometric graph, provided that $πn r^2 - \ln n \to \infty$ (that is, above the connectivity threshold). For the percolated random geometric graph $G \in \G(n,r,p)$, we show that with high probability $\AC(G) = Θ(r^{-2} p^{-1} \ln n)$, provided that $p n r^2 \geq n^{1/2+\eps}$ and $p < 1-\eps$ for some $\eps>0$.
Complexity Results for Rainbow Matchings
Published
• View Publication
• BIB
A rainbow matching in an edge-colored graph is a matching whose edges have distinct colors. We address the complexity issue of the following problem, \mrbm: Given an edge-colored graph $G$, how large is the largest rainbow matching in $G$? We present several sharp contrasts in the complexity of this problem.
We show, among others, that
* can be approximated by a polynomial algorithm with approximation ratio $2/3-\eps$.
* is APX-complete, even when restricted to properly edge-colored linear forests without a $5$-vertex path, and is solvable in %time $O(m^{3/2})$ on edge-colored $m$-edge polynomial time for edge-colored forests without a $4$-vertex path.
* is APX-complete, even when restricted to properly edge-colored trees without an $8$-vertex path, and is solvable in %time $O(n^{7/2})$ on edge-colored $n$-vertex polynomial time for edge-colored trees without a $7$-vertex path.
* is APX-complete, even when restricted to properly edge-colored paths.
These results provide a dichotomy theorem for the complexity of the problem on forests and trees in terms of forbidding paths. The latter is somewhat surprising, since, to the best of our knowledge, no (unweighted) graph problem prior to our result is known to be NP-hard for simple paths.
We also address the parameterized complexity of the problem.
Graph theory and Pfaffian representations of Ising partition function
A well known theorem due to Kasteleyn states that the partition function of an Ising model on an arbitrary planar graph can be represented as the Pfaffian of a skew-symmetric matrix associated to the graph. This results both embodies the free fermionic nature of any planar Ising model and eventually gives an effective way of computing its partition functions in closed form. An extension of this result to non planar models expresses the partition function as a sum of Pfaffians which number is related to the genus of the oriented surface on which the graph can be embedded. In graph theory, McLane's theorem (1937) gives a characterization of planarity as a property of the cycle space of a graph, and recently, Diestel et al. (2009) extended this approach to embeddings in arbitrary surfaces. Here we show that McLane's approach naturally leads to Kasteleyn's results: McLane characterization of planar graphs is just what is needed to turn an Ising partition function into a Pfaffian. Using this approach, we prove that the Ising partition function on an arbitrary non planar graph can be written as \emph{the real part}of the Pfaffian of a single matrix with coefficients taken in a multicomplex algebra $\C_{\tilde g}$, where $\tilde g$ is the non-orientable genus, or crosscap number, of the embedding surface. Known representations as sums of Pfaffians follow from this result. In particular, Kasteleyn's result which involves $4^g$ matrices with real coefficients, $g$ orientable genus, is also recovered through some algebraic reduction.
Borel Liftings of Graph Limits
Published
• View Publication
• BIB
The cut pseudo-metric on the space of graph limits induces an equivalence relation. The quotient space obtained by collapsing each equivalence class to a point is a metric space with appealing analytic properties. We show that the equivalence relation admits a Borel lifting: There exists a Borel-measurable mapping which maps each equivalence class to one of its elements.
On the Parameterized Complexity of Computing Balanced Partitions in Graphs
Published in Theory of Computing Systems 57(1):1-35, 2015
• View Publication
• BIB
A balanced partition is a clustering of a graph into a given number of equal-sized parts. For instance, the Bisection problem asks to remove at most k edges in order to partition the vertices into two equal-sized parts. We prove that Bisection is FPT for the distance to constant cliquewidth if we are given the deletion set. This implies FPT algorithms for some well-studied parameters such as cluster vertex deletion number and feedback vertex set. However, we show that Bisection does not admit polynomial-size kernels for these parameters.
For the Vertex Bisection problem, vertices need to be removed in order to obtain two equal-sized parts. We show that this problem is FPT for the number of removed vertices k if the solution cuts the graph into a constant number c of connected components. The latter condition is unavoidable, since we also prove that Vertex Bisection is W[1]-hard w.r.t. (k,c).
Our algorithms for finding bisections can easily be adapted to finding partitions into d equal-sized parts, which entails additional running time factors of n^{O(d)}. We show that a substantial speed-up is unlikely since the corresponding task is W[1]-hard w.r.t. d, even on forests of maximum degree two. We can, however, show that it is FPT for the vertex cover number.
The k-metric dimension of a graph
As a generalization of the concept of a metric basis, this article introduces the notion of $k$-metric basis in graphs. Given a connected graph $G=(V,E)$, a set $S\subseteq V$ is said to be a $k$-metric generator for $G$ if the elements of any pair of different vertices of $G$ are distinguished by at least $k$ elements of $S$, i.e., for any two different vertices $u,v\in V$, there exist at least $k$ vertices $w_1,w_2,...,w_k\in S$ such that $d_G(u,w_i)\ne d_G(v,w_i)$ for every $i\in \{1,...,k\}$. A metric generator of minimum cardinality is called a $k$-metric basis and its cardinality the $k$-metric dimension of $G$. A connected graph $G$ is $k$-metric dimensional if $k$ is the largest integer such that there exists a $k$-metric basis for $G$. We give a necessary and sufficient condition for a graph to be $k$-metric dimensional and we obtain several results on the $k$-metric dimension.
On asymptotically free action of permutation groups on subsets and multisets
Published in Diskretnaya Matematika, v.36, no.3 (2014), 101-120 (Russian); Discrete Mathematics and Applications, 2015, 25:1, 31-46 (English)
• View Publication
• BIB
Let $G$ be a permutation group acting on a finite set $Ω$ of cardinality $n$. The number of orbits of the induced action of $G$ on the set $Ω_m$ of all size $m$ subsets of $Ω$ satisfies the trivial inequalities $|Ω_m|/|G|\leq |Ω_m/G|\leq |Ω_m|$. The paper offers improvements of the upper bound in terms of the minimal degree of $G$ or the minimal degree of some its subset with a small complement. Applications include asymptotic enumeration of point configurations in an affine space over a finite field, unlabeled graphs and hypergraphs. Finally, with references to known results of permutation groups theory it is shown that if $G$ is an arbitrary 2-transitive group except for $S_n$ and $A_n$, then $|Ω_m/G|\approx |Ω_m|/|G|$ for $m$ and $n$ large provided the ratio $m/n$ is bounded away from 0 and 1.
Similar results hold for the induced action of $G$ on the set $Ω_{(m)}$ of all weight $m$ multisets on $Ω$ provided the ratio $m/n$ is not too small.