Boundary Classes of Planar Graphs

2008 ◽  
Vol 17 (2) ◽  
pp. 287-295 ◽  
Author(s):  
VADIM LOZIN
Keyword(s):  
Polynomial Time ◽  
Planar Graphs ◽  
Dominating Set ◽  
Helpful Tool ◽  
Tree Width

We analyse classes of planar graphs with respect to various properties such as polynomial-time solvability of thedominating setproblem or boundedness of the tree-width. A helpful tool to address this question is the notion of boundary classes. The main result of the paper is that for many important properties there are exactly two boundary classes of planar graphs.

On fixed-point logic with counting

2000 ◽  
Vol 65 (2) ◽  
pp. 777-787 ◽  
Author(s):  
Jörg Flum ◽  
Martin Grohe
Keyword(s):  
Fixed Point ◽  
Complexity Theory ◽  
Polynomial Time ◽  
Planar Graphs ◽  
Expressive Power ◽  
Descriptive Complexity ◽  
Main Motivation ◽  
First Order ◽  
Finite Structures ◽  
Tree Width

One of the fundamental results of descriptive complexity theory, due to Immerman [13] and Vardi [18], says that a class of ordered finite structures is definable in fixed-point logic if, and only if, it is computable in polynomial time. Much effort has been spent on the problem of capturing polynomial time, that is, describing all polynomial time computable classes of not necessarily ordered finite structures by a logic in a similar way.The most obvious shortcoming of fixed-point logic itself on unordered structures is that it cannot count. Immerman [14] responded to this by adding counting constructs to fixed-point logic. Although it has been proved by Cai, Fürer, and Immerman [1] that the resulting fixed-point logic with counting, denoted by IFP+C, still does not capture all of polynomial time, it does capture polynomial time on several important classes of structures (on trees, planar graphs, structures of bounded tree-width [15, 9, 10]).The main motivation for such capturing results is that they may give a better understanding of polynomial time. But of course this requires that the logical side is well understood. We hope that our analysis of IFP+C-formulas will help to clarify the expressive power of IFP+C; in particular, we derive a normal form. Moreover, we obtain a problem complete for IFP+C under first-order reductions.

scholarly journals Distributed Dominating Set Approximations beyond Planar Graphs

2019 ◽  
Vol 15 (3) ◽  
pp. 1-18 ◽  
Author(s):  
Saeed Akhoondian Amiri ◽  
Stefan Schmid ◽  
Sebastian Siebertz
Keyword(s):  
Planar Graphs ◽  
Dominating Set

scholarly journals Refined Search Tree Technique for Dominating Set on Planar Graphs

2001 ◽  
pp. 111-123 ◽  
Author(s):  
Jochen Alber ◽  
Hongbing Fan ◽  
Michael R. Fellows ◽  
Henning Fernau ◽  
Rolf Niedermeier ◽  
...  
Keyword(s):  
Planar Graphs ◽  
Dominating Set ◽  
Search Tree

SELF-STABILIZING ALGORITHMS FOR ORDERINGS AND COLORINGS

2005 ◽  
Vol 16 (01) ◽  
pp. 19-36 ◽  
Author(s):  
WAYNE GODDARD ◽  
STEPHEN T. HEDETNIEMI ◽  
DAVID P. JACOBS ◽  
PRADIP K. SRIMANI
Keyword(s):  
Distributed Algorithms ◽  
Polynomial Time ◽  
Graph Coloring ◽  
Planar Graphs ◽  
Special Cases ◽  
Legitimate State

A k-forward numbering of a graph is a labeling of the nodes with integers such that each node has less than k neighbors whose labels are equal or larger. Distributed algorithms that reach a legitimate state, starting from any illegitimate state, are called self-stabilizing. We obtain three self-stabilizing (s-s) algorithms for finding a k-forward numbering, provided one exists. One such algorithm also finds the k-height numbering of graph, generalizing s-s algorithms by Bruell et al. [4] and Antonoiu et al. [1] for finding the center of a tree. Another k-forward numbering algorithm runs in polynomial time. The motivation of k-forward numberings is to obtain new s-s graph coloring algorithms. We use a k-forward numbering algorithm to obtain an s-s algorithm that is more general than previous coloring algorithms in the literature, and which k-colors any graph having a k-forward numbering. Special cases of the algorithm 6-color planar graphs, thus generalizing an s-s algorithm by Ghosh and Karaata [13], as well as 2-color trees and 3-color series-parallel graphs. We discuss how our s-s algorithms can be extended to the synchronous model.

Fixed Parameter Algorithms for DOMINATING SET and Related Problems on Planar Graphs

Algorithmica ◽  
2002 ◽  
Vol 33 (4) ◽  
pp. 461-493 ◽  
Author(s):  
J. Alber ◽  
H. L. Bodlaender ◽  
H. Fernau ◽  
T. Kloks ◽  
R. Niedermeier
Keyword(s):  
Planar Graphs ◽  
Dominating Set ◽  
Fixed Parameter

scholarly journals On the Largest Dynamic Monopolies of Graphs with a Given Average Threshold

2015 ◽  
Vol 58 (2) ◽  
pp. 306-316 ◽  
Author(s):  
Kaveh Khoshkhah ◽  
Manouchehr Zaker
Keyword(s):  
Polynomial Time ◽  
Upper Bound ◽  
Nonnegative Integer ◽  
Planar Graphs ◽  
Worst Case ◽  
Time Solution

AbstractLet G be a graph and let τ be an assignment of nonnegative integer thresholds to the vertices of G. A subset of vertices, D, is said to be a τ-dynamicmonopoly if V(G) can be partitioned into subsets D0 , D1, …, Dk such that D0 = D and for any i ∊ {0, . . . , k−1}, each vertex v in Di+1 has at least τ(v) neighbors in D0∪··· ∪Di. Denote the size of smallest τ-dynamicmonopoly by dynτ(G) and the average of thresholds in τ by τ. We show that the values of dynτ(G) over all assignments τ with the same average threshold is a continuous set of integers. For any positive number t, denote the maximum dynτ(G) taken over all threshold assignments τ with τ ≤ t, by Ldynt(G). In fact, Ldynt(G) shows the worst-case value of a dynamicmonopoly when the average threshold is a given number t. We investigate under what conditions on t, there exists an upper bound for Ldynt(G) of the form c|G|, where c < 1. Next, we show that Ldynt(G) is coNP-hard for planar graphs but has polynomial-time solution for forests.

Sign in / Sign up

Export Citation Format

Share Document