graph
34995 papers tagged with this keyword
Solving the minimum labelling spanning tree problem using intelligent optimization
Published
• View Publication
• BIB
Given a connected, undirected graph whose edges are labelled (or coloured), the minimum labelling spanning tree (MLST) problem seeks a spanning tree whose edges have the smallest number of distinct labels (or colours). In recent work, the MLST problem has been shown to be NP-hard and some effective heuristics have been proposed and analyzed. In this paper we present an intelligent optimization algorithm to solve the problem. It is obtained by the basic Variable Neighbourhood Search heuristic with the integration of other complements from machine learning, statistics and experimental algorithmics, in order to produce high-quality performance and to completely automate the resulting optimization strategy. We present experimental results on randomly generated graphs with different statistical properties, showing the crucial effects of the implementation, the robustness, and the empirical scalability of our intelligent algorithm. Furthermore, the computational experiments show that the proposed strategy outperforms the heuristics recommended in the literature and is able to obtain optimal or near-optimal solutions in short computational running time.
Multicolor Ramsey Numbers for Complete Bipartite Versus Complete Graphs
Published in Journal of Graph Theory. Volume 77, Issue 1, pages 19-38, September 2014
• View Publication
• BIB
Let H_1, ..., H_k be graphs. The multicolor Ramsey number r(H_1,...,H_k) is the minimum integer r such that in every edge-coloring of K_r by k colors, there is a monochromatic copy of H_i in color i for some 1 <= i <= k. In this paper, we investigate the multicolor Ramsey number $r(K_{2,t},...,K_{2,t},K_m)$, determining the asymptotic behavior up to a polylogarithmic factor for almost all ranges of t and m. Several different constructions are used for the lower bounds, including the random graph and explicit graphs built from finite fields. A technique of Alon and Rödl using the probabilistic method and spectral arguments is employed to supply tight lower bounds. A sample result is $c_1 m^2t/\log^4(mt) \leq r(K_{2,t},K_{2,t},K_m) \leq c_2 m^2t/\log^2 m$ for any t and m, where c_1 and c_2 are absolute constants.
Affine dual equivalence and k-Schur functions
Published
• View Publication
• BIB
The k-Schur functions were first introduced by Lapointe, Lascoux and Morse (2003) in the hopes of refining the expansion of Macdonald polynomials into Schur functions. Recently, an alternative definition for k-Schur functions was given by Lam, Lapointe, Morse, and Shimozono (2010) as the weighted generating function of starred strong tableaux which correspond with labeled saturated chains in the Bruhat order on the affine symmetric group modulo the symmetric group. This definition has been shown to correspond to the Schubert basis for the affine Grassmannian of type A by Lam (2008), and, at t = 1, it is equivalent to the k-tableaux characterization of Lapointe and Morse (2007). In this paper, we extend Haiman's (1992) dual equivalence relation on standard Young tableaux to all starred strong tableaux. The elementary equivalence relations can be interpreted as labeled edges in a graph which share many of the properties of Assaf's dual equivalence graphs. These graphs display much of the complexity of working with k-Schur functions and the interval structure on affine Symmetric Group modulo the Symmetric Group. We introduce the notions of flattening and squashing skew starred strong tableaux in analogy with jeu da taquin slides in order to give a method to find all isomorphism types for affine dual equivalence graphs of rank 4. Finally, we make connections between k-Schur functions and both LLT and Macdonald polynomials by comparing the graphs for these functions.
Spectrum of Cayley graphs on the symmetric group generated by transpositions
Published
• View Publication
• BIB
For an integer $n\geq 2$, let $X_n$ be the Cayley graph on the symmetric group $S_n$ generated by the set of transpositions ${(1 2),(1 3),...,(1 n)}$. It is shown that the spectrum of $X_n$ contains all integers from $-(n-1)$ to $n-1$ (except 0 if $n=2$ or $n=3$).
Robust Hamiltonicity of Dirac graphs
Published
• View Publication
• BIB
A graph is Hamiltonian if it contains a cycle which passes through every vertex of the graph exactly once. A classical theorem of Dirac from 1952 asserts that every graph on $n$ vertices with minimum degree at least $n/2$ is Hamiltonian. We refer to such graphs as Dirac graphs. In this paper we extend Dirac's theorem in two directions and show that Dirac graphs are robustly Hamiltonian in a very strong sense. First, we consider a random subgraph of a Dirac graph obtained by taking each edge independently with probability $p$, and prove that there exists a constant $C$ such that if $p \ge C \log n / n$, then a.a.s. the resulting random subgraph is still Hamiltonian. Second, we prove that if a $(1:b)$ Maker-Breaker game is played on a Dirac graph, then Maker can construct a Hamiltonian subgraph as long as the bias $b$ is at most $cn /\log n$ for some absolute constant $c > 0$. Both of these results are tight up to a constant factor, and are proved under one general framework.
Worst-case efficient dominating sets in digraphs
Published
• View Publication
• BIB
Let $1\le n\in\Z$. {\it Worst-case efficient dominating sets in digraphs} are conceived so that their presence in certain strong digraphs $\vec{ST}_n$ corresponds to that of efficient dominating sets in star graphs $ST_n$: The fact that the star graphs $ST_n$ form a so-called dense segmental neighborly E-chain is reflected in a corresponding fact for the digraphs $\vec{ST}_n$. Related chains of graphs and open problems are presented as well.
A Multipartite Hajnal-Szemerédi Theorem
Published in Journal of Combinatorial Theory, Series B, 114 (2015), 187-236
• View Publication
• BIB
The celebrated Hajnal-Szemerédi theorem gives the precise minimum degree threshold that forces a graph to contain a perfect K_k-packing. Fischer's conjecture states that the analogous result holds for all multipartite graphs except for those formed by a single construction. Recently, we deduced an approximate version of this conjecture from new results on perfect matchings in hypergraphs. In this paper, we apply a stability analysis to the extremal cases of this argument, thus showing that the exact conjecture holds for any sufficiently large graph.
Constructing circuit codes by permuting initial sequences
Two new constructions are presented for coils and snakes in the hypercube. Improvements are made on the best known results for snake-in-the-box coils of dimensions 9, 10 and 11, and for some other circuit codes of dimensions between 8 and 13. In the first construction, circuit codes are generated from permuted copies of an initial transition sequence; the multiple copies constrain the search, so that long codes can be found relatively efficiently. In the second construction, two lower-dimensional paths are joined together with only one or two changes in the highest dimension; this requires a search for a permutation of the second sequence to fit around the first. It is possible to investigate sequences of vertices of the hypercube, including circuit codes, by connecting the corresponding vertices in an extended graph related to the hypercube. As an example of this, invertible circuit codes are briefly discussed.
The strong rainbow vertex-connection of graphs
A vertex-colored graph $G$ is said to be rainbow vertex-connected if every two vertices of $G$ are connected by a path whose internal vertices have distinct colors, such a path is called a rainbow path. The rainbow vertex-connection number 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. If for every pair $u, v$ of distinct vertices, $G$ contains a rainbow $u-v$ geodesic, then $G$ is strong rainbow vertex-connected. The minimum number $k$ for which there exists a $k$-vertex-coloring of $G$ that results in a strongly rainbow vertex-connected graph is called the strong rainbow vertex-connection number of $G$, denoted by $srvc(G)$. Observe that $rvc(G)\leq srvc(G)$ for any nontrivial connected graph $G$. In this paper, sharp upper and lower bounds of $srvc(G)$ are given for a connected graph $G$ of order $n$, that is, $0\leq srvc(G)\leq n-2$. Graphs of order $n$ such that $srvc(G)= 1, 2, n-2$ are characterized, respectively. It is also shown that, for each pair $a, b$ of integers with $a\geq 5$ and $b\geq (7a-8)/5$, there exists a connected graph $G$ such that $rvc(G)=a$ and $srvc(G)=b$.
A Degree Condition for Dominating Cycles in $t$-tough Graphs with $t>1$
Let $G$ be a $t$-tough graph of order $n$ and minimum degree $δ$ with $t>1$. It is proved that if $δ\ge(n-2)/3$ then each longest cycle in $G$ is a dominating cycle.
Harmonic evolutions on graphs
Published in International Journal of Mathematics and Computer Science, vol 2 no. 1 (2007), 65-82
• Search Publication
We define the harmonic evolution of states of a graph by iterative application of the harmonic operator (Laplacian over $Z_2$). This provides graphs with a new geometric context and leads to a new tool to analyze them. The digraphs of evolutions are analyzed and classified. This construction can also be viewed as a certain topological generalization of cellular automata.
Maximal hypercubes in Fibonacci and Lucas cubes
Published
• View Publication
• BIB
The Fibonacci cube $Γ_n$ is the subgraph of the hypercube induced by the binary strings that contain no two consecutive 1's. The Lucas cube $Λ_n$ is obtained from $Γ_n$ by removing vertices that start and end with 1. We characterize maximal induced hypercubes in $Γ_n$ and $Λ_n$ and deduce for any $p\leq n$ the number of maximal $p$-dimensional hypercubes in these graphs.
Magnetic interpretation of the nodal defect on graphs
Published in Anal. PDE 6 (2013) 1235-1242
• View Publication
• BIB
In this note, we present a natural proof of a recent and surprising result of Gregory Berkolaiko (arXiv 1110.5373) interpreting the "Courant nodal defect" of a Schrödinger operator on a finite graph as a Morse index associated to the deformations of the operator by switching on a magnetic field. This proof is inspired by a nice paper of Miroslav Fiedler published in 1975.
Coloring intersection graphs of x-monotone curves in the plane
Published
• View Publication
• BIB
A class of graphs G is chi-bounded if the chromatic number of the graphs in G is bounded by some function of their clique number. We show that the class of intersection graphs of simple x-monotone curves in the plane intersecting a vertical line is chi-bounded. As a corollary we show that the class of intersection graphs of rays in the plane is chi-bounded, and the class of intersection graphs of unit segments in the plane is chi-bounded
Self-similarity of graphs
Published
• View Publication
• BIB
An old problem raised independently by Jacobson and Schönheim asks to determine the maximum $s$ for which every graph with $m$ edges contains a pair of edge-disjoint isomorphic subgraphs with $s$ edges. In this paper we determine this maximum up to a constant factor. We show that every $m$-edge graph contains a pair of edge-disjoint isomorphic subgraphs with at least $c (m\log m)^{2/3}$ edges for some absolute constant $c$, and find graphs where this estimate is off only by a multiplicative constant. Our results improve bounds of Erdős, Pach, and Pyber from 1987.
Cops and Invisible Robbers: the Cost of Drunkenness
Published
• View Publication
• BIB
We examine a version of the Cops and Robber (CR) game in which the robber is invisible, i.e., the cops do not know his location until they capture him. Apparently this game (CiR) has received little attention in the CR literature. We examine two variants: in the first the robber is adversarial (he actively tries to avoid capture); in the second he is drunk (he performs a random walk). Our goal in this paper is to study the invisible Cost of Drunkenness (iCOD), which is defined as the ratio ct_i(G)/dct_i(G), with ct_i(G) and dct_i(G) being the expected capture times in the adversarial and drunk CiR variants, respectively. We show that these capture times are well defined, using game theory for the adversarial case and partially observable Markov decision processes (POMDP) for the drunk case. We give exact asymptotic values of iCOD for several special graph families such as $d$-regular trees, give some bounds for grids, and provide general upper and lower bounds for general classes of graphs. We also give an infinite family of graphs showing that iCOD can be arbitrarily close to any value in [2,infinty). Finally, we briefly examine one more CiR variant, in which the robber is invisible and "infinitely fast"; we argue that this variant is significantly different from the Graph Search game, despite several similarities between the two games.
The simplicial boundary of a CAT(0) cube complex
Published in Algebr. Geom. Topol. 13 (2013) 1299-1367
• View Publication
• BIB
For a CAT(0) cube complex $\mathbf X$, we define a simplicial flag complex $\partial_Δ\mathbf X$, called the \emph{simplicial boundary}, which is a natural setting for studying non-hyperbolic behavior of $\mathbf X$. We compare $\partial_Δ\mathbf X$ to the Roller, visual, and Tits boundaries of $\mathbf X$ and give conditions under which the natural CAT(1) metric on $\partial_Δ\mathbf X$ makes it (quasi)isometric to the Tits boundary. $\partial_Δ\mathbf X$ allows us to interpolate between studying geodesic rays in $\mathbf X$ and the geometry of its \emph{contact graph} $Γ\mathbf X$, which is known to be quasi-isometric to a tree, and we characterize essential cube complexes for which the contact graph is bounded. Using related techniques, we study divergence of combinatorial geodesics in $\mathbf X$ using $\partial_Δ\mathbf X$. Finally, we rephrase the rank-rigidity theorem of Caprace-Sageev in terms of group actions on $Γ\mathbf X$ and $\partial_Δ\mathbf X$ and state characterizations of cubulated groups with linear divergence in terms of $Γ\mathbf X$ and $\partial_Δ\mathbf X$.
Constructions of Strongly Regular Cayley Graphs and Skew Hadamard Difference Sets from Cyclotomic Classes
Published
• View Publication
• BIB
In this paper, we give a construction of strongly regular Cayley graphs and a construction of skew Hadamard difference sets. Both constructions are based on choosing cyclotomic classes in finite fields, and they generalize the constructions given by Feng and Xiang \cite{FX111,FX113}. Three infinite families of strongly regular graphs with new parameters are obtained. The main tools that we employed are index 2 Gauss sums, instead of cyclotomic numbers.
Constructions of Strongly Regular Cayley Graphs Using Index Four Gauss Sums
Published
• View Publication
• BIB
We give a construction of strongly regular Cayley graphs on finite fields $\F_q$ by using union of cyclotomic classes and index 4 Gauss sums. In particular, we obtain two infinite families of strongly regular graphs with new parameters.
Sparse graphs are not flammable
In this paper, we consider the following \emph{$k$-many firefighter problem} on a finite graph $G=(V,E)$. Suppose that a fire breaks out at a given vertex $v \in V$. In each subsequent time unit, a firefighter protects $k$ vertices which are not yet on fire, and then the fire spreads to all unprotected neighbours of the vertices on fire. The objective of the firefighter is to save as many vertices as possible.
The surviving rate $ρ(G)$ of $G$ is defined as the expected percentage of vertices that can be saved when a fire breaks out at a random vertex of $G$. Let $τ_k = k+2-\frac {1}{k+2}$. We show that for any $ε>0$ and $k \ge 2$, each graph $G$ on $n$ vertices with at most $(τ_k-ε)n$ edges is not flammable; that is, $ρ(G) > \frac {2ε}{5τ_k} > 0$. Moreover, a construction of a family of flammable random graphs is proposed to show that the constant $τ_k$ cannot be improved.