Abstrakt. Energi paritet spel är oändliga två spelare tur-baserade spel som spelas på viktade grafer. Målet med spelet kombinerar en (kvalitativ) paritet villkor med (kvantitativ) krav att summan av vikterna (dvs, nivån på energi i spelet) måste förbli positiv. Förutom sitt eget intresse för utformning och syntes av resursbegränsade omega-regelbundna specifikationer, energi paritet spel ger en av de enklaste modellen av spel med kombinerade kvalitativa och kvantitativa mål. Våra viktigaste resultat är följande: a) exponentiellt minne är tillräckligt och kan vara nödvändigt för att vinna strategier i energi paritet spel; b) problemet med att bestämma vinnaren i energi paritet spel kan lösas i NP  på coNP; och c) vi ger en algoritm för att lösa energi paritet genom minskning till energispel. Vi visar också att problemet med att bestämma vinnaren i energi paritetsspel är polynomiskt likvärdigt med problemet att avgöra vinnaren i medel-payoff paritetsspel, som därmed kan lösas i NP  på coNP. Som en följd av detta får vi också en konceptuellt enkel algoritm för att lösa medel-payoff paritetsspel.
Energispel med paritetsmål har beaktats i REF.
Energy Parity Games
{'venue': 'ArXiv', 'journal': 'ArXiv', 'mag_field_of_study': ['Mathematics', 'Computer Science', 'Medicine']}