Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Characterizing Omega-Regularity through Finite-Memory Determinacy of
  Games on Infinite Graphs   We consider zero-sum games on infinite graphs, with objectives specified as
sets of infinite words over some alphabet of colors. A well-studied class of
objectives is the one of $\omega$-regular objectives, due to its relation to
many natural problems in theoretical computer science. We focus on the strategy
complexity question: given an objective, how much memory does each player
require to play as well as possible? A classical result is that finite-memory
strategies suffice for both players when the objective is $\omega$-regular. We
show a reciprocal of that statement: when both players can play optimally with
a chromatic finite-memory structure (i.e., whose updates can only observe
colors) in all infinite game graphs, then the objective must be
$\omega$-regular. This provides a game-theoretic characterization of
$\omega$-regular objectives, and this characterization can help in obtaining
memory bounds. Moreover, a by-product of our characterization is a new
one-to-two-player lift: to show that chromatic finite-memory structures suffice
to play optimally in two-player games on infinite graphs, it suffices to show
it in the simpler case of one-player games on infinite graphs. We illustrate
our results with the family of discounted-sum objectives, for which
$\omega$-regularity depends on the value of some parameters.

10
The categories of this paper are: q-bio
16
The categories of this paper are: stat
24
The categories of this paper are: dg-ga
13
The categories of this paper are: quant-ph
26
The categories of this paper are: bayes-an
32
The categories of this paper are: atom-ph
9
The categories of this paper are: nlin
11
The categories of this paper are: hep-lat
8
The categories of this paper are: hep-ex
25
The categories of this paper are: patt-sol
34
The categories of this paper are: chem-ph
2
The categories of this paper are: math
35
The categories of this paper are: mtrl-th
33
The categories of this paper are: plasm-ph
21
The categories of this paper are: adap-org
18
The categories of this paper are: econ