graph
34934 papers tagged with this keyword
Exact Algorithm for Graph Homomorphism and Locally Injective Graph Homomorphism
For graphs $G$ and $H$, a homomorphism from $G$ to $H$ is a function $\varphi \colon V(G) \to V(H)$, which maps vertices adjacent in $G$ to adjacent vertices of $H$. A homomorphism is locally injective if no two vertices with a common neighbor are mapped to a single vertex in $H$. Many cases of graph homomorphism and locally injective graph homomorphism are NP-complete, so there is little hope to design polynomial-time algorithms for them. In this paper we present an algorithm for graph homomorphism and locally injective homomorphism working in time $\mathcal{O}^*((b + 2)^{|V(G)|})$, where $b$ is the bandwidth of the complement of $H$.
On the construction of l-equienergetic graphs
Published
• View Publication
• BIB
For a graph with $n$ vertices and $m$ edges, having Laplacian spectrum $μ_1, μ_2, \cdots,μ_n$ and signless Laplacian spectrum $μ^+_1,μ^+_2, \cdots,μ^+_n$, the Laplacian energy and signless Laplacian energy of $G$ are respectively, defined as $LE(G)=\sum_{i=1}^{n}|μ_i-\frac{2m}{n}|$ and $LE^+(G)=\sum_{i=1}^{n}|μ^+_i-\frac{2m}{n}|$. Two graphs $G_1$ and $G_2$ of same order are said to be $L$-equienergetic if $LE(G_1)=LE(G_2)$ and $Q$-equienergetic if $LE^{+}(G_1)=LE^{+}(G_2)$. The problem of constructing graphs having same Laplacian energy has been considered by Stevanovic for threshold graphs and by Liu and Liu for those graphs whose order is $n\equiv 0$ (mod 7). In general the problem of constructing $L$-equienergetic graphs from any pair of given graphs is still not solved, and this work is an attempt in that direction. We construct sequences of non-cospectral (Laplacian, signless Laplacian) $L$-equienergetic and $Q$-equienergetic graphs from any pair of graphs having same number of vertices and edges.
Computation of the Ramsey Numbers $R(C_4,K_9)$ and $R(C_4,K_{10})$
The Ramsey number $R(C_4,K_m)$ is the smallest $n$ such that any graph on $n$ vertices contains a cycle of length four or an independent set of order $m$. With the help of computer algorithms we obtain the exact values of the Ramsey numbers $R(C_4,K_9)=30$ and $R(C_4,K_{10})=36$. New bounds for the next two open cases are also presented.
Evolution of a modified binomial random graph by agglomeration
Published
• View Publication
• BIB
In the classical Erdös-Rényi random graph G(n,p) there are n vertices and each of the possible edges is independently present with probability p. The random graph G(n,p) is homogeneous in the sense that all vertices have the same characteristics. On the other hand, numerous real-world networks are inhomogeneous in this respect. Such an inhomogeneity of vertices may influence the connection probability between pairs of vertices.
The purpose of this paper is to propose a new inhomogeneous random graph model which is obtained in a constructive way from the Erdös-Rényi random graph G(n,p). Given a configuration of n vertices arranged in N subsets of vertices (we call each subset a super-vertex), we define a random graph with N super-vertices by letting two super-vertices be connected if and only if there is at least one edge between them in G(n,p). Our main result concerns the threshold for connectedness. We also analyze the phase transition for the emergence of the giant component and the degree distribution.
Even though our model begins with G(n,p), it assumes the existence of some community structure encoded in the configuration. Furthermore, under certain conditions it exhibits a power law degree distribution. Both properties are important for real applications.
Energy, Laplacian energy of double graphs and new families of equienergetic graphs
Published
• View Publication
• BIB
For a graph $G$ with vertex set $V(G)=\{v_1, v_2, \cdots, v_n\}$, the extended double cover $G^*$ is a bipartite graph with bipartition (X, Y), $X=\{x_1, x_2, \cdots, x_n\}$ and $Y=\{y_1, y_2, \cdots, y_n\}$, where two vertices $x_i$ and $y_j$ are adjacent if and only if $i=j$ or $v_i$ adjacent to $v_j$ in $G$. The double graph $D[G]$ of $G$ is a graph obtained by taking two copies of $G$ and joining each vertex in one copy with the neighbours of corresponding vertex in another copy. In this paper we study energy and Laplacian energy of the graphs $G^*$ and $D[G]$, $L$-spectra of $G^{k*}$ the $k$-th iterated extended double cover of $G$. We obtain a formula for the number of spanning trees of $G^*$. We also obtain some new families of equienergetic and $L$-equienergetic graphs.
On price of symmetrisation
We introduce the price of symmetrisation, a concept that aims to compare fundamental differences (gap and quotient) between values of a given graph invariant for digraphs and the values of the same invariant of the symmetric versions of these digraphs. Basically, given some invariant our goal is to characterise digraphs that maximise price of symmetrisation. In particular, we show that for some invariants, as diameter or domination number, the problem is easy.
The main contribution of this paper is about (partial) results on the price of symmetrisation of the average distance. It appears to be much more intricate than the simple cases mentioned above. First, we state a conjecture about digraphs that maximise this price of symmetrisation. Then, we prove that this conjecture is true for some particular class of digraphs (called bags) but it remains open for general digraphs. Moreover, we study several graph transformations in order to remove some configurations that do not appear in the conjectured extremal digraphs.
The $(k,\ell)$-rainbow index for complete bipartite and multipartite graphs
Published
• View Publication
• BIB
A tree in an edge-colored graph $G$ is said to be a rainbow tree if no two edges on the tree share the same color. Given two positive integers $k$, $\ell$ with $k\geq 3$, the \emph{$(k,\ell)$-rainbow index} $rx_{k,\ell}(G)$ of $G$ is the minimum number of colors needed in an edge-coloring of $G$ such that for any set $S$ of $k$ vertices of $G$, there exist $\ell$ internally disjoint rainbow trees connecting $S$. This concept was introduced by Chartrand et al., and there have been very few results about it. In this paper, we investigate the $(k,\ell)$-rainbow index for complete bipartite graphs and complete multipartite graphs. Some asymptotic values of their $(k,\ell)$-rainbow index are obtained.
The $(k,\ell)$-rainbow index of random graphs
Published
• View Publication
• BIB
A tree in an edge colored graph is said to be a rainbow tree if no two edges on the tree share the same color. Given two positive integers $k$, $\ell$ with $k\geq 3$, the \emph{$(k,\ell)$-rainbow index} $rx_{k,\ell}(G)$ of $G$ is the minimum number of colors needed in an edge-coloring of $G$ such that for any set $S$ of $k$ vertices of $G$, there exist $\ell$ internally disjoint rainbow trees connecting $S$. This concept was introduced by Chartrand et. al., and there have been very few related results about it. In this paper, We establish a sharp threshold function for $rx_{k,\ell}(G_{n,p})\leq k$ and $rx_{k,\ell}(G_{n,M})\leq k,$ respectively, where $G_{n,p}$ and $G_{n,M}$ are the usually defined random graphs.
A new construction for Cohen-Macaulay graphs
Published
• View Publication
• BIB
Let $G$ be a finite simple graph on a vertex set $V(G)=\{x_{11}, \ldots, x_{n1}\}$. Also let $m_1, \ldots,m_n \geq 2$ be integers and $G_1, \ldots, G_n$ be connected simple graphs on the vertex sets $V(G_i)=\{x_{i1}, \ldots, x_{im_i}\}$. In this paper, we provide necessary and sufficient conditions on $G_1, \ldots, G_n$ for which the graph obtained by attaching $G_i$ to $G$ is unmixed or vertex decomposable. Then we characterize Cohen--Macaulay and sequentially Cohen--Macaulay graphs obtained by attaching the cycle graphs or connected chordal graphs to an arbitrary graphs.
2-connected claw-free chordal graphs are cycle extendable
A cycle $C$ of length $k$ in graph $G$ is extendable if there is another cycle $C'$ in $G$ with $V(C) \subset V(C')$ and length $k+1$. A graph is cycle extendable if every non-Hamiltonian cycle is extendable. In 1990 Hendry conjectured that any Hamiltonian chordal graph (a Hamiltonian graph with no induced cycle of length greater than three) is cycle extendable, and this conjecture has been verified for Hamiltonian chordal graphs which are interval graphs, planar graphs, and split graphs. We prove that any 2-connected claw-free chordal graph is cycle extendable.
Extremal Betti numbers of some classes of binomial edge ideals
Let $G$ be a cycle or a complete bipartite graph. We show that the binomial edge ideal $J_{G}$ and its initial ideal with respect to the lexicographic order have the same extremal Betti number.
Polynomial Kernels for λ-extendible Properties Parameterized Above the Poljak-Turzík Bound
Poljak and Turzik (Discrete Mathematics 1986) introduced the notion of λ-extendible properties of graphs as a generalization of the property of being bipartite. They showed that for any 0 < λ < 1 and λ-extendible property Π, any connected graph G on n vertices and m edges contains a spanning subgraph H in Π with at least λm + (1-λ)(n-1)/2 edges. The property of being bipartite is λ-extendible for λ = 1/2, and so the Poljak-Turzik bound generalizes the well-known Edwards-Erdos bound for Max-Cut. Other examples of λ-extendible properties include: being an acyclic oriented graph, a balanced signed graph, or a q-colorable graph for some integer q.
Mnich et. al. (FSTTCS 2012) defined the closely related notion of strong λ-extendibility. They showed that the problem of finding a subgraph satisfying a given strongly λ-extendible property Π is fixed-parameter tractable (FPT) when parameterized above the Poljak-Turzik bound - does there exist a spanning subgraph H of a connected graph G such that H in Π and H has at least λm + (1-λ)(n-1)/2 + k edges? - subject to the condition that the problem is FPT on a certain simple class of graphs called almost-forests of cliques.
In this paper we settle the kernelization complexity of nearly all problems parameterized above Poljak-Turzik bounds, in the affirmative. We show that these problems admit quadratic kernels (cubic when λ = 1/2), without using the assumption that the problem is FPT on almost-forests of cliques. Thus our results not only remove the technical condition of being FPT on almost-forests of cliques from previous results, but also unify and extend previously known kernelization results in this direction. Our results add to the select list of generic kernelization results known in the literature.
The Firefighter Problem: A Structural Analysis
We consider the complexity of the firefighter problem where b>=1 firefighters are available at each time step. This problem is proved NP-complete even on trees of degree at most three and budget one (Finbow et al.,2007) and on trees of bounded degree b+3 for any fixed budget b>=2 (Bazgan et al.,2012). In this paper, we provide further insight into the complexity landscape of the problem by showing that the pathwidth and the maximum degree of the input graph govern its complexity. More precisely, we first prove that the problem is NP-complete even on trees of pathwidth at most three for any fixed budget b>=1. We then show that the problem turns out to be fixed parameter-tractable with respect to the combined parameter "pathwidth" and "maximum degree" of the input graph.
Universal Limit Theorems in Graph Coloring Problems With Connections to Extremal Combinatorics
Published in Annals of Applied Probability, Vol. 27 (1), 337-394, 2017
• View Publication
• BIB
This paper proves limit theorems for the number of monochromatic edges in uniform random colorings of general random graphs. These can be seen as generalizations of the birthday problem (what is the chance that there are two friends with the same birthday?). It is shown that if the number of colors grows to infinity, the asymptotic distribution is either a Poisson mixture or a Normal depending solely on the limiting behavior of the ratio of the number of edges in the graph and the number of colors. This result holds for any graph sequence, deterministic or random. On the other hand, when the number of colors is fixed, a necessary and sufficient condition for asymptotic normality is determined. Finally, using some results from the emerging theory of dense graph limits, the asymptotic (non-normal) distribution is characterized for any converging sequence of dense graphs. The proofs are based on moment calculations which relate to the results of Erd\H os and Alon on extremal subgraph counts. As a consequence, a simpler proof of a result of Alon, estimating the number of isomorphic copies of a cycle of given length in graphs with a fixed number of edges, is presented.
A note on the 3-rainbow index of $K_{2,t}$
A tree $T$, in an edge-colored graph $G$, is called {\em a rainbow tree} if no two edges of $T$ are assigned the same color. For a vertex subset $S\in V(G)$, a tree that connects $S$ in $G$ is called an $S$-tree. A {\em $k$-rainbow coloring} of $G$ is an edge coloring of $G$ having the property that for every set $S$ of $k$ vertices of $G$, there exists a rainbow $S$-tree $T$ in $G$. The minimum number of colors needed in a $k$-rainbow coloring of $G$ is the {\em $k$-rainbow index of $G$}, denoted by $rx_k(G)$. In this paper, we obtain the exact values of $rx_3(K_{2,t})$ for any $t\geq 1$.
Some upper bounds for 3-rainbow index of graphs
A tree $T$, in an edge-colored graph $G$, is called {\em a rainbow tree} if no two edges of $T$ are assigned the same color. A {\em $k$-rainbow coloring}of $G$ is an edge coloring of $G$ having the property that for every set $S$ of $k$ vertices of $G$, there exists a rainbow tree $T$ in $G$ such that $S\subseteq V(T)$. The minimum number of colors needed in a $k$-rainbow coloring of $G$ is the {\em $k$-rainbow index of $G$}, denoted by $rx_k(G)$. In this paper, we consider 3-rainbow index $rx_3(G)$ of $G$. We first show that for connected graph $G$ with minimum degree $δ(G)\geq 3$, the tight upper bound of $rx_3(G)$ is $rx_3(G[D])+4$, where $D$ is the connected 2-dominating set of $G$. And then we determine a tight upper bound for $K_{s,t}(3\leq s\leq t)$ and a better bound for $(P_5,C_5)$-free graphs. Finally, we obtain a sharp bound for 3-rainbow index of general graphs.
Irrelevant Vertices for the Planar Disjoint Paths Problem
Published
• View Publication
• BIB
The Disjoint Paths Problem asks, given a graph $G$ and a set of pairs of terminals $(s_{1},t_{1}),\ldots,(s_{k},t_{k})$, whether there is a collection of $k$ pairwise vertex-disjoint paths linking $s_{i}$ and $t_{i}$, for $i=1,\ldots,k.$ In their $f(k)\cdot n^{3}$ algorithm for this problem, Robertson and Seymour introduced the irrelevant vertex technique according to which in every instance of treewidth greater than $g(k)$ there is an "irrelevant" vertex whose removal creates an equivalent instance of the problem. This fact is based on the celebrated Unique Linkage Theorem, whose - very technical - proof gives a function $g(k)$ that is responsible for an immense parameter dependence in the running time of the algorithm. In this paper we give a new and self-contained proof of this result that strongly exploits the combinatorial properties of planar graphs and achieves $g(k)=O(k^{3/2}\cdot 2^{k}).$ Our bound is radically better than the bounds known for general graphs.
Generalized constructive tree weights
Published in Journal of Mathematical Physics Vol.55, Issue 4 043509 (2014)
• View Publication
• BIB
The Loop Vertex Expansion (LVE) is a quantum field theory (QFT) method which explicitly computes the Borel sum of Feynman perturbation series. This LVE relies in a crucial way on symmetric tree weights which define a measure on the set of spanning trees of any connected graph. In this paper we generalize this method by defining new tree weights. They depend on the choice of a partition of a set of vertices of the graph, and when the partition is non-trivial, they are no longer symmetric under permutation of vertices. Nevertheless we prove they have the required positivity property to lead to a convergent LVE; in fact, we formulate this positivity property precisely for the first time. Our generalized tree weights are inspired by the Brydges-Battle-Federbush work on cluster expansions and could be particularly suited to the computation of connected functions in QFT. Several concrete examples are explicitly given.
Applications in Enumerative Combinatorics of Infinite Weighted Automata and Graphs
Published
• View Publication
• BIB
In this paper we studied infinite weighted automata and a general methodology to solve a wide variety of classical lattice path counting problems in an uniform way. This counting problems are related to Dyck paths, Motzkin paths and some generalizations. These methodology uses weighted automata, equations of ordinary generating functions and continued fractions. It is a variation of the one proposed by J. Rutten.
An Erdős-Ko-Rado theorem for the derangement graph of PGL(3,q) acting on the projective plane
Published
• View Publication
• BIB
In this paper we prove an Erdős-Ko-Rado-type theorem for intersecting sets of permutations. We show that an intersecting set of maximal size in the projective general linear group PGL(3,q), in its natural action on the points of the projective line, is either a coset of the stabilizer of a point or a coset of the stabilizer of a line.