arXiv++ Combinatorics

Browse math.CO papers from arXiv

graph

34995 papers tagged with this keyword
2011-05-12
k-Tuple_Total_Domination_in_Inflated_Graphs
Published in FILOMAT-272-2013-341-351 • View Publication • BIB
The inflated graph $G_{I}$ of a graph $G$ with $n(G)$ vertices is obtained from $G$ by replacing every vertex of degree $d$ of $G$ by a clique, which is isomorph to the complete graph $K_{d}$, and each edge $(x_{i},x_{j})$ of $G$ is replaced by an edge $(u,v)$ in such a way that $u\in X_{i}$, $v\in X_{j}$, and two different edges of $G$ are replaced by non-adjacent edges of $G_{I}$. For integer $k\geq 1$, the $k$-tuple total domination number $γ_{\times k,t}(G)$ of $G$ is the minimum cardinality of a $k$-tuple total dominating set of $G$, which is a set of vertices in $G$ such that every vertex of $G$ is adjacent to at least $k$ vertices in it. For existing this number, must the minimum degree of $G$ is at least $k$. Here, we study the $k$-tuple total domination number in inflated graphs when $k\geq 2$. First we prove that $n(G)k\leq γ_{\times k,t}(G_{I})\leq n(G)(k+1)-1$, and then we characterize graphs $G$ that the $k$-tuple total domination number number of $G_I$ is $n(G)k$ or $n(G)k+1$. Then we find bounds for this number in the inflated graph $G_I$, when $G$ has a cut-edge $e$ or cut-vertex $v$, in terms on the $k$-tuple total domination number of the inflated graphs of the components of $G-e$ or $v$-components of $G-v$, respectively. Finally, we calculate this number in the inflated graphs that have obtained by some of the known graphs.
List colorings of $K_5$-minor-free graphs with special list assignments
Published in Journal of Graph Theory. Vol. 71(1), 2012, pp. 18-30 • View Publication • BIB
A {\it list assignment} $L$ of a graph $G$ is a function that assigns a set (list) $L(v)$ of colors to every vertex $v$ of $G$. Graph $G$ is called {\it $L$-list colorable} if it admits a vertex coloring $φ$ such that $φ(v)\in L(v)$ for all $v\in V(G)$ and $φ(v)\not=φ(w)$ for all $vw\in E(G)$. The following question was raised by Bruce Richter. Let $G$ be a planar, 3-connected graph that is not a complete graph. Denoting by $d(v)$ the degree of vertex $v$, is $G$ $L$-list colorable for every list assignment $L$ with $|L(v)|=\min \{d(v), 6\}$ for all $v\in V(G)$? More generally, we ask for which pairs $(r,k)$ the following question has an affirmative answer. Let $r$ and $k$ be integers and let $G$ be a $K_5$-minor-free $r$-connected graph that is not a Gallai tree (i.e., at least one block of $G$ is neither a complete graph nor an odd cycle). Is $G$ $L$-list colorable for every list assignment $L$ with $|L(v)|=\min\{d(v),k\}$ for all $v\in V(G)$? We investigate this question by considering the components of $G[S_k]$, where $S_k:=\{v\in V(G) | d(v)<k\}$ is the set of vertices with small degree in $G$. We are especially interested in the minimum distance $d(S_k)$ in $G$ between the components of $G[S_k]$.
2011-05-11
On Symmetry of Independence Polynomials
Published • View Publication • BIB
An independent set in a graph is a set of pairwise non-adjacent vertices, and alpha(G) is the size of a maximum independent set in the graph G. A matching is a set of non-incident edges, while mu(G) is the cardinality of a maximum matching. If s_{k} is the number of independent sets of cardinality k in G, then I(G;x)=s_{0}+s_{1}x+s_{2}x^{2}+...+s_{α(G)}x^{α(G)} is called the independence polynomial of G (Gutman and Harary, 1983). If $s_{j}=s_{α-j}$, 0=< j =< alpha(G), then I(G;x) is called symmetric (or palindromic). It is known that the graph G*2K_{1} obtained by joining each vertex of G to two new vertices, has a symmetric independence polynomial (Stevanovic, 1998). In this paper we show that for every graph G and for each non-negative integer k =< mu(G), one can build a graph H, such that: G is a subgraph of H, I(H;x) is symmetric, and I(G*2K_{1};x)=(1+x)^{k}*I(H;x).
2011-05-11 v3
Periodic Euclidean Graphs on Integer Points
A uniformly discrete Euclidean graph is a graph embedded in a Euclidean space so that there is a minimum distance between distinct vertices. If such a graph embedded in an $n$-dimensional space is preserved under $n$ linearly independent translations, it is "$n$-periodic" in the sense that the quotient group of its symmetry group divided by the translational subgroup of its symmetry group is finite. We present a refinement of a theorem of Bieberbach: given a $n$-periodic uniformly discrete Euclidean graph embedded in a $n$-dimensional Euclidean space of symmetry group $\bbbS$, there is another $n$-periodic uniformly discrete Euclidean graph embedded in the same space whose vertices are integer points (possibly modulo an affine transformation) and whose symmetry group has a (not necessarily proper) subgroup isomorphic to $\bbbS$. We conclude with a discussion of an application to the computer generation of "crystal nets".
2011-05-10
Metric dimension of some distance-regular graphs
Published • View Publication • BIB
A resolving set of a graph is a set of vertices with the property that the list of distances from any vertex to those in the set uniquely identifies that vertex. In this paper, we construct a resolving set of Johnson graphs, doubled Odd graphs, doubled Grassmann graphs and twisted Grassmann graphs, respectively, and obtain the upper bounds on the metric dimension of these graphs.
Majorization under constraints and bounds of the second Zagreb index
Published in Mathematical Inequalities and Applications 16 (2) (2013) 329-347 • View Publication • BIB
In this paper we present a theoretical analysis in order to establish maximal and minimal vectors with respect to the majorization order of particular subsets of \Re ^n: Afterwards we apply these issues to the calcula- tion of bounds for a topological descriptor of a graph known as the second Zagreb index. Finally, we show how our bounds may improve the re- sults obtained in the literature, providing some theoretical and numerical examples.
2011-05-10
List version of ($p$,1)-total labellings
The ($p$,1)-total number $λ_p^T(G)$ of a graph $G$ is the width of the smallest range of integers that suffices to label the vertices and the edges of $G$ such that no two adjacent vertices have the same label, no two incident edges have the same label and the difference between the labels of a vertex and its incident edges is at least $p$. In this paper we consider the list version. Let $L(x)$ be a list of possible colors for all $x\in V(G)\cup E(G)$. Define $C_{p,1}^T(G)$ to be the smallest integer $k$ such that for every list assignment with $|L(x)|=k$ for all $x\in V(G)\cup E(G)$, $G$ has a ($p$,1)-total labelling $c$ such that $c(x)\in L(x)$ for all $x\in V(G)\cup E(G)$. We call $C_{p,1}^T(G)$ the ($p$,1)-total labelling choosability and $G$ is list $L$-($p$,1)-total labelable. In this paper, we present a conjecture on the upper bound of $C_{p,1}^T$. Furthermore, we study this parameter for paths and trees in Section 2. We also prove that $C_{p,1}^T(K_{1,n})\leq n+2p-1$ for star $K_{1,n}$ with $p\geq2, n\geq3$ in Section 3 and $C_{p,1}^T(G)\leq Δ+2p-1$ for outerplanar graph with $Δ\geq p+3$ in Section 4.
2011-05-10
(2,1)-Total labeling of planar graphs with large maximum degree
Published • View Publication • BIB
The ($d$,1)-total labelling of graphs was introduced by Havet and Yu. In this paper, we prove that, for planar graph $G$ with maximum degree $Δ\geq12$ and $d=2$, the (2,1)-total labelling number $λ_2^T(G)$ is at most $Δ+2$.
2011-05-10
Independent sets in chain cacti
In this paper chain cacti are considered. First, for two specific classes of chain cacti (orto-chains and meta-chains of cycles with h vertices) the recurrence relation for independence polynomial is derived. That recurrence relation is then used in deriving explicit expressions for independence number and number of maximum independent sets for such chains. Also, the recurrence relation for total number of independent sets for such graphs is derived. Finaly, the proof is provided that orto-chains and meta-chains are the only extremal chain cacti with respect to total number of independent sets (orto-chains minimal and meta-chains maximal).
2011-05-09
On the super connectivity of Kronecker products of graphs
Published • View Publication • BIB
In this paper we present the super connectivity of Kronecker product of a general graph and a complete graph.
2011-05-09 v2
Treewidth of Cartesian Products of Highly Connected Graphs
Published in J. Graph Theory 73.3:318-321, 2013 • View Publication • BIB
The following theorem is proved: For all $k$-connected graphs $G$ and $H$ each with at least $n$ vertices, the treewidth of the cartesian product of $G$ and $H$ is at least $k(n -2k+2)-1$. For $n\gg k$ this lower bound is asymptotically tight for particular graphs $G$ and $H$. This theorem generalises a well known result about the treewidth of planar grid graphs.
Connectivity and tree structure in finite graphs
Published in Combinatorica 34 (2014), pp 11-46 • View Publication • BIB
Considering systems of separations in a graph that separate every pair of a given set of vertex sets that are themselves not separated by these separations, we determine conditions under which such a separation system contains a nested subsystem that still separates those sets and is invariant under the automorphisms of the graph. As an application, we show that the $k$-blocks -- the maximal vertex sets that cannot be separated by at most $k$ vertices -- of a graph $G$ live in distinct parts of a suitable tree-decomposition of $G$ of adhesion at most $k$, whose decomposition tree is invariant under the automorphisms of $G$. This extends recent work of Dunwoody and Krön and, like theirs, generalizes a similar theorem of Tutte for $k=2$. Under mild additional assumptions, which are necessary, our decompositions can be combined into one overall tree-decomposition that distinguishes, for all $k$ simultaneously, all the $k$-blocks of a finite graph.
2011-05-09 v2
KKR type bijection for the exceptional affine algebra E_6^{(1)}
Published • View Publication • BIB
For the exceptional affine type E_6^{(1)} we establish a statistic-preserving bijection between the highest weight paths consisting of the simplest Kirillov-Reshetikhin crystal and the rigged configurations. The algorithm only uses the structure of the crystal graph, hence could also be applied to other exceptional types.
2011-05-09
List (d,1)-total labelling of graphs embedded in surfaces
The (d,1)-total labelling of graphs was introduced by Havet and Yu. In this paper, we consider the list version of (d,1)-total labelling of graphs. Let G be a graph embedded in a surface with Euler characteristic $ε$ whose maximum degree $Δ(G)$ is sufficiently large. We prove that the (d,1)-total choosability $C_{d,1}^T(G)$ of $G$ is at most $Δ(G)+2d$.
2011-05-09
Generating p-extremal graphs
Define f(n,p) to be the maximum number of edges in a graph on n vertices with p perfect matchings. Dudek and Schmitt proved there exist constants n_p and c_p so that for even n >= n_p, f(n,p) = (n^2)/4+c_p. A graph is p-extremal if it has p perfect matchings and (n^2)/4+c_p edges. Based on Lovasz's Two Ear Theorem and structural results of Hartke, Stolee, West, and Yancey, we develop a computational method for determining c_p and generating the finite set of graphs which describe the infinite family of p-extremal graphs. This method extends the knowledge of the size and structure of p-extremal graphs from p <= 10 to p <= 27. These values provide further evidence towards a conjectured upper bound and prove the sequence c_p is not monotonic.
Iteration Index of a Zero Forcing Set in a Graph
Published in Bull. Inst. Combin. Appl. Vol. 64 (2012) pp. 57-72 • Search Publication
Let each vertex of a graph G = (V(G), E(G)) be given one of two colors, say, "black" and "white". Let Z denote the (initial) set of black vertices of G. The color-change rule converts the color of a vertex from white to black if the white vertex is the only white neighbor of a black vertex. The set Z is said to be a zero forcing set of G if all vertices of G will be turned black after finitely many applications of the color-change rule. The zero forcing number of G is the minimum of |Z| over all zero forcing sets Z \subseteq V (G). Zero forcing parameters have been studied and applied to the minimum rank problem for graphs in numerous articles. We define the iteration index of a zero forcing set of a graph G to be the number of (global) applications of the color-change rule required to turn all vertices of G black; this leads to a new graph invariant, the iteration index of G - it is the minimum of iteration indices of all minimum zero forcing sets of G. We present some basic properties of the iteration index and discuss some preliminary results on certain graphs.
2011-05-07 v4
Tverberg's theorem and graph coloring
The topological Tverberg theorem has been generalized in several directions by setting extra restrictions on the Tverberg partitions. Restricted Tverberg partitions, defined by the idea that certain points cannot be in the same part, are encoded with graphs. When two points are adjacent in the graph, they are not in the same part. If the restrictions are too harsh, then the topological Tverberg theorem fails. The colored Tverberg theorem corresponds to graphs constructed as disjoint unions of small complete graphs. Hell studied the case of paths and cycles. In graph theory these partitions are usually viewed as graph colorings. As explored by Aharoni, Haxell, Meshulam and others there are fundamental connections between several notions of graph colorings and topological combinatorics. For ordinary graph colorings it is enough to require that the number of colors q satisfy q>Delta, where Delta is the maximal degree of the graph. It was proven by the first author using equivariant topology that if q>Δ^2 then the topological Tverberg theorem still works. It is conjectured that q>KΔis also enough for some constant K, and in this paper we prove a fixed-parameter version of that conjecture. The required topological connectivity results are proven with shellability, which also strengthens some previous partial results where the topological connectivity was proven with the nerve lemma.
Testing Odd-Cycle-Freeness in Boolean Functions
Published • View Publication • BIB
Call a function f : F_2^n -> {0,1} odd-cycle-free if there are no x_1, ..., x_k in F_2^n with k an odd integer such that f(x_1) = ... = f(x_k) = 1 and x_1 + ... + x_k = 0. We show that one can distinguish odd-cycle-free functions from those eps-far from being odd-cycle-free by making poly(1/eps) queries to an evaluation oracle. To obtain this result, we use connections between basic Fourier analysis and spectral graph theory to show that one can reduce testing odd-cycle-freeness of Boolean functions to testing bipartiteness of dense graphs. Our work forms part of a recent sequence of works that shows connections between testability of properties of Boolean functions and of graph properties. We also prove that there is a canonical tester for odd-cycle-freeness making poly(1/eps) queries, meaning that the testing algorithm operates by picking a random linear subspace of dimension O(log 1/eps) and then checking if the restriction of the function to the subspace is odd-cycle-free or not. The test is analyzed by studying the effect of random subspace restriction on the Fourier coefficients of a function. Our work implies that testing odd-cycle-freeness using a canonical tester instead of an arbitrary tester incurs no more than a polynomial blowup in the query complexity. The question of whether a canonical tester with polynomial blowup exists for all linear-invariant properties remains an open problem.
2011-05-05
Vertex coloring of plane graphs with nonrepetitive boundary paths
Published in Journal of Graph Theory, 2012 • View Publication • BIB
A sequence $s_1,s_2,...,s_k,s_1,s_2,...,s_k$ is a repetition. A sequence $S$ is nonrepetitive, if no subsequence of consecutive terms of $S$ form a repetition. Let $G$ be a vertex colored graph. A path of $G$ is nonrepetitive, if the sequence of colors on its vertices is nonrepetitive. If $G$ is a plane graph, then a facial nonrepetitive vertex coloring of $G$ is a vertex coloring such that any facial path is nonrepetitive. Let $π_f(G)$ denote the minimum number of colors of a facial nonrepetitive vertex coloring of $G$. Jendro\vl and Harant posed a conjecture that $π_f(G)$ can be bounded from above by a constant. We prove that $π_f(G)\le 24$ for any plane graph $G$.
2011-05-04
Rainbow connection number, bridges and radius
Published • View Publication • BIB
Let $G$ be a connected graph. The notion \emph{the rainbow connection number $rc(G)$} of a graph $G$ was introduced recently by Chartrand et al. Basavaraju et al. showed that for every bridgeless graph $G$ with radius $r$, $rc(G)\leq r(r+2)$, and the bound is tight. In this paper, we prove that if $G$ is a connected graph, and $D^{k}$ is a connected $k$-step dominating set of $G$, then $G$ has a connected $(k-1)$-step dominating set $D^{k-1}\supset D^{k}$ such that $rc(G[D^{k-1}])\leq rc(G[D^{k}])+\max\{2k+1,b_k\}$, where $b_k$ is the number of bridges in $ E(D^{k}, N(D^{k}))$. Furthermore, for a connected graph $G$ with radius $r$, let $u$ be the center of $G$, and $D^{r}=\{u\}$. Then $G$ has $r-1$ connected dominating sets $ D^{r-1}, D^{r-2},..., D^{1}$ satisfying $D^{r}\subset D^{r-1}\subset D^{r-2} ...\subset D^{1}\subset D^{0}=V(G)$, and $rc(G)\leq \sum_{i=1}^{r}\max\{2i+1,b_i\}$, where $b_i$ is the number of bridges in $ E(D^{i}, N(D^{i})), 1\leq i \leq r$. From the result, we can get that if for all $1\leq i\leq r, b_i\leq 2i+1$, then $rc(G)\leq \sum_{i=1}^{r}(2i+1)= r(r+2)$; if for all $1\leq i\leq r, b_i> 2i+1$, then $rc(G)= \sum_{i=1}^{r}b_i$, the number of bridges of $G$. This generalizes the result of Basavaraju et al.