Abstract
Hierarchical specifications of graphs have been widely used in many important applications, such as VLSI design, parallel programming and software engineering. A well known hierarchical specification model, considered in this work, is that of Lengauer [9, 10] referred to as L-specifications. In this paper we discuss a restriction on the L-specifications resulting to graphs which we call Well-Separated (WS). This class is characterized by a polynomial time (to the size of the specification of the graph) testable combinatorial property.
In this work we study the Radiocoloring Problem (RCP) on WS L-specified hierarchical planar graphs. The optimization version of RCP studied here, consists in assigning colors to the vertices of a graph, such that any two vertices of distance at most two get different colors. The objective here is to minimize the number of colors used. This problem is equivalent to the problem of vertex coloring the square of a graph G, G 2, where G 2 has the same vertex set as G and there is an edge between any two vertices of G 2 if their distance in G is at most 2.
We first show that RCP is \( \mathcal{P}\mathcal{S}\mathcal{P}\mathcal{A}\mathcal{C}\mathcal{E} \) -complete for WS L-specified hierarchical planar graphs. Second, we present a polynomial time 3-approximation algorithm as well as a more efficient 4-approximation algorithm for RCP on graphs of this class.
We note that, the best currently known approximation ratio for the RCP on ordinary (non-hierarchical) planar graphs of general degree is 2 ([6, 1]). Note also that the only known results on any kind of coloring problems have been shown for another special kind of hierarchical graphs (unit disk graphs) achieving a 6-approximation solution [13].
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This work has been partially supported by the EU IST/FET projects ALCOM-FT, FLAGS, CRESCCO and EU/RTN Project ARACNE. Part of the last author’s work was done during his visit at Max-Planck-Institute für Informatik (MPI).
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Geir Agnarsson, Magnus M.Halldórsson: Coloring Powers of Planar Graphs. ACM Symposium on Discrete Algorithms (SODA) (2000).
M.I. Andreou, D.A. Fotakis, S.E. Nikoletseas, V.G. Papadopoulou and P.G. Spirakis: On Radiocoloring Hierarchically Specified Planar Graphs: \( \mathcal{P}\mathcal{S}\mathcal{P}\mathcal{A}\mathcal{C}\mathcal{E} \) -completeness and Approximations (full version). CTI Technichal Report 2002, URL http://students.ceid.upatras.gr/~viki.
B. S. Baker: Approximation algorithms for NP-complete problems on planar graphs. Journal of the ACM 41:153–180, 1994.
Bodlaender, H.L.: Planar graphs with bounded treewidth. TR RUU-CS-88-14, Department of Computer Science, University of Utrecht, The Netherlands, March, 1988.
Bodlaender, H.L., T. Kloks, R.B. Tan and J. van Leeuwen: Approximations for λ-coloring of graphs. In Proc. 17th Annual Symp. on Theoretical Aspects of Computer Science (STACS). LNCS Vol. 1770, pp. 395–406, 2000.
D.A. Fotakis, S.E. Nikoletseas, V.G. Papadopoulou and P.G. Spirakis: completeness Results and Efficient Approximations for Radiocoloring in Planar Graphs. In Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science (MFCS), Editors Mogens Nielsen, Branislav Rovan, LNCS 1893, pp 363–372, 2000.
M. R. Garey, D. S. Johnson: “Computers and Intractability: A guide to the Theory of NP-completeness”, W. H./ Freeman and Company, 1979.
Krumke, M.V. Marathe and S. S. Ravi: Approximation algorithms for channel assignment in radio networks. In DIALM for Mobility, 2nd International Workshop on Discrete Algorithms and methods for Mobile Computing and Communications, Dallas, Texas, 1998.
T. Lengauer: Hierarchical Planarity Testing. Journal of ACM, Vol 36, No 3, pp. 474–509, (1989).
T. Lengauer and K.W. Wagner: Correlation between the Complexities of the Of hierarchical and Hierarchical Versions of graph Problems. Journal of Computer and System Sciences, 44, pp. 63–93 (1992).
M.V. Marathe, H.B. Hunt III, R.E. Stearns and V. Radhakrishnan: Approximation Algorithms for PSPACE-Hard Hierarchically and Periodically Specified Problems. Proc. 26th Annual ACM Symposium on the Theory of Computing (STOC), pp. 468–478, May 1994. A complete version appears in SIAM Journal on Computing, Vol. 27, No 5, Oct. 1998, pp. 1237–1261.
H. Marathe, H. Hunt III, R. Stearns and V. Radhakrishnan: “Complexity of hier-achically and 1-dimensioned periodically specified problems”. DIMACS Workshop on Satisfiability Problem: Theory and Applications (1996).
M.V. Marathe, V. Radhakrishnan, H.B. Hunt III and S.S. Ravi: Hierarchically Specified Unit Disk Graphs. Proc. 19th International Workshop on Graph-Theoretic Concepts in Computer Science (WG), Utrecht, Netherlands, LNCS 790, pp. 21–32, Springer Verlag, (June 1993). Journal version appears in Theoretical Computer Science, 174(1–2), pp. 23–65, (March 1997).
S. T. McCormick: Optimal approximation of sparse hessians and its equivalence to a graph coloring problem. Technical Report SOL 81-22, Dept. of Operations Research, Standford University, 1981.
S. Ramanathan, E. R. Loyd: The complexity of distance2-coloring. 4th International Conference of Computing and information, (1992) 71–74.
X. Zhou, Y. Kanari, T. Nishizeki: Generalized vertex-coloring of partial k-trees. IEICE Trans. Foundamentals, EXX-A(1), 2000.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Andreou, M.I., Fotakis, D.A., Nikoletseas, S.E., Papadopoulou, V.G., Spirakis, P.G. (2002). On Radiocoloring Hierarchically Specified Planar Graphs: \( \mathcal{P}\mathcal{S}\mathcal{P}\mathcal{A}\mathcal{C}\mathcal{E} \) -Completeness and Approximations. In: Diks, K., Rytter, W. (eds) Mathematical Foundations of Computer Science 2002. MFCS 2002. Lecture Notes in Computer Science, vol 2420. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45687-2_6
Download citation
DOI: https://doi.org/10.1007/3-540-45687-2_6
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-44040-6
Online ISBN: 978-3-540-45687-2
eBook Packages: Springer Book Archive