50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 1-1650, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@Proceedings{gawrychowski_et_al:LIPIcs.MFCS.2025, title = {{LIPIcs, Volume 345, MFCS 2025, Complete Volume}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {1--1650}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025}, URN = {urn:nbn:de:0030-drops-244417}, doi = {10.4230/LIPIcs.MFCS.2025}, annote = {Keywords: LIPIcs, Volume 345, MFCS 2025, Complete Volume} }
50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 0:i-0:xviii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{gawrychowski_et_al:LIPIcs.MFCS.2025.0, author = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, title = {{Front Matter, Table of Contents, Preface, Conference Organization}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {0:i--0:xviii}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.0}, URN = {urn:nbn:de:0030-drops-244400}, doi = {10.4230/LIPIcs.MFCS.2025.0}, annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization} }
Thomas Colcombet. Lambdas, Transducers and MSO (Invited Talk). In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, p. 1:1, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{colcombet:LIPIcs.MFCS.2025.1, author = {Colcombet, Thomas}, title = {{Lambdas, Transducers and MSO}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {1:1--1:1}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.1}, URN = {urn:nbn:de:0030-drops-241087}, doi = {10.4230/LIPIcs.MFCS.2025.1}, annote = {Keywords: Lambda-calculus, automata theory, finite model theory, MSO} }
Giuseppe F. Italiano. Higher Connectivity in Directed Graphs (Invited Talk). In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 2:1-2:4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{italiano:LIPIcs.MFCS.2025.2, author = {Italiano, Giuseppe F.}, title = {{Higher Connectivity in Directed Graphs}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {2:1--2:4}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.2}, URN = {urn:nbn:de:0030-drops-241096}, doi = {10.4230/LIPIcs.MFCS.2025.2}, annote = {Keywords: Connectivity, Directed graphs, Graph algorithms} }
Rasmus Kyng. Almost-Linear Time Algorithms for Partially Dynamic Graphs (Invited Talk). In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, p. 3:1, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{kyng:LIPIcs.MFCS.2025.3, author = {Kyng, Rasmus}, title = {{Almost-Linear Time Algorithms for Partially Dynamic Graphs}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {3:1--3:1}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.3}, URN = {urn:nbn:de:0030-drops-241109}, doi = {10.4230/LIPIcs.MFCS.2025.3}, annote = {Keywords: Graph algorithms and data strucures, continuous optimization, interior point methods} }
Filip Murlak. On Graph Queries and Modal Constraints (Invited Talk). In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, p. 4:1, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{murlak:LIPIcs.MFCS.2025.4, author = {Murlak, Filip}, title = {{On Graph Queries and Modal Constraints}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {4:1--4:1}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.4}, URN = {urn:nbn:de:0030-drops-241117}, doi = {10.4230/LIPIcs.MFCS.2025.4}, annote = {Keywords: conjunctive regular path queries, query entailment, query containment, graph databases, database schemas, integrity constraints, description logics, finite-model reasoning, ontology-mediated query answering, static analysis} }
Anca Muscholl. On Synthesis of Distributed Monitors (Invited Talk). In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 5:1-5:3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{muscholl:LIPIcs.MFCS.2025.5, author = {Muscholl, Anca}, title = {{On Synthesis of Distributed Monitors}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {5:1--5:3}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.5}, URN = {urn:nbn:de:0030-drops-241126}, doi = {10.4230/LIPIcs.MFCS.2025.5}, annote = {Keywords: Distributed synthesis, monitoring} }
Yaroslav Alekseev, Yuval Filmus, Ian Mertz, Alexander Smal, and Antoine Vinciguerra. Catalytic Computing and Register Programs Beyond Log-Depth. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 6:1-6:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{alekseev_et_al:LIPIcs.MFCS.2025.6, author = {Alekseev, Yaroslav and Filmus, Yuval and Mertz, Ian and Smal, Alexander and Vinciguerra, Antoine}, title = {{Catalytic Computing and Register Programs Beyond Log-Depth}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {6:1--6:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.6}, URN = {urn:nbn:de:0030-drops-241136}, doi = {10.4230/LIPIcs.MFCS.2025.6}, annote = {Keywords: catalytic computing, circuit classes, polynomial method} }
Morteza Alimi, Tobias Mömke, and Michael Ruderer. Approximating Prize-Collecting Variants of TSP. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 7:1-7:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{alimi_et_al:LIPIcs.MFCS.2025.7, author = {Alimi, Morteza and M\"{o}mke, Tobias and Ruderer, Michael}, title = {{Approximating Prize-Collecting Variants of TSP}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {7:1--7:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.7}, URN = {urn:nbn:de:0030-drops-241141}, doi = {10.4230/LIPIcs.MFCS.2025.7}, annote = {Keywords: Approximation Algorithms, TSP} }
Antoine Amarilli, Corentin Barloy, Louis Jachiet, and Charles Paperman. Dynamic Membership for Regular Tree Languages. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 8:1-8:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{amarilli_et_al:LIPIcs.MFCS.2025.8, author = {Amarilli, Antoine and Barloy, Corentin and Jachiet, Louis and Paperman, Charles}, title = {{Dynamic Membership for Regular Tree Languages}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {8:1--8:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.8}, URN = {urn:nbn:de:0030-drops-241155}, doi = {10.4230/LIPIcs.MFCS.2025.8}, annote = {Keywords: automaton, dynamic membership, incremental maintenance, forest algebra} }
Antoine Amarilli, Florin Manea, Tina Ringleb, and Markus L. Schmid. Linear Time Subsequence and Supersequence Regex Matching. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 9:1-9:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{amarilli_et_al:LIPIcs.MFCS.2025.9, author = {Amarilli, Antoine and Manea, Florin and Ringleb, Tina and Schmid, Markus L.}, title = {{Linear Time Subsequence and Supersequence Regex Matching}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {9:1--9:19}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.9}, URN = {urn:nbn:de:0030-drops-241162}, doi = {10.4230/LIPIcs.MFCS.2025.9}, annote = {Keywords: subsequence, supersequence, regular language, regular expression, automata} }
Melissa Antonelli, Arnaud Durand, and Juha Kontinen. Characterizing Small Circuit Classes from FAC⁰ to FAC¹ via Discrete Ordinary Differential Equations. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 10:1-10:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{antonelli_et_al:LIPIcs.MFCS.2025.10, author = {Antonelli, Melissa and Durand, Arnaud and Kontinen, Juha}, title = {{Characterizing Small Circuit Classes from FAC⁰ to FAC¹ via Discrete Ordinary Differential Equations}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {10:1--10:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.10}, URN = {urn:nbn:de:0030-drops-241170}, doi = {10.4230/LIPIcs.MFCS.2025.10}, annote = {Keywords: Implicit computational complexity, parallel computation, function algebras, ordinary differential equations, circuit complexity} }
Ivan Baburin, Matthew Cook, Florian Grötschla, Andreas Plesner, and Roger Wattenhofer. Universality Frontier for Asynchronous Cellular Automata. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 11:1-11:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{baburin_et_al:LIPIcs.MFCS.2025.11, author = {Baburin, Ivan and Cook, Matthew and Gr\"{o}tschla, Florian and Plesner, Andreas and Wattenhofer, Roger}, title = {{Universality Frontier for Asynchronous Cellular Automata}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {11:1--11:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.11}, URN = {urn:nbn:de:0030-drops-241182}, doi = {10.4230/LIPIcs.MFCS.2025.11}, annote = {Keywords: Universality, Asynchronous Cellular Automata, Automata Networks} }
Jakub Balabán, Matthias Gehnen, Henri Lotze, Finn Seesemann, and Moritz Stocker. Online Knapsack Problems with Estimates. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 12:1-12:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{balaban_et_al:LIPIcs.MFCS.2025.12, author = {Balab\'{a}n, Jakub and Gehnen, Matthias and Lotze, Henri and Seesemann, Finn and Stocker, Moritz}, title = {{Online Knapsack Problems with Estimates}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {12:1--12:19}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.12}, URN = {urn:nbn:de:0030-drops-241190}, doi = {10.4230/LIPIcs.MFCS.2025.12}, annote = {Keywords: Knapsack, Online Knapsack, Removability, Estimate, Prediction} }
Jakub Balabán, Daniel Mock, and Peter Rossmanith. Solving Partial Dominating Set and Related Problems Using Twin-Width. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 13:1-13:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{balaban_et_al:LIPIcs.MFCS.2025.13, author = {Balab\'{a}n, Jakub and Mock, Daniel and Rossmanith, Peter}, title = {{Solving Partial Dominating Set and Related Problems Using Twin-Width}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {13:1--13:19}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.13}, URN = {urn:nbn:de:0030-drops-241203}, doi = {10.4230/LIPIcs.MFCS.2025.13}, annote = {Keywords: Partial Dominating Set, Partial Vertex Cover, meta-algorithm, counting logic, twin-width} }
Mrudula Balachander, Emmanuel Filiot, Raffaella Gentilini, and Nikos Tzevelekos. Register Automata with Permutations. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 14:1-14:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{balachander_et_al:LIPIcs.MFCS.2025.14, author = {Balachander, Mrudula and Filiot, Emmanuel and Gentilini, Raffaella and Tzevelekos, Nikos}, title = {{Register Automata with Permutations}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {14:1--14:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.14}, URN = {urn:nbn:de:0030-drops-241219}, doi = {10.4230/LIPIcs.MFCS.2025.14}, annote = {Keywords: Register automata, data words, equivalence, minimization, active learning} }
Júlia Baligács, Sofia Brenner, Annette Lutz, and Lena Volk. Symmetry Classes of Hamiltonian Cycles. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 15:1-15:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{baligacs_et_al:LIPIcs.MFCS.2025.15, author = {Balig\'{a}cs, J\'{u}lia and Brenner, Sofia and Lutz, Annette and Volk, Lena}, title = {{Symmetry Classes of Hamiltonian Cycles}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {15:1--15:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.15}, URN = {urn:nbn:de:0030-drops-241221}, doi = {10.4230/LIPIcs.MFCS.2025.15}, annote = {Keywords: Hamiltonian cycles, graph automorphisms, Cayley graphs, abelian groups, Cartesian product of graphs} }
Edgar Baucher, François Dross, and Cyril Gavoille. Isometric-Universal Graphs for Trees. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 16:1-16:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{baucher_et_al:LIPIcs.MFCS.2025.16, author = {Baucher, Edgar and Dross, Fran\c{c}ois and Gavoille, Cyril}, title = {{Isometric-Universal Graphs for Trees}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {16:1--16:16}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.16}, URN = {urn:nbn:de:0030-drops-241237}, doi = {10.4230/LIPIcs.MFCS.2025.16}, annote = {Keywords: tree, forest, isometric subgraph, universal graph, distance-preserving} }
Deepu Benson, Balagopal Komarath, Nikhil Mande, Sai Soumya Nalli, Jayalal Sarma, and Karteek Sreenivasaiah. Sensitivity and Query Complexity Under Uncertainty. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 17:1-17:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{benson_et_al:LIPIcs.MFCS.2025.17, author = {Benson, Deepu and Komarath, Balagopal and Mande, Nikhil and Nalli, Sai Soumya and Sarma, Jayalal and Sreenivasaiah, Karteek}, title = {{Sensitivity and Query Complexity Under Uncertainty}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {17:1--17:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.17}, URN = {urn:nbn:de:0030-drops-241240}, doi = {10.4230/LIPIcs.MFCS.2025.17}, annote = {Keywords: CREW-PRAM, query complexity, decision trees, sensitivity, hazard-free extensions} }
Christoph Berkholz, Moritz Lichter, and Harry Vinall-Smeeth. Supercritical Size-Width Tree-Like Resolution Trade-Offs for Graph Isomorphism. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 18:1-18:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{berkholz_et_al:LIPIcs.MFCS.2025.18, author = {Berkholz, Christoph and Lichter, Moritz and Vinall-Smeeth, Harry}, title = {{Supercritical Size-Width Tree-Like Resolution Trade-Offs for Graph Isomorphism}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {18:1--18:19}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.18}, URN = {urn:nbn:de:0030-drops-241253}, doi = {10.4230/LIPIcs.MFCS.2025.18}, annote = {Keywords: Proof complexity, Resolution, Width, Tree-like size, Supercritical trade-off, Lower bound, Finite model theory, CFI graphs} }
C.S. Bhargav, Shiteng Chen, Radu Curticapean, and Prateek Dwivedi. Monotone Bounded-Depth Complexity of Homomorphism Polynomials. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 19:1-19:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{bhargav_et_al:LIPIcs.MFCS.2025.19, author = {Bhargav, C.S. and Chen, Shiteng and Curticapean, Radu and Dwivedi, Prateek}, title = {{Monotone Bounded-Depth Complexity of Homomorphism Polynomials}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {19:1--19:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.19}, URN = {urn:nbn:de:0030-drops-241269}, doi = {10.4230/LIPIcs.MFCS.2025.19}, annote = {Keywords: algebraic complexity, homomorphisms, monotone circuit complexity, bounded-depth circuits, treewidth, pathwidth} }
Sriram Bhyravarapu, Pritesh Kumar, Madhumita Kundu, Shivesh K. Roy, Sahiba, and Saket Saurabh. Kernelization in Almost Linear Time for Clustering into Bounded Vertex Cover Components. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 20:1-20:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{bhyravarapu_et_al:LIPIcs.MFCS.2025.20, author = {Bhyravarapu, Sriram and Kumar, Pritesh and Kundu, Madhumita and Roy, Shivesh K. and Sahiba and Saurabh, Saket}, title = {{Kernelization in Almost Linear Time for Clustering into Bounded Vertex Cover Components}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {20:1--20:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.20}, URN = {urn:nbn:de:0030-drops-241276}, doi = {10.4230/LIPIcs.MFCS.2025.20}, annote = {Keywords: Parameterized complexity, Polynomial Kernels, Vertex Cover, Finite Forbidden Characterization} }
Vittorio Bilò, Andrea D'Ascenzo, Mattia D'Emidio, and Giuseppe F. Italiano. On the Performance of Mildly Greedy Players in k-Coloring Games. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 21:1-21:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{bilo_et_al:LIPIcs.MFCS.2025.21, author = {Bil\`{o}, Vittorio and D'Ascenzo, Andrea and D'Emidio, Mattia and Italiano, Giuseppe F.}, title = {{On the Performance of Mildly Greedy Players in k-Coloring Games}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {21:1--21:19}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.21}, URN = {urn:nbn:de:0030-drops-241287}, doi = {10.4230/LIPIcs.MFCS.2025.21}, annote = {Keywords: Coloring games, (Approximate) Nash Equilibria, Price of Anarchy} }
Clotilde Bizière, Thibault Hilaire, Jérôme Leroux, and Grégoire Sutre. On the Reachability Problem for Two-Dimensional Branching VASS. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 22:1-22:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{biziere_et_al:LIPIcs.MFCS.2025.22, author = {Bizi\`{e}re, Clotilde and Hilaire, Thibault and Leroux, J\'{e}r\^{o}me and Sutre, Gr\'{e}goire}, title = {{On the Reachability Problem for Two-Dimensional Branching VASS}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {22:1--22:19}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.22}, URN = {urn:nbn:de:0030-drops-241294}, doi = {10.4230/LIPIcs.MFCS.2025.22}, annote = {Keywords: Vector addition systems, Reachability problem, Semilinear sets, Verification} }
Markus Bläser, Radu Curticapean, Julian Dörfler, and Christian Ikenmeyer. Which Graph Motif Parameters Count?. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 23:1-23:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{blaser_et_al:LIPIcs.MFCS.2025.23, author = {Bl\"{a}ser, Markus and Curticapean, Radu and D\"{o}rfler, Julian and Ikenmeyer, Christian}, title = {{Which Graph Motif Parameters Count?}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {23:1--23:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.23}, URN = {urn:nbn:de:0030-drops-241307}, doi = {10.4230/LIPIcs.MFCS.2025.23}, annote = {Keywords: Graph motif parameters, Combinatorics, Combinatorial Interpretability} }
Manuel Bodirsky, Édouard Bonnet, and Žaneta Semanišinová. Temporal Valued Constraint Satisfaction Problems. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 24:1-24:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{bodirsky_et_al:LIPIcs.MFCS.2025.24, author = {Bodirsky, Manuel and Bonnet, \'{E}douard and Semani\v{s}inov\'{a}, \v{Z}aneta}, title = {{Temporal Valued Constraint Satisfaction Problems}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {24:1--24:19}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.24}, URN = {urn:nbn:de:0030-drops-241311}, doi = {10.4230/LIPIcs.MFCS.2025.24}, annote = {Keywords: Constraint Satisfaction Problems, valued CSPs, temporal CSPs, fractional polymorphisms, complexity dichotomy, min CSPs} }
Manuel Bodirsky and Arno Fehm. Polynomial-Time Tractable Problems over the p-Adic Numbers. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 25:1-25:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{bodirsky_et_al:LIPIcs.MFCS.2025.25, author = {Bodirsky, Manuel and Fehm, Arno}, title = {{Polynomial-Time Tractable Problems over the p-Adic Numbers}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {25:1--25:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.25}, URN = {urn:nbn:de:0030-drops-241325}, doi = {10.4230/LIPIcs.MFCS.2025.25}, annote = {Keywords: p-adic numbers, existential theory, linear theory, constraint satisfaction, linear program feasibility, NP-hardness, polynomial-time algorithm} }
Jan Bok, Jiří Fiala, Nikola Jedličková, and Jan Kratochvíl. Computational Complexity of Covering Regular Trees. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 26:1-26:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{bok_et_al:LIPIcs.MFCS.2025.26, author = {Bok, Jan and Fiala, Ji\v{r}{\'\i} and Jedli\v{c}kov\'{a}, Nikola and Kratochv{\'\i}l, Jan}, title = {{Computational Complexity of Covering Regular Trees}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {26:1--26:19}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.26}, URN = {urn:nbn:de:0030-drops-241338}, doi = {10.4230/LIPIcs.MFCS.2025.26}, annote = {Keywords: graph cover, covering projection, semi-edges, multigraphs, complexity, constrained homomorphisms, trees} }
Prosenjit Bose, Pat Morin, and Karthik Murali. Cops and Robbers for Graphs on Surfaces with Crossings. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 27:1-27:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{bose_et_al:LIPIcs.MFCS.2025.27, author = {Bose, Prosenjit and Morin, Pat and Murali, Karthik}, title = {{Cops and Robbers for Graphs on Surfaces with Crossings}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {27:1--27:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.27}, URN = {urn:nbn:de:0030-drops-241349}, doi = {10.4230/LIPIcs.MFCS.2025.27}, annote = {Keywords: Cops and Robbers, Crossings, 1-Planar, Surfaces} }
Romain Bourneuf, Jana Masaříková, Wojciech Nadara, and Marcin Pilipczuk. Graphs with No Long Claws: An Improved Bound for the Analog of the Gyárfás' Path Argument. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 28:1-28:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{bourneuf_et_al:LIPIcs.MFCS.2025.28, author = {Bourneuf, Romain and Masa\v{r}{\'\i}kov\'{a}, Jana and Nadara, Wojciech and Pilipczuk, Marcin}, title = {{Graphs with No Long Claws: An Improved Bound for the Analog of the Gy\'{a}rf\'{a}s' Path Argument}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {28:1--28:16}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.28}, URN = {urn:nbn:de:0030-drops-241350}, doi = {10.4230/LIPIcs.MFCS.2025.28}, annote = {Keywords: long-claw-free graphs, extended strip decomposition, maximum weight independent set, Gy\'{a}rf\'{a}s' path, three in a tree} }
Olivier Bournez, Johanne Cohen, and Adrian Wurm. A Universal Uniform Approximation Theorem for Neural Networks. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 29:1-29:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{bournez_et_al:LIPIcs.MFCS.2025.29, author = {Bournez, Olivier and Cohen, Johanne and Wurm, Adrian}, title = {{A Universal Uniform Approximation Theorem for Neural Networks}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {29:1--29:20}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.29}, URN = {urn:nbn:de:0030-drops-241365}, doi = {10.4230/LIPIcs.MFCS.2025.29}, annote = {Keywords: Models of computation, Complexity theory, Formal neural networks} }
Léonard Brice, Thomas A. Henzinger, and K. S. Thejaswini. Finding Equilibria: Simpler for Pessimists, Simplest for Optimists. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 30:1-30:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{brice_et_al:LIPIcs.MFCS.2025.30, author = {Brice, L\'{e}onard and Henzinger, Thomas A. and Thejaswini, K. S.}, title = {{Finding Equilibria: Simpler for Pessimists, Simplest for Optimists}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {30:1--30:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.30}, URN = {urn:nbn:de:0030-drops-241371}, doi = {10.4230/LIPIcs.MFCS.2025.30}, annote = {Keywords: Nash equilibria, stochastic games, graph games, risk-sensitive equilibria} }
Véronique Bruyère, Christophe Grandmont, and Jean-François Raskin. Games with ω-Automatic Preference Relations. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 31:1-31:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{bruyere_et_al:LIPIcs.MFCS.2025.31, author = {Bruy\`{e}re, V\'{e}ronique and Grandmont, Christophe and Raskin, Jean-Fran\c{c}ois}, title = {{Games with \omega-Automatic Preference Relations}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {31:1--31:19}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.31}, URN = {urn:nbn:de:0030-drops-241381}, doi = {10.4230/LIPIcs.MFCS.2025.31}, annote = {Keywords: Games played on graphs, Nash equilibrium, \omega-automatic relations, \omega-recognizable relations, constrained Nash equilibria existence problem} }
Vuong Bui and Matthieu Rosenfeld. A Proof of Shur’s Conjecture on the Growth of Power-Free Languages over Large Alphabets. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 32:1-32:8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{bui_et_al:LIPIcs.MFCS.2025.32, author = {Bui, Vuong and Rosenfeld, Matthieu}, title = {{A Proof of Shur’s Conjecture on the Growth of Power-Free Languages over Large Alphabets}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {32:1--32:8}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.32}, URN = {urn:nbn:de:0030-drops-241398}, doi = {10.4230/LIPIcs.MFCS.2025.32}, annote = {Keywords: power-free languages, large alphabets, Shur’s conjecture, Dejean’s conjecture} }
Jean Cardinal, Xavier Goaoc, and Sarah Wajsbrot. Hitting and Covering Affine Families of Convex Polyhedra, with Applications to Robust Optimization. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 33:1-33:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{cardinal_et_al:LIPIcs.MFCS.2025.33, author = {Cardinal, Jean and Goaoc, Xavier and Wajsbrot, Sarah}, title = {{Hitting and Covering Affine Families of Convex Polyhedra, with Applications to Robust Optimization}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {33:1--33:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.33}, URN = {urn:nbn:de:0030-drops-241401}, doi = {10.4230/LIPIcs.MFCS.2025.33}, annote = {Keywords: Geometric hitting set problem, Continuous families of polyhedra, Robust optimization} }
Balder ten Cate, Phokion G. Kolaitis, and Arnar Á. Kristjánsson. Adaptive Query Algorithms for Relational Structures Based on Homomorphism Counts. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 34:1-34:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{tencate_et_al:LIPIcs.MFCS.2025.34, author = {ten Cate, Balder and Kolaitis, Phokion G. and Kristj\'{a}nsson, Arnar \'{A}.}, title = {{Adaptive Query Algorithms for Relational Structures Based on Homomorphism Counts}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {34:1--34:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.34}, URN = {urn:nbn:de:0030-drops-241413}, doi = {10.4230/LIPIcs.MFCS.2025.34}, annote = {Keywords: Query algorithms, homomorphisms, homomorphism counts, directed graphs, relational structures, Datalog, constraint satisfaction} }
Steven Chaplick, Grzegorz Gutowski, and Tomasz Krawczyk. A Note on the Complexity of Defensive Domination. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 35:1-35:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{chaplick_et_al:LIPIcs.MFCS.2025.35, author = {Chaplick, Steven and Gutowski, Grzegorz and Krawczyk, Tomasz}, title = {{A Note on the Complexity of Defensive Domination}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {35:1--35:15}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.35}, URN = {urn:nbn:de:0030-drops-241420}, doi = {10.4230/LIPIcs.MFCS.2025.35}, annote = {Keywords: graph domination, computational complexity} }
Panagiotis Charalampopoulos, Manal Mohamed, Jakub Radoszewski, Wojciech Rytter, Tomasz Waleń, and Wiktor Zuba. Counting Distinct Square Substrings in Sublinear Time. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 36:1-36:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{charalampopoulos_et_al:LIPIcs.MFCS.2025.36, author = {Charalampopoulos, Panagiotis and Mohamed, Manal and Radoszewski, Jakub and Rytter, Wojciech and Wale\'{n}, Tomasz and Zuba, Wiktor}, title = {{Counting Distinct Square Substrings in Sublinear Time}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {36:1--36:19}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.36}, URN = {urn:nbn:de:0030-drops-241439}, doi = {10.4230/LIPIcs.MFCS.2025.36}, annote = {Keywords: square in a string, packed model, run (maximal repetition), Lyndon word} }
Dror Chawin and Ishay Haviv. New Hardness Results for Low-Rank Matrix Completion. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 37:1-37:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{chawin_et_al:LIPIcs.MFCS.2025.37, author = {Chawin, Dror and Haviv, Ishay}, title = {{New Hardness Results for Low-Rank Matrix Completion}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {37:1--37:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.37}, URN = {urn:nbn:de:0030-drops-241448}, doi = {10.4230/LIPIcs.MFCS.2025.37}, annote = {Keywords: hardness of approximation, low-rank matrix completion, graph coloring} }
Elias Rojas Collins, Chris Köcher, and Georg Zetzsche. The Complexity of Separability for Semilinear Sets and Parikh Automata. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 38:1-38:21, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{collins_et_al:LIPIcs.MFCS.2025.38, author = {Collins, Elias Rojas and K\"{o}cher, Chris and Zetzsche, Georg}, title = {{The Complexity of Separability for Semilinear Sets and Parikh Automata}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {38:1--38:21}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.38}, URN = {urn:nbn:de:0030-drops-241457}, doi = {10.4230/LIPIcs.MFCS.2025.38}, annote = {Keywords: Vector Addition System, Separability, Regular Language} }
Anupam Das and Abhishek De. Right-Linear Lattices: An Algebraic Theory of ω-Regular Languages, with Fixed Points. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 39:1-39:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{das_et_al:LIPIcs.MFCS.2025.39, author = {Das, Anupam and De, Abhishek}, title = {{Right-Linear Lattices: An Algebraic Theory of \omega-Regular Languages, with Fixed Points}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {39:1--39:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.39}, URN = {urn:nbn:de:0030-drops-241461}, doi = {10.4230/LIPIcs.MFCS.2025.39}, annote = {Keywords: omega-languages, regular languages, fixed points, Kleene algebras, right-linear grammars} }
Anuj Dawar, Erich Grädel, Leon Kullmann, and Benedikt Pago. Symmetric Proofs in the Ideal Proof System. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 40:1-40:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{dawar_et_al:LIPIcs.MFCS.2025.40, author = {Dawar, Anuj and Gr\"{a}del, Erich and Kullmann, Leon and Pago, Benedikt}, title = {{Symmetric Proofs in the Ideal Proof System}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {40:1--40:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.40}, URN = {urn:nbn:de:0030-drops-241477}, doi = {10.4230/LIPIcs.MFCS.2025.40}, annote = {Keywords: proof complexity, algebraic complexity, descriptive complexity, symmetric circuits, graph isomorphism} }
Jona Dirks and Alexandre Vigny. Token Sliding Reconfiguration on DAGs. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 41:1-41:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{dirks_et_al:LIPIcs.MFCS.2025.41, author = {Dirks, Jona and Vigny, Alexandre}, title = {{Token Sliding Reconfiguration on DAGs}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {41:1--41:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.41}, URN = {urn:nbn:de:0030-drops-241486}, doi = {10.4230/LIPIcs.MFCS.2025.41}, annote = {Keywords: Graph theory, FPT algorithms, Reconfiguration, Independent Sets} }
Yudai Egami, Tatsuya Gima, Tesshu Hanaka, Yasuaki Kobayashi, Michael Lampis, Valia Mitsou, Edouard Nemery, Yota Otachi, Manolis Vasilakis, and Daniel Vaz. Broadcasting Under Structural Restrictions. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 42:1-42:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{egami_et_al:LIPIcs.MFCS.2025.42, author = {Egami, Yudai and Gima, Tatsuya and Hanaka, Tesshu and Kobayashi, Yasuaki and Lampis, Michael and Mitsou, Valia and Nemery, Edouard and Otachi, Yota and Vasilakis, Manolis and Vaz, Daniel}, title = {{Broadcasting Under Structural Restrictions}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {42:1--42:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.42}, URN = {urn:nbn:de:0030-drops-241492}, doi = {10.4230/LIPIcs.MFCS.2025.42}, annote = {Keywords: Parameterized Complexity, Structural Graph Parameters, Telephone Broadcast} }
Fabian Egidy, Christian Glaßer, and Fynn Godau. The Complexity of Computing Second Solutions. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 43:1-43:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{egidy_et_al:LIPIcs.MFCS.2025.43, author = {Egidy, Fabian and Gla{\ss}er, Christian and Godau, Fynn}, title = {{The Complexity of Computing Second Solutions}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {43:1--43:16}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.43}, URN = {urn:nbn:de:0030-drops-241505}, doi = {10.4230/LIPIcs.MFCS.2025.43}, annote = {Keywords: function problems, another solution problem, turing machines} }
Leah Epstein and Asaf Levin. An EPTAS for Minimizing the Total Weighted Completion Time of Jobs with Release Dates on Uniformly Related Machines. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 44:1-44:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{epstein_et_al:LIPIcs.MFCS.2025.44, author = {Epstein, Leah and Levin, Asaf}, title = {{An EPTAS for Minimizing the Total Weighted Completion Time of Jobs with Release Dates on Uniformly Related Machines}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {44:1--44:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.44}, URN = {urn:nbn:de:0030-drops-241515}, doi = {10.4230/LIPIcs.MFCS.2025.44}, annote = {Keywords: Scheduling algorithms, Approximation schemes, Min-sum objectives} }
Javier Esparza and Valentin Krasotin. Regular Model Checking for Systems with Effectively Regular Reachability Relation. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 45:1-45:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{esparza_et_al:LIPIcs.MFCS.2025.45, author = {Esparza, Javier and Krasotin, Valentin}, title = {{Regular Model Checking for Systems with Effectively Regular Reachability Relation}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {45:1--45:19}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.45}, URN = {urn:nbn:de:0030-drops-241525}, doi = {10.4230/LIPIcs.MFCS.2025.45}, annote = {Keywords: Regular model checking, abstraction, inductive invariants} }
Sándor P. Fekete, Kai Kobbe, Dominik Krupke, Joseph S. B. Mitchell, Christian Rieck, and Christian Scheffer. Guarding Offices with Maximum Dispersion. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 46:1-46:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{fekete_et_al:LIPIcs.MFCS.2025.46, author = {Fekete, S\'{a}ndor P. and Kobbe, Kai and Krupke, Dominik and Mitchell, Joseph S. B. and Rieck, Christian and Scheffer, Christian}, title = {{Guarding Offices with Maximum Dispersion}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {46:1--46:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.46}, URN = {urn:nbn:de:0030-drops-241530}, doi = {10.4230/LIPIcs.MFCS.2025.46}, annote = {Keywords: Dispersive Art Gallery Problem, vertex guards, office-like polygons, orthogonal polygons, polyominoes, NP-completeness, worst-case optimality, dynamic programming, SAT solver} }
Florent Ferrari, Emmanuel Hainry, Romain Péchoux, and Mário Silva. Quantum Programming in Polylogarithmic Time. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 47:1-47:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{ferrari_et_al:LIPIcs.MFCS.2025.47, author = {Ferrari, Florent and Hainry, Emmanuel and P\'{e}choux, Romain and Silva, M\'{a}rio}, title = {{Quantum Programming in Polylogarithmic Time}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {47:1--47:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.47}, URN = {urn:nbn:de:0030-drops-241547}, doi = {10.4230/LIPIcs.MFCS.2025.47}, annote = {Keywords: Quantum programming languages, Polylogarithmic time, Quantum circuits, Implicit computational complexity} }
Gabriele Fici and Estéban Gabory. Generalized De Bruijn Words, Invertible Necklaces, and the Burrows-Wheeler Transform. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 48:1-48:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{fici_et_al:LIPIcs.MFCS.2025.48, author = {Fici, Gabriele and Gabory, Est\'{e}ban}, title = {{Generalized De Bruijn Words, Invertible Necklaces, and the Burrows-Wheeler Transform}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {48:1--48:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.48}, URN = {urn:nbn:de:0030-drops-241555}, doi = {10.4230/LIPIcs.MFCS.2025.48}, annote = {Keywords: Burrows-Wheeler Transform, Generalized de Bruijn Word, Generalized de Bruijn Graph, Circulant Matrix, Invertible Necklace, Sandpile Group, Reutenauer Group} }
Gabriele Fici, Giuseppe Romana, Marinella Sciortino, and Cristian Urbina. Morphisms and BWT-Run Sensitivity. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 49:1-49:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{fici_et_al:LIPIcs.MFCS.2025.49, author = {Fici, Gabriele and Romana, Giuseppe and Sciortino, Marinella and Urbina, Cristian}, title = {{Morphisms and BWT-Run Sensitivity}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {49:1--49:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.49}, URN = {urn:nbn:de:0030-drops-241567}, doi = {10.4230/LIPIcs.MFCS.2025.49}, annote = {Keywords: Burrows-Wheeler transform, BWT-runs, morphism, pure code, repetitiveness} }
Emmanuel Filiot, Nathan Lhote, and Pierre-Alain Reynier. Lexicographic Transductions of Finite Words. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 50:1-50:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{filiot_et_al:LIPIcs.MFCS.2025.50, author = {Filiot, Emmanuel and Lhote, Nathan and Reynier, Pierre-Alain}, title = {{Lexicographic Transductions of Finite Words}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {50:1--50:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.50}, URN = {urn:nbn:de:0030-drops-241572}, doi = {10.4230/LIPIcs.MFCS.2025.50}, annote = {Keywords: Transducers, Automata, MSO, Logical interpretations, Automatic structures} }
Xiaoyang Gong, Bakh Khoussainov, and Yuyang Zhuge. Word Structures and Their Automatic Presentations. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 51:1-51:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{gong_et_al:LIPIcs.MFCS.2025.51, author = {Gong, Xiaoyang and Khoussainov, Bakh and Zhuge, Yuyang}, title = {{Word Structures and Their Automatic Presentations}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {51:1--51:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.51}, URN = {urn:nbn:de:0030-drops-241581}, doi = {10.4230/LIPIcs.MFCS.2025.51}, annote = {Keywords: Automatic structures, the isomorphism problem, decidability, undecidability, regular relations} }
Christoph Grüne and Lasse Wulf. On the Complexity of Recoverable Robust Optimization in the Polynomial Hierarchy. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 52:1-52:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{grune_et_al:LIPIcs.MFCS.2025.52, author = {Gr\"{u}ne, Christoph and Wulf, Lasse}, title = {{On the Complexity of Recoverable Robust Optimization in the Polynomial Hierarchy}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {52:1--52:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.52}, URN = {urn:nbn:de:0030-drops-241596}, doi = {10.4230/LIPIcs.MFCS.2025.52}, annote = {Keywords: Complexity, Robust Optimization, Recoverable Robust Optimization, Two-Stage Problems, Polynomial Hierarchy, Sigma 2, Sigma 3} }
Lucie Guillou, Arnaud Sangnier, and Nathalie Sznajder. Wait-Only Broadcast Protocols Are Easier to Verify. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 53:1-53:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{guillou_et_al:LIPIcs.MFCS.2025.53, author = {Guillou, Lucie and Sangnier, Arnaud and Sznajder, Nathalie}, title = {{Wait-Only Broadcast Protocols Are Easier to Verify}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {53:1--53:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.53}, URN = {urn:nbn:de:0030-drops-241609}, doi = {10.4230/LIPIcs.MFCS.2025.53}, annote = {Keywords: Parameterised verification, Reachability, Broadcast} }
Rohit Gurjar, Daniel Lokshtanov, Pranabendu Misra, Fahad Panolan, Saket Saurabh, and Meirav Zehavi. Quasipolynomial-Time Deterministic Kernelization and (Gammoid) Representation. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 54:1-54:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{gurjar_et_al:LIPIcs.MFCS.2025.54, author = {Gurjar, Rohit and Lokshtanov, Daniel and Misra, Pranabendu and Panolan, Fahad and Saurabh, Saket and Zehavi, Meirav}, title = {{Quasipolynomial-Time Deterministic Kernelization and (Gammoid) Representation}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {54:1--54:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.54}, URN = {urn:nbn:de:0030-drops-241617}, doi = {10.4230/LIPIcs.MFCS.2025.54}, annote = {Keywords: Network Flows, Gammoids, Matchings, Transversal Matroids, Matroid Representation, Derandomization} }
Go Hashimoto and Daniel Găină. Model-Theoretic Forcing in Transition Algebra. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 55:1-55:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{hashimoto_et_al:LIPIcs.MFCS.2025.55, author = {Hashimoto, Go and G\u{a}in\u{a}, Daniel}, title = {{Model-Theoretic Forcing in Transition Algebra}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {55:1--55:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.55}, URN = {urn:nbn:de:0030-drops-241629}, doi = {10.4230/LIPIcs.MFCS.2025.55}, annote = {Keywords: institutional model theory, algebraic specification, transition algebra, forcing, omitting types property, L\"{o}wenheim-Skolem properties, completeness} }
Vojtěch Havlena, Michal Hečko, Lukáš Holík, and Ondřej Lengál. Negated String Containment Is Decidable. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 56:1-56:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{havlena_et_al:LIPIcs.MFCS.2025.56, author = {Havlena, Vojt\v{e}ch and He\v{c}ko, Michal and Hol{\'\i}k, Luk\'{a}\v{s} and Leng\'{a}l, Ond\v{r}ej}, title = {{Negated String Containment Is Decidable}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {56:1--56:20}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.56}, URN = {urn:nbn:de:0030-drops-241631}, doi = {10.4230/LIPIcs.MFCS.2025.56}, annote = {Keywords: not-contains, string constraints, word combinatorics, primitive word} }
Thomas A. Henzinger, Aditya Prakash, and K. S. Thejaswini. Resolving Nondeterminism with Randomness. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 57:1-57:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{henzinger_et_al:LIPIcs.MFCS.2025.57, author = {Henzinger, Thomas A. and Prakash, Aditya and Thejaswini, K. S.}, title = {{Resolving Nondeterminism with Randomness}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {57:1--57:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.57}, URN = {urn:nbn:de:0030-drops-241645}, doi = {10.4230/LIPIcs.MFCS.2025.57}, annote = {Keywords: \omega-regular languages, History determinism, Stochastic strategies} }
John M. Hitchcock, Adewale Sekoni, and Hadi Shafei. Random Permutations in Computational Complexity. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 58:1-58:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{hitchcock_et_al:LIPIcs.MFCS.2025.58, author = {Hitchcock, John M. and Sekoni, Adewale and Shafei, Hadi}, title = {{Random Permutations in Computational Complexity}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {58:1--58:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.58}, URN = {urn:nbn:de:0030-drops-241652}, doi = {10.4230/LIPIcs.MFCS.2025.58}, annote = {Keywords: resource-bounded measure, martingales, betting games, random permutations, random oracles} }
Petr Hliněný. Complexity of Anchored Crossing Number and Crossing Number of Almost Planar Graphs. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 59:1-59:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{hlineny:LIPIcs.MFCS.2025.59, author = {Hlin\v{e}n\'{y}, Petr}, title = {{Complexity of Anchored Crossing Number and Crossing Number of Almost Planar Graphs}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {59:1--59:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.59}, URN = {urn:nbn:de:0030-drops-241664}, doi = {10.4230/LIPIcs.MFCS.2025.59}, annote = {Keywords: Crossing number, Anchored drawing, Almost planar graph, NP-hardness} }
Łukasz Kamiński and Sławomir Lasota. Reachability in Symmetric VASS. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 60:1-60:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{kaminski_et_al:LIPIcs.MFCS.2025.60, author = {Kami\'{n}ski, {\L}ukasz and Lasota, S{\l}awomir}, title = {{Reachability in Symmetric VASS}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {60:1--60:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.60}, URN = {urn:nbn:de:0030-drops-241678}, doi = {10.4230/LIPIcs.MFCS.2025.60}, annote = {Keywords: vector addition systems, Petri nets, reachability problem, symmetry, permutation group} }
Amin Karamlou. Quantum Relaxations of CSP and Structure Isomorphism. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 61:1-61:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{karamlou:LIPIcs.MFCS.2025.61, author = {Karamlou, Amin}, title = {{Quantum Relaxations of CSP and Structure Isomorphism}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {61:1--61:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.61}, URN = {urn:nbn:de:0030-drops-241686}, doi = {10.4230/LIPIcs.MFCS.2025.61}, annote = {Keywords: CSP, graph isomorphism, quantum information, non-local game, quantum graph homomorphism, monad} }
Stefan Kiefer and Andrew Ryzhikov. The Complexity of Reachability Problems in Strongly Connected Finite Automata. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 62:1-62:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{kiefer_et_al:LIPIcs.MFCS.2025.62, author = {Kiefer, Stefan and Ryzhikov, Andrew}, title = {{The Complexity of Reachability Problems in Strongly Connected Finite Automata}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {62:1--62:19}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.62}, URN = {urn:nbn:de:0030-drops-241690}, doi = {10.4230/LIPIcs.MFCS.2025.62}, annote = {Keywords: unambiguous automata, nonnegative matrices, irreducible matrix sets, strongly connected automata, matrix monoids, mortality, completeness, synchronisation, ergodicity} }
Yael Kirkpatrick and Virginia Vassilevska Williams. Shortest Paths in Multimode Graphs. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 63:1-63:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{kirkpatrick_et_al:LIPIcs.MFCS.2025.63, author = {Kirkpatrick, Yael and Vassilevska Williams, Virginia}, title = {{Shortest Paths in Multimode Graphs}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {63:1--63:16}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.63}, URN = {urn:nbn:de:0030-drops-241703}, doi = {10.4230/LIPIcs.MFCS.2025.63}, annote = {Keywords: Graph Algorithms, Shortest Paths, Diameter, Radius, Fine-Grained Complexity} }
Orna Kupferman and Noam Shenwald. Positional-Player Games. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 64:1-64:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{kupferman_et_al:LIPIcs.MFCS.2025.64, author = {Kupferman, Orna and Shenwald, Noam}, title = {{Positional-Player Games}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {64:1--64:19}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.64}, URN = {urn:nbn:de:0030-drops-241719}, doi = {10.4230/LIPIcs.MFCS.2025.64}, annote = {Keywords: Games, \omega-Regular Objectives, Memory, Complexity} }
Michael Lampis, Valia Mitsou, Edouard Nemery, Yota Otachi, Manolis Vasilakis, and Daniel Vaz. Parameterized Spanning Tree Congestion. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 65:1-65:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{lampis_et_al:LIPIcs.MFCS.2025.65, author = {Lampis, Michael and Mitsou, Valia and Nemery, Edouard and Otachi, Yota and Vasilakis, Manolis and Vaz, Daniel}, title = {{Parameterized Spanning Tree Congestion}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {65:1--65:20}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.65}, URN = {urn:nbn:de:0030-drops-241724}, doi = {10.4230/LIPIcs.MFCS.2025.65}, annote = {Keywords: Parameterized Complexity, Treewidth, Graph Width Parameters} }
Zihui Liang, Bakh Khoussainov, and Mingyu Xiao. Deciding Regular Games: a Playground for Exponential Time Algorithms. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 66:1-66:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{liang_et_al:LIPIcs.MFCS.2025.66, author = {Liang, Zihui and Khoussainov, Bakh and Xiao, Mingyu}, title = {{Deciding Regular Games: a Playground for Exponential Time Algorithms}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {66:1--66:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.66}, URN = {urn:nbn:de:0030-drops-241732}, doi = {10.4230/LIPIcs.MFCS.2025.66}, annote = {Keywords: Regular games, colored Muller games, Rabin games, McNaughton games, Muller games, deciding games} }
Nutan Limaye, Adarsh Srinivasan, and Srikanth Srinivasan. #SAT-Algorithms for Classes of Threshold Circuits Based on Probabilistic Rank. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 67:1-67:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{limaye_et_al:LIPIcs.MFCS.2025.67, author = {Limaye, Nutan and Srinivasan, Adarsh and Srinivasan, Srikanth}, title = {{#SAT-Algorithms for Classes of Threshold Circuits Based on Probabilistic Rank}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {67:1--67:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.67}, URN = {urn:nbn:de:0030-drops-241744}, doi = {10.4230/LIPIcs.MFCS.2025.67}, annote = {Keywords: probabilistic polynomials, probabilistic rank, circuit satisfiability, circuit lower bounds, polynomial method, threshold circuits} }
Gabriele Lobbia, Wojciech Różowski, Ralph Sarkis, and Fabio Zanasi. Quantitative Monoidal Algebra: Axiomatising Distance with String Diagrams. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 68:1-68:21, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{lobbia_et_al:LIPIcs.MFCS.2025.68, author = {Lobbia, Gabriele and R\'{o}\.{z}owski, Wojciech and Sarkis, Ralph and Zanasi, Fabio}, title = {{Quantitative Monoidal Algebra: Axiomatising Distance with String Diagrams}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {68:1--68:21}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.68}, URN = {urn:nbn:de:0030-drops-241759}, doi = {10.4230/LIPIcs.MFCS.2025.68}, annote = {Keywords: string diagram, symmetric monoidal category, quantitative algebraic theory, quantale, metric} }
Markus Lohrey, Sebastian Maneth, and Markus L. Schmid. FO-Query Enumeration over SLP-Compressed Structures of Bounded Degree. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 69:1-69:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{lohrey_et_al:LIPIcs.MFCS.2025.69, author = {Lohrey, Markus and Maneth, Sebastian and Schmid, Markus L.}, title = {{FO-Query Enumeration over SLP-Compressed Structures of Bounded Degree}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {69:1--69:20}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.69}, URN = {urn:nbn:de:0030-drops-241760}, doi = {10.4230/LIPIcs.MFCS.2025.69}, annote = {Keywords: Enumeration algorithms, FO-logic, query evaluation over compressed data} }
Aliaume Lopez. Labelled Well Quasi Ordered Classes of Bounded Linear Clique-Width. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 70:1-70:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{lopez:LIPIcs.MFCS.2025.70, author = {Lopez, Aliaume}, title = {{Labelled Well Quasi Ordered Classes of Bounded Linear Clique-Width}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {70:1--70:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.70}, URN = {urn:nbn:de:0030-drops-241773}, doi = {10.4230/LIPIcs.MFCS.2025.70}, annote = {Keywords: well-quasi-ordering, linear clique-width, MSO transduction, automata theory} }
Florian Luca, Joël Ouaknine, and James Worrell. On Large Zeros of Linear Recurrence Sequences. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 71:1-71:11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{luca_et_al:LIPIcs.MFCS.2025.71, author = {Luca, Florian and Ouaknine, Jo\"{e}l and Worrell, James}, title = {{On Large Zeros of Linear Recurrence Sequences}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {71:1--71:11}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.71}, URN = {urn:nbn:de:0030-drops-241781}, doi = {10.4230/LIPIcs.MFCS.2025.71}, annote = {Keywords: Skolem Problem, linear recurrence sequences, decidability, Cram\'{e}r conjecture} }
Alessio Mansutti and Mikhail R. Starchak. One-Parametric Presburger Arithmetic Has Quantifier Elimination. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 72:1-72:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{mansutti_et_al:LIPIcs.MFCS.2025.72, author = {Mansutti, Alessio and Starchak, Mikhail R.}, title = {{One-Parametric Presburger Arithmetic Has Quantifier Elimination}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {72:1--72:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.72}, URN = {urn:nbn:de:0030-drops-241794}, doi = {10.4230/LIPIcs.MFCS.2025.72}, annote = {Keywords: decision procedures, quantifier elimination, non-linear integer arithmetic} }
Bodo Manthey and Jesse van Rhijn. Counting Locally Optimal Tours in the TSP. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 73:1-73:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{manthey_et_al:LIPIcs.MFCS.2025.73, author = {Manthey, Bodo and van Rhijn, Jesse}, title = {{Counting Locally Optimal Tours in the TSP}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {73:1--73:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.73}, URN = {urn:nbn:de:0030-drops-241807}, doi = {10.4230/LIPIcs.MFCS.2025.73}, annote = {Keywords: Travelling salesman problem, probabilistic analysis, local search, heuristics, 2-opt} }
Malory Marin and Rémi Watrigant. Subcoloring of (Unit) Disk Graphs. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 74:1-74:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{marin_et_al:LIPIcs.MFCS.2025.74, author = {Marin, Malory and Watrigant, R\'{e}mi}, title = {{Subcoloring of (Unit) Disk Graphs}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {74:1--74:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.74}, URN = {urn:nbn:de:0030-drops-241811}, doi = {10.4230/LIPIcs.MFCS.2025.74}, annote = {Keywords: subcoloring, algorithms, disk graphs, unit disk graphs} }
George B. Mertzios, Hendrik Molter, Nils Morawietz, and Paul G. Spirakis. Temporal Graph Realization with Bounded Stretch. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 75:1-75:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{mertzios_et_al:LIPIcs.MFCS.2025.75, author = {Mertzios, George B. and Molter, Hendrik and Morawietz, Nils and Spirakis, Paul G.}, title = {{Temporal Graph Realization with Bounded Stretch}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {75:1--75:19}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.75}, URN = {urn:nbn:de:0030-drops-241829}, doi = {10.4230/LIPIcs.MFCS.2025.75}, annote = {Keywords: Temporal graph, periodic temporal labeling, fastest temporal path, graph realization, temporal connectivity, stretch} }
Éléanore Meyer and Jürgen Giesl. Deciding Termination of Simple Randomized Loops. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 76:1-76:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{meyer_et_al:LIPIcs.MFCS.2025.76, author = {Meyer, \'{E}l\'{e}anore and Giesl, J\"{u}rgen}, title = {{Deciding Termination of Simple Randomized Loops}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {76:1--76:19}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.76}, URN = {urn:nbn:de:0030-drops-241833}, doi = {10.4230/LIPIcs.MFCS.2025.76}, annote = {Keywords: decision procedures, randomized programs, linear loops, positive almost sure termination} }
Jakub Michaliszyn and Jan Otop. Minimization of Deterministic Finite Automata Modulo the Edit Distance. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 77:1-77:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{michaliszyn_et_al:LIPIcs.MFCS.2025.77, author = {Michaliszyn, Jakub and Otop, Jan}, title = {{Minimization of Deterministic Finite Automata Modulo the Edit Distance}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {77:1--77:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.77}, URN = {urn:nbn:de:0030-drops-241843}, doi = {10.4230/LIPIcs.MFCS.2025.77}, annote = {Keywords: automata theory, automata minimization, edit distance} }
Anand Kumar Narayanan. Strong Keys for Tensor Isomorphism Cryptography. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 78:1-78:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{narayanan:LIPIcs.MFCS.2025.78, author = {Narayanan, Anand Kumar}, title = {{Strong Keys for Tensor Isomorphism Cryptography}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {78:1--78:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.78}, URN = {urn:nbn:de:0030-drops-241857}, doi = {10.4230/LIPIcs.MFCS.2025.78}, annote = {Keywords: tensors, finite fields, post-quantum cryptography} }
Eike Neumann. Deciding Robust Instances of an Escape Problem for Dynamical Systems in Euclidean Space. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 79:1-79:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{neumann:LIPIcs.MFCS.2025.79, author = {Neumann, Eike}, title = {{Deciding Robust Instances of an Escape Problem for Dynamical Systems in Euclidean Space}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {79:1--79:20}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.79}, URN = {urn:nbn:de:0030-drops-241866}, doi = {10.4230/LIPIcs.MFCS.2025.79}, annote = {Keywords: Dynamical Systems, Computability in Analysis, Non-Linear Functions} }
Joris Nieuwveld and Joël Ouaknine. On Expansions of Monadic Second-Order Logic with Dynamical Predicates. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 80:1-80:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{nieuwveld_et_al:LIPIcs.MFCS.2025.80, author = {Nieuwveld, Joris and Ouaknine, Jo\"{e}l}, title = {{On Expansions of Monadic Second-Order Logic with Dynamical Predicates}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {80:1--80:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.80}, URN = {urn:nbn:de:0030-drops-241879}, doi = {10.4230/LIPIcs.MFCS.2025.80}, annote = {Keywords: Monadic second-order logic, linear recurrence sequences, decidability, Baker’s theorem} }
Taisei Nogami and Tachio Terauchi. Efficient Matching of Some Fundamental Regular Expressions with Backreferences. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 81:1-81:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{nogami_et_al:LIPIcs.MFCS.2025.81, author = {Nogami, Taisei and Terauchi, Tachio}, title = {{Efficient Matching of Some Fundamental Regular Expressions with Backreferences}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {81:1--81:19}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.81}, URN = {urn:nbn:de:0030-drops-241886}, doi = {10.4230/LIPIcs.MFCS.2025.81}, annote = {Keywords: Regular expressions, Backreferences, Regex matching, NFA simulation, Suffix arrays, Right-maximal repeats} }
Zeev Nutov. Tight Analysis of the Primal-Dual Method for Edge-Covering Pliable Set Families. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 82:1-82:14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{nutov:LIPIcs.MFCS.2025.82, author = {Nutov, Zeev}, title = {{Tight Analysis of the Primal-Dual Method for Edge-Covering Pliable Set Families}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {82:1--82:14}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.82}, URN = {urn:nbn:de:0030-drops-241898}, doi = {10.4230/LIPIcs.MFCS.2025.82}, annote = {Keywords: primal dual method, pliable set family, approximation algorithms} }
Michael Pinsker, Jakub Rydval, Moritz Schöbi, and Christoph Spiess. Three Fundamental Questions in Modern Infinite-Domain Constraint Satisfaction. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 83:1-83:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{pinsker_et_al:LIPIcs.MFCS.2025.83, author = {Pinsker, Michael and Rydval, Jakub and Sch\"{o}bi, Moritz and Spiess, Christoph}, title = {{Three Fundamental Questions in Modern Infinite-Domain Constraint Satisfaction}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {83:1--83:20}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.83}, URN = {urn:nbn:de:0030-drops-241903}, doi = {10.4230/LIPIcs.MFCS.2025.83}, annote = {Keywords: (Promise) Constraint Satisfaction Problem, dichotomy conjecture, polymorphism, identity, algebraicity, homogeneity, \omega-categoricity, finite boundedness, Datalog} }
Andrei Romashchenko. Algebraic Barriers to Halving Algorithmic Information Quantities in Correlated Strings. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 84:1-84:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{romashchenko:LIPIcs.MFCS.2025.84, author = {Romashchenko, Andrei}, title = {{Algebraic Barriers to Halving Algorithmic Information Quantities in Correlated Strings}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {84:1--84:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.84}, URN = {urn:nbn:de:0030-drops-241914}, doi = {10.4230/LIPIcs.MFCS.2025.84}, annote = {Keywords: Kolmogorov complexity, algorithmic information theory, communication complexity, discrete geometry} }
Neil J. Ross and Scott Wesley. Cutoff Theorems for the Equivalence of Parameterized Quantum Circuits. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 85:1-85:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{ross_et_al:LIPIcs.MFCS.2025.85, author = {Ross, Neil J. and Wesley, Scott}, title = {{Cutoff Theorems for the Equivalence of Parameterized Quantum Circuits}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {85:1--85:19}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.85}, URN = {urn:nbn:de:0030-drops-241921}, doi = {10.4230/LIPIcs.MFCS.2025.85}, annote = {Keywords: Quantum Circuits, Parameterized Equivalence Checking} }
Günter Rote. Probabilistic Finite Automaton Emptiness Is Undecidable for a Fixed Automaton. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 86:1-86:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{rote:LIPIcs.MFCS.2025.86, author = {Rote, G\"{u}nter}, title = {{Probabilistic Finite Automaton Emptiness Is Undecidable for a Fixed Automaton}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {86:1--86:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.86}, URN = {urn:nbn:de:0030-drops-241930}, doi = {10.4230/LIPIcs.MFCS.2025.86}, annote = {Keywords: Probabilistic finite automaton, Undecidability, Post Correspondence Problem} }
Casper Moldrup Rysgaard and Sebastian Wild. Lazy B-Trees. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 87:1-87:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{rysgaard_et_al:LIPIcs.MFCS.2025.87, author = {Rysgaard, Casper Moldrup and Wild, Sebastian}, title = {{Lazy B-Trees}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {87:1--87:19}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.87}, URN = {urn:nbn:de:0030-drops-241949}, doi = {10.4230/LIPIcs.MFCS.2025.87}, annote = {Keywords: B-tree, lazy search trees, lazy updates, external memory, deferred data structures, database cracking} }
Benjamin Scheidt and Nicole Schweikardt. Color Refinement for Relational Structures. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 88:1-88:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{scheidt_et_al:LIPIcs.MFCS.2025.88, author = {Scheidt, Benjamin and Schweikardt, Nicole}, title = {{Color Refinement for Relational Structures}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {88:1--88:19}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.88}, URN = {urn:nbn:de:0030-drops-241958}, doi = {10.4230/LIPIcs.MFCS.2025.88}, annote = {Keywords: color refinement, counting logics, homomorphism counts, homomorphism indistinguishability, guarded logics, pebble games, relational structures, alpha-acyclicity, join-trees} }
Georg Schindling. Homomorphism Indistinguishability and Game Comonads for Restricted Conjunction and Requantification. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 89:1-89:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{schindling:LIPIcs.MFCS.2025.89, author = {Schindling, Georg}, title = {{Homomorphism Indistinguishability and Game Comonads for Restricted Conjunction and Requantification}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {89:1--89:19}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.89}, URN = {urn:nbn:de:0030-drops-241962}, doi = {10.4230/LIPIcs.MFCS.2025.89}, annote = {Keywords: homomorphism indistinguishability, game comonads, finite variable counting logic, restricted conjunction, restricted requantification, tree decomposition, path decomposition} }
Nicole Schirrmacher, Sebastian Siebertz, and Alexandre Vigny. Elimination Distance to Dominated Clusters. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 90:1-90:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{schirrmacher_et_al:LIPIcs.MFCS.2025.90, author = {Schirrmacher, Nicole and Siebertz, Sebastian and Vigny, Alexandre}, title = {{Elimination Distance to Dominated Clusters}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {90:1--90:20}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.90}, URN = {urn:nbn:de:0030-drops-241978}, doi = {10.4230/LIPIcs.MFCS.2025.90}, annote = {Keywords: Graph theory, Fixed-parameter algorithms, Dominated cluster, Elimination distance} }
Ivan Titov. Relative Randomness and Continuous Translation Functions. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 91:1-91:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{titov:LIPIcs.MFCS.2025.91, author = {Titov, Ivan}, title = {{Relative Randomness and Continuous Translation Functions}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {91:1--91:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.91}, URN = {urn:nbn:de:0030-drops-241987}, doi = {10.4230/LIPIcs.MFCS.2025.91}, annote = {Keywords: Solovay reducibility, relative randomness, algorithmic randomness, Martin-L\"{o}f randomness, computable analysis, left-c.e. reals} }
Anton Varonka and Kazuki Watanabe. On Piecewise Affine Reachability with Bellman Operators. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 92:1-92:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{varonka_et_al:LIPIcs.MFCS.2025.92, author = {Varonka, Anton and Watanabe, Kazuki}, title = {{On Piecewise Affine Reachability with Bellman Operators}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {92:1--92:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.92}, URN = {urn:nbn:de:0030-drops-241998}, doi = {10.4230/LIPIcs.MFCS.2025.92}, annote = {Keywords: piecewise affine map, reachability, value iteration, Markov decision process, Bellman operator} }
Jingyang Zhao and Mingyu Xiao. Improved Approximation Algorithms for Capacitated Vehicle Routing with Fixed Capacity. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 345, pp. 93:1-93:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{zhao_et_al:LIPIcs.MFCS.2025.93, author = {Zhao, Jingyang and Xiao, Mingyu}, title = {{Improved Approximation Algorithms for Capacitated Vehicle Routing with Fixed Capacity}}, booktitle = {50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025)}, pages = {93:1--93:19}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-388-1}, ISSN = {1868-8969}, year = {2025}, volume = {345}, editor = {Gawrychowski, Pawe{\l} and Mazowiecki, Filip and Skrzypczak, Micha{\l}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2025.93}, URN = {urn:nbn:de:0030-drops-242008}, doi = {10.4230/LIPIcs.MFCS.2025.93}, annote = {Keywords: Combinatorial Optimization, Capacitated Vehicle Routing, Approximation Algorithms, Graph Algorithms} }
Feedback for Dagstuhl Publishing