@Proceedings{ito_et_al:LIPIcs.FUN.2018, title = {{LIPIcs, Volume 100, FUN'18, Complete Volume}}, booktitle = {9th International Conference on Fun with Algorithms (FUN 2018)}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-067-5}, ISSN = {1868-8969}, year = {2018}, volume = {100}, editor = {Ito, Hiro and Leonardi, Stefano and Pagli, Linda and Prencipe, Giuseppe}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FUN.2018}, URN = {urn:nbn:de:0030-drops-89311}, doi = {10.4230/LIPIcs.FUN.2018}, annote = {Keywords: Theory of computation, Complexity classes, Algorithm design techniques, Computability, Approximation algorithms analysis, Mathematics of computing} } @InProceedings{ito_et_al:LIPIcs.FUN.2018.0, author = {Ito, Hiro and Leonardi, Stefano and Pagli, Linda and Prencipe, Giuseppe}, title = {{Front Matter, Table of Contents, Preface, Conference Organization}}, booktitle = {9th International Conference on Fun with Algorithms (FUN 2018)}, pages = {0:i--0:xi}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-067-5}, ISSN = {1868-8969}, year = {2018}, volume = {100}, editor = {Ito, Hiro and Leonardi, Stefano and Pagli, Linda and Prencipe, Giuseppe}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FUN.2018.0}, URN = {urn:nbn:de:0030-drops-87914}, doi = {10.4230/LIPIcs.FUN.2018.0}, annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization} } @InProceedings{farachcolton:LIPIcs.FUN.2018.1, author = {Farach-Colton, Mart{\'\i}n}, title = {{Mind the Gap}}, booktitle = {9th International Conference on Fun with Algorithms (FUN 2018)}, pages = {1:1--1:1}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-067-5}, ISSN = {1868-8969}, year = {2018}, volume = {100}, editor = {Ito, Hiro and Leonardi, Stefano and Pagli, Linda and Prencipe, Giuseppe}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FUN.2018.1}, URN = {urn:nbn:de:0030-drops-87924}, doi = {10.4230/LIPIcs.FUN.2018.1}, annote = {Keywords: library sort, Italian island, packed memory arrays, weight balanced trees, Italians know how to throw a conference} } @InProceedings{sugihara:LIPIcs.FUN.2018.2, author = {Sugihara, Kokichi}, title = {{Evolution of Impossible Objects}}, booktitle = {9th International Conference on Fun with Algorithms (FUN 2018)}, pages = {2:1--2:8}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-067-5}, ISSN = {1868-8969}, year = {2018}, volume = {100}, editor = {Ito, Hiro and Leonardi, Stefano and Pagli, Linda and Prencipe, Giuseppe}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FUN.2018.2}, URN = {urn:nbn:de:0030-drops-87939}, doi = {10.4230/LIPIcs.FUN.2018.2}, annote = {Keywords: Ambiguous cylinder, anomalous picture, impossible motion, impossible object, optical illusion} } @InProceedings{abel_et_al:LIPIcs.FUN.2018.3, author = {Abel, Zachary and Bosboom, Jeffrey and Demaine, Erik D. and Hamilton, Linus and Hesterberg, Adam and Kopinsky, Justin and Lynch, Jayson and Rudoy, Mikhail}, title = {{Who witnesses The Witness? Finding witnesses in The Witness is hard and sometimes impossible}}, booktitle = {9th International Conference on Fun with Algorithms (FUN 2018)}, pages = {3:1--3:21}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-067-5}, ISSN = {1868-8969}, year = {2018}, volume = {100}, editor = {Ito, Hiro and Leonardi, Stefano and Pagli, Linda and Prencipe, Giuseppe}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FUN.2018.3}, URN = {urn:nbn:de:0030-drops-87944}, doi = {10.4230/LIPIcs.FUN.2018.3}, annote = {Keywords: video games, puzzles, hardness} } @InProceedings{almanza_et_al:LIPIcs.FUN.2018.4, author = {Almanza, Matteo and Leucci, Stefano and Panconesi, Alessandro}, title = {{Tracks from hell - when finding a proof may be easier than checking it}}, booktitle = {9th International Conference on Fun with Algorithms (FUN 2018)}, pages = {4:1--4:13}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-067-5}, ISSN = {1868-8969}, year = {2018}, volume = {100}, editor = {Ito, Hiro and Leonardi, Stefano and Pagli, Linda and Prencipe, Giuseppe}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FUN.2018.4}, URN = {urn:nbn:de:0030-drops-87954}, doi = {10.4230/LIPIcs.FUN.2018.4}, annote = {Keywords: puzzle games, solitaire games, Trainyard, verification} } @InProceedings{belmonte_et_al:LIPIcs.FUN.2018.5, author = {Belmonte, R\'{e}my and Khosravian Ghadikolaei, Mehdi and Kiyomi, Masashi and Lampis, Michael and Otachi, Yota}, title = {{How Bad is the Freedom to Flood-It?}}, booktitle = {9th International Conference on Fun with Algorithms (FUN 2018)}, pages = {5:1--5:13}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-067-5}, ISSN = {1868-8969}, year = {2018}, volume = {100}, editor = {Ito, Hiro and Leonardi, Stefano and Pagli, Linda and Prencipe, Giuseppe}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FUN.2018.5}, URN = {urn:nbn:de:0030-drops-87961}, doi = {10.4230/LIPIcs.FUN.2018.5}, annote = {Keywords: flood-filling game, parameterized complexity} } @InProceedings{bermond_et_al:LIPIcs.FUN.2018.6, author = {Bermond, Jean-Claude and Chaintreau, Augustin and Ducoffe, Guillaume and Mazauric, Dorian}, title = {{How long does it take for all users in a social network to choose their communities?}}, booktitle = {9th International Conference on Fun with Algorithms (FUN 2018)}, pages = {6:1--6:21}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-067-5}, ISSN = {1868-8969}, year = {2018}, volume = {100}, editor = {Ito, Hiro and Leonardi, Stefano and Pagli, Linda and Prencipe, Giuseppe}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FUN.2018.6}, URN = {urn:nbn:de:0030-drops-87972}, doi = {10.4230/LIPIcs.FUN.2018.6}, annote = {Keywords: communities, social networks, integer partitions, coloring games, graphs} } @InProceedings{bilo_et_al:LIPIcs.FUN.2018.7, author = {Bil\`{o}, Davide and Gual\`{a}, Luciano and Leucci, Stefano and Misra, Neeldhara}, title = {{On the Complexity of Two Dots for Narrow Boards and Few Colors}}, booktitle = {9th International Conference on Fun with Algorithms (FUN 2018)}, pages = {7:1--7:15}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-067-5}, ISSN = {1868-8969}, year = {2018}, volume = {100}, editor = {Ito, Hiro and Leonardi, Stefano and Pagli, Linda and Prencipe, Giuseppe}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FUN.2018.7}, URN = {urn:nbn:de:0030-drops-87988}, doi = {10.4230/LIPIcs.FUN.2018.7}, annote = {Keywords: puzzle, NP-complete, perfect information, combinatorial game theory} } @InProceedings{bilo_et_al:LIPIcs.FUN.2018.8, author = {Bil\`{o}, Davide and Gual\`{a}, Luciano and Leucci, Stefano and Proietti, Guido and Rossi, Mirko}, title = {{On the PSPACE-completeness of Peg Duotaire and other Peg-Jumping Games}}, booktitle = {9th International Conference on Fun with Algorithms (FUN 2018)}, pages = {8:1--8:15}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-067-5}, ISSN = {1868-8969}, year = {2018}, volume = {100}, editor = {Ito, Hiro and Leonardi, Stefano and Pagli, Linda and Prencipe, Giuseppe}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FUN.2018.8}, URN = {urn:nbn:de:0030-drops-87994}, doi = {10.4230/LIPIcs.FUN.2018.8}, annote = {Keywords: peg duotaire, pspace-completeness, peg solitaire, two-player games} } @InProceedings{bodlaender_et_al:LIPIcs.FUN.2018.9, author = {Bodlaender, Hans L. and van der Zanden, Tom C.}, title = {{On the Exact Complexity of Polyomino Packing}}, booktitle = {9th International Conference on Fun with Algorithms (FUN 2018)}, pages = {9:1--9:10}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-067-5}, ISSN = {1868-8969}, year = {2018}, volume = {100}, editor = {Ito, Hiro and Leonardi, Stefano and Pagli, Linda and Prencipe, Giuseppe}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FUN.2018.9}, URN = {urn:nbn:de:0030-drops-88001}, doi = {10.4230/LIPIcs.FUN.2018.9}, annote = {Keywords: polyomino packing, exact complexity, exponential time hypothesis} } @InProceedings{boldi_et_al:LIPIcs.FUN.2018.10, author = {Boldi, Paolo and Vigna, Sebastiano}, title = {{Kings, Name Days, Lazy Servants and Magic}}, booktitle = {9th International Conference on Fun with Algorithms (FUN 2018)}, pages = {10:1--10:13}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-067-5}, ISSN = {1868-8969}, year = {2018}, volume = {100}, editor = {Ito, Hiro and Leonardi, Stefano and Pagli, Linda and Prencipe, Giuseppe}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FUN.2018.10}, URN = {urn:nbn:de:0030-drops-88017}, doi = {10.4230/LIPIcs.FUN.2018.10}, annote = {Keywords: Suffix trees, suffix arrays, z-fast tries, prefix search} } @InProceedings{bosboom_et_al:LIPIcs.FUN.2018.11, author = {Bosboom, Jeffrey and Demaine, Erik D. and Rudoy, Mikhail}, title = {{Computational Complexity of Generalized Push Fight}}, booktitle = {9th International Conference on Fun with Algorithms (FUN 2018)}, pages = {11:1--11:21}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-067-5}, ISSN = {1868-8969}, year = {2018}, volume = {100}, editor = {Ito, Hiro and Leonardi, Stefano and Pagli, Linda and Prencipe, Giuseppe}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FUN.2018.11}, URN = {urn:nbn:de:0030-drops-88029}, doi = {10.4230/LIPIcs.FUN.2018.11}, annote = {Keywords: board games, hardness, mate-in-one} } @InProceedings{botler_et_al:LIPIcs.FUN.2018.12, author = {Botler, F\'{a}bio and Cristi, Andr\'{e}s and Hoeksma, Ruben and Schewior, Kevin and T\"{o}nnis, Andreas}, title = {{SUPERSET: A (Super)Natural Variant of the Card Game SET}}, booktitle = {9th International Conference on Fun with Algorithms (FUN 2018)}, pages = {12:1--12:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-067-5}, ISSN = {1868-8969}, year = {2018}, volume = {100}, editor = {Ito, Hiro and Leonardi, Stefano and Pagli, Linda and Prencipe, Giuseppe}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FUN.2018.12}, URN = {urn:nbn:de:0030-drops-88035}, doi = {10.4230/LIPIcs.FUN.2018.12}, annote = {Keywords: SET, SUPERSET, card game, cap set, affine geometry, computational complexity} } @InProceedings{bultel_et_al:LIPIcs.FUN.2018.13, author = {Bultel, Xavier and Dreier, Jannik and Dumas, Jean-Guillaume and Lafourcade, Pascal}, title = {{A Cryptographer's Conspiracy Santa}}, booktitle = {9th International Conference on Fun with Algorithms (FUN 2018)}, pages = {13:1--13:13}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-067-5}, ISSN = {1868-8969}, year = {2018}, volume = {100}, editor = {Ito, Hiro and Leonardi, Stefano and Pagli, Linda and Prencipe, Giuseppe}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FUN.2018.13}, URN = {urn:nbn:de:0030-drops-88047}, doi = {10.4230/LIPIcs.FUN.2018.13}, annote = {Keywords: Secret Santa, Conspiracy Santa, Secure Multi-Party Computation, Cryptocurrency, Physical Cryptography} } @InProceedings{coulombe_et_al:LIPIcs.FUN.2018.14, author = {Coulombe, Michael J. and Lynch, Jayson}, title = {{Cooperating in Video Games? Impossible! Undecidability of Team Multiplayer Games}}, booktitle = {9th International Conference on Fun with Algorithms (FUN 2018)}, pages = {14:1--14:16}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-067-5}, ISSN = {1868-8969}, year = {2018}, volume = {100}, editor = {Ito, Hiro and Leonardi, Stefano and Pagli, Linda and Prencipe, Giuseppe}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FUN.2018.14}, URN = {urn:nbn:de:0030-drops-88051}, doi = {10.4230/LIPIcs.FUN.2018.14}, annote = {Keywords: computational complexity, undecidable, team games, imperfect information} } @InProceedings{cui_et_al:LIPIcs.FUN.2018.15, author = {Cui, Guangqi and Dickerson, John and Durvasula, Naveen and Gasarch, William and Metz, Erik and Prinz, Jacob and Raman, Naveen and Smolyak, Daniel and Yoo, Sung Hyun}, title = {{A Muffin-Theorem Generator}}, booktitle = {9th International Conference on Fun with Algorithms (FUN 2018)}, pages = {15:1--15:19}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-067-5}, ISSN = {1868-8969}, year = {2018}, volume = {100}, editor = {Ito, Hiro and Leonardi, Stefano and Pagli, Linda and Prencipe, Giuseppe}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FUN.2018.15}, URN = {urn:nbn:de:0030-drops-88062}, doi = {10.4230/LIPIcs.FUN.2018.15}, annote = {Keywords: Fair Division, Theorem Generation} } @InProceedings{czyzowicz_et_al:LIPIcs.FUN.2018.16, author = {Czyzowicz, Jurek and Georgiou, Konstantinos and Killick, Ryan and Kranakis, Evangelos and Krizanc, Danny and Narayanan, Lata and Opatrny, Jaroslav and Shende, Sunil}, title = {{God Save the Queen}}, booktitle = {9th International Conference on Fun with Algorithms (FUN 2018)}, pages = {16:1--16:20}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-067-5}, ISSN = {1868-8969}, year = {2018}, volume = {100}, editor = {Ito, Hiro and Leonardi, Stefano and Pagli, Linda and Prencipe, Giuseppe}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FUN.2018.16}, URN = {urn:nbn:de:0030-drops-88074}, doi = {10.4230/LIPIcs.FUN.2018.16}, annote = {Keywords: Algorithm, Evacuation, Exit, Disk, Wireless Communication, Queen, Priority, Robots, Search, Servants, Trajectory} } @InProceedings{dehaan_et_al:LIPIcs.FUN.2018.17, author = {de Haan, Ronald and Wolf, Petra}, title = {{Restricted Power - Computational Complexity Results for Strategic Defense Games}}, booktitle = {9th International Conference on Fun with Algorithms (FUN 2018)}, pages = {17:1--17:14}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-067-5}, ISSN = {1868-8969}, year = {2018}, volume = {100}, editor = {Ito, Hiro and Leonardi, Stefano and Pagli, Linda and Prencipe, Giuseppe}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FUN.2018.17}, URN = {urn:nbn:de:0030-drops-88082}, doi = {10.4230/LIPIcs.FUN.2018.17}, annote = {Keywords: Computational complexity, generalized games, metatheorems} } @InProceedings{demaine_et_al:LIPIcs.FUN.2018.18, author = {Demaine, Erik D. and Grosof, Isaac and Lynch, Jayson and Rudoy, Mikhail}, title = {{Computational Complexity of Motion Planning of a Robot through Simple Gadgets}}, booktitle = {9th International Conference on Fun with Algorithms (FUN 2018)}, pages = {18:1--18:21}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-067-5}, ISSN = {1868-8969}, year = {2018}, volume = {100}, editor = {Ito, Hiro and Leonardi, Stefano and Pagli, Linda and Prencipe, Giuseppe}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FUN.2018.18}, URN = {urn:nbn:de:0030-drops-88098}, doi = {10.4230/LIPIcs.FUN.2018.18}, annote = {Keywords: PSPACE, hardness, motion planning, puzzles} } @InProceedings{demaine_et_al:LIPIcs.FUN.2018.19, author = {Demaine, Erik D. and Lockhart, Joshua and Lynch, Jayson}, title = {{The Computational Complexity of Portal and Other 3D Video Games}}, booktitle = {9th International Conference on Fun with Algorithms (FUN 2018)}, pages = {19:1--19:22}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-067-5}, ISSN = {1868-8969}, year = {2018}, volume = {100}, editor = {Ito, Hiro and Leonardi, Stefano and Pagli, Linda and Prencipe, Giuseppe}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FUN.2018.19}, URN = {urn:nbn:de:0030-drops-88104}, doi = {10.4230/LIPIcs.FUN.2018.19}, annote = {Keywords: video games, hardness, motion planning, NP, PSPACE} } @InProceedings{eppstein:LIPIcs.FUN.2018.20, author = {Eppstein, David}, title = {{Faster Evaluation of Subtraction Games}}, booktitle = {9th International Conference on Fun with Algorithms (FUN 2018)}, pages = {20:1--20:12}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-067-5}, ISSN = {1868-8969}, year = {2018}, volume = {100}, editor = {Ito, Hiro and Leonardi, Stefano and Pagli, Linda and Prencipe, Giuseppe}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FUN.2018.20}, URN = {urn:nbn:de:0030-drops-88119}, doi = {10.4230/LIPIcs.FUN.2018.20}, annote = {Keywords: subtraction games, Sprague-Grundy theory, nim-values} } @InProceedings{eppstein:LIPIcs.FUN.2018.21, author = {Eppstein, David}, title = {{Making Change in 2048}}, booktitle = {9th International Conference on Fun with Algorithms (FUN 2018)}, pages = {21:1--21:13}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-067-5}, ISSN = {1868-8969}, year = {2018}, volume = {100}, editor = {Ito, Hiro and Leonardi, Stefano and Pagli, Linda and Prencipe, Giuseppe}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FUN.2018.21}, URN = {urn:nbn:de:0030-drops-88124}, doi = {10.4230/LIPIcs.FUN.2018.21}, annote = {Keywords: 2048, change-making problem, greedy algorithm, integer sequences, halting problem} } @InProceedings{hamann_et_al:LIPIcs.FUN.2018.22, author = {Hamann, Heiko and Markarian, Christine and Meyer auf der Heide, Friedhelm and Wahby, Mostafa}, title = {{Pick, Pack, \& Survive: Charging Robots in a Modern Warehouse based on Online Connected Dominating Sets}}, booktitle = {9th International Conference on Fun with Algorithms (FUN 2018)}, pages = {22:1--22:13}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-067-5}, ISSN = {1868-8969}, year = {2018}, volume = {100}, editor = {Ito, Hiro and Leonardi, Stefano and Pagli, Linda and Prencipe, Giuseppe}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FUN.2018.22}, URN = {urn:nbn:de:0030-drops-88136}, doi = {10.4230/LIPIcs.FUN.2018.22}, annote = {Keywords: connected dominating set, online algorithm, competitive analysis, geometric graph, robot warehouse, recharging stations} } @InProceedings{holzer_et_al:LIPIcs.FUN.2018.23, author = {Holzer, Markus and Maurer, Jan-Tobias}, title = {{Selection Via the Bogo-Method - More on the Analysis of Perversely Awful Randomized Algorithms}}, booktitle = {9th International Conference on Fun with Algorithms (FUN 2018)}, pages = {23:1--23:21}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-067-5}, ISSN = {1868-8969}, year = {2018}, volume = {100}, editor = {Ito, Hiro and Leonardi, Stefano and Pagli, Linda and Prencipe, Giuseppe}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FUN.2018.23}, URN = {urn:nbn:de:0030-drops-88146}, doi = {10.4230/LIPIcs.FUN.2018.23}, annote = {Keywords: selection, bogo-method, combinatorial sums and series, inverse binomial coefficients, experimental result} } @InProceedings{iwamoto_et_al:LIPIcs.FUN.2018.24, author = {Iwamoto, Chuzo and Haruishi, Masato and Ibusuki, Tatsuaki}, title = {{Herugolf and Makaro are NP-complete}}, booktitle = {9th International Conference on Fun with Algorithms (FUN 2018)}, pages = {24:1--24:11}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-067-5}, ISSN = {1868-8969}, year = {2018}, volume = {100}, editor = {Ito, Hiro and Leonardi, Stefano and Pagli, Linda and Prencipe, Giuseppe}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FUN.2018.24}, URN = {urn:nbn:de:0030-drops-88159}, doi = {10.4230/LIPIcs.FUN.2018.24}, annote = {Keywords: Herugolf, Makaro, pencil puzzle, NP-complete} } @InProceedings{kimura_et_al:LIPIcs.FUN.2018.25, author = {Kimura, Kei and Kamehashi, Takuya and Fujito, Toshihiro}, title = {{The Fewest Clues Problem of Picross 3D}}, booktitle = {9th International Conference on Fun with Algorithms (FUN 2018)}, pages = {25:1--25:13}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-067-5}, ISSN = {1868-8969}, year = {2018}, volume = {100}, editor = {Ito, Hiro and Leonardi, Stefano and Pagli, Linda and Prencipe, Giuseppe}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FUN.2018.25}, URN = {urn:nbn:de:0030-drops-88168}, doi = {10.4230/LIPIcs.FUN.2018.25}, annote = {Keywords: Puzzle, computational complexity, fewest clues problem} } @InProceedings{kitamura_et_al:LIPIcs.FUN.2018.26, author = {Kitamura, Naoki and Kawabata, Yuya and Izumi, Taisuke}, title = {{Uniform Distribution On Pachinko}}, booktitle = {9th International Conference on Fun with Algorithms (FUN 2018)}, pages = {26:1--26:14}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-067-5}, ISSN = {1868-8969}, year = {2018}, volume = {100}, editor = {Ito, Hiro and Leonardi, Stefano and Pagli, Linda and Prencipe, Giuseppe}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FUN.2018.26}, URN = {urn:nbn:de:0030-drops-88170}, doi = {10.4230/LIPIcs.FUN.2018.26}, annote = {Keywords: Pachinko, discrete mathematics} } @InProceedings{lafond:LIPIcs.FUN.2018.27, author = {Lafond, Manuel}, title = {{The complexity of speedrunning video games}}, booktitle = {9th International Conference on Fun with Algorithms (FUN 2018)}, pages = {27:1--27:19}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-067-5}, ISSN = {1868-8969}, year = {2018}, volume = {100}, editor = {Ito, Hiro and Leonardi, Stefano and Pagli, Linda and Prencipe, Giuseppe}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FUN.2018.27}, URN = {urn:nbn:de:0030-drops-88187}, doi = {10.4230/LIPIcs.FUN.2018.27}, annote = {Keywords: Approximation algorithms, parameterized complexity, video games, knapsack, feedback arc set} } @InProceedings{polishchuk_et_al:LIPIcs.FUN.2018.28, author = {Polishchuk, Valentin and Sedov, Leonid}, title = {{Gender-Aware Facility Location in Multi-Gender World}}, booktitle = {9th International Conference on Fun with Algorithms (FUN 2018)}, pages = {28:1--28:16}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-067-5}, ISSN = {1868-8969}, year = {2018}, volume = {100}, editor = {Ito, Hiro and Leonardi, Stefano and Pagli, Linda and Prencipe, Giuseppe}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FUN.2018.28}, URN = {urn:nbn:de:0030-drops-88191}, doi = {10.4230/LIPIcs.FUN.2018.28}, annote = {Keywords: visibility, Strahler number, perfect tree, interval graphs, gender studies} } @InProceedings{sasaki_et_al:LIPIcs.FUN.2018.29, author = {Sasaki, Tatsuya and Mizuki, Takaaki and Sone, Hideaki}, title = {{Card-Based Zero-Knowledge Proof for Sudoku}}, booktitle = {9th International Conference on Fun with Algorithms (FUN 2018)}, pages = {29:1--29:10}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-067-5}, ISSN = {1868-8969}, year = {2018}, volume = {100}, editor = {Ito, Hiro and Leonardi, Stefano and Pagli, Linda and Prencipe, Giuseppe}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FUN.2018.29}, URN = {urn:nbn:de:0030-drops-88207}, doi = {10.4230/LIPIcs.FUN.2018.29}, annote = {Keywords: Zero-knowledge proof, Card-based cryptography, Sudoku} } @InProceedings{schwahn_et_al:LIPIcs.FUN.2018.30, author = {Schwahn, Florian D. and Thielen, Clemens}, title = {{The Complexity of Escaping Labyrinths and Enchanted Forests}}, booktitle = {9th International Conference on Fun with Algorithms (FUN 2018)}, pages = {30:1--30:13}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-067-5}, ISSN = {1868-8969}, year = {2018}, volume = {100}, editor = {Ito, Hiro and Leonardi, Stefano and Pagli, Linda and Prencipe, Giuseppe}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FUN.2018.30}, URN = {urn:nbn:de:0030-drops-88210}, doi = {10.4230/LIPIcs.FUN.2018.30}, annote = {Keywords: board games, combinatorial game theory, computational complexity} } @InProceedings{shinagawa_et_al:LIPIcs.FUN.2018.31, author = {Shinagawa, Kazumasa and Mizuki, Takaaki}, title = {{Card-based Protocols Using Triangle Cards}}, booktitle = {9th International Conference on Fun with Algorithms (FUN 2018)}, pages = {31:1--31:13}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-067-5}, ISSN = {1868-8969}, year = {2018}, volume = {100}, editor = {Ito, Hiro and Leonardi, Stefano and Pagli, Linda and Prencipe, Giuseppe}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FUN.2018.31}, URN = {urn:nbn:de:0030-drops-88228}, doi = {10.4230/LIPIcs.FUN.2018.31}, annote = {Keywords: Cryptography without computer, Secure computation, Card-based protocols, Triangle cards, Three-valued computation, Secure matching problem} } @InProceedings{tamir:LIPIcs.FUN.2018.32, author = {Tamir, Tami}, title = {{The Power of One Secret Agent}}, booktitle = {9th International Conference on Fun with Algorithms (FUN 2018)}, pages = {32:1--32:15}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-067-5}, ISSN = {1868-8969}, year = {2018}, volume = {100}, editor = {Ito, Hiro and Leonardi, Stefano and Pagli, Linda and Prencipe, Giuseppe}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FUN.2018.32}, URN = {urn:nbn:de:0030-drops-88237}, doi = {10.4230/LIPIcs.FUN.2018.32}, annote = {Keywords: Job scheduling games, Cost sharing, Equilibrium inefficiency} }