arXiv++ Combinatorics

Browse math.CO papers from arXiv

graph

35150 papers tagged with this keyword
2011-05-27
Design and Analysis of SD_DWCA - A Mobility based clustering of Homogeneous MANETs
Published • View Publication • BIB
This paper deals with the design and analysis of the distributed weighted clustering algorithm SD_DWCA proposed for homogeneous mobile ad hoc networks. It is a connectivity, mobility and energy based clustering algorithm which is suitable for scalable ad hoc networks. The algorithm uses a new graph parameter called strong degree defined based on the quality of neighbours of a node. The parameters are so chosen to ensure high connectivity, cluster stability and energy efficient communication among nodes of high dynamic nature. This paper also includes the experimental results of the algorithm implemented using the network simulator NS2. The experimental results show that the algorithm is suitable for high speed networks and generate stable clusters with less maintenance overhead.
2011-05-27
The largest $n-1$ Hosoya indices of unicyclic graphs
Published • View Publication • BIB
The Hosoya index $Z (G)$ of a graph $G$ is defined as the total number of edge independent sets of $G$. In this paper, we extend the research of [J. Ou, On extremal unicyclic molecular graphs with maximal Hosoya index, \textit{Discrete Appl. Math.} 157 (2009) 391--397.] and [Y. Ye, X. Pan, H. Liu, Ordering unicyclic graphs with respect to Hosoya indices and Merrifield-Simmons indices, \textit{MATCH Commun. Math. Comput. Chem.} 59 (2008) 191--202.] and order the largest $n-1$ unicyclic graphs with respect to the Hosoya index.
2011-05-27
Packing Chromatic Number of Distance Graphs
Published • View Publication • BIB
The packing chromatic number $χ_ρ(G)$ of a graph $G$ is the smallest integer $k$ such that vertices of $G$ can be partitioned into disjoint classes $X_1, ..., X_k$ where vertices in $X_i$ have pairwise distance greater than $i$. We study the packing chromatic number of infinite distance graphs $G(Z, D)$, i.e. graphs with the set $Z$ of integers as vertex set and in which two distinct vertices $i, j \in Z$ are adjacent if and only if $|i - j| \in D$. In this paper we focus on distance graphs with $D = \{1, t\}$. We improve some results of Togni who initiated the study. It is shown that $χ_ρ(G(Z, D)) \leq 35$ for sufficiently large odd $t$ and $χ_ρ(G(Z, D)) \leq 56$ for sufficiently large even $t$. We also give a lower bound 12 for $t \geq 9$ and tighten several gaps for $χ_ρ(G(Z, D))$ with small $t$.
2011-05-26
Cycle Double Covers and Semi-Kotzig Frame
Published in European Journal of Combinatorics (2012) • View Publication • BIB
Let $H$ be a cubic graph admitting a 3-edge-coloring $c: E(H)\to \mathbb Z_3$ such that the edges colored by 0 and $μ\in\{1,2\}$ induce a Hamilton circuit of $H$ and the edges colored by 1 and 2 induce a 2-factor $F$. The graph $H$ is semi-Kotzig if switching colors of edges in any even subgraph of $F$ yields a new 3-edge-coloring of $H$ having the same property as $c$. A spanning subgraph $H$ of a cubic graph $G$ is called a {\em semi-Kotzig frame} if the contracted graph $G/H$ is even and every non-circuit component of $H$ is a subdivision of a semi-Kotzig graph. In this paper, we show that a cubic graph $G$ has a circuit double cover if it has a semi-Kotzig frame with at most one non-circuit component. Our result generalizes some results of Goddyn (1988), and Häggkvist and Markström [J. Combin. Theory Ser. B (2006)].
2011-05-26 v2
Cubicity, Degeneracy, and Crossing Number
Published • View Publication • BIB
A $k$-box $B=(R_1,...,R_k)$, where each $R_i$ is a closed interval on the real line, is defined to be the Cartesian product $R_1\times R_2\times ...\times R_k$. If each $R_i$ is a unit length interval, we call $B$ a $k$-cube. Boxicity of a graph $G$, denoted as $\boxi(G)$, is the minimum integer $k$ such that $G$ is an intersection graph of $k$-boxes. Similarly, the cubicity of $G$, denoted as $\cubi(G)$, is the minimum integer $k$ such that $G$ is an intersection graph of $k$-cubes. It was shown in [L. Sunil Chandran, Mathew C. Francis, and Naveen Sivadasan: Representing graphs as the intersection of axis-parallel cubes. MCDES-2008, IISc Centenary Conference, available at CoRR, abs/cs/ 0607092, 2006.] that, for a graph $G$ with maximum degree $Δ$, $\cubi(G)\leq \lceil 4(Δ+1)\log n\rceil$. In this paper, we show that, for a $k$-degenerate graph $G$, $\cubi(G) \leq (k+2) \lceil 2e \log n \rceil$. Since $k$ is at most $Δ$ and can be much lower, this clearly is a stronger result. This bound is tight. We also give an efficient deterministic algorithm that runs in $O(n^2k)$ time to output a $8k(\lceil 2.42 \log n\rceil + 1)$ dimensional cube representation for $G$. An important consequence of the above result is that if the crossing number of a graph $G$ is $t$, then $\boxi(G)$ is $O(t^{1/4}{\lceil\log t\rceil}^{3/4})$ . This bound is tight up to a factor of $O((\log t)^{1/4})$. We also show that, if $G$ has $n$ vertices, then $\cubi(G)$ is $O(\log n + t^{1/4}\log t)$. Using our bound for the cubicity of $k$-degenerate graphs we show that cubicity of almost all graphs in $\mathcal{G}(n,m)$ model is $O(d_{av}\log n)$, where $d_{av}$ denotes the average degree of the graph under consideration.
On the graph labellings arising from phylogenetics
Published in Central European Journal of Mathematics, 11(9), 2013, 1577-1592 • View Publication • BIB
We study semigroups of labellings associated to a graph. These generalize the Jukes-Cantor model and phylogenetic toric varieties defined by Buczyńska. Our main theorem bounds the degree of the generators of the semigroup by g+1 when the graph has first Betti number g. Also, we provide a series of examples where the bound is sharp.
2011-05-25 v2
The chromatic number of the convex segment disjointness graph
Published • View Publication • BIB
Let $P$ be a set of $n$ points in general and convex position in the plane. Let $D_n$ be the graph whose vertex set is the set of all line segments with endpoints in $P$, where disjoint segments are adjacent. The chromatic number of this graph was first studied by Araujo et al. [\emph{CGTA}, 2005]. The previous best bounds are $\frac{3n}{4}\leqχ(D_n) <n-\sqrt{\frac{n}{2}}$ (ignoring lower order terms). In this paper we improve the lower bound to $χ(D_n)\geq n-\sqrt{2n}$, to conclude a near-tight bound on $χ(D_n)$.
2011-05-25
On group choosability of total graphs
Published • View Publication • BIB
In this paper, we study the group and list group colorings of total graphs and we give two group versions of the total and list total colorings conjectures. We establish the group version of the total coloring conjecture for the following classes of graphs: graphs with small maximum degree, two-degenerate graphs, planner graphs with maximum degree at least 11, planner graphs without certain small cycles, outerplanar and near-outerplanar graphs. In addition, the group version of the list total coloring conjecture is established for forests, outerplanar graphs and graphs with maximum degree at most two.
Nonattacking Queens in a Rectangular Strip
Published in Annals of Combinatorics 14 (2010), 419-441. MR 2776757 (2012d:05034). Zbl 1233.05022 • View Publication • BIB
The function that counts the number of ways to place nonattacking identical chess or fairy chess pieces in a rectangular strip of fixed height and variable width, as a function of the width, is a piecewise polynomial which is eventually a polynomial and whose behavior can be described in some detail. We deduce this by converting the problem to one of counting lattice points outside an affinographic hyperplane arrangement, which Forge and Zaslavsky solved by means of weighted integral gain graphs. We extend their work by developing both generating functions and a detailed analysis of deletion and contraction for weighted integral gain graphs. For chess pieces we find the asymptotic probability that a random configuration is nonattacking, and we obtain exact counts of nonattacking configurations of small numbers of queens, bishops, knights, and nightriders.
Improved Inapproximability Results for Counting Independent Sets in the Hard-Core Model
Published • View Publication • BIB
We study the computational complexity of approximately counting the number of independent sets of a graph with maximum degree Delta. More generally, for an input graph G=(V,E) and an activity lambda>0, we are interested in the quantity Z_G(lambda) defined as the sum over independent sets I weighted as w(I) = lambda^|I|. In statistical physics, Z_G(lambda) is the partition function for the hard-core model, which is an idealized model of a gas where the particles have non-negibile size. Recently, an interesting phase transition was shown to occur for the complexity of approximating the partition function. Weitz showed an FPAS for the partition function for any graph of maximum degree Delta when Delta is constant and lambda< lambda_c(Tree_Delta):=(Delta-1)^(Delta-1)/(Delta-2)^Delta. The quantity lambda_c(Tree_Delta) is the critical point for the so-called uniqueness threshold on the infinite, regular tree of degree Delta. On the other side, Sly proved that there does not exist efficient (randomized) approximation algorithms for lambda_c(Tree_Delta) < lambda < lambda_c(Tree_Delta)+epsilon(Delta), unless NP=RP, for some function epsilon(Delta)>0. We remove the upper bound in the assumptions of Sly's result for Delta not equal to 4 and 5, that is, we show that there does not exist efficient randomized approximation algorithms for all lambda>lambda_c(Tree_Delta) for Delta=3 and Delta>= 6. Sly's inapproximability result uses a clever reduction, combined with a second-moment analysis of Mossel, Weitz and Wormald which prove torpid mixing of the Glauber dynamics for sampling from the associated Gibbs distribution on almost every regular graph of degree Delta for the same range of lambda as in Sly's result. We extend Sly's result by improving upon the technical work of Mossel et al., via a more detailed analysis of independent sets in random regular graphs.
2011-05-24
Periodic Walks on Large Regular Graphs and Random Matrix Theory
Published • View Publication • BIB
We study the distribution of the number of (non-backtracking) periodic walks on large regular graphs. We propose a formula for the ratio between the variance of the number of $t$-periodic walks and its mean, when the cardinality of the vertex set $V$ and the period $t$ approach $\infty$ with $t/V\rightarrow τ$ for any $τ$. This formula is based on the conjecture that the spectral statistics of the adjacency eigenvalues is given by Random Matrix Theory (RMT). We provide numerical and theoretical evidence for the validity of this conjecture. The key tool used in this study is a trace formula which expresses the spectral density of $d$-regular graphs, in terms of periodic walks.
2011-05-22
Asymptotic value of the minimal size of a graph with rainbow connection number 2
A path in an edge (vertex)-colored graph $G$, where adjacent edges (vertices) may have the same color, is called a rainbow path if no pair of edges (internal vertices) of the path are colored the same. The rainbow (vertex) connection number $rc(G)$ ($rvc(G)$) of $G$ is the minimum integer $i$ for which there exists an $i$-edge (vertex)-coloring of $G$ such that every two distinct vertices of $G$ are connected by a rainbow path. Denote by $\mathcal{G}_d(n)$ ($\mathcal{G'}_d(n)$) the set of all graphs of order $n$ with rainbow (vertex) connection number $d$, and define $e_d(n)=\min\{e(G)\,|\, G\in \mathcal{G}_d(n)\}$ ($e_d'(n)=\min\{e(G)\,|\, G\in \mathcal{G'}_d(n)\}$), where $e(G)$ denotes the number of edges in $G$. In this paper, we investigate the bounds of $e_2(n)$ and get the exact asymptotic value. i.e., $\displaystyle \lim_{n\rightarrow \infty}\frac{e_2(n)}{n\log_2 n}=1$. Meanwhile, we obtain $e'_d(n)=n-1$ for $d\geq 2$, and the equality holds if and only if $G$ is such a graph such that deleting all leaves of $G$ results in a tree of order $d$.
2011-05-21 v2
Sharp upper bound for the rainbow connection numbers of 2-connected graphs
An edge-colored graph $G$, where adjacent edges may be colored the same, is rainbow connected if any two vertices of $G$ are connected by a path whose edges have distinct colors. The rainbow connection number $rc(G)$ of a connected graph $G$ is the smallest number of colors that are needed in order to make $G$ rainbow connected. In this paper, we give a sharp upper bound that $rc(G)\leq\lceil\frac{n}{2}\rceil$ for any 2-connected graph $G$ of order $n$, which improves the results of Caro et al. to best possible.
2011-05-21
Suborbits of a point stabilizer in the orthogonal group on the last subconstituent of orthogonal dual polar graphs
Published • View Publication • BIB
As one of the serial papers on suborbits of point stabilizers in classical groups on the last subconstituent of dual polar graphs, the corresponding problem for orthogonal dual polar graphs over a finite field of odd characteristic is discussed in this paper. We determine all the suborbits of a point-stabilizer in the orthogonal group on the last subconstituent, and calculate the length of each suborbit. Moreover, we discuss the quasi-strongly regular graphs and the association schemes based on the last subconstituent, respectively.
2011-05-20
KP solitons, total positivity, and cluster algebras
Published • View Publication • BIB
Soliton solutions of the KP equation have been studied since 1970, when Kadomtsev and Petviashvili proposed a two-dimensional nonlinear dispersive wave equation now known as the KP equation. It is well-known that the Wronskian approach to the KP equation provides a method to construct soliton solutions. The regular soliton solutions that one obtains in this way come from points of the totally non-negative part of the Grassmannian. In this paper we explain how the theory of total positivity and cluster algebras provides a framework for understanding these soliton solutions to the KP equation. We then use this framework to give an explicit construction of certain soliton contour graphs, and solve the inverse problem for soliton solutions coming from the totally positive part of the Grassmannian.
2011-05-20
Nearly Optimal NP-Hardness of Vertex Cover on k-Uniform k-Partite Hypergraphs
Published • View Publication • BIB
We study the problem of computing the minimum vertex cover on k-uniform k-partite hypergraphs when the k-partition is given. On bipartite graphs (k = 2), the minimum vertex cover can be computed in polynomial time. For general k, the problem was studied by Lovász, who gave a k/2 -approximation based on the standard LP relaxation. Subsequent work by Aharoni, Holzman and Krivelevich showed a tight integrality gap of (k/2 - o(1)) for the LP relaxation. While this problem was known to be NP-hard for k >= 3, the first non-trivial NP-hardness of approximation factor of k/4- \eps was shown in a recent work by Guruswami and Saket. They also showed that assuming Khot's Unique Games Conjecture yields a k/2 - \eps inapproximability for this problem, implying the optimality of Lovász's result. In this work, we show that this problem is NP-hard to approximate within k/2- 1 + 1/2k -\eps. This hardness factor is off from the optimal by an additive constant of at most 1 for k >= 4. Our reduction relies on the Multi-Layered PCP of Dinur et al. and uses a gadget - based on biased Long Codes - adapted from the LP integrality gap of Aharoni et al. The nature of our reduction requires the analysis of several Long Codes with different biases, for which we prove structural properties of the so called cross-intersecting collections of set families - variants of which have been studied in extremal set theory.
All-Pairs Shortest Paths in $O(n^2)$ time with high probability
Published • View Publication • BIB
We present an all-pairs shortest path algorithm whose running time on a complete directed graph on $n$ vertices whose edge weights are chosen independently and uniformly at random from $[0,1]$ is $O(n^2)$, in expectation and with high probability. This resolves a long standing open problem. The algorithm is a variant of the dynamic all-pairs shortest paths algorithm of Demetrescu and Italiano. The analysis relies on a proof that the number of \emph{locally shortest paths} in such randomly weighted graphs is $O(n^2)$, in expectation and with high probability. We also present a dynamic version of the algorithm that recomputes all shortest paths after a random edge update in $O(\log^{2}n)$ expected time.
2011-05-19 v2
Ollivier-Ricci curvature and the spectrum of the normalized graph Laplace operator
Published in Math. Res. Lett. 19 (2012), no. 6, 1185-1205 • View Publication • BIB
We prove the following estimate for the spectrum of the normalized Laplace operator $Δ$ on a finite graph $G$, \begin{equation*}1- (1- k[t])^{\frac{1}{t}}\leq λ_1 \leq \cdots \leq λ_{N-1}\leq 1+ (1- k[t])^{\frac{1}{t}}, \,\forall \,\,\text{integers}\,\, t\geq 1. \end{equation*} Here $k[t]$ is a lower bound for the Ollivier-Ricci curvature on the neighborhood graph $G[t]$, which was introduced by Bauer-Jost. In particular, when $t=1$ this is Ollivier's estimates $k\leq λ_1\leq \ldots \leq λ_{N-1}\leq 2-k$. For sufficiently large $t$ we show that, unless $G$ is bipartite, our estimates for $λ_1$ and $λ_{N-1}$ are always nontrivial and improve Ollivier's estimates for all graphs with $k\leq 0$. By definition neighborhood graphs are weighted graphs which may have loops. To understand the Ollivier-Ricci curvature on neighborhood graphs, we generalize a sharp estimate of the Ricci curvature given by Jost-Liu to weighted graphs with loops and relate it to the relative local frequency of triangles and loops.
2011-05-18 v2
Complete Graph Minors and the Graph Minor Structure Theorem
Published in Journal of Combinatorial Theory, Series B, 103/1:61--74, 2013 • View Publication • BIB
The graph minor structure theorem by Robertson and Seymour shows that every graph that excludes a fixed minor can be constructed by a combination of four ingredients: graphs embedded in a surface of bounded genus, a bounded number of vortices of bounded width, a bounded number of apex vertices, and the clique-sum operation. This paper studies the converse question: What is the maximum order of a complete graph minor in a graph constructed using these four ingredients? Our main result answers this question up to a constant factor.
2011-05-18
Monomial cut ideals
Published • View Publication • BIB
B. Sturmfels and S. Sullivant associated to any graph a toric ideal, called the cut ideal. We consider monomial cut ideals and we show that their algebraic properties such as the minimal primary decomposition, the property of having a linear resolution or being Cohen--Macaulay may be derived from the combinatorial structure of the graph.