graph
34934 papers tagged with this keyword
On the family of $r$-regular graphs with Grundy number $r+1$
Published
• View Publication
• BIB
The Grundy number of a graph $G$, denoted by $Γ(G)$, is the largest $k$ such that there exists a partition of $V(G)$, into $k$ independent sets $V_1,\ldots, V_k$ and every vertex of $V_i$ is adjacent to at least one vertex in $V_j$, for every $j < i$. The objects which are studied in this article are families of $r$-regular graphs such that $Γ(G) = r + 1$. Using the notion of independent module, a characterization of this family is given for $r=3$. Moreover, we determine classes of graphs in this family, in particular the class of $r$-regular graphs without induced $C_4$, for $r \le 4$. Furthermore, our propositions imply results on partial Grundy number.
Explicit linear kernels via dynamic programming
Published
• View Publication
• BIB
Several algorithmic meta-theorems on kernelization have appeared in the last years, starting with the result of Bodlaender et al. [FOCS 2009] on graphs of bounded genus, then generalized by Fomin et al. [SODA 2010] to graphs excluding a fixed minor, and by Kim et al. [ICALP 2013] to graphs excluding a fixed topological minor. Typically, these results guarantee the existence of linear or polynomial kernels on sparse graph classes for problems satisfying some generic conditions but, mainly due to their generality, it is not clear how to derive from them constructive kernels with explicit constants. In this paper we make a step toward a fully constructive meta-kernelization theory on sparse graphs. Our approach is based on a more explicit protrusion replacement machinery that, instead of expressibility in CMSO logic, uses dynamic programming, which allows us to find an explicit upper bound on the size of the derived kernels. We demonstrate the usefulness of our techniques by providing the first explicit linear kernels for $r$-Dominating Set and $r$-Scattered Set on apex-minor-free graphs, and for Planar-\mathcal{F}-Deletion on graphs excluding a fixed (topological) minor in the case where all the graphs in \mathcal{F} are connected.
Faster all-pairs shortest paths via circuit complexity
Published
• View Publication
• BIB
We present a new randomized method for computing the min-plus product (a.k.a., tropical product) of two $n \times n$ matrices, yielding a faster algorithm for solving the all-pairs shortest path problem (APSP) in dense $n$-node directed graphs with arbitrary edge weights. On the real RAM, where additions and comparisons of reals are unit cost (but all other operations have typical logarithmic cost), the algorithm runs in time \[\frac{n^3}{2^{Ω(\log n)^{1/2}}}\] and is correct with high probability. On the word RAM, the algorithm runs in $n^3/2^{Ω(\log n)^{1/2}} + n^{2+o(1)}\log M$ time for edge weights in $([0,M] \cap {\mathbb Z})\cup\{\infty\}$. Prior algorithms used either $n^3/(\log^c n)$ time for various $c \leq 2$, or $O(M^αn^β)$ time for various $α> 0$ and $β> 2$.
The new algorithm applies a tool from circuit complexity, namely the Razborov-Smolensky polynomials for approximately representing ${\sf AC}^0[p]$ circuits, to efficiently reduce a matrix product over the $(\min,+)$ algebra to a relatively small number of rectangular matrix products over ${\mathbb F}_2$, each of which are computable using a particularly efficient method due to Coppersmith. We also give a deterministic version of the algorithm running in $n^3/2^{\log^δ n}$ time for some $δ> 0$, which utilizes the Yao-Beigel-Tarui translation of ${\sf AC}^0[m]$ circuits into "nice" depth-two circuits.
Total weight choosability in Hypergraphs
A total weighting of the vertices and edges of a hypergraph is called vertex-coloring if the total weights of the vertices yield a proper coloring of the graph, i.e., every edge contains at least two vertices with different weighted degrees. In this note we show that such a weighting is possible if every vertex has two, and every edge has three weights to choose from, extending a recent result on graphs to hypergraphs.
A note on the degree-diameter problem for arc-transitive graphs
Published in Bull. of the ICA 68 (2013), 102-105
• Search Publication
We give two lower bounds on the largest order of an arc-transitive graph of diameter two and a given degree.
Checkerboard embeddings of *-graphs into nonorientable surfaces
Published
• View Publication
• BIB
This paper considers *-graphs in which all vertices have degree 4 or 6, and studies the question of calculating the genus of nonorientable surfaces into which such graphs may be embedded. In a previous paper by the authors, the problem of calculating whether a given *-graph in which all vertices have degree 4 or 6 admits a Z2-homologically trivial embedding into a given orientable surface was shown to be equivalent to a problem on matrices. Here we extend those results to nonorientable surfaces. The embeddability condition that we obtain yields quadratic-time algorithms to determine whether a *-graph with all vertices of degree 4 or 6 admits a Z2-homologically trivial embedding into the projective plane or into the Klein bottle.
Subdivisions of a large clique in $C_6$-free graphs
Mader conjectured that every $C_4$-free graph has a subdivision of a clique of order linear in its average degree. We show that every $C_6$-free graph has such a subdivision of a large clique.
We also prove the dense case of Mader's conjecture in a stronger sense, i.e. for every $c$, there is a $c'$ such that every $C_4$-free graph with average degree $cn^{1/2}$ has a subdivision of a clique $K_\ell$ with $\ell=\lfloor c'n^{1/2}\rfloor$ where every edge is subdivided exactly $3$ times.
Well-Quasi-Order for Permutation Graphs Omitting a Path and a Clique
Published
• View Publication
• BIB
We consider well-quasi-order for classes of permutation graphs which omit both a path and a clique. Our principle result is that the class of permutation graphs omitting $P_5$ and a clique of any size is well-quasi-ordered. This is proved by giving a structural decomposition of the corresponding permutations. We also exhibit three infinite antichains to show that the classes of permutation graphs omitting $\{P_6,K_6\}$, $\{P_7,K_5\}$, and $\{P_8,K_4\}$ are not well-quasi-ordered.
Diversities and the Geometry of Hypergraphs
Published
• View Publication
• BIB
The embedding of finite metrics in $\ell_1$ has become a fundamental tool for both combinatorial optimization and large-scale data analysis. One important application is to network flow problems in which there is close relation between max-flow min-cut theorems and the minimal distortion embeddings of metrics into $\ell_1$. Here we show that this theory can be generalized considerably to encompass Steiner tree packing problems in both graphs and hypergraphs. Instead of the theory of $\ell_1$ metrics and minimal distortion embeddings, the parallel is the theory of diversities recently introduced by Bryant and Tupper, and the corresponding theory of $\ell_1$ diversities and embeddings which we develop here.
Bar 1-Visibility Graphs and their relation to other Nearly Planar Graphs
Published
• View Publication
• BIB
A graph is called a strong (resp. weak) bar 1-visibility graph if its vertices can be represented as horizontal segments (bars) in the plane so that its edges are all (resp. a subset of) the pairs of vertices whose bars have a $ε$-thick vertical line connecting them that intersects at most one other bar.
We explore the relation among weak (resp. strong) bar 1-visibility graphs and other nearly planar graph classes. In particular, we study their relation to 1-planar graphs, which have a drawing with at most one crossing per edge; quasi-planar graphs, which have a drawing with no three mutually crossing edges; the squares of planar 1-flow networks, which are upward digraphs with in- or out-degree at most one. Our main results are that 1-planar graphs and the (undirected) squares of planar 1-flow networks are weak bar 1-visibility graphs and that these are quasi-planar graphs.
A note on acyclic vertex-colorings
Published
• View Publication
• BIB
We prove that the acyclic chromatic number of a graph with maximum degree $Δ$ is less than $2.835Δ^{4/3}+Δ$. This improves the previous upper bound, which was $50Δ^{4/3}$. To do so, we draw inspiration from works by Alon, McDiarmid and Reed and by Esperet and Parreau.
Further results on strong edge-colourings in outerplanar graphs
An edge-colouring is {\em strong} if every colour class is an induced matching. In this work we give a formulae that determines either the optimal or the optimal plus one strong chromatic index of bipartite outerplanar graphs. Further, we give an improved upper bound for any outerplanar graph which is close to optimal. All our proofs yield efficient algorithms to construct such colourings.
Graph properties, graph limits and entropy
Published
• View Publication
• BIB
We study the relation between the growth rate of a graph property and the entropy of the graph limits that arise from graphs with that property. In particular, for hereditary classes we obtain a new description of the colouring number, which by well-known results describes the rate of growth.
We study also random graphs and their entropies. We show, for example, that if a hereditary property has a unique limiting graphon with maximal entropy, then a random graph with this property, selected uniformly at random from all such graphs with a given order, converges to this maximizing graphon as the order tends to infinity.
On the star arboricity of hypercubes
Published in Australas. J. Combin. 59(2) (2014) 282-292
• Search Publication
A Hypercube $Q_n$ is a graph in which the vertices are all binary vectors of length n, and two vertices are adjacent if and only if their components differ in exactly one place. A galaxy or a star forest is a union of vertex disjoint stars. The star arboricity of a graph $G$, ${\rm sa}(G)$, is the minimum number of galaxies which partition the edge set of $G$. In this paper among other results, we determine the exact values of ${\rm sa}(Q_n)$ for $n \in \{2^k-3, 2^k+1, 2^k+2, 2^i+2^j-4\}$, $i \geq j \geq 2$. We also improve the last known upper bound of ${\rm sa}(Q_n)$ and show the relation between ${\rm sa}(G)$ and square coloring.
Rainbow path and color degree in edge colored graphs
Published
• View Publication
• BIB
Let $G$ be an edge colored graph. A {\it}{rainbow path} in $G$ is a path in which all the edges are colored with distinct colors. Let $d^c(v)$ be the color degree of a vertex $v$ in $G$, i.e. the number of distinct colors present on the edges incident on the vertex $v$. Let $t$ be the maximum length of a rainbow path in $G$. Chen and Li showed that if $d^c \geq k$, for every vertex $v$ of $G$, then $t \geq \left \lceil \frac{3 k}{5}\right \rceil + 1$ (Long heterochromatic paths in edge-colored graphs, The Electronic Journal of Combinatorics 12 (2005), # R33, Pages:1-33.) Unfortunately, proof by Chen and Li is very long and comes to about 23 pages in the journal version. Chen and Li states in their paper that it was conjectured by Akira Saito, that $t \ge \left \lceil \frac {2k} {3} \right \rceil$. They also states in their paper that they believe $t \ge k - c$ for some constant $c$.
In this note, we give a short proof to show that $t \ge \left \lceil \frac{3 k}{5}\right \rceil$, using an entirely different method. Our proof is only about 2 pages long. The draw-back is that our bound is less by 1, than the bound given by Chen and Li. We hope that the new approach adopted in this paper would eventually lead to the settlement of the conjectures by Saito and/or Chen and Li.
Maximal induced matchings in triangle-free graphs
Published
• View Publication
• BIB
An induced matching in a graph is a set of edges whose endpoints induce a $1$-regular subgraph. It is known that any $n$-vertex graph has at most $10^{n/5} \approx 1.5849^n$ maximal induced matchings, and this bound is best possible. We prove that any $n$-vertex triangle-free graph has at most $3^{n/3} \approx 1.4423^n$ maximal induced matchings, and this bound is attained by any disjoint union of copies of the complete bipartite graph $K_{3,3}$. Our result implies that all maximal induced matchings in an $n$-vertex triangle-free graph can be listed in time $O(1.4423^n)$, yielding the fastest known algorithm for finding a maximum induced matching in a triangle-free graph.
On the number of $K_4$-saturating edges
Published
• View Publication
• BIB
Let $G$ be a $K_4$-free graph, an edge in its complement is a $K_4$-\emph{saturating} edge if the addition of this edge to $G$ creates a copy of $K_4$. Erdős and Tuza conjectured that for any $n$-vertex $K_4$-free graph $G$ with $\lfloor n^2/4\rfloor+1$ edges, one can find at least $(1+o(1))\frac{n^2}{16}$ $K_4$-saturating edges. We construct a graph with only $\frac{2n^2}{33}$ $K_4$-saturating edges. Furthermore, we prove that it is best possible, i.e., one can always find at least $(1+o(1))\frac{2n^2}{33}$ $K_4$-saturating edges in an $n$-vertex $K_4$-free graph with $\lfloor n^2/4\rfloor+1$ edges.
Dichotomies properties on computational complexity of S-packing coloring problems
Published
• View Publication
• BIB
This work establishes the complexity class of several instances of the S-packing coloring problem: for a graph G, a positive integer k and a non decreasing list of integers S = (s\_1 , ..., s\_k ), G is S-colorable, if its vertices can be partitioned into sets S\_i , i = 1,... , k, where each S\_i being a s\_i -packing (a set of vertices at pairwise distance greater than s\_i). For a list of three integers, a dichotomy between NP-complete problems and polynomial time solvable problems is determined for subcubic graphs. Moreover, for an unfixed size of list, the complexity of the S-packing coloring problem is determined for several instances of the problem. These properties are used in order to prove a dichotomy between NP-complete problems and polynomial time solvable problems for lists of at most four integers.
Network histograms and universality of blockmodel approximation
Published in Proceedings of the National Academy of Sciences of the USA 2014, Vol. 111, No. 41, 14722-14727
• View Publication
• BIB
In this article we introduce the network histogram: a statistical summary of network interactions, to be used as a tool for exploratory data analysis. A network histogram is obtained by fitting a stochastic blockmodel to a single observation of a network dataset. Blocks of edges play the role of histogram bins, and community sizes that of histogram bandwidths or bin sizes. Just as standard histograms allow for varying bandwidths, different blockmodel estimates can all be considered valid representations of an underlying probability model, subject to bandwidth constraints. Here we provide methods for automatic bandwidth selection, by which the network histogram approximates the generating mechanism that gives rise to exchangeable random graphs. This makes the blockmodel a universal network representation for unlabeled graphs. With this insight, we discuss the interpretation of network communities in light of the fact that many different community assignments can all give an equally valid representation of such a network. To demonstrate the fidelity-versus-interpretability tradeoff inherent in considering different numbers and sizes of communities, we analyze two publicly available networks - political weblogs and student friendships - and discuss how to interpret the network histogram when additional information related to node and edge labeling is present.
Metric characterizations of superreflexivity in terms of word hyperbolic groups and finite graphs
Published in Analysis and Geometry in Metric Spaces, 2 (2014), 154-168
• View Publication
• BIB
We show that superreflexivity can be characterized in terms of bilipschitz embeddability of word hyperbolic groups. We compare characterizations of superreflexivity in terms of diamond graphs and binary trees. We show that there exist sequences of series-parallel graphs of increasing topological complexity which admit uniformly bilipschitz embeddings into a Hilbert space, and thus do not characterize superreflexivity.