graph
35150 papers tagged with this keyword
On Intersection Representations and Clique Partitions of Graphs
A multifamily set representation of a finite simple graph $G$ is a multifamily $\mathcal{F}$ of sets (not necessarily distinct) for which each set represents a vertex in $G$ and two sets in $\mathcal{F}$ intersects if and only if the two corresponding vertices are adjacent. For a graph $G$, an \textit{edge clique covering} (\textit{edge clique partition}, respectively) $\mathcal{Q}$ is a set of cliques for which every edge is contained in \textit{at least} (\textit{exactly}, respectively) one member of $\mathcal{Q}$. In 1966, P. Erdös, A. Goodman, and L. Pósa (The representation of a graph by set intersections, \textit{Canadian J. Math.}, \textbf{18}, pp.106-112) pointed out that for a graph there is a one-to-one correspondence between multifamily set representations $\mathcal{F}$ and clique coverings $\mathcal{Q}$ for the edge set. Furthermore, for a graph one may similarly have a one-to-one correspondence between particular multifamily set representations with intersection size at most one and clique partitions of the edge set. In 1990, S. McGuinness and R. Rees (On the number of distinct minimal clique partitions and clique covers of a line graph, \textit{Discrete Math.} \textbf{83} (1990) 49-62.) calculated the number of distinct clique partitions for line graphs. In this paper, we study the set representations of graphs corresponding to edge clique partitions in various senses, namely family representations of \textit{distinct} sets, antichain representations of \textit{mutually exclusive} sets, and uniform representations of sets with the \textit{same cardinality}. Among others, we completely determine the number of distinct family representations and the number of antichain representations of line graphs.
$d$-Regular graphs of acyclic chromatic index at least $d+2$
Published in J. Graph Theory 63 (2010), no. 3, 226-230
• View Publication
• BIB
An $acyclic$ edge coloring of a graph is a proper edge coloring such that there are no bichromatic cycles. The \emph{acyclic chromatic index} of a graph is the minimum number k such that there is an acyclic edge coloring using k colors and is denoted by $a'(G)$. It was conjectured by Alon, Sudakov and Zaks
(and earlier by Fiamcik) that $a'(G)\le Δ+2$, where $Δ=Δ(G)$ denotes the maximum degree of the graph. Alon et.al also raised the question whether the complete graphs of even order are the only regular graphs which require $Δ+2$ colors to be acyclically edge colored. In this paper, using a simple counting argument we observe not only that this is not true, but infact all d-regular graphs with $2n$ vertices and $d > n$, requires at least $d+2$ colors. We also show that $a'(K_{n,n}) \ge n+2$, when $n$ is odd using a more non-trivial argument(Here $K_{n,n}$ denotes the complete bipartite graph with $n$ vertices on each side). This lower bound for $K_{n,n}$ can be shown to be tight for some families of complete bipartite graphs and for small values of $n$. We also infer that for every $d,n$ such that $d \ge 5$, $n \ge 2d + 3$ and $dn$ even, there exist $d$-regular graphs which require at least $d+2$-colors to be acyclically edge colored.
Hamiltonicity thresholds in Achlioptas processes
Published
• View Publication
• BIB
In this paper we analyze the appearance of a Hamilton cycle in the following random process. The process starts with an empty graph on n labeled vertices. At each round we are presented with K=K(n) edges, chosen uniformly at random from the missing ones, and are asked to add one of them to the current graph. The goal is to create a Hamilton cycle as soon as possible.
We show that this problem has three regimes, depending on the value of K. For K=o(\log n), the threshold for Hamiltonicity is (1+o(1))n\log n /(2K), i.e., typically we can construct a Hamilton cycle K times faster that in the usual random graph process. When K=ω(\log n) we can essentially waste almost no edges, and create a Hamilton cycle in n+o(n) rounds with high probability. Finally, in the intermediate regime where K=Θ(\log n), the threshold has order n and we obtain upper and lower bounds that differ by a multiplicative factor of 3.
Potentially $K_{m}-G$-graphical Sequences: A Survey
Published in Czechoslovak Mathematical Journal, 59(4)(2009), 1059-1075.
• View Publication
• BIB
The set of all non-increasing nonnegative integers sequence $π=$
($d(v_1),$ $d(v_2),$ $...,$ $d(v_n)$) is denoted by $NS_n$.
A sequence $π\in NS_n$ is said to be graphic if it is the degree sequence of a simple graph $G$ on $n$ vertices, and such a graph $G$ is called a realization of $π$. The set of all graphic sequences in $NS_n$ is denoted by $GS_n$. A graphical sequence $π$ is potentially $H$-graphical if there is a realization of $π$ containing $H$ as a subgraph, while $π$ is forcibly $H$-graphical if every realization of $π$ contains $H$ as a subgraph. Let $K_k$ denote a complete graph on $k$ vertices. Let $K_{m}-H$ be the graph obtained from $K_{m}$ by removing the edges set $E(H)$ of the graph $H$ ($H$ is a subgraph of $K_{m}$). This paper summarizes briefly some recent results on potentially $K_{m}-G$-graphic sequences and give a useful classification for determining $σ(H,n)$.
Embeddings of four-valent framed graphs into two-surfaces
Published
• View Publication
• BIB
We study the problem of finding the minimal (maximal) genus for a surface where a given four-valent graph with fixed opposite edge structure can be embedded into. We find several partial relations and give new reformulations in combinatorial and knot theoretic languages.
Reconstruction of p-disconnected graphs
We prove that Kelly-Ulam conjecture is true for p-disconnected graphs.
The Cops and Robber game on graphs with forbidden (induced) subgraphs
Published in Contributions to Discrete Mathematics, vol. 5/2, pp. 40--51, 2010
• View Publication
• BIB
The two-player, complete information game of Cops and Robber is played on undirected finite graphs. A number of cops and one robber are positioned on vertices and take turns in sliding along edges. The cops win if, after a move, a cop and the robber are on the same vertex. The minimum number of cops needed to catch the robber on a graph is called the cop number of that graph.
In this paper, we study the cop number in the classes of graphs defined by forbidding one or more graphs as either subgraphs or induced subgraphs. In the case of a single forbidden graph we completely characterize (for both relations) the graphs which force bounded cop number. En passant, we bound the cop number in terms of tree-width.
Tiling tripartite graphs with 3-colorable graphs
Published in Electron. J. Combin. 16(1) (2009), Research Paper 109, 16pp
• View Publication
• BIB
For a fixed integer h>=1, let G be a tripartite graph with N vertices in each vertex class, N divisible by 6h, such that every vertex is adjacent to at least 2N/3+h-1 vertices in each of the other classes. We show that if N is sufficiently large, then G can be tiled perfectly by copies of K_{h,h,h}. This extends the work in [19] and also gives a sufficient condition for tiling by any (fixed) 3-colorable graph. Furthermore, we show that this minimum-degree condition is best possible and provide very tight bounds when N is divisible by h but not by 6h.
Metaheuristics and Their Hybridization to Solve the Bi-objective Ring Star Problem: a Comparative Study
Published
• View Publication
• BIB
This paper presents and experiments approaches to solve a new bi-objective routing problem called the ring star problem. It consists of locating a simple cycle through a subset of nodes of a graph while optimizing two kinds of cost. The first objective is the minimization of a ring cost that is related to the length of the cycle. The second one is the minimization of an assignment cost from non-visited nodes to visited ones. In spite of its obvious bi-objective formulation, this problem has always been investigated in a single-objective way. To tackle the bi-objective ring star problem, we first investigate different stand-alone search methods. Then, we propose two cooperative strategies that combines two multiple objective metaheuristics: an elitist evolutionary algorithm and a population-based local search. We apply this new hybrid approaches to well-known benchmark test instances and demonstrate their effectiveness in comparison to non-hybrid algorithms and to state-of-the-art methods.
Distinguishing Number of Countable Homogeneous Relational Structures
Published
• View Publication
• BIB
The distinguishing number of a graph $G$ is the smallest positive integer $r$ such that $G$ has a labeling of its vertices with $r$ labels for which there is no non-trivial automorphism of $G$ preserving these labels. Albertson and Collins computed the distinguishing number for various finite graphs, and Imrich, Klavžar and Trofimov computed the distinguishing number of some infinite graphs, showing in particular that the Random Graph has distinguishing number 2. We compute the distinguishing number of various other finite and countable homogeneous structures, including undirected and directed graphs, and posets. We show that this number is in most cases two or infinite, and besides a few exceptions conjecture that this is so for all primitive homogeneous countable structures.
Super edge-graceful paths
A graph $G(V,E)$ of order $|V|=p$ and size $|E|=q$ is called super edge-graceful if there is a bijection $f$ from $E$ to $\{0,\pm 1,\pm 2,...,\pm \frac{q-1}{2}\}$ when $q$ is odd and from $E$ to $\{\pm 1,\pm 2,...,\pm \frac{q}{2}\}$ when $q$ is even such that the induced vertex labeling $f^*$ defined by $f^*(x) = \sum_{xy\in E(G)}f(xy)$ over all edges $xy$ is a bijection from $V$ to $\{0,\pm 1,\pm 2...,\pm \frac{p-1}{2}\}$ when $p$ is odd and from $V$ to $\{\pm 1,\pm 2,...,\pm \frac{p}{2}\}$ when $p$ is even. \indent We prove that all paths $P_n$ except $P_2$ and $P_4$ are super edge-graceful.
Distinct Distances in Graph Drawings
Published in The Electronic Journal of Combinatorics 15(1):R107, 2008
• View Publication
• BIB
The \emph{distance-number} of a graph $G$ is the minimum number of distinct edge-lengths over all straight-line drawings of $G$ in the plane. This definition generalises many well-known concepts in combinatorial geometry. We consider the distance-number of trees, graphs with no $K^-_4$-minor, complete bipartite graphs, complete graphs, and cartesian products. Our main results concern the distance-number of graphs with bounded degree. We prove that $n$-vertex graphs with bounded maximum degree and bounded treewidth have distance-number in $\mathcal{O}(\log n)$. To conclude such a logarithmic upper bound, both the degree and the treewidth need to be bounded. In particular, we construct graphs with treewidth 2 and polynomial distance-number. Similarly, we prove that there exist graphs with maximum degree 5 and arbitrarily large distance-number. Moreover, as $Δ$ increases the existential lower bound on the distance-number of $Δ$-regular graphs tends to $Ω(n^{0.864138})$.
Promotion and cyclic sieving via webs
Published
• View Publication
• BIB
We show that Schützenberger's promotion on two and three row rectangular Young tableaux can be realized as cyclic rotation of certain planar graphs introduced by Kuperberg. Moreover, following work of the third author, we show that this action admits the cyclic sieving phenomenon.
Uncountable Graphs and Invariant Measures on the Set of Universal Countable Graphs
Published
• View Publication
• BIB
We give new examples and describe the complete lists of all measures on the set of countable homogeneous universal graphs and $K_s$-free homogeneous universal graphs (for $s\geq 3$) that are invariant with respect to the group of all permutations of the vertices. Such measures can be regarded as random graphs (respectively, random $K_s$-free graphs). The well-known example of Erdös--Rényi (ER) of the random graph corresponds to the Bernoulli measure on the set of adjacency matrices. For the case of the universal $K_s$-free graphs there were no previously known examples of the invariant measures on the space of such graphs.
The main idea of our construction is based on the new notions of {\it measurable universal}, and {\it topologically universal} graphs, which are interesting themselves. The realization of the construction can be regarded as two-step randomization for universal measurable graph : {\it "randomization in vertices"} and {\it "randomization in edges"}. For $K_s$-free, $s\geq 3$ there is only randomization in vertices of the measurable graphs. The completeness of our lists is proved using the important theorem by D. Aldous about $S_{\infty}$-invariant matrices, which we reformulate in appropriate way.
A construction of spherical designs from finite graphs with the theory of crystal lattice
We want to introduce a construction of spherical designs from finite graphs with the theory of crystal lattice. We start from a finite graph, and we consider standard realization of the crystal lattices as the maximal Abelian covering of the graph. Then, we take the set of vectors which form the crystal lattice. If every vector has the same norm, then we can consider a finite set on Euclidean sphere, and then we get a spherical design.
In this paper, we observe the results by numerical calculations. We tried constructing vectors from various finite graphs, strongly regular graphs, distance regular graphs, and so on. We also introduce some facts and conjectures.
The Clustering Coefficient of a Scale-Free Random Graph
Published
• View Publication
• BIB
We consider a random graph process in which, at each time step, a new vertex is added with m out-neighbours, chosen with probabilities proportional to their degree plus a strictly positive constant. We show that the expectation of the clustering coefficient of the graph process is asymptotically proportional to log n/n. Bollobás and Riordan have previously shown that when the constant is zero, the same expectation is asymptotically proportional to ((log n)^2)/n.
Distance graphs in vector spaces over finite fields, coloring and pseudo-randomness
Published
• View Publication
• BIB
In this paper we systematically study various properties of the distance graph in ${\Bbb F}_q^d$, the $d$-dimensional vector space over the finite field ${\Bbb F}_q$ with $q$ elements. In the process we compute the diameter of distance graphs and show that sufficiently large subsets of $d$-dimensional vector spaces over finite fields contain every possible finite configurations.
Interlace Polynomials: Enumeration, Unimodality, and Connections to Codes
Published in Discrete Appl. Math. 158(6), pp. 636-648, 2010.
• View Publication
• BIB
The interlace polynomial q was introduced by Arratia, Bollobas, and Sorkin. It encodes many properties of the orbit of a graph under edge local complementation (ELC). The interlace polynomial Q, introduced by Aigner and van der Holst, similarly contains information about the orbit of a graph under local complementation (LC). We have previously classified LC and ELC orbits, and now give an enumeration of the corresponding interlace polynomials of all graphs of order up to 12. An enumeration of all circle graphs of order up to 12 is also given. We show that there exist graphs of all orders greater than 9 with interlace polynomials q whose coefficient sequences are non-unimodal, thereby disproving a conjecture by Arratia et al. We have verified that for graphs of order up to 12, all polynomials Q have unimodal coefficients. It has been shown that LC and ELC orbits of graphs correspond to equivalence classes of certain error-correcting codes and quantum states. We show that the properties of these codes and quantum states are related to properties of the associated interlace polynomials.
On Greedy Clique Decompositions and Set Representations of Graphs
In 1994 S. McGuinness showed that any greedy clique decompo- sition of an n-vertex graph has at most $\lfloor n^2/4 \rfloor$ cliques (The greedy clique decomposition of a graph, J. Graph Theory 18 (1994) 427-430), where a clique decomposition means a clique partition of the edge set and a greedy clique decomposition of a graph is obtained by removing maximal cliques from a graph one by one until the graph is empty. This result solved a conjecture by P. Winkler. A multifamily set rep- resentation of a simple graph G is a family of sets, not necessarily distinct, each member of which represents a vertex in G, and the in- tersection of two sets is non-empty if and only if two corresponding vertices in G are adjacent. It is well known that for a graph G, there is a one-to-one correspondence between multifamily set representations and clique coverings of the edge set. Further for a graph one may have a one-to-one correspondence between particular multifamily set rep- resentations with intersection size at most one and clique partitions of the edge set. In this paper, we study for an n-vertex graph the variant of the set representations using a family of distinct sets, including the greedy way to get the corresponding clique partition of the edge set of the graph. Similarly, in this case, we obtain a result that any greedy clique decomposition of an n-vertex graph has at most $\lfloor n^2/4 \rfloor$ cliques.
Zeta Functions of Complexes Arising from PGL(3)
Published
• View Publication
• BIB
In this paper we obtain a closed form expression of the zeta function $Z(X_Γ, u)$ of a finite quotient $X_Γ= Γ\backslash PGL_3(F)/PGL_3(O_F)$ of the Bruhat-Tits building of $PGL_3$ over a nonarchimedean local field $F$. Analogous to a graph zeta function, $Z(X_Γ, u)$ is a rational function and it satisfies the Riemann hypothesis if and only if $X_Γ$ is a Ramanujan complex.