graph
35150 papers tagged with this keyword
Doubly biased Maker-Breaker Connectivity game
Published
• View Publication
• BIB
In this paper we study the (a : b) Maker-Breaker Connectivity game, played on the edge-set of the complete graph on n vertices. We determine the winner for almost all values of a and b.
On cooperative patrolling: optimal trajectories, complexity analysis, and approximation algorithms
Published in IEEE Transaction on Robotics, vol. 28, issue 3, pp. 592-606, 06/2012
• View Publication
• BIB
The subject of this work is the patrolling of an environment with the aid of a team of autonomous agents. We consider both the design of open-loop trajectories with optimal properties, and of distributed control laws converging to optimal trajectories. As performance criteria, the refresh time and the latency are considered, i.e., respectively, time gap between any two visits of the same region, and the time necessary to inform every agent about an event occurred in the environment. We associate a graph with the environment, and we study separately the case of a chain, tree, and cyclic graph. For the case of chain graph, we first describe a minimum refresh time and latency team trajectory, and we propose a polynomial time algorithm for its computation. Then, we describe a distributed procedure that steers the robots toward an optimal trajectory. For the case of tree graph, a polynomial time algorithm is developed for the minimum refresh time problem, under the technical assumption of a constant number of robots involved in the patrolling task. Finally, we show that the design of a minimum refresh time trajectory for a cyclic graph is NP-hard, and we develop a constant factor approximation algorithm.
Critical groups of simplicial complexes
Published
• View Publication
• BIB
We generalize the theory of critical groups from graphs to simplicial complexes. Specifically, given a simplicial complex, we define a family of abelian groups in terms of combinatorial Laplacian operators, generalizing the construction of the critical group of a graph. We show how to realize these critical groups explicitly as cokernels of reduced Laplacians, and prove that they are finite, with orders given by weighted enumerators of simplicial spanning trees. We describe how the critical groups of a complex represent flow along its faces, and sketch another potential interpretation as analogues of Chow groups.
The Metric Dimension of Regular Bipartite Graphs
Published in Bull. Math. Soc. Sci. Math. Roumanie Tome 54(102) No. 1, 2011, 15-28
• Search Publication
A set of vertices $W$ resolves a graph $G$ if every vertex is uniquely determined by its vector of distances to the vertices in $W$. A metric dimension of $G$ is the minimum cardinality of a resolving set of $G$. A bipartite graph G(n,n) is a graph whose vertex set $V$ can be partitioned into two subsets $V_1$ and $V_2,$ with $|V_1|=|V_2|=n,$ such that every edge of $G$ joins $V_1$ and $V_2$. The graph $G$ is called $k$-regular if every vertex of $G$ is adjacent to $k$ other vertices. In this paper, we determine the metric dimension of $k$-regular bipartite graphs G(n,n) where $k=n-1$ or $k=n-2$.
The crossing number of folded hypercubes
The {\it crossing number} of a graph $G$ is the minimum number of pairwise intersections of edges in a drawing of $G$. The {\it $n$-dimensional folded hypercube} $FQ_n$ is a graph obtained from $n$-dimensional hypercube by adding all complementary edges. In this paper, we obtain upper and lower bounds of the crossing number of $FQ_n$.
Perfectly Colorable Graphs
Published in Information Processing Letters 111, 19, 960 - 961, 2011
• View Publication
• BIB
We define a perfect coloring of a graph $G$ as a proper coloring of $G$ such that every connected induced subgraph $H$ of $G$ uses exactly $ω(H)$ many colors where $ω(H)$ is the clique number of $H$. A graph is perfectly colorable if it admits a perfect coloring. We show that the class of perfectly colorable graphs is exactly the class of perfect paw-free graphs. It follows that perfectly colorable graphs can be recognized and colored in linear time.
Upper bounds involving parameter $σ_2$ for the rainbow connection
Published
• View Publication
• BIB
For a graph $G$, we define $σ_2(G)=min \{d(u)+d(v)| u,v\in V(G), uv\not\in E(G)\}$, or simply denoted by $σ_2$. A edge-colored graph is rainbow edge-connected if any two vertices are connected by a path whose edges have distinct colors, which was introduced by Chartrand et al. The rainbow connection of a connected graph $G$, denoted by $rc(G)$, is the smallest number of colors that are needed in order to make $G$ rainbow edge-connected. We prove that if $G$ is a connected graph of order $n$, then $rc(G)\leq 6\frac{n-2}{σ_2+2}+7$. Moreover, the bound is seen to be tight up to additive factors by a construction mentioned by Caro et al. A vertex-colored graph is rainbow vertex-connected if any two vertices are connected by a path whose internal vertices have distinct colors, which was recently introduced by Krivelevich and Yuster. The rainbow vertex-connection of a connected graph $G$, denoted by $rvc(G)$, is the smallest number of colors that are needed in order to make $G$ rainbow vertex-connected. We prove that if $G$ is a connected graph of order $n$, then $rvc(G)\leq 8\frac{n-2}{σ_2+2}+10 $ for $2\leq σ_2\leq 6, σ_2\geq 28 $, while for $ 7 \leq σ_2\leq 8, 16\leq σ_2\leq 27$, $ rvc(G)\leq \frac{10n-16}{σ_2+2}+10$, and for $9 \leq σ_2\leq 15, rvc(G)\leq \frac{10n-16}{σ_2+2}+A(σ_2)$ where $ A(σ_2)= 63,41,27,20,16,13,11,$ respectively.
The complexity of determining the rainbow vertex-connection of graphs
Published
• View Publication
• BIB
A vertex-colored graph is {\it rainbow vertex-connected} if any two vertices are connected by a path whose internal vertices have distinct colors, which was introduced by Krivelevich and Yuster. The {\it rainbow vertex-connection} of a connected graph $G$, denoted by $rvc(G)$, is the smallest number of colors that are needed in order to make $G$ rainbow vertex-connected. In this paper, we study the computational complexity of vertex-rainbow connection of graphs and prove that computing $rvc(G)$ is NP-Hard. Moreover, we show that it is already NP-Complete to decide whether $rvc(G)=2$. We also prove that the following problem is NP-Complete: given a vertex-colored graph $G$, check whether the given coloring makes $G$ rainbow vertex-connected.
Growth of Schreier graphs of automaton groups
Published in Mathematische Annalen, Volume 354, Number 2, 765-785, 2012
• View Publication
• BIB
Every automaton group naturally acts on the space $X^ω$ of infinite sequences over some alphabet $X$. For every $w\in X^ω$ we consider the Schreier graph $Γ_w$ of the action of the group on the orbit of $w$. We prove that for a large class of automaton groups all Schreier graphs $Γ_w$ have subexponential growth bounded above by $n^{(\log n)^m}$ with some constant $m$. In particular, this holds for all groups generated by automata with polynomial activity growth (in terms of S.Sidki), confirming a conjecture of V.Nekrashevych. We present applications to omega-periodic graphs and Hanoi graphs.
Sharpness in the k-nearest neighbours random geometric graph model
Published in Advances in Applied Probability, 44(3) (2012), 617-634
• View Publication
• BIB
Let $S_{n,k}$ denote the random geometric graph obtained by placing points in a square box of area $n$ according to a Poisson process of intensity 1 and joining each point to its $k$ nearest neighbours. Balister, Bollobás, Sarkar and Walters conjectured that for every $0< ε<1$ and all $n$ sufficiently large there exists $C=C(ε)$ such that whenever the probability $S_{n,k}$ is connected is at least $ε$ then the probability $S_{n,k+C}$ is connected is at least $1-ε$. In this paper we prove this conjecture.
As a corollary we prove that there is a constant $C'$ such that whenever $k=k(n)$ is a sequence of integers such that the probability $S_{n,k(n)}$ is connected tends to one as $n$ tends to infinity, then for any $s(n)$ with $s(n)=o(\log n)$, the probability that $S_{n,k(n)+C's\log \log n}$ is $s$-connected tends to one This proves another conjecture of Balister, Bollobás, Sarkar and Walters.
On the resilience of Hamiltonicity and optimal packing of Hamilton cycles in random graphs
Published in SIAM Journal on Discrete Mathematics, 25(3):1176--1193, 2011
• View Publication
• BIB
Let $\bk=(k_1,...,k_n)$ be a sequence of $n$ integers. For an increasing monotone graph property $\mP$ we say that a base graph $G=([n],E)$ is \emph{$\bk$-resilient} with respect to $\mP$ if for every subgraph $H\subseteq G$ such that $d_H(i)\leq k_i$ for every $1\leq i\leq n$ the graph $G-H$ possesses $\mP$. This notion naturally extends the idea of the \emph{local resilience} of graphs recently initiated by Sudakov and Vu. In this paper we study the $\bk$-resilience of a typical graph from $\GNP$ with respect to the Hamiltonicity property where we let $p$ range over all values for which the base graph is expected to be Hamiltonian. In particular, we prove that for every $ε>0$ and $p\geq\frac{\ln n+\ln\ln n +ω(1)}{n}$ if a graph is sampled from $\GNP$ then with high probability removing from each vertex of "small" degree all incident edges but two and from any other vertex at most a $(\frac{1}{3}-ε)$-fraction of the incident edges will result in a Hamiltonian graph.
Considering this generalized approach to the notion of resilience allows to establish several corollaries which improve on the best known bounds of Hamiltonicity related questions. It implies that for every positive $ε>0$ and large enough values of $K$, if $p>\frac{K\ln n}{n}$ then with high probability the local resilience of $\GNP$ with respect to being Hamiltonian is at least $(1-ε)np/3$, improving on the previous bound for this range of $p$. Another implication is a result on optimal packing of edge disjoint Hamilton cycles in a random graph. We prove that if $p\leq\frac{1.02\ln n}{n}$ then with high probability a graph $G$ sampled from $\GNP$ contains $\lfloor\frac{δ(G)}{2}\rfloor$ edge disjoint Hamilton cycles, extending the previous range of $p$ for which this was known to hold.
Curvature, geometry and spectral properties of planar graphs
Published
• View Publication
• BIB
We introduce a curvature function for planar graphs to study the connection between the curvature and the geometric and spectral properties of the graph. We show that non-positive curvature implies that the graph is infinite and locally similar to a tessellation. We use this to extend several results known for tessellations to general planar graphs. For non-positive curvature, we show that the graph admits no cut locus and we give a description of the boundary structure of distance balls. For negative curvature, we prove that the interiors of minimal bigons are empty and derive explicit bounds for the growth of distance balls and Cheeger's constant. The latter are used to obtain lower bounds for the bottom of the spectrum of the discrete Laplace operator. Moreover, we give a characterization for triviality of essential spectrum by uniform decrease of the curvature. Finally, we show that non-positive curvature implies absence of finitely supported eigenfunctions for nearest neighbor operators.
Chomp on Graphs and Subsets
The game subset take-away begins with a simplicial complex Δ. Two players take turns removing any element of Δas well as all other elements which contain it, and the last player able to move wins. Graph Chomp is a special case of subset take-away played on a simplicial complex with only vertices and edges. The game has previously only been analyzed for complete graphs, forest graphs, and very small special cases of higher-dimensional simplicial complexes. We generalize a common method of reducing some game positions to simpler ones by symmetry and provide a complete analysis of complete n-partite graphs for arbitrary n and all bipartite graphs. Finally, we give partial results for odd-cycle pseudotrees, which are non-bipartite graphs with a single cycle.
A Note on Set Graceful Labeling of Graphs
We settle affirmatively a conjecture posed in [S. M. Hegde, Set colorings of graphs, European Journal of Combinatorics 30 (4) (2009), 986--995]: If some subsets of a set X are assigned injectively to all vertices of a complete bipartite graph G such that the collection of all sets, each of which is the symmetric difference of the sets assigned to the ends of some edge, is the set of all nonempty subsets of X, then G is a star.
Rainbow connection of graphs with diameter 2
Published
• View Publication
• BIB
A path in an edge-colored graph $G$, where adjacent edges may have the same color, is called a rainbow path if no two edges of the path are colored the same. The rainbow connection number $rc(G)$ of $G$ is the minimum integer $i$ for which there exists an $i$-edge-coloring of $G$ such that every two distinct vertices of $G$ are connected by a rainbow path. It is known that for a graph $G$ with diameter 2, to determine $rc(G)$ is NP-hard. So, it is interesting to know the best upper bound of $rc(G)$ for such a graph $G$. In this paper, we show that $rc(G)\leq 5$ if $G$ is a bridgeless graph with diameter 2, and that $rc(G)\leq k+2$ if $G$ is a connected graph of diameter 2 with $k$ bridges, where $k\geq 1$.
Recurrent Rotor-Router Configurations
Published
• View Publication
• BIB
We prove the existence of recurrent initial configurations for the rotor walk on many graphs, including Z^d, and planar graphs with locally finite embeddings. We also prove that recurrence and transience of rotor walks are invariant under changes in the starting vertex and finite changes in the initial configuration.
Plünnecke's Inequality
Published in Combin. Probab. Comput. 20 (6), 2011, 921-938
• View Publication
• BIB
Plunnecke's inequality is the standard tool to obtain estimates on the cardinality of sumsets and has many applications in additive combinatorics. We present a new proof. The main novelty is that the proof is completed with no reference to Menger's theorem or Cartesian products of graphs. We also investigate the sharpness of the inequality and show that it can be sharp for arbitrarily long, but not for infinite commutative graphs. A key step in our investigation is the construction of arbitrarily long regular commutative graphs. Lastly we prove a necessary condition for the inequality to be attained.
Small components in k-nearest neighbour graphs
Published
• View Publication
• BIB
Let $G=G_{n,k}$ denote the graph formed by placing points in a square of area $n$ according to a Poisson process of density 1 and joining each point to its $k$ nearest neighbours. Balister, Bollobás, Sarkar and Walters proved that if $k<0.3043\log n$ then the probability that $G$ is connected tends to 0, whereas if $k>0.5139\log n$ then the probability that $G$ is connected tends to 1.
We prove that, around the threshold for connectivity, all vertices near the boundary of the square are part of the (unique) giant component. This shows that arguments about the connectivity of $G$ do not need to consider `boundary' effects.
We also improve the upper bound for the threshold for connectivity of $G$ to $k=0.4125\log n$.
Minimum degree condition forcing complete graph immersion
Published
• View Publication
• BIB
An immersion of a graph $H$ into a graph $G$ is a one-to-one mapping $f:V(H) \to V(G)$ and a collection of edge-disjoint paths in $G$, one for each edge of $H$, such that the path $P_{uv}$ corresponding to edge $uv$ has endpoints $f(u)$ and $f(v)$. The immersion is strong if the paths $P_{uv}$ are internally disjoint from $f(V(H))$. It is proved that for every positive integer $t$, every simple graph of minimum degree at least $200t$ contains a strong immersion of the complete graph $K_t$. For dense graphs one can say even more. If the graph has order $n$ and has $2cn^2$ edges, then there is a strong immersion of the complete graph on at least $c^2 n$ vertices in $G$ in which each path $P_{uv}$ is of length 2. As an application of these results, we resolve a problem raised by Paul Seymour by proving that the line graph of every simple graph with average degree $d$ has a clique minor of order at least $cd^{3/2}$, where $c>0$ is an absolute constant.
For small values of $t$, $1\le t\le 7$, every simple graph of minimum degree at least $t-1$ contains an immersion of $K_t$ (Lescure and Meyniel, DeVos et al.). We provide a general class of examples showing that this does not hold when $t$ is large.
Quantum tunneling on graphs
Published
• View Publication
• BIB
We explore the tunneling behavior of a quantum particle on a finite graph, in the presence of an asymptotically large potential. Surprisingly the behavior is governed by the local symmetry of the graph around the wells.