Published in: LIPIcs, Volume 364, 43rd International Symposium on Theoretical Aspects of Computer Science (STACS 2026)
Robert Ganian and Mathis Rocton. Computing Twin-Width via Treedepth and Vertex Integrity. In 43rd International Symposium on Theoretical Aspects of Computer Science (STACS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 364, pp. 42:1-42:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{ganian_et_al:LIPIcs.STACS.2026.42,
author = {Ganian, Robert and Rocton, Mathis},
title = {{Computing Twin-Width via Treedepth and Vertex Integrity}},
booktitle = {43rd International Symposium on Theoretical Aspects of Computer Science (STACS 2026)},
pages = {42:1--42:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-412-3},
ISSN = {1868-8969},
year = {2026},
volume = {364},
editor = {Mahajan, Meena and Manea, Florin and McIver, Annabelle and Thắng, Nguy\~{ê}n Kim},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2026.42},
URN = {urn:nbn:de:0030-drops-255318},
doi = {10.4230/LIPIcs.STACS.2026.42},
annote = {Keywords: twin-width, fixed-parameter algorithms, treedepth, vertex integrity}
}
Published in: LIPIcs, Volume 359, 36th International Symposium on Algorithms and Computation (ISAAC 2025)
Thomas Depian, Simon D. Fink, Alexander Firbas, Robert Ganian, Matthias Pfretzschner, and Ignaz Rutter. Structural Parameterizations of Simultaneous Planarity. In 36th International Symposium on Algorithms and Computation (ISAAC 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 359, pp. 25:1-25:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{depian_et_al:LIPIcs.ISAAC.2025.25,
author = {Depian, Thomas and Fink, Simon D. and Firbas, Alexander and Ganian, Robert and Pfretzschner, Matthias and Rutter, Ignaz},
title = {{Structural Parameterizations of Simultaneous Planarity}},
booktitle = {36th International Symposium on Algorithms and Computation (ISAAC 2025)},
pages = {25:1--25:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-408-6},
ISSN = {1868-8969},
year = {2025},
volume = {359},
editor = {Chen, Ho-Lin and Hon, Wing-Kai and Tsai, Meng-Tsung},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ISAAC.2025.25},
URN = {urn:nbn:de:0030-drops-249332},
doi = {10.4230/LIPIcs.ISAAC.2025.25},
annote = {Keywords: SEFE, Simultaneous Planarity, Fixed-Parameter Tractability, NP-hardness}
}
Published in: LIPIcs, Volume 357, 33rd International Symposium on Graph Drawing and Network Visualization (GD 2025)
Alexander Dobler, Maximilian Holzmüller, and Martin Nöllenburg. Geometry Matters in Planar Storyplans. In 33rd International Symposium on Graph Drawing and Network Visualization (GD 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 357, pp. 27:1-27:9, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{dobler_et_al:LIPIcs.GD.2025.27,
author = {Dobler, Alexander and Holzm\"{u}ller, Maximilian and N\"{o}llenburg, Martin},
title = {{Geometry Matters in Planar Storyplans}},
booktitle = {33rd International Symposium on Graph Drawing and Network Visualization (GD 2025)},
pages = {27:1--27:9},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-403-1},
ISSN = {1868-8969},
year = {2025},
volume = {357},
editor = {Dujmovi\'{c}, Vida and Montecchiani, Fabrizio},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.GD.2025.27},
URN = {urn:nbn:de:0030-drops-250135},
doi = {10.4230/LIPIcs.GD.2025.27},
annote = {Keywords: geometric storyplan, planarity, straight-line drawing, dynamic graph drawing}
}
Published in: LIPIcs, Volume 357, 33rd International Symposium on Graph Drawing and Network Visualization (GD 2025)
Raissa dos Santos Vieira, Hugo A. D. do Nascimento, Joelma de Moura Ferreira, Les Foulds, Karsten Klein, and Falk Schreiber. Edge Bundling as a Multi-Objective Optimization Problem (Poster Abstract). In 33rd International Symposium on Graph Drawing and Network Visualization (GD 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 357, pp. 53:1-53:5, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{vieira_et_al:LIPIcs.GD.2025.53,
author = {Vieira, Raissa dos Santos and Nascimento, Hugo A. D. do and Ferreira, Joelma de Moura and Foulds, Les and Klein, Karsten and Schreiber, Falk},
title = {{Edge Bundling as a Multi-Objective Optimization Problem}},
booktitle = {33rd International Symposium on Graph Drawing and Network Visualization (GD 2025)},
pages = {53:1--53:5},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-403-1},
ISSN = {1868-8969},
year = {2025},
volume = {357},
editor = {Dujmovi\'{c}, Vida and Montecchiani, Fabrizio},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.GD.2025.53},
URN = {urn:nbn:de:0030-drops-250397},
doi = {10.4230/LIPIcs.GD.2025.53},
annote = {Keywords: Graph Drawing, Edge Bundling, Visual Clutter, Multi-objective Optimization}
}
Tim Hegemann. NarratiViz (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@misc{dagstuhl-artifact-25067,
title = {{NarratiViz}},
author = {Hegemann, Tim},
note = {Software, BMFTR grant 01IS22012C, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:a7efa9c0ca674b6cf25b1c4b2c1f4793cc814723;origin=https://github.com/hegetim/narrativiz;visit=swh:1:snp:b18239e66463dee63bc79cf243cc2afca36ef668;anchor=swh:1:rev:24dd910cfb575574c90d7aa0650ab69cfcd11b07}{\texttt{swh:1:dir:a7efa9c0ca674b6cf25b1c4b2c1f4793cc814723}} (visited on 2025-11-26)},
url = {https://github.com/hegetim/narrativiz},
doi = {10.4230/artifacts.25067},
}
Published in: LIPIcs, Volume 357, 33rd International Symposium on Graph Drawing and Network Visualization (GD 2025)
Alvin Chiu, Thomas Depian, David Eppstein, Michael T. Goodrich, and Martin Nöllenburg. Visualizing Treewidth. In 33rd International Symposium on Graph Drawing and Network Visualization (GD 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 357, pp. 17:1-17:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{chiu_et_al:LIPIcs.GD.2025.17,
author = {Chiu, Alvin and Depian, Thomas and Eppstein, David and Goodrich, Michael T. and N\"{o}llenburg, Martin},
title = {{Visualizing Treewidth}},
booktitle = {33rd International Symposium on Graph Drawing and Network Visualization (GD 2025)},
pages = {17:1--17:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-403-1},
ISSN = {1868-8969},
year = {2025},
volume = {357},
editor = {Dujmovi\'{c}, Vida and Montecchiani, Fabrizio},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.GD.2025.17},
URN = {urn:nbn:de:0030-drops-250034},
doi = {10.4230/LIPIcs.GD.2025.17},
annote = {Keywords: Graph drawing, witness drawings, pathwidth, treewidth}
}
Published in: LIPIcs, Volume 357, 33rd International Symposium on Graph Drawing and Network Visualization (GD 2025)
Sergey Pupyrev. OOPS: Optimized One-Planarity Solver via SAT. In 33rd International Symposium on Graph Drawing and Network Visualization (GD 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 357, pp. 14:1-14:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{pupyrev:LIPIcs.GD.2025.14,
author = {Pupyrev, Sergey},
title = {{OOPS: Optimized One-Planarity Solver via SAT}},
booktitle = {33rd International Symposium on Graph Drawing and Network Visualization (GD 2025)},
pages = {14:1--14:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-403-1},
ISSN = {1868-8969},
year = {2025},
volume = {357},
editor = {Dujmovi\'{c}, Vida and Montecchiani, Fabrizio},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.GD.2025.14},
URN = {urn:nbn:de:0030-drops-250004},
doi = {10.4230/LIPIcs.GD.2025.14},
annote = {Keywords: beyond planarity, 1-planar graph, SAT, book embeddings, upward 1-planarity}
}
Published in: LIPIcs, Volume 357, 33rd International Symposium on Graph Drawing and Network Visualization (GD 2025)
Jawaherul Md. Alam, Michael A. Bekos, Martin Gronemann, and Michael Kaufmann. The Page Number of Monotone Directed Acyclic Outerplanar Graphs Is Four or Five. In 33rd International Symposium on Graph Drawing and Network Visualization (GD 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 357, pp. 9:1-9:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{alam_et_al:LIPIcs.GD.2025.9,
author = {Alam, Jawaherul Md. and Bekos, Michael A. and Gronemann, Martin and Kaufmann, Michael},
title = {{The Page Number of Monotone Directed Acyclic Outerplanar Graphs Is Four or Five}},
booktitle = {33rd International Symposium on Graph Drawing and Network Visualization (GD 2025)},
pages = {9:1--9:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-403-1},
ISSN = {1868-8969},
year = {2025},
volume = {357},
editor = {Dujmovi\'{c}, Vida and Montecchiani, Fabrizio},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.GD.2025.9},
URN = {urn:nbn:de:0030-drops-249952},
doi = {10.4230/LIPIcs.GD.2025.9},
annote = {Keywords: Book embeddings, page number, directed outerplanar graphs}
}
Published in: LIPIcs, Volume 357, 33rd International Symposium on Graph Drawing and Network Visualization (GD 2025)
Alexander Dobler, Tim Hegemann, Martin Nöllenburg, and Alexander Wolff. Optimizing Wiggle in Storylines. In 33rd International Symposium on Graph Drawing and Network Visualization (GD 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 357, pp. 39:1-39:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{dobler_et_al:LIPIcs.GD.2025.39,
author = {Dobler, Alexander and Hegemann, Tim and N\"{o}llenburg, Martin and Wolff, Alexander},
title = {{Optimizing Wiggle in Storylines}},
booktitle = {33rd International Symposium on Graph Drawing and Network Visualization (GD 2025)},
pages = {39:1--39:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-403-1},
ISSN = {1868-8969},
year = {2025},
volume = {357},
editor = {Dujmovi\'{c}, Vida and Montecchiani, Fabrizio},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.GD.2025.39},
URN = {urn:nbn:de:0030-drops-250252},
doi = {10.4230/LIPIcs.GD.2025.39},
annote = {Keywords: Storyline visualization, wiggle minimization, NP-complete, linear programming, quadratic programming, experimental analysis}
}
Published in: LIPIcs, Volume 357, 33rd International Symposium on Graph Drawing and Network Visualization (GD 2025)
Lucas Joos, Gavin J. Mooney, Maximilian T. Fischer, Daniel A. Keim, Falk Schreiber, Helen C. Purchase, and Karsten Klein. Show Me Your Best Side: Characteristics of User-Preferred Perspectives for 3D Graph Drawings. In 33rd International Symposium on Graph Drawing and Network Visualization (GD 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 357, pp. 37:1-37:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{joos_et_al:LIPIcs.GD.2025.37,
author = {Joos, Lucas and Mooney, Gavin J. and Fischer, Maximilian T. and Keim, Daniel A. and Schreiber, Falk and Purchase, Helen C. and Klein, Karsten},
title = {{Show Me Your Best Side: Characteristics of User-Preferred Perspectives for 3D Graph Drawings}},
booktitle = {33rd International Symposium on Graph Drawing and Network Visualization (GD 2025)},
pages = {37:1--37:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-403-1},
ISSN = {1868-8969},
year = {2025},
volume = {357},
editor = {Dujmovi\'{c}, Vida and Montecchiani, Fabrizio},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.GD.2025.37},
URN = {urn:nbn:de:0030-drops-250236},
doi = {10.4230/LIPIcs.GD.2025.37},
annote = {Keywords: Graph Aesthetics, Immersive 3D, Node-Link Diagrams, Empirical Evaluation}
}
Published in: LIPIcs, Volume 357, 33rd International Symposium on Graph Drawing and Network Visualization (GD 2025)
Carla Binucci, Sabine Cornelsen, Walter Didimo, Seok-Hee Hong, Eleni Katsanou, Maurizio Patrignani, Antonios Symvonis, and Samuel Wolf. Planar Stories of Graph Drawings: Algorithms and Experiments. In 33rd International Symposium on Graph Drawing and Network Visualization (GD 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 357, pp. 32:1-32:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{binucci_et_al:LIPIcs.GD.2025.32,
author = {Binucci, Carla and Cornelsen, Sabine and Didimo, Walter and Hong, Seok-Hee and Katsanou, Eleni and Patrignani, Maurizio and Symvonis, Antonios and Wolf, Samuel},
title = {{Planar Stories of Graph Drawings: Algorithms and Experiments}},
booktitle = {33rd International Symposium on Graph Drawing and Network Visualization (GD 2025)},
pages = {32:1--32:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-403-1},
ISSN = {1868-8969},
year = {2025},
volume = {357},
editor = {Dujmovi\'{c}, Vida and Montecchiani, Fabrizio},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.GD.2025.32},
URN = {urn:nbn:de:0030-drops-250182},
doi = {10.4230/LIPIcs.GD.2025.32},
annote = {Keywords: Graph Drawing, Dynamic Graphs, Graph Stories, Heuristics, ILP}
}
Published in: LIPIcs, Volume 357, 33rd International Symposium on Graph Drawing and Network Visualization (GD 2025)
Giordano Andreola, Susanna Caroppo, Giuseppe Di Battista, Fabrizio Grosso, Maurizio Patrignani, and Allegra Strippoli. A Walk on the Wild Side: A Shape-First Methodology for Orthogonal Drawings. In 33rd International Symposium on Graph Drawing and Network Visualization (GD 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 357, pp. 35:1-35:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{andreola_et_al:LIPIcs.GD.2025.35,
author = {Andreola, Giordano and Caroppo, Susanna and Di Battista, Giuseppe and Grosso, Fabrizio and Patrignani, Maurizio and Strippoli, Allegra},
title = {{A Walk on the Wild Side: A Shape-First Methodology for Orthogonal Drawings}},
booktitle = {33rd International Symposium on Graph Drawing and Network Visualization (GD 2025)},
pages = {35:1--35:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-403-1},
ISSN = {1868-8969},
year = {2025},
volume = {357},
editor = {Dujmovi\'{c}, Vida and Montecchiani, Fabrizio},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.GD.2025.35},
URN = {urn:nbn:de:0030-drops-250218},
doi = {10.4230/LIPIcs.GD.2025.35},
annote = {Keywords: Non-planar Orthogonal Drawings, SAT Solver, Experimental Comparison}
}
Published in: LIPIcs, Volume 357, 33rd International Symposium on Graph Drawing and Network Visualization (GD 2025)
Gavin J. Mooney, Tim Hegemann, Alexander Wolff, Michael Wybrow, and Helen C. Purchase. Universal Quality Metrics for Graph Drawings: Which Graphs Excite Us Most?. In 33rd International Symposium on Graph Drawing and Network Visualization (GD 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 357, pp. 30:1-30:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{mooney_et_al:LIPIcs.GD.2025.30,
author = {Mooney, Gavin J. and Hegemann, Tim and Wolff, Alexander and Wybrow, Michael and Purchase, Helen C.},
title = {{Universal Quality Metrics for Graph Drawings: Which Graphs Excite Us Most?}},
booktitle = {33rd International Symposium on Graph Drawing and Network Visualization (GD 2025)},
pages = {30:1--30:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-403-1},
ISSN = {1868-8969},
year = {2025},
volume = {357},
editor = {Dujmovi\'{c}, Vida and Montecchiani, Fabrizio},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.GD.2025.30},
URN = {urn:nbn:de:0030-drops-250162},
doi = {10.4230/LIPIcs.GD.2025.30},
annote = {Keywords: Graph drawing metrics, metric landscape, straight-line drawings, polyline drawings, curved drawings, automated extraction of graph drawings}
}
Published in: LIPIcs, Volume 351, 33rd Annual European Symposium on Algorithms (ESA 2025)
Éric Colin de Verdière and Petr Hliněný. A Unified FPT Framework for Crossing Number Problems. In 33rd Annual European Symposium on Algorithms (ESA 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 351, pp. 21:1-21:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{colindeverdiere_et_al:LIPIcs.ESA.2025.21,
author = {Colin de Verdi\`{e}re, \'{E}ric and Hlin\v{e}n\'{y}, Petr},
title = {{A Unified FPT Framework for Crossing Number Problems}},
booktitle = {33rd Annual European Symposium on Algorithms (ESA 2025)},
pages = {21:1--21:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-395-9},
ISSN = {1868-8969},
year = {2025},
volume = {351},
editor = {Benoit, Anne and Kaplan, Haim and Wild, Sebastian and Herman, Grzegorz},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ESA.2025.21},
URN = {urn:nbn:de:0030-drops-244897},
doi = {10.4230/LIPIcs.ESA.2025.21},
annote = {Keywords: computational geometry, fixed-parameter tractability, graph drawing, graph embedding, crossing number, two-dimensional simplicial complex, surface}
}
Published in: LIPIcs, Volume 351, 33rd Annual European Symposium on Algorithms (ESA 2025)
Thomas Depian, Simon D. Fink, Robert Ganian, and Vaishali Surianarayanan. Linear Layouts Revisited: Stacks, Queues, and Exact Algorithms. In 33rd Annual European Symposium on Algorithms (ESA 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 351, pp. 15:1-15:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{depian_et_al:LIPIcs.ESA.2025.15,
author = {Depian, Thomas and Fink, Simon D. and Ganian, Robert and Surianarayanan, Vaishali},
title = {{Linear Layouts Revisited: Stacks, Queues, and Exact Algorithms}},
booktitle = {33rd Annual European Symposium on Algorithms (ESA 2025)},
pages = {15:1--15:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-395-9},
ISSN = {1868-8969},
year = {2025},
volume = {351},
editor = {Benoit, Anne and Kaplan, Haim and Wild, Sebastian and Herman, Grzegorz},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ESA.2025.15},
URN = {urn:nbn:de:0030-drops-244835},
doi = {10.4230/LIPIcs.ESA.2025.15},
annote = {Keywords: stack layouts, queue layouts, parameterized algorithms, vertex integrity, Ramsey theory}
}