ARRIVAL: Next stop in CLS

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

Dokumenter

  • Bernd Gärtner
  • Thomas Dueholm Hansen
  • Pavel Hubácek
  • Karel Král
  • Hagar Mosaad
  • Veronika Slívová

We study the computational complexity of Arrival, a zero-player game on n-vertex switch graphs introduced by Dohrau, Gärtner, Kohler, Matoušek, and Welzl. They showed that the problem of deciding termination of this game is contained in NP ∩ coNP. Karthik C. S. recently introduced a search variant of Arrival and showed that it is in the complexity class PLS. In this work, we significantly improve the known upper bounds for both the decision and the search variants of Arrival. First, we resolve a question suggested by Dohrau et al. and show that the decision variant of Arrival is in UP ∩ coUP. Second, we prove that the search variant of Arrival is contained in CLS. Third, we give a randomized O(1.4143n)-time algorithm to solve both variants. Our main technical contributions are (a) an e ciently verifiable characterization of the unique witness for termination of the Arrival game, and (b) an e cient way of sampling from the state space of the game. We show that the problem of finding the unique witness is contained in CLS, whereas it was previously conjectured to be FPSPACE-complete. The e cient sampling procedure yields the first algorithm for the problem that has expected runtime O(cn) with c < 2.

OriginalsprogEngelsk
Titel45th International Colloquium on Automata, Languages, and Programming, ICALP 2018
RedaktørerIoannis Chatzigiannakis , Christos Kaklamanis, Da}niel Marx, Donald Sannella
Antal sider13
ForlagSchloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
Publikationsdato2018
Artikelnummer60
ISBN (Elektronisk)9783959770767
DOI
StatusUdgivet - 2018
Begivenhed45th International Colloquium on Automata, Languages, and Programming, ICALP 2018 - Prague, Tjekkiet
Varighed: 9 jul. 201813 jul. 2018

Konference

Konference45th International Colloquium on Automata, Languages, and Programming, ICALP 2018
LandTjekkiet
ByPrague
Periode09/07/201813/07/2018
SponsorAvast, RSJ
NavnLeibniz International Proceedings in Informatics, LIPIcs
Vol/bind107
ISSN1868-8969

Antal downloads er baseret på statistik fra Google Scholar og www.ku.dk


Ingen data tilgængelig

ID: 203770826