Document Open Access Logo

Grundy Coloring & Friends, Half-Graphs, Bicliques

Authors Pierre Aboulker, Édouard Bonnet , Eun Jung Kim , Florian Sikora



PDF
Thumbnail PDF

File

LIPIcs.STACS.2020.58.pdf
  • Filesize: 0.6 MB
  • 18 pages

Document Identifiers

Author Details

Pierre Aboulker
  • DI/ENS, PSL University, Paris, France
Édouard Bonnet
  • Univ Lyon, CNRS, ENS de Lyon, Université Claude Bernard Lyon 1, LIP UMR5668, France
Eun Jung Kim
  • Université Paris-Dauphine, PSL University, CNRS UMR7243, LAMSADE, Paris, France
Florian Sikora
  • Université Paris-Dauphine, PSL University, CNRS UMR7243, LAMSADE, Paris, France

Acknowledgements

A part of this work was done while the authors attended the "2019 IBS Summer research program on Algorithms and Complexity in Discrete Structures", hosted by the IBS discrete mathematics group. The third and the fourth authors partially supported by the ANR project “ESIGMA” (ANR-17-CE23-0010).

Cite AsGet BibTex

Pierre Aboulker, Édouard Bonnet, Eun Jung Kim, and Florian Sikora. Grundy Coloring & Friends, Half-Graphs, Bicliques. In 37th International Symposium on Theoretical Aspects of Computer Science (STACS 2020). Leibniz International Proceedings in Informatics (LIPIcs), Volume 154, pp. 58:1-58:18, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2020)
https://doi.org/10.4230/LIPIcs.STACS.2020.58

Abstract

The first-fit coloring is a heuristic that assigns to each vertex, arriving in a specified order σ, the smallest available color. The problem Grundy Coloring asks how many colors are needed for the most adversarial vertex ordering σ, i.e., the maximum number of colors that the first-fit coloring requires over all possible vertex orderings. Since its inception by Grundy in 1939, Grundy Coloring has been examined for its structural and algorithmic aspects. A brute-force f(k)n^{2^{k-1}}-time algorithm for Grundy Coloring on general graphs is not difficult to obtain, where k is the number of colors required by the most adversarial vertex ordering. It was asked several times whether the dependency on k in the exponent of n can be avoided or reduced, and its answer seemed elusive until now. We prove that Grundy Coloring is W[1]-hard and the brute-force algorithm is essentially optimal under the Exponential Time Hypothesis, thus settling this question by the negative. The key ingredient in our W[1]-hardness proof is to use so-called half-graphs as a building block to transmit a color from one vertex to another. Leveraging the half-graphs, we also prove that b-Chromatic Core is W[1]-hard, whose parameterized complexity was posed as an open question by Panolan et al. [JCSS '17]. A natural follow-up question is, how the parameterized complexity changes in the absence of (large) half-graphs. We establish fixed-parameter tractability on K_{t,t}-free graphs for b-Chromatic Core and Partial Grundy Coloring, making a step toward answering this question. The key combinatorial lemma underlying the tractability result might be of independent interest.

Subject Classification

ACM Subject Classification
  • Theory of computation → Graph algorithms analysis
  • Theory of computation → Fixed parameter tractability
Keywords
  • Grundy coloring
  • parameterized complexity
  • ETH lower bounds
  • K_{t,t}-free graphs
  • half-graphs

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads

References

  1. Pierre Aboulker, Jørgen Bang-Jensen, Nicolas Bousquet, Pierre Charbit, Frédéric Havet, Frédéric Maffray, and José Zamora. χ-bounded families of oriented graphs. Journal of Graph Theory, 89(3):304-326, 2018. URL: https://doi.org/10.1002/jgt.22252.
  2. Pierre Aboulker, Édouard Bonnet, Eun Jung Kim, and Florian Sikora. Grundy coloring & friends, half-graphs, bicliques. CoRR, abs/2001.03794, 2020. URL: http://arxiv.org/abs/2001.03794.
  3. Noga Alon, Raphael Yuster, and Uri Zwick. Color-coding. Journal of the ACM, 42(4):844-856, 1995. URL: https://doi.org/10.1145/210332.210337.
  4. douard Bonnet, Florent Foucaud, Eun Jung Kim, and Florian Sikora. Complexity of grundy coloring and its variants. Discrete Applied Mathematics, 243:99-114, 2018. URL: https://doi.org/10.1016/j.dam.2017.12.022.
  5. Leizhen Cai. Parameterized complexity of cardinality constrained optimization problems. Comput. J., 51(1):102-121, 2008. URL: https://doi.org/10.1093/comjnl/bxm086.
  6. Leizhen Cai, Siu Man Chan, and Siu On Chan. Random separation: A new method for solving fixed-cardinality optimization problems. In Parameterized and Exact Computation, Second International Workshop, IWPEC 2006, Zürich, Switzerland, September 13-15, 2006, Proceedings, pages 239-250, 2006. URL: https://doi.org/10.1007/11847250_22.
  7. Marco Cesati. The turing way to parameterized complexity. J. Comput. Syst. Sci., 67(4):654-685, 2003. URL: https://doi.org/10.1016/S0022-0000(03)00073-4.
  8. Rajesh Chitnis, Marek Cygan, MohammadTaghi Hajiaghayi, Marcin Pilipczuk, and Michal Pilipczuk. Designing FPT algorithms for cut problems using randomized contractions. SIAM J. Comput., 45(4):1171-1229, 2016. URL: https://doi.org/10.1137/15M1032077.
  9. Claude A. Christen and Stanley M. Selkow. Some perfect coloring properties of graphs. Journal of Combinatorial Theory, Series B, 27(1):49-59, 1979. Google Scholar
  10. Reinhard Diestel. Graph Theory, 4th Edition, volume 173 of Graduate texts in mathematics. Springer, 2012. Google Scholar
  11. Brice Effantin, Nicolas Gastineau, and Olivier Togni. A characterization of b-chromatic and partial grundy numbers by induced subgraphs. Discrete Mathematics, 339(8):2157-2167, 2016. URL: https://doi.org/10.1016/j.disc.2016.03.011.
  12. Paul Erdős, W. R. Hare, Stephen T. Hedetniemi, and Renu Laskar. On the equality of the Grundy and ochromatic numbers of a graph. Journal of Graph Theory, 11(2):157-159, 1987. URL: https://doi.org/10.1002/jgt.3190110205.
  13. Paul Erdős, Stephen T. Hedetniemi, Renu C. Laskar, and Geert C.E. Prins. On the equality of the partial Grundy and upper ochromatic numbers of graphs. Discrete Mathematics, 272(1):53-64, 2003. In Honor of Frank Harary. Google Scholar
  14. P Erdös. Some combinatorial, geometric and set theoretic problems in measure theory. In Measure Theory Oberwolfach 1983, pages 321-327. Springer, 1984. Google Scholar
  15. M. R. Garey and David S. Johnson. Computers and Intractability: A Guide to the Theory of NP-Completeness. W. H. Freeman, 1979. Google Scholar
  16. Nicolas Gastineau. Partitionnement, recouvrement et colorabilité dans les graphes. (Partitionability, coverability and colorability in graphs). PhD thesis, University of Burgundy, Dijon, France, 2014. URL: https://tel.archives-ouvertes.fr/tel-01136691.
  17. Martin Grohe, Stephan Kreutzer, and Sebastian Siebertz. Deciding first-order properties of nowhere dense graphs. J. ACM, 64(3):17:1-17:32, 2017. URL: https://doi.org/10.1145/3051095.
  18. Patrick Michael Grundy. Mathematics and games. Eureka, 2:6-8, 1939. Google Scholar
  19. András Gyárfás, Zoltán Király, and Jenö Lehel. On-line 3-chromatic graphs - II critical graphs. Discrete Mathematics, 177(1-3):99-122, 1997. Google Scholar
  20. Frédéric Havet, Ana Karolinna Maia, and Min-Li Yu. Complexity of greedy edge-colouring. J. Braz. Comp. Soc., 21(1):18:1-18:7, 2015. URL: https://doi.org/10.1186/s13173-015-0036-x.
  21. Frédéric Havet and Leonardo Sampaio. On the Grundy and b-chromatic numbers of a graph. Algorithmica, 65(4):885-899, 2013. URL: https://doi.org/10.1007/s00453-011-9604-4.
  22. Frédéric Havet and Leonardo Sampaio. On the Grundy and b-chromatic numbers of a graph. Algorithmica, 65(4):885-899, 2013. URL: https://doi.org/10.1007/s00453-011-9604-4.
  23. Sandra M. Hedetniemi, Stephen T. Hedetniemi, and Terry Beyer. A linear algorithm for the Grundy (coloring) number of a tree. Congressus Numerantium, 36:351-363, 1982. Google Scholar
  24. Dániel Marx. Parameterized complexity of independence and domination on geometric graphs. In Parameterized and Exact Computation, Second International Workshop, IWPEC 2006, Zürich, Switzerland, September 13-15, 2006, Proceedings, pages 154-165, 2006. URL: https://doi.org/10.1007/11847250_14.
  25. Dániel Marx. On the optimality of planar and geometric approximation schemes. In 48th Annual IEEE Symposium on Foundations of Computer Science (FOCS 2007), October 20-23, 2007, Providence, RI, USA, Proceedings, pages 338-348, 2007. URL: https://doi.org/10.1109/FOCS.2007.50.
  26. Dániel Marx. Can you beat treewidth? Theory of Computing, 6(1):85-112, 2010. URL: https://doi.org/10.4086/toc.2010.v006a005.
  27. Dániel Marx and Michal Pilipczuk. Optimal parameterized algorithms for planar facility location problems using voronoi diagrams. In Algorithms - ESA 2015 - 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings, pages 865-877, 2015. URL: https://doi.org/10.1007/978-3-662-48350-3_72.
  28. Dániel Marx and Michal Pilipczuk. Optimal parameterized algorithms for planar facility location problems using voronoi diagrams. CoRR, abs/1504.05476, 2015. URL: http://arxiv.org/abs/1504.05476.
  29. Moni Naor, Leonard J. Schulman, and Aravind Srinivasan. Splitters and near-optimal derandomization. In 36th Annual Symposium on Foundations of Computer Science, Milwaukee, Wisconsin, USA, 23-25 October 1995, pages 182-191. IEEE Computer Society, 1995. URL: https://doi.org/10.1109/SFCS.1995.492475.
  30. Fahad Panolan, Geevarghese Philip, and Saket Saurabh. On the parameterized complexity of b-chromatic number. J. Comput. Syst. Sci., 84:120-131, 2017. URL: https://doi.org/10.1016/j.jcss.2016.09.012.
  31. Leonardo Sampaio. Algorithmic aspects of graph colouring heuristics. PhD thesis, University of Nice-Sophia Antipolis, November 2012. Google Scholar
  32. Gustavus J. Simmons. The ochromatic number of graphs. Graph Theory Newsletters, 11(6):2-3, 1982. Google Scholar
  33. Jan Arne Telle and Andrzej Proskurowski. Algorithms for vertex partitioning problems on partial k-trees. SIAM Journal on Discrete Mathematics, 10(4):529-550, 1997. URL: https://doi.org/10.1137/S0895480194275825.
  34. Jan Arne Telle and Yngve Villanger. FPT algorithms for domination in biclique-free graphs. In Leah Epstein and Paolo Ferragina, editors, Algorithms - ESA 2012 - 20th Annual European Symposium, Ljubljana, Slovenia, September 10-12, 2012. Proceedings, volume 7501 of Lecture Notes in Computer Science, pages 802-812. Springer, 2012. URL: https://doi.org/10.1007/978-3-642-33090-2_69.
  35. Manouchehr Zaker. The Grundy chromatic number of the complement of bipartite graphs. Australasian Journal of Combinatorics, 31:325-329, 2005. Google Scholar
  36. Manouchehr Zaker. Results on the Grundy chromatic number of graphs. Discrete Mathematics, 306(23):3166-3173, 2006. URL: https://doi.org/10.1016/j.disc.2005.06.044.
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail