  A class of graphs $\mathscr{C}$ is monadically stable if for any unary
expansion $\widehat{\mathscr{C}}$ of $\mathscr{C}$, one cannot interpret, in
first-order logic, arbitrarily long linear orders in graphs from
$\widehat{\mathscr{C}}$. It is known that nowhere dense graph classes are
monadically stable; these encompass most of the studied concepts of sparsity in
graphs, including graph classes that exclude a fixed topological minor. On the
other hand, monadic stability is a property expressed in purely model-theoretic
terms and hence it is also suited for capturing structure in dense graphs.
  For several years, it has been suspected that one can create a structure
theory for monadically stable graph classes that mirrors the theory of nowhere
dense graph classes in the dense setting. In this work we provide a step in
this direction by giving a characterization of monadic stability through the
Flipper game: a game on a graph played by Flipper, who in each round can
complement the edge relation between any pair of vertex subsets, and Connector,
who in each round localizes the game to a ball of bounded radius. This is an
analog of the Splitter game, which characterizes nowhere dense classes of
graphs (Grohe, Kreutzer, and Siebertz, J.ACM'17).
  We give two different proofs of our main result. The first proof uses tools
from model theory, and it exposes an additional property of monadically stable
graph classes that is close in spirit to definability of types. Also, as a
byproduct, we give an alternative proof of the recent result of Braunfeld and
Laskowski (arXiv 2209.05120) that monadic stability for graph classes coincides
with existential monadic stability. The second proof relies on the recently
introduced notion of flip-wideness (Dreier, M\"ahlmann, Siebertz, and
Toru\'nczyk, arXiv 2206.13765) and provides an efficient algorithm to compute
Flipper's moves in a winning strategy.
