Kempe Change

The graph theoretic facility layout problem (GTFLP) seeks the best spatial arrangement of a set of facilities, which minimizes the total transportation cost of material flow between facilities, or maximizes total facility adjacency benefits. The GTFLP has applications in arranging rooms within a building floorplan, placing machines on a factory floor, controls on an instrument panel, or components on a circuit board. For this reason, the GTFLP is an important problem within industrial design. The GTFLP comprises two phases: the generation of a highly weighted maximal planar graph (MPG), whose edges specify adjacencies required in the layout, and the drawing of an orthogonal geometric dual to this MPG, called the block plan, under given area requirements for each facility. The first phase is NP-complete, and has been researched extensively; in the absence of a polynomial time algorithm, it appears there is little future for further research in this area. The second phase however has received far less attention due to the difficulties in not only determining algorithms for generating layouts, but also the hurdles encountered in automating these methods. This paper presents a new approach to finding a block plan from an arbitrary MPG, with facility area requirements.

A maximal planar graph is a simple planar graph in which every face is a triangle. We show here that such graphs with maximum degree Δ and diameter two have no more than 3/2Δ + 1 vertices. We also show that there exist maximal planar graphs with diameter two and exactly [3/2Δ + 1] vertices.

A graph G on n vertices is called non-universal if its maximum degree is at most $$n-2$$ . In this paper, we give a structural characterization for non-universal maximal planar graphs with diameter two. In precise, we find 10 basic graphs, and then generate all 25 non-universal maximal planar graphs with diameter two by adding repeatedly and appropriately 3-vertices to some of these 10 basic graphs. As an application, we show that maximal planar graphs with diameter two are pancyclic except five special graphs.

The $(\Delta,D)$ (degree/diameter) problem consists of finding the largest possible number of vertices $n$ among all the graphs with maximum degree $\Delta$ and diameter $D$. We consider the $(\Delta,D)$ problem for maximal planar bipartite graphs, that is, simple planar graphs in which every face is a quadrangle. We obtain that for the $(\Delta,2)$ problem, the number of vertices is $n=\Delta+2$; and for the $(\Delta,3)$ problem, $n= 3\Delta-1$ if $\Delta$ is odd and $n= 3\Delta-2$ if $\Delta$ is even. Then, we prove that, for the general case of the $(\Delta,D)$ problem, an upper bound on $n$ is approximately $3(2D+1)(\Delta-2)^{\lfloor D/2\rfloor}$, and another one is $C(\Delta-2)^{\lfloor D/2\rfloor}$ if $\Delta\geq D$ and $C$ is a sufficiently large constant. Our upper bounds improve for our kind of graphs the one given by Fellows, Hell and Seyffarth for general planar graphs. We also give a lower bound on $n$ for maximal planar bipartite graphs, which is approximately $(\Delta-2)^{k}$ if $D=2k$, and $3(\Delta-3)^k$ if $D=2k+1$, for $\Delta$ and $D$ sufficiently large in both cases.

On The Number of Subgraphs of Prescribed Type of Planar Graphs With A Given Number of Vertices

Graph coloring dates back to 1852, when Francis Guthrie come up with the four color conjecture. Gary Chartrand and Ping Zhang [3] discussed various colorings of graph and its properties in their book entitled Chromatic Graph Theory. A graph coloring is the assignment of a color to each of the vertices or edges or both in such a way that no two adjacent vertices and incident edges share the same color. Graph coloring has been applied to many real world problems like scheduling, allocation, telecommunications and bioinformatics, etc.

In this paper, we investigate the problem of graph list colouring in the on-line setting. We provide several results on paintability of graphs in the model introduced by Schauz [18] and Zhu [25]. We prove that the on-line version of Ohba’s conjecture is true for the class of planar graphs. We show that the conjecture for partial list colouring on-line holds for several graph classes, namely claw-free graphs, maximal planar graphs, series-parallel graphs, and chordal graphs.

A subset of vertics W and a planer graph G is a face-independent vertex cover (FIVC) if there exists a plane embedding of G such that each boundary contains exactly one vertex from W. In general, verifying if a plane graph admits a VIFC is an NP-complete problem. If G is a maximal planar graph, then the existence of a FIVC in G can be efficiently tested by using the so-called t-paths between odd-degree vertics of G (a t-path is a sequence of adjacent triangles). Also for Halin Graphs (i.e., skirted trees), its FIVC’s can be generated in polynomial time.

Vertex splitting replaces a vertex by two copies and partitions its incident edges amongst the copies. This problem has been studied as a graph editing operation to achieve desired properties with as few splits as possible, most often planarity, for which the problem is $$\textsf{NP}$$ -hard. Here we study how to minimize the number of splits to turn a plane graph into an outerplane one. We tackle this problem by establishing a direct connection between splitting a plane graph to outerplanarity, finding a connected face cover, and finding a feedback vertex set in its dual. We prove $$\textsf{NP}$$ -completeness for plane biconnected graphs, while we show that a polynomial-time algorithm exists for maximal planar graphs. Finally, we provide upper and lower bounds for certain families of maximal planar graphs.

Maximal planar graphs of inscribable type and diagonal flips

By mapping the vertices of a graph G to points in ℝ3, and its edges to the corresponding line segments, we obtain a three-dimensional realization of G. A realization of G is said to be globally rigid if its edge lengths uniquely determine the realization, up to congruence. The graph G is called globally rigid if every generic three-dimensional realization of G is globally rigid. We consider global rigidity properties of braced triangulations, which are graphs obtained from maximal planar graphs by adding extra edges, called bracing edges. We show that for every even integer n ≥ 8 there exist braced triangulations with 3n − 4 edges which remain globally rigid if an arbitrary edge is deleted from the graph. The bound is best possible. This result gives an affirmative answer to a recent conjecture. We also discuss the connections between our results and a related more general conjecture, due to S. Tanigawa and the third author.

This chapter describes the history of graphs and introduces the main definitions of graphs. It discusses some particular classes of graphs that we can meet in philosophy and provides some examples of them. The chapter presents a list of well-known graphs that we can put together according to their name. A graph generally has different kinds of drawings, but all of these are isomorphic. So, a graph is in fact a class of graphs generally defined up to an isomorphism. Even when graphs are non-separable, they always admit subgraphs. Informally speaking, the reconstruction conjecture says that graphs are determined uniquely by their subgraphs. The conjecture has been verified for a number of infinite classes of graphs: regular graphs, trees, disconnected graphs, unit interval graphs, separable graphs without end vertices, maximal planar graphs, maximal outerplanar graphs, outerplanar graphs and critical blocks.

Efficient generation of triconnected plane triangulations

In this paper we design efficient algorithms for enumerating (1) the rooted trees with exactly [Formula: see text] vertices, (2) the maximal planar graphs with exactly [Formula: see text] vertices and (3) the linear extensions of a given poset. Those algorithms are based on tree structures of objects, called the family trees. The first algorithm enumerates each ordered tree with exactly [Formula: see text] vertices in [Formula: see text] time for each after [Formula: see text] time preprocessing. The second algorithm enumerates each maximal planar graph with exactly [Formula: see text] vertices in [Formula: see text] time for each on average. The third algorithm enumerates each linear extension of a given poset in [Formula: see text] time for each after [Formula: see text] time preprocessing, where [Formula: see text] is the number of the element in the set of the poset.

Generating Graphs Uniformly at Random. This paper deals with the problem of sampling from a uniform distribution on various classes of graphs of given size. We consider algorithms and restarting procedures for uniform generation of several kinds of trees, arbitrary unlabelled graphs and various kinds of labelled graphs. Most of the material discussed in this paper has been developed during the last decade by several authors. In section 4.3 some recent results on the generation of outerplanar graphs and maximal planar graphs are presented.