graph
35299 papers tagged with this keyword
An approximation algorithm for the longest cycle problem in solid grid graphs
Published
• View Publication
• BIB
Although, the Hamiltonicity of solid grid graphs are polynomial-time decidable, the complexity of the longest cycle problem in these graphs is still open. In this paper, by presenting a linear-time constant-factor approximation algorithm, we show that the longest cycle problem in solid grid graphs is in APX. More precisely, our algorithm finds a cycle of length at least $\frac{2n}{3}+1$ in 2-connected $n$-node solid grid graphs.
Keywords: Longest cycle, Hamiltonian cycle, Approximation algorithm, Solid grid graph.
A Note on the Gutman Index of Jaco Graphs
Published
• View Publication
• BIB
The concept of the \emph{Gutman index}, denoted $Gut(G)$ was introduced for a connected undirected graph $G$. In this note we apply the concept to the underlying graphs of the family of Jaco graphs, (\emph{directed graphs by definition}), and describe a recursive formula for the \emph{Gutman index} $Gut(J^*_{n+1}(x)).$ We also determine the \emph{Gutman index} for the trivial \emph{edge-joint} between Jaco graphs.
Threshold and hitting time for high-order connectivity in random hypergraphs
Published
• View Publication
• BIB
We consider the following definition of connectivity in $k$-uniform hypergraphs: Two $j$-sets are $j$-connected if there is a walk of edges between them such that two consecutive edges intersect in at least $j$ vertices. We determine the threshold at which the random $k$-uniform hypergraph with edge probability $p$ becomes $j$-connected with high probability. We also deduce a hitting time result for the random hypergraph process -- the hypergraph becomes $j$-connected at exactly the moment when the last isolated $j$-set disappears. This generalises well-known results for graphs.
Spectra of Cayley Graphs of Complex Reflection Groups
Published
• View Publication
• BIB
Renteln proved that the eigenvalues of the distance matrix of a Cayley graph of a real reflection group with respect to the set of all reflections are integral and provided a combinatorial formula for some such spectra. We prove the eigenvalues of the distance, adjacency, and codimension matrices of Cayley graphs of complex reflection groups with connection sets consisting of all reflections are integral and provide a combinatorial formula for the codimension spectra for a family of monomial complex reflection groups.
Lamplighter groups, de Bruijn graphs, spider-web graphs and their spectra
Published in J. Phys. A: Math. Theor. Vol. 49, No 20 (2016)
• View Publication
• BIB
We describe the infinite family of spider-web graphs $S_{k,M,N }$, $k \geq 2$, $M \geq 1$ and $N \geq 0$, studied in physical literature as tensor products of well-known de Brujin graphs $B_{k,N}$ and cyclic graphs $C_M$ and show that these graphs are Schreier graphs of the lamplighter groups $L_k = Z/kZ \wr Z$. This allows us to compute their spectra and to identify the infinite limit of $S_{k,M,N}$, as $N, M \to\infty$, with the Cayley graph of the lamplighter group $L_k$.
This is the final version of the article, taking in account comments from the referees and with an extended introduction.
On a problem of Erdos and Moser
A set $A$ of vertices in an $r$-uniform hypergraph $\mathcal H$ is covered in $\mathcal H$ if there is some vertex $u\not\in A$ such that, for every $(r-1)$-set $B\subset A$, the set $\{u\}\cup B$ is in $\mathcal H$. Erdos and Moser (1970) determined the minimum number of edges in a graph on $n$ vertices such that every $k$-set is covered. We extend this result to $r$-uniform hypergraphs on sufficiently many vertices, and determine the extremal hypergraphs. We also address the problem for directed graphs.
Orientations making k-cycles cyclic
Published
• View Publication
• BIB
We show that the minimum number of orientations of the edges of the n-vertex complete graph having the property that every triangle is made cyclic in at least one of them is $\lceil\log_2(n-1)\rceil$. More generally, we also determine the minimum number of orientations of $K_n$ such that at least one of them orients some specific $k$-cycles cyclically on every $k$-element subset of the vertex set. The questions answered by these results were motivated by an analogous problem of Vera T. Sós concerning triangles and $3$-edge-colorings. Some variants of the problem are also considered.
Bounding the Clique-Width of $H$-free Chordal Graphs
A graph is $H$-free if it has no induced subgraph isomorphic to $H$. Brandstädt, Engelfriet, Le and Lozin proved that the class of chordal graphs with independence number at most 3 has unbounded clique-width. Brandstädt, Le and Mosca erroneously claimed that the gem and the co-gem are the only two 1-vertex $P_4$-extensions $H$ for which the class of $H$-free chordal graphs has bounded clique-width. In fact we prove that bull-free chordal and co-chair-free chordal graphs have clique-width at most 3 and 4, respectively. In particular, we find four new classes of $H$-free chordal graphs of bounded clique-width. Our main result, obtained by combining new and known results, provides a classification of all but two stubborn cases, that is, with two potential exceptions we determine all graphs $H$ for which the class of $H$-free chordal graphs has bounded clique-width. We illustrate the usefulness of this classification for classifying other types of graph classes by proving that the class of $(2P_1+P_3,K_4)$-free graphs has bounded clique-width via a reduction to $K_4$-free chordal graphs. Finally, we give a complete classification of the (un)boundedness of clique-width of $H$-free weakly chordal graphs.
Frustration index and Cheeger inequalities for discrete and continuous magnetic Laplacians
Published in Calc. Var. Partial Differential Equations 54 (2015), no. 4, 4165-4196
• View Publication
• BIB
We discuss a Cheeger constant as a mixture of the frustration index and the expansion rate, and prove the related Cheeger inequalities and higher order Cheeger inequalities for graph Laplacians with cyclic signatures, discrete magnetic Laplacians on finite graphs and magnetic Laplacians on closed Riemannian manifolds. In this process, we develop spectral clustering algorithms for partially oriented graphs and multi-way spectral clustering algorithms via metrics in lens spaces and complex projective spaces. As a byproduct, we give a unified viewpoint of Harary's structural balance theory of signed graphs and the gauge invariance of magnetic potentials.
Equistarable bipartite graphs
Published
• View Publication
• BIB
Recently, Milanič and Trotignon introduced the class of equistarable graphs as graphs without isolated vertices admitting positive weights on the edges such that a subset of edges is of total weight $1$ if and only if it forms a maximal star. Based on equistarable graphs, counterexamples to three conjectures on equistable graphs were constructed, in particular to Orlin's conjecture, which states that every equistable graph is a general partition graph.
In this paper we characterize equistarable bipartite graphs. We show that a bipartite graph is equistarable if and only if every $2$-matching of the graph extends to a matching covering all vertices of degree at least $2$. As a consequence of this result, we obtain that Orlin's conjecture holds within the class of complements of line graphs of bipartite graphs.
We also connect equistarable graphs to the triangle condition, a combinatorial condition known to be necessary (but in general not sufficient) for equistability. We show that the triangle condition implies general partitionability for complements of line graphs of forests, and construct an infinite family of triangle non-equistable graphs within the class of complements of line graphs of bipartite graphs.
Catching a mouse on a tree
In this paper we consider a pursuit-evasion game on a graph. A team of cats, which may choose any vertex of the graph at any turn, tries to catch an invisible mouse, which is constrained to moving along the vertices of the graph. Our main focus shall be on trees. We prove that $\lceil (1/2)\log_2(n)\rceil$ cats can always catch a mouse on a tree of order $n$ and give a collection of trees where the mouse can avoid being caught by $ (1/4 - o(1))\log_2(n)$ cats.
Clique Cover Width and Clique Sum
Published in Congressus Numerantium, 218 (2013), 135-140
• Search Publication
For a clique cover $C$ in the undirected graph $G$, the clique cover graph of $C$ is the graph obtained by contracting the vertices of each clique in $C$ into a single vertex. The clique cover width of G, denoted by $CCW(G)$, is the minimum value of the bandwidth of all clique cover graphs of $G$. When $G$ is the clique sum of $G_1$ and $G_2$, we prove that $CCW(G) \le 3/2(CCW(G_1) + CCW(G_2))$.
A new upper bound for the clique cover number with applications
Published in Congressus Numerantium 205 (2010), 105-111
• Search Publication
Let $α(G)$ and $β(G)$, denote the size of a largest independent set and the clique cover number of an undirected graph $G$. Let $H$ be an interval graph with $V(G)=V(H)$ and $E(G)\subseteq E(H)$, and let $φ(G,H)$ denote the maximum of ${β(G[W])\over α(G[W])}$ overall induced subgraphs $G[W]$ of $G$ that are cliques in $H$. The main result of this paper is to prove that for any graph $G$ $${β(G)}\le 2 α(H)φ(G,H)(\log α(H)+1),$$ where, $α(H)$ is the size of a largest independent set in $H$. We further provide a generalization that significantly unifies or improves some past algorithmic and structural results concerning the clique cover number for some well known intersection graphs.
New representation results for planar graphs
A universal representation theorem is derived that shows any graph is the intersection graph of one chordal graph, a number of co-bipartite graphs, and one unit interval graph. Central to the the result is the notion of the clique cover width which is a generalization of the bandwidth parameter. Specifically, we show that any planar graph is the intersection graph of one chordal graph, four co-bipartite graphs, and one unit interval graph. Equivalently, any planar graph is the intersection graph of a chordal graph and a graph that has {clique cover width} of at most seven. We further describe the extensions of the results to graphs drawn on surfaces and graphs excluding a minor of crossing number of at most one.
Zero-divisor graph with seven vertices
Inspired by the work in \cite{sauer} regarding the classification of all the zero-divisor graphs with six vertices, we obtain all the zero-divisor graphs with seven vertices. Hence we classify all the zero-divisor commutative semigroups with 8 elements. We also obtain all the connected graphs with seven vertices which satisfies the necessary condition $\star$ of zero-divisor graphs given in \cite{fl} but are not the zero-divisor graphs.
The Shortest Path Problem for the Distant Graph of the Projective Line Over the Ring of Integers
Published
• View Publication
• BIB
The distant graph $G = G(\mathbb{P}(Z),\triangle)$ of the projective line over the ring of integers is considered. The shortest path problem in this graph is solved by use of Klein's geometric interpretation of Euclidean continued fractions. In case the minimal path is non-unique, all the possible splitting are described which allows us to give necessary and sufficient conditions for existence of a unique shortest path.
Changing of the domination number of a graph: edge multisubdivision and edge removal
Published
• View Publication
• BIB
For a graphical property $\mathcal{P}$ and a graph $G$, a subset $S$ of vertices of $G$ is a $\mathcal{P}$-set if the subgraph induced by $S$ has the property $\mathcal{P}$. The domination number with respect to the property $\mathcal{P}$, denoted by $γ_{\mathcal{P}} (G)$, is the minimum cardinality of a dominating $\mathcal{P}$-set. We define the domination multisubdivision number with respect to $\mathcal{P}$,denoted by $msd_{\mathcal{P}}(G)$, as a minimum positive integer $k$ such that there exists an edge which must be subdivided $k$ times to change $γ_\mathcal{P} (G)$. In this paper (a) we present necessary and sufficient conditions for a change of $γ_{\mathcal{P}}(G)$ after subdividing an edge of $G$ once, (b) we prove that if $e$ is an edge of a graph $G$ then $γ_\mathcal{P} (G_{e,1}) < γ_\mathcal{P} (G)$ if and only if $γ_\mathcal{P} (G-e) < γ_\mathcal{P} (G)$ ($G_{e,t}$ denote the graph obtained from $G$ by subdivision of $e$ with $t$ vertices), (c) we also prove that for every edge of a graph $G$ is fulfilled $γ_{\mathcal{P}}(G-e) \leq γ_{\mathcal{P}}(G_{e,3}) \leq γ_{\mathcal{P}}(G-e) + 1$, and (d) we show that $msd_{\mathcal{P}}(G) \leq 3$, where $\mathcal{P}$ is hereditary and closed under union with $K_1$.
Tropical curves in sandpile models
Published
• View Publication
• BIB
A sandpile is a cellular automaton on a graph that evolves by the following toppling rule: if the number of grains at a vertex is at least its valency, then this vertex sends one grain to each of its neighbors.
In the study of pattern formation in sandpiles on large subgraphs of the standard square lattice, S. Caracciolo, G. Paoletti, and A. Sportiello experimentally observed that the result of the relaxation of a small perturbation of the maximal stable state contains a clear visible thin balanced graph formed by its deviation (less than maximum) set. Such graphs are known as tropical curves.
During the early stage of our research, we have noticed that these tropical curves are approximately scale-invariant, that is the deviation set mimics an extremal tropical curve depending on the domain on the plane and the positions of the perturbation points, but not on the mesh of the lattice.
In this paper, we rigorously formulate these two facts in the form of a scaling limit theorem and prove it. We rely on the theory of tropical analytic series, which is used to describe the global features of the sandpile dynamic, and on the theory of smoothings of discrete superharmonic functions, which handles local questions.
The CI problem for infinite groups
Published
• View Publication
• BIB
A finite group $G$ is a DCI-group if, whenever $S$ and $S'$ are subsets of $G$ with the Cayley graphs Cay$(G,S)$ and Cay$(G,S')$ isomorphic, there exists an automorphism $\varphi$ of $G$ with $\varphi(S)=S'$. It is a CI-group if this condition holds under the restricted assumption that $S=S^{-1}$. We extend these definitions to infinite groups, and make two closely-related definitions: an infinite group is a strongly (D)CI$_f$-group if the same condition holds under the restricted assumption that $S$ is finite; and an infinite group is a (D)CI$_f$-group if the same condition holds whenever $S$ is both finite and generates $G$.
We prove that an infinite (D)CI-group must be a torsion group that is not locally-finite. We find infinite families of groups that are (D)CI$_f$-groups but not strongly (D)CI$_f$-groups, and that are strongly (D)CI$_f$-groups but not (D)CI-groups. We discuss which of these properties are inherited by subgroups. Finally, we completely characterise the locally-finite DCI-graphs on $\mathbb Z^n$. We suggest several open problems related to these ideas, including the question of whether or not any infinite (D)CI-group exists.
Rotor-routing orbits in directed graphs and the Picard group
In [5], Holroyd, Levine, Mészáros, Peres, Propp and Wilson characterize recurrent chip-and-rotor configurations for strongly connected digraphs. However, the number of steps needed to recur, and the number of orbits is left open for general digraphs. Recently, these questions were answered by Pham [6], using linear algebraic methods. We give new, purely combinatorial proofs for these formulas. We also relate rotor-router orbits to the chip-firing game: The number of recurrent rotor-router unicycle-orbits equals the order of the Picard group of the graph, defined in the sense of [1], and during a period, the same chip-moves happen, as during firing the period vector in the chip-firing game.