Abstrakt. Vi introducerar perfekta halvrymd spel, där målet för Player 2 är att göra summorna av stött multidimensionella vikter avvika i en riktning som överensstämmer med en vald sekvens av perfekta halvrymder ( valda dynamiskt av Player 2). Vi konstaterar att de avgränsande spel Jurdziński et al. (ICAP 2015) kan reduceras till perfekta halvrymdsspel, som i sin tur kan översättas till lexikografiska energispel av Colcombet och Niwiński, och är positionerat i en stark betydelse (spelare 2 kan spela utan att veta den nuvarande perfekta halvrymden). Vi visar slutligen hur perfekta halvrymdsspel och avgränsande spel kan användas för att lösa flerdimensionella energiparitetsspel i pseudo-polynom tid när både antalet energidimensioner och prioriteringar är fasta, oavsett om den ursprungliga krediten ges som en del av inmatningen eller existentiellt kvantifieras. Detta ger också en optimal 2-EXPTIME komplexitet med given initial kredit, där den mest kända övre gränsen var icke-elementär.
Nära besläktade perfekta halvrymdsspel studeras i REF, där det visas att optimal komplexitet övre gränser kan erhållas för energispel genom att använda perfekta halvrymdsspel.
Perfect Half Space Games
{'venue': '32nd Annual ACM/IEEE Symposium on Logic In Computer Science (LICS 2017)', 'journal': None, 'mag_field_of_study': ['Computer Science', 'Mathematics']}