Abstract
Motivated by a problem in Scheduling Theory, we introduce the χt-coloring problem, a generalization of the chromatic number problem that places a bound of t on the size of any color class. For fixed t, we show that the perfect χt-coloring problem (in which each color class must have cardinality exactly t) can be expressed in the counting monadic second-order logic and, hence, has a linear-time algorithm over the class of graphs G of bounded treewidth: A solution is a partition of G into induced subgraphs, each isomorphic to a fixed graph consisting of t isolated vertices. The logical formalism generalizes to allow these t vertices to be t isomorphic connected components. The linear-time algorithm so derived for the perfect χt-coloring problem is used to design a linear-time algorithm for the optimization version of the general χt-coloring problem (for fixed t) on graphs of bounded treewidth. We also show that this problem has a polynomial-time algorithm on bipartite graphs.
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.
Research supported by the Natural Sciences and Engineering Research Council of Canada.
Preview
Unable to display preview. Download preview PDF.
References
S. Arnborg, J. Lagergren, and D. Seese. Easy problems for tree decomposable graphs. J. Algorithms, 12:308–340, 1991.
B. Bollobás and A.J. Harris. List-colourings of graphs. Graphs and Combinatorics, 1:115–127, 1985.
M.W. Bern, E.L. Lawler, and A.L. Wong. Linear-time computation of optimal subgraphs of decomposable graphs. J. Algorithms, 8:216–235, 1987.
H.L. Bodlaender. A linear time algorithm for finding tree-decompositions of small treewidth. In Proc. 25 th STOC, pages 226–234, 1993.
R.B. Borie, R.G. Parker, and C.A. Tovey. Automatic generation of lineartime algorithms from predicate calculus descriptions of problems on recursively constructed graph families. Algorithmica, 7:555–581, 1992.
B. Courcelle. The monadic second-order logic of graphs. I. recognizable sets of finite graphs. Information and Computation, 85:12–75, 1990.
M.R. Garey and D.S. Johnson. Computers and Intractability: A Guide to the Theory of NP-Completeness. W.H. Freeman and Company, New York, 1979.
F. Gécseg and M. Steinby. Tree Automata. Akadémiai Kiadó, Budapest, 1984.
T.R. Jensen and B. Toft. Graph Coloring Problems. Wiley Interscience, 1995.
D.G. Kirkpatrick and P. Hell. On the complexity of a generalized matching problem. In Proc. 10 th STOC, pages 240–245, 1978.
F. Kitagawa and H. Ikeda. An existential problem of a weight-controlled subset and its application to school timetable construction. Discrete Mathematics, 72:195–211, 1988.
V. Lotfi and S. Sarin. A graph coloring algorithm for large scale scheduling problems. Comput. & Ops. Res., 13:27–32, 1986.
W. Meyer. Equitable coloring. Amer. Math. Monthly, 80:920–922, 1973.
S. Mahajan and J.G. Peters. Algorithms for regular properties in recursive graphs. In Proc. 25th Ann. Allerton Conf. Communication, Control, Comput., pages 14–23, 1987.
N. Robertson and P.D. Seymour. Graph minors. II. Algorithmic aspects of tree-width. J. Algorithms, 7:309–322, 1986.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kaller, D., Gupta, A., Shermer, T. (1995). The χt-coloring problem. In: Mayr, E.W., Puech, C. (eds) STACS 95. STACS 1995. Lecture Notes in Computer Science, vol 900. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-59042-0_92
Download citation
DOI: https://doi.org/10.1007/3-540-59042-0_92
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-59042-2
Online ISBN: 978-3-540-49175-0
eBook Packages: Springer Book Archive