Structure and properties of maximal outerplanar graphs.

Outerplanar graphs are planar graphs that have a plane embedding in which each vertex lies on the boundary of the exterior region. An outerplanar graph is maximal outerplanar if the graph obtained by adding an edge is not outerplanar. Maximal outerplanar graphs are also known as triangulations of polygons. The spine of a maximal outerplanar graph G is the dual graph of G without the vertex that corresponds to the exterior region. In this thesis we study metric properties involving geodesic intervals, geodetic sets, Steiner sets, different concepts of boundary, and also relationships between the independence numbers and domination numbers of maximal outerplanar graphs and their spines. In Chapter 2 we find an extension of a result by Beyer, et al. [3] that deals with Hamiltonian degree sequences in maximal outerplanar graphs. In Chapters 3 and 4 we give sharp bounds relating the independence number and domination number, respectively, of a maximal outerplanar graph to those of its spine. In Chapter 5 we discuss the boundary, contour, eccentricity, periphery, and extreme set of a graph. We give a characterization of the boundary of maximal outerplanar graphs that involves the degrees of vertices. We find properties that characterize the contour of a maximal outerplanar graph. The other main result of this chapter gives characterizations of graphs induced by the contour and by the periphery of a maximal outerplanar graph. In Chapter 6 we show that the generalized intervals in a maximal outerplanar graph are convex. We use this result to characterize geodetic sets in maximal outerplanar graphs. We show that every Steiner set in a maximal outerplanar graph is a geodetic set and also show some differences between these types of sets. We present sharp bounds for geodetic numbers and Steiner numbers of maximal outerplanar graphs

The generalized 3-edge-connectivity of lexicographic product graphs

The generalized $k$-edge-connectivity $\lambda_k(G)$ of a graph $G$ is a generalization of the concept of edge-connectivity. The lexicographic product of two graphs $G$ and $H$, denoted by $G\circ H$, is an important graph product. In this paper, we mainly study the generalized 3-edge-connectivity of $G \circ H$, and get upper and lower bounds of $\lambda_3(G \circ H)$. Moreover, all bounds are sharp.Comment: 14 page

Packing Steiner Trees

Let $T$ be a distinguished subset of vertices in a graph $G$. A $T$-\emph{Steiner tree} is a subgraph of $G$ that is a tree and that spans $T$. Kriesell conjectured that $G$ contains $k$ pairwise edge-disjoint $T$-Steiner trees provided that every edge-cut of $G$ that separates $T$ has size $\ge 2k$. When $T=V(G)$ a $T$-Steiner tree is a spanning tree and the conjecture is a consequence of a classic theorem due to Nash-Williams and Tutte. Lau proved that Kriesell's conjecture holds when $2k$ is replaced by $24k$, and recently West and Wu have lowered this value to $6.5k$. Our main result makes a further improvement to $5k+4$.Comment: 38 pages, 4 figure

Statistical Mechanics of Steiner trees

The Minimum Weight Steiner Tree (MST) is an important combinatorial optimization problem over networks that has applications in a wide range of fields. Here we discuss a general technique to translate the imposed global connectivity constrain into many local ones that can be analyzed with cavity equation techniques. This approach leads to a new optimization algorithm for MST and allows to analyze the statistical mechanics properties of MST on random graphs of various types

Colored Non-Crossing Euclidean Steiner Forest

Given a set of $k$-colored points in the plane, we consider the problem of finding $k$ trees such that each tree connects all points of one color class, no two trees cross, and the total edge length of the trees is minimized. For $k=1$, this is the well-known Euclidean Steiner tree problem. For general $k$, a $k\rho$-approximation algorithm is known, where $\rho \le 1.21$ is the Steiner ratio. We present a PTAS for $k=2$, a $(5/3+\varepsilon)$-approximation algorithm for $k=3$, and two approximation algorithms for general~$k$, with ratios $O(\sqrt n \log k)$ and $k+\varepsilon$

Graphs with large generalized (edge-)connectivity

The generalized $k$-connectivity $\kappa_k(G)$ of a graph $G$, introduced by Hager in 1985, is a nice generalization of the classical connectivity. Recently, as a natural counterpart, we proposed the concept of generalized $k$-edge-connectivity $\lambda_k(G)$. In this paper, graphs of order $n$ such that $\kappa_k(G)=n-\frac{k}{2}-1$ and $\lambda_k(G)=n-\frac{k}{2}-1$ for even $k$ are characterized.Comment: 25 pages. arXiv admin note: text overlap with arXiv:1207.183

Flip Distance Between Triangulations of a Simple Polygon is NP-Complete

Let T be a triangulation of a simple polygon. A flip in T is the operation of removing one diagonal of T and adding a different one such that the resulting graph is again a triangulation. The flip distance between two triangulations is the smallest number of flips required to transform one triangulation into the other. For the special case of convex polygons, the problem of determining the shortest flip distance between two triangulations is equivalent to determining the rotation distance between two binary trees, a central problem which is still open after over 25 years of intensive study. We show that computing the flip distance between two triangulations of a simple polygon is NP-complete. This complements a recent result that shows APX-hardness of determining the flip distance between two triangulations of a planar point set.Comment: Accepted versio