---
title: Minimum Strategy in Safety Graph Games
url: https://www.emergentmind.com/topics/minimum-strategy
type: topic
---

# Minimum Strategy in Safety Graph Games

Searching arXiv for the focal paper and closely related work on memory in graph games.
“Minimum strategy” in the context of graph games with safety objectives denotes the least amount of finite memory required by a winning player to ensure that no forbidden finite prefix is ever produced along a play. In two-player games on colored directed graphs, the paper “Playing Safe, Ten Years Later” identifies this quantity exactly for arbitrary safety objectives by relating it to the order-theoretic structure of the objective’s left quotients [2212.12024]. The central result is that the minimum number of memory states needed by a winning strategy is the width of the partially ordered set of residual safety languages under inclusion; this holds on finite-degree arenas without regularity assumptions, and on arbitrary arenas when the quotient order is well-founded [2212.12024].

## 1. Formal setting and the notion of minimum strategy

The game model is a two-player game over a colored arena
\[
A=(V,(V_E,V_A),E,c),
\]
where \(V_E\) and \(V_A\) are Eve’s and Adam’s vertices, \(E\subseteq V\times V\) is the edge relation, and \(c:E\to\mathbb{A}\) labels edges over a finite alphabet \(\mathbb{A}\) [2212.12024]. A play is an infinite path whose induced color sequence lies in \(\mathbb{A}^\omega\) [2212.12024].

A safety objective is specified by a set \(P\subseteq \mathbb{A}^*\) of forbidden finite prefixes. The induced safety language is
\[
Safe(P)=\{\rho=a_0a_1a_2\cdots\in \mathbb{A}^\omega \mid \forall i,\; a_0a_1\cdots a_i\notin P\}.
\]
Eve wins if she can ensure that no prefix of the color sequence ever belongs to \(P\) [2212.12024].

A strategy for Eve maps finite histories ending in an Eve vertex to legal outgoing edges. Finite-memory strategies are implemented by a memory structure
\[
M=(M,m_0,\delta),
\]
with memory states \(M\), initial state \(m_0\), and update function \(\delta:M\times E\to M\), together with a next-move function \(\mu:V_E\times M\to E\) [2212.12024]. The question is then intrinsic: among all winning strategies from winning positions, what is the smallest possible cardinality \(|M|\)?

The paper formalizes the worst-case minimum memory requirement of a safety objective \(W\) by a quantity \(mem(W)\), defined as the supremum, over all games with objective \(W\) and all winning initial vertices, of the minimum memory size of a winning strategy from that vertex [2212.12024]. A finite-degree variant \(\underline{mem}(W)\) restricts the supremum to arenas of finite degree [2212.12024]. This is the precise meaning of a “minimum strategy”: not merely a winning strategy with some finite-memory upper bound, but a strategy using the smallest possible number of memory states in the worst case [2212.12024].

## 2. Left quotients, inclusion order, and antichain width

The main combinatorial object is the family of left quotients, or residual objectives. For a safety objective \(W\subseteq\mathbb{A}^\omega\) and a finite word \(w\in\mathbb{A}^*\),
\[
w^{-1}W=\{\rho\in \mathbb{A}^\omega \mid w\rho\in W\}.
\]
This is the remaining objective after the prefix \(w\) has already been observed [2212.12024]. The set of all such residual languages is denoted \(Res(W)\) [2212.12024].

These residuals are ordered by language inclusion:
\[
L_1\le L_2 \quad \text{iff}\quad L_1\subseteq L_2.
\]
An antichain is a set of pairwise incomparable residuals. The width of \((Res(W),\subseteq)\) is the size of a largest antichain [2212.12024].

This order-theoretic viewpoint captures how much memory is genuinely needed. If one residual language is included in another, then satisfying the smaller one is stronger; a strategy safe for the smaller residual is automatically safe for the larger one [2212.12024]. Hence memory need not distinguish all residuals, only enough incomparable obligations to preserve winning information. Conversely, incomparable residuals represent genuinely different future obligations that the opponent can exploit if they are merged in memory [2212.12024].

The paper’s representative example is the safety objective “never see both \(a\) and \(b\),” defined by
\[
P=\mathbb{A}^*a\mathbb{A}^*b\ \cup\ \mathbb{A}^*b\mathbb{A}^*a.
\]
After reading \(a\), the residual becomes “only \(a\)’s and neutral letters may follow”; after reading \(b\), symmetrically [2212.12024]. These two residuals are incomparable under inclusion, so the width is at least \(2\), and two memory states are required to remember which relevant letter was seen first [2212.12024].

## 3. Exact characterization theorem

The main theorem states:
\[
\underline{mem}(W)=\mathrm{width}(Res(W),\subseteq)
\]
for all safety objectives \(W\) [2212.12024]. Moreover, if \((Res(W),\subseteq)\) is well-founded, then
\[
mem(W)=\mathrm{width}(Res(W),\subseteq).
\]
In particular, this applies to regular safety objectives, since regularity implies well-foundedness of the quotient order in the sense used by the paper [2212.12024].

Thus the minimum amount of memory is exactly the size of a largest antichain of left quotients. The result is exact rather than asymptotic, and it applies to arbitrary safety objectives, including non-regular ones, on finite-degree arenas [2212.12024].

The theorem sharpens earlier automata-based upper bounds by replacing the crude estimate \(|Res(W)|\) with the much smaller and exact invariant given by width. It also reframes the memory problem as an order-theoretic one: the complexity of a safety objective is measured not by the total number of residuals but by how many of them are mutually incomparable [2212.12024].

A further corollary identifies the half-positional case. Over finite-degree arenas,
\[
mem(W)=1 \iff (Res(W),\subseteq)\text{ is a linear order}.
\]
So positionality for safety objectives is equivalent to residual languages being totally ordered by inclusion [2212.12024].

## 4. Why antichain width determines memory

The upper-bound argument begins with the observation that one can always store the current residual objective \(c(\pi)^{-1}W\), where \(\pi\) is the play prefix. This already yields \(|Res(W)|\) memory states, but it is generally non-optimal [2212.12024].

In the well-founded case, one considers at each vertex the minimal winning residuals under inclusion. These minimal winning residuals form an antichain, so there are at most
\[
K=\mathrm{width}(Res(W),\subseteq)
\]
such obligations [2212.12024]. Memory state \(i\in\{1,\dots,K\}\) tracks one minimal obligation, and the strategy preserves the invariant
\[
L_i(v)\subseteq c(\pi)^{-1}W
\]
along the current play prefix \(\pi\) [2212.12024]. Since the tracked residual is always a nonempty under-approximation of the actual residual objective, safety is maintained.

When the quotient order is not well-founded, minimal residuals may fail to exist. The paper then uses a Dilworth-style chain decomposition: the set of winning quotients at a vertex is covered by at most \(K\) chains, and memory tracks a chain rather than a single quotient [2212.12024]. The invariant becomes that some quotient in the tracked chain under-approximates the current residual. This yields the upper bound on finite-degree arenas without any regularity hypothesis [2212.12024].

The lower bound is dual. Choose a largest antichain
\[
\{w_1^{-1}W,\dots,w_K^{-1}W\}\subseteq Res(W).
\]
For every pair \(i\neq j\), incomparability yields a witness \(u_{i,j}\) belonging to one residual but not the other [2212.12024]. The authors then construct a game where Adam first selects which prefix \(w_i\) has effectively occurred, Eve must react from her current memory state, and Adam finally uses a witness \(u_{i,j}\) to expose any incorrect merger of incomparable obligations [2212.12024]. If Eve had fewer than \(K\) memory states, two incomparable residuals would necessarily be identified, and Adam could force a loss. Hence at least \(K\) states are necessary [2212.12024].

The width therefore yields both the optimal upper bound and the matching lower bound. This is the substantive content of the minimum-strategy theorem [2212.12024].

## 5. Constructive synthesis of memory-optimal strategies

The result is constructive. In the regular or well-founded case, the proof yields an explicit synthesis method [2212.12024]:

1. compute or identify the winning left quotients at each vertex;
2. select the minimal winning quotients under inclusion;
3. index these by memory states \(1,\dots,K\), where \(K\) is the width;
4. update memory after reading a color \(a\) by moving from a quotient \(L\) to one below \(L\cdot a\);
5. at Eve vertices, choose an edge preserving winningness of the tracked residual.

In finite-degree arenas without well-foundedness, the construction replaces antichains of minimal quotients by a cover of the winning quotients with \(K\) decreasing chains, and the memory update moves between these chains as the residual objective evolves [2212.12024].

This synthesis aspect is significant because the characterization is not merely existential. The quotient poset does not only determine the optimum value of memory; it also provides the structural template for an optimal finite-memory controller [2212.12024].

A plausible implication is that for non-regular safety objectives, order-theoretic analysis can play the role that automata minimization plays for regular objectives. The paper presents the quotient-width principle as precisely such a foundational replacement [2212.12024].

## 6. Applications and examples

Two applications are emphasized.

For generalized reachability viewed dually as a safety objective, let the alphabet be \(\{\bot,1,\dots,k\}\) and define
\[
W=\{w\in \mathbb{A}^\omega \mid \exists i\in\{1,\dots,k\},\ \forall n,\ w_n\neq i\}.
\]
This means that at least one distinguished color is never seen [2212.12024]. The left quotients correspond to strict subsets of \(\{1,\dots,k\}\), ordered by inclusion. By Sperner’s theorem, the width is
\[
\binom{k}{\lfloor k/2\rfloor}.
\]
Therefore
\[
mem(W)=\binom{k}{\lfloor k/2\rfloor},
\]
and this gives the exact memory requirement for the opponent in generalized reachability games [2212.12024].

For games with counters, the paper studies boundedness objectives \(W_N\), requiring the counter to remain at most \(N\) under arbitrary monotone counter actions. The residuals are linearly ordered, so width equals \(1\), and the objective is half-positional:
\[
mem(W_N)=1.
\]
The same reasoning applies to energy objectives with monotone updates; positional strategies suffice because the residual languages are linearly ordered by inclusion [2212.12024].

These examples illustrate two extremes: one family where width grows combinatorially, and another where width collapses to one. In both cases the characterization yields exact memory rather than upper and lower bounds separated by a gap [2212.12024].

## 7. Scope, caveats, and significance

The theorem has an important qualification. In full generality, exact characterization by width requires either finite-degree arenas or well-foundedness of the quotient order [2212.12024]. The paper gives the outbidding objective as a counterexample showing that finite degree cannot be dropped without replacement: although the quotient poset has width \(3\), there exists an infinite-degree arena where Eve can win only with infinite memory [2212.12024]. So width is not an unconditional characterization on arbitrary arenas.

This caveat separates two regimes. On finite-degree arenas, width always gives the exact minimum memory for safety objectives. On arbitrary arenas, width remains exact only when the quotient order is well-founded [2212.12024]. Regular safety objectives fall into the latter class.

The broader significance of the work lies in its generality. The paper presents the result as a sharpened formulation of a 2014 insight, now framed as a foundational principle: the exact memory requirement of a safety objective is the width of its residual-language poset [2212.12024]. It also notes that this result became a stepping stone for later developments on positionality, chromatic memory, universal graphs, and memory characterizations beyond regular objectives [2212.12024].

At the same time, the paper is explicit about its limits. The characterization is precise for safety objectives, including non-regular ones, but the wider program of characterizing memory requirements for all \(\omega\)-regular objectives remains open [2212.12024]. A reasonable interpretation is that safety provides a model case in which topology and order theory fully determine memory, while more general winning conditions still resist such an exact description.

In summary, the paper’s answer to the minimum-strategy problem is exact and structural:
\[
\boxed{\text{minimum memory}=\mathrm{width}(Res(W),\subseteq).}
\]
For safety games, memory is neither governed by automaton size alone nor by ad hoc strategy constructions, but by the antichain complexity of the residual objective space [2212.12024].

Source: https://www.emergentmind.com/topics/minimum-strategy