graph
35150 papers tagged with this keyword
On the permutation capacity of digraphs
We extend several results of the third author and C. Malvenuto on graph-different permutations to the case of directed graphs and introduce new open problems. Permutation capacity is a natural extension of Sperner capacity from finite directed graphs to infinite digraphs. Our subject is combinatorial in nature, but can be equally regarded as zero-error information theory.
Recursive formulas for Welschinger invariants of the projective plane
Published
• View Publication
• BIB
Welschinger invariants of the real projective plane can be computed via the enumeration of enriched graphs, called marked floor diagrams. By a purely combinatorial study of these objects, we prove a Caporaso-Harris type formula which allows one to compute Welschinger invariants for configurations of points with any number of complex conjugated points.
On the First Eigenvalue of Bipartite Graphs
Published
• View Publication
• BIB
In this paper we study the maximum value of the largest eigenvalue for simple bipartite graphs, where the number of edges is given and the number of vertices on each side of the bipartition is given. We state a conjectured solution, which is an analog of the Brualdi- Hoffman conjecture for general graphs, and prove the conjecture in some special cases.
The group of symmetries of the Tower of Hanoi graph
Published
• View Publication
• BIB
I prove that the group of symmetries of the Tower of Hanoi graph with k pegs and n disks, denoted H_n^k, is isomorphic to the group of permutations of k elements, S_k, for all k greater than or equal to 3 and positive n.
Edge-Graph Diameter Bounds for Convex Polytopes with Few Facets
Published
• View Publication
• BIB
We show that the edge graph of a 6-dimensional polytope with 12 facets has diameter at most 6, thus verifying the d-step conjecture of Klee and Walkup in the case of d=6. This implies that for all pairs (d,n) with n-d \leq 6 the diameter of the edge graph of a d-polytope with n facets is bounded by 6, which proves the Hirsch conjecture for all n-d \leq 6. We show this result by showing this bound for a more general structure -- so-called matroid polytopes -- by reduction to a small number of satisfiability problems.
Long cycles in graphs through fragments
Four basic Dirac-type sufficient conditions for a graph $G$ to be hamiltonian are known involving order $n$, minimum degree $δ$, connectivity $κ$ and independence number $α$ of $G$: (1) $δ\geq n/2$ (Dirac); (2) $κ\geq 2$ and $δ\geq (n+κ)/3$ (by the author); (3) $κ\geq 2$ and $δ\geq \max\lbrace (n+2)/3,α\rbrace$ (Nash-Williams); (4) $κ\geq 3$ and $δ\geq \max\lbrace (n+2κ)/4,α\rbrace$ (by the author). In this paper we prove the reverse version of (4) concerning the circumference $c$ of $G$ and completing the list of reverse versions of (1)-(4): (R1) if $κ\geq 2$, then $c\geq\min\lbrace n,2δ\rbrace$ (Dirac); (R2) if $κ\geq 3$, then $c\geq\min\lbrace n,3δ-κ\rbrace$ (by the author); (R3) if $κ\geq 3$ and $δ\geq α$, then $c\geq\min\lbrace n,3δ-3\rbrace$ (Voss and Zuluaga); (R4) if $κ\geq 4$ and $δ\geq α$, then $c\geq\min\lbrace n,4δ-2κ\rbrace$. To prove (R4), we present four more general results centered around a lower bound $c\geq 4δ-2κ$ under four alternative conditions in terms of fragments. A subset $X$ of $V(G)$ is called a fragment of $G$ if $N(X)$ is a minimum cut-set and $V(G)-(X\cup N(X))\neq\emptyset$.
Polynomial treewidth forces a large grid-like-minor
Published in European J. Combinatorics 33.3:374-379, 2012
• View Publication
• BIB
Robertson and Seymour proved that every graph with sufficiently large treewidth contains a large grid minor. However, the best known bound on the treewidth that forces an $\ell\times\ell$ grid minor is exponential in $\ell$. It is unknown whether polynomial treewidth suffices. We prove a result in this direction. A \emph{grid-like-minor of order} $\ell$ in a graph $G$ is a set of paths in $G$ whose intersection graph is bipartite and contains a $K_{\ell}$-minor. For example, the rows and columns of the $\ell\times\ell$ grid are a grid-like-minor of order $\ell+1$. We prove that polynomial treewidth forces a large grid-like-minor. In particular, every graph with treewidth at least $c\ell^4\sqrt{\log\ell}$ has a grid-like-minor of order $\ell$. As an application of this result, we prove that the cartesian product $G\square K_2$ contains a $K_{\ell}$-minor whenever $G$ has treewidth at least $c\ell^4\sqrt{\log\ell}$.
On Duality between Local Maximum Stable Sets of a Graph and its Line-Graph
Published
• View Publication
• BIB
G is a Koenig-Egervary graph provided alpha(G)+ mu(G)=|V(G)|, where mu(G) is the size of a maximum matching and alpha(G) is the cardinality of a maximum stable set. S is a local maximum stable set of G if S is a maximum stable set of the closed neighborhood of S. Nemhauser and Trotter Jr. proved that any local maximum stable set is a subset of a maximum stable set of G. In this paper we demonstrate that if S is a local maximum stable set, the subgraph H induced by the closed neighborhood of S is a Koenig-Egervary graph, and M is a maximum matching in H, then M is a local maximum stable set in the line graph of G.
The longest minimum-weight path in a complete graph
Published
• View Publication
• BIB
We consider the minimum-weight path between any pair of nodes of the n-vertex complete graph in which the weights of the edges are i.i.d. exponentially distributed random variables. We show that the longest of these minimum-weight paths has about α^* \log n$ edges where α^* ~ 3.5911 is the unique solution of the equation $alpha log(alpha) - α=1. This answers a question posed by Janson (1999).
The t-stability number of a random graph
Published in Electron. J. Combin. 17 (2010), #R59
• View Publication
• BIB
Given a graph G = (V,E), a vertex subset S is called t-stable (or t-dependent) if the subgraph G[S] induced on S has maximum degree at most t. The t-stability number of G is the maximum order of a t-stable set in G. We investigate the typical values that this parameter takes on a random graph on n vertices and edge probability equal to p. For any fixed 0 < p < 1 and fixed non-negative integer t, we show that, with probability tending to 1 as n grows, the t-stability number takes on at most two values which we identify as functions of t, p and n. The main tool we use is an asymptotic expression for the expected number of t-stable sets of order k. We derive this expression by performing a precise count of the number of graphs on k vertices that have maximum degree at most k. Using the above results, we also obtain asymptotic bounds on the t-improper chromatic number of a random graph (this is the generalisation of the chromatic number, where we partition of the vertex set of the graph into t-stable sets).
Fundamental Dominations in Graphs
Nine variations of the concept of domination in a simple graph are identified as fundamental domination concepts, and a unified approach is introduced for studying them. For each variation, the minimum cardinality of a subset of dominating elements is the corresponding fundamental domination number. It is observed that, for each nontrivial connected graph, at most five of these nine numbers can be different, and inequalities between these five numbers are given. Finally, these fundamental dominations are interpreted in terms of the total graph of the given graph, a concept introduced by the second author in 1965. It is argued that the very first domination concept, defined by O. Ore in 1962 and under a different name by C. Berge in 1958, deserves to be called the most fundamental of graph dominations.
The diameter of sparse random graphs
Published in Combinatorics, Probability and Computing 19 (2010), 835--926
• View Publication
• BIB
In this paper we study the diameter of the random graph $G(n,p)$, i.e., the the largest finite distance between two vertices, for a wide range of functions $p=p(n)$. For $p=\la/n$ with $\la>1$ constant, we give a simple proof of an essentially best possible result, with an $O_p(1)$ additive correction term. Using similar techniques, we establish 2-point concentration in the case that $np\to\infty$. For $p=(1+ε)/n$ with $ε\to 0$, we obtain a corresponding result that applies all the way down to the scaling window of the phase transition, with an $O_p(1/ε)$ additive correction term whose (appropriately scaled) limiting distribution we describe. Combined with earlier results, our new results complete the determination of the diameter of the random graph $G(n,p)$ to an accuracy of the order of its standard deviation (or better), for all functions $p=p(n)$. Throughout we use branching process methods, rather than the more common approach of separate analysis of the 2-core and the trees attached to it.
Least Squares Methods for Equidistant Tree Reconstruction
UPGMA is a heuristic method identifying the least squares equidistant phylogenetic tree given empirical distance data among $n$ taxa. We study this classic algorithm using the geometry of the space of all equidistant trees with $n$ leaves, also known as the Bergman complex of the graphical matroid for the complete graph $K_n$. We show that UPGMA performs an orthogonal projection of the data onto a maximal cell of the Bergman complex. We also show that the equidistant tree with the least (Euclidean) distance from the data is obtained from such an orthogonal projection, but not necessarily given by UPGMA. Using this geometric information we give an extension of the UPGMA algorithm. We also present a branch and bound method for finding the best equidistant tree. Finally, we prove that there are distance data among $n$ taxa which project to at least $(n-1)!$ equidistant trees.
On Universal Cycles of Labeled Graphs
Published
• View Publication
• BIB
A universal cycle is a compact listing of a class of combinatorial objects. In this paper, we prove the existence of universal cycles of classes of labeled graphs, including simple graphs, trees, graphs with m edges, graphs with loops, graphs with multiple edges (with up to m duplications of each edge), directed graphs, hypergraphs, and k-uniform hypergraphs.
Pseudocyclic association schemes and strongly regular graphs
Published in European J. Combin. 31 (2010), 1513-1519
• View Publication
• BIB
Let X be a pseudocyclic association scheme in which all the nontrivial relations are strongly regular graphs with the same eigenvalues. We prove that the principal part of the first eigenmatrix of X is a linear combination of an incidence matrix of a symmetric design and the all-ones matrix. Amorphous pseudocyclic association schemes are examples of such association schemes whose associated symmetric design is trivial. We present several non-amorphous examples, which are either cyclotomic association schemes, or their fusion schemes. Special properties of symmetric designs guarantee the existence of further fusions, and the two known non-amorphous association schemes of class 4 discovered by van Dam and by the authors, are recovered in this way. We also give another pseudocyclic non-amorphous association scheme of class 7 on GF(2^{21}), and a new pseudocyclic amorphous association scheme of class 5 on GF(2^{12}).
Duality between quasi-concave functions and monotone linkage functions
Published
• View Publication
• BIB
A function $F$ defined on all subsets of a finite ground set $E$ is quasi-concave if $F(X\cup Y)\geq\min\{F(X),F(Y)\}$ for all $X,Y\subset E$. Quasi-concave functions arise in many fields of mathematics and computer science such as social choice, theory of graph, data mining, clustering and other fields.
The maximization of quasi-concave function takes, in general, exponential time. However, if a quasi-concave function is defined by associated monotone linkage function then it can be optimized by the greedy type algorithm in a polynomial time.
Quasi-concave functions defined as minimum values of monotone linkage functions were considered on antimatroids, where the correspondence between quasi-concave and bottleneck functions was shown (Kempner & Levit, 2003). The goal of this paper is to analyze quasi-concave functions on different families of sets and to investigate their relationships with monotone linkage functions.
Boolean complexes for Ferrers graphs
In this paper we provide an explicit formula for calculating the boolean number of a Ferrers graph. By previous work of the last two authors, this determines the homotopy type of the boolean complex of the graph. Specializing to staircase shapes, we show that the boolean numbers of the associated Ferrers graphs are the Genocchi numbers of the second kind, and obtain a relation between the Legendre-Stirling numbers and the Genocchi numbers of the second kind. In another application, we compute the boolean number of a complete bipartite graph, corresponding to a rectangular Ferrers shape, which is expressed in terms of the Stirling numbers of the second kind. Finally, we analyze the complexity of calculating the boolean number of a Ferrers graph using these results and show that it is a significant improvement over calculating by edge recursion.
Sum of squares of degrees in a graph
Published in J. Inequal. Pure Appl. Math. 10 (2009), no. 3, Article 64, 34 pp
• Search Publication
Let $\G(v,e)$ be the set of all simple graphs with $v$ vertices and $e$ edges and let $P_2(G)=\sum d_i^2$ denote the sum of the squares of the degrees, $d_1, >..., d_v$, of the vertices of $G$.
It is known that the maximum value of $P_2(G)$ for $G \in \G(v,e)$ occurs at one or both of two special graphs in $\G(v,e)$--the \qs graph or the \qc graph. For each pair $(v,e)$, we determine which of these two graphs has the larger value of $P_2(G)$. We also determine all pairs $(v,e)$ for which the values of $P_2(G)$ are the same for the \qs and the \qc graph. In addition to the \qs and \qc graphs, we find all other graphs in $\G(v,e)$ for which the maximum value of $P_2(G)$ is attained. Density questions posed by previous authors are examined.
The flipping puzzle on a graph
Published
• View Publication
• BIB
Let $S$ be a connected graph which contains an induced path of $n-1$ vertices, where $n$ is the order of $S.$ We consider a puzzle on $S$. A configuration of the puzzle is simply an $n$-dimensional column vector over $\{0, 1\}$ with coordinates of the vector indexed by the vertex set $S$. For each configuration $u$ with a coordinate $u_s=1$, there exists a move that sends $u$ to the new configuration which flips the entries of the coordinates adjacent to $s$ in $u.$ We completely determine if one configuration can move to another in a sequence of finite steps.
Regular induced subgraphs of a random graph
Published
• View Publication
• BIB
An old problem of Erdős, Fajtlowicz and Staton asks for the order of a largest induced regular subgraph that can be found in every graph on n vertices. Motivated by this problem, we consider the order of such a subgraph in a typical graph on n vertices, i.e., in a binomial random graph G(n,1/2). We prove that with high probability a largest induced regular subgraph of G(n,1/2) has about n^{2/3} vertices.