Rock-Paper-Scissors (Intransitive Cyclic Dominance)¶
Core Idea¶
A beats-relation is intransitive when "A beats B" and "B beats C" do not entail "A beats C," and in its strongest form closes into a cycle: A beats B beats C beats A. No option is globally dominant; ranking is a property of the relation, not the options, and the system is governed by rotation rather than convergence.
How would you explain it like I'm…
The Beating Circle
In rock-paper-scissors, rock beats scissors, scissors beats paper, and paper beats rock — so nothing is the best, it goes in a circle. You can't pick a "winner" move because each one loses to another. The only smart plan is to mix it up and not always play the same thing.
No Best Move
Sometimes "beats" goes in a circle instead of a straight line: A beats B, B beats C, but C beats A — like rock, paper, scissors. When that happens there's no single best choice, because every option loses to something. That circle is called intransitive: "A beats B" and "B beats C" do NOT mean "A beats C." The big idea is that winning is a property of the matchup, not of any one option. So instead of asking "which is best?", you ask "who beats whom?" — and the smart move is to mix your choices, because if you always played one thing, someone could always pick the thing that beats it.
Intransitive Cyclic Dominance
A relation over a set of options is intransitive when "A beats B" and "B beats C" don't entail "A beats C" — and in its strongest form a cycle closes: A beats B, B beats C, C beats A. No option is globally dominant; the ranking is circular, not linear. The decisive consequence is that any attempt to pick "the best" collapses, because there is no best, and behavior is governed by the cycle's dynamics — mixed strategies, rotation, coexistence — rather than convergence to an apex. The load-bearing point is that ranking is a property of the relation, not of the options: the familiar game is just the most recognizable instance of a topological fact — the beats-graph contains a directed cycle, and a directed cycle admits no consistent linear order. From that one fact much follows: no pure-strategy equilibrium (the only equilibrium is mixed, weighting every option); under population dynamics all types coexist and their shares oscillate, since any monoculture is invadable by whatever beats it; and any procedure needing a linear order — single-winner voting, consistent pairwise rating — gives arbitrary or unstable results. The discipline is to ask "who beats whom?" rather than "which is best?", and to tell genuine intransitivity in the payoff graph from apparent intransitivity from sampling noise or shifting context.
A relation over a set of options is intransitive when "A beats B" and "B beats C" do not entail "A beats C" — and in its strongest form a cycle closes: A beats B, B beats C, C beats A. No option is globally dominant; the ranking is circular rather than linear. The structural consequence is decisive: any attempt to pick "the best" collapses, because there is no best, and the system's behavior is governed by the cycle's dynamics — mixed strategies, rotation, coexistence — rather than by convergence to an apex. The load-bearing structural content is that ranking is a property of the relation, not of the options. The folk game that lends the pattern its name is merely the most familiar instance of a topological fact about binary relations: the beats-graph contains a directed cycle, and a directed cycle admits no consistent linear order. From this single fact a great deal follows without further detail. There is no pure-strategy equilibrium; the unique equilibrium is mixed, assigning each option positive weight. Under population dynamics, all types coexist at positive frequency and their shares oscillate, because any monoculture is invadable by the type that beats it. And any procedure that requires a linear order — single-winner voting, fully consistent pairwise rating, optimization toward "the best" — will produce arbitrary or unstable results when applied to a cyclic relation. The discipline the prime imposes is to ask not "which is best?" but "who beats whom?", and to distinguish genuine intransitivity, present in the payoff graph, from apparent intransitivity arising from sampling noise or shifting context.
Broad Use¶
- Game theory: rock-paper-scissors itself has a unique Nash equilibrium at the uniform mixed strategy, because no pure choice dominates.
- Ecology: the side-blotched lizard's three mating morphs cycle in dominance, and toxin-producer/sensitive/resistant bacterial strains coexist by cyclic competition.
- Social choice: Condorcet's paradox — majorities prefer A over B, B over C, and C over A, so no Condorcet winner exists.
- Sports: stylistic matchups produce reliable cycles where Team A beats B beats C beats A, defying any linear power-ranking.
- Markets: three competing standards form a triangle — generalist beats specialist beats super-specialist beats generalist — with no stable winner.
Clarity¶
It makes visible that ranking lives in the relation, so a reasoner stops asking "which is best?" and starts asking "who beats whom?" — exposing why any procedure presupposing a linear order is incoherent here.
Manages Complexity¶
Once the cycle is identified, the impossibility results — no linear order, no stable monoculture — come for free, sparing the futile search for a best option the structure forbids.
Abstract Reasoning¶
The cycle alone, with no further payoff detail, predicts a package: no pure-strategy equilibrium, persistent coexistence, oscillating shares, and invadability of any monoculture by the type that beats it.
Knowledge Transfer¶
- Ecology → markets: the persistence of three rivals with no clear winner suggests cyclic dominance rather than market inefficiency.
- Voting → model evaluation: intransitive benchmark results imply there is no single ranking, only profiles.
- Games → institutional design: deliberately building a cyclic check-triangle, where three powers each constrain the next, prevents any one from dominating.
Example¶
The side-blotched lizard's three male mating morphs form a reproductive-dominance cycle, and field observations show their frequencies oscillate over generations exactly as the structure predicts — coexistence of all three is mandated, not accidental.
Relationships to Other Primes¶
Parents (1) — more general patterns this builds on
- Rock-Paper-Scissors (Intransitive Cyclic Dominance) is a kind of, typical Competition — The file: competition imposes no constraint on the beats-graph topology and can be transitive (a pecking order); rock_paper_scissors is 'the specific subcase where the beats-relation closes into a directed cycle.' A specialization of competition by relation-topology.
Path to root: Rock-Paper-Scissors (Intransitive Cyclic Dominance) → Competition
Not to Be Confused With¶
- Rock-Paper-Scissors is not Competition because competition imposes no constraint on the beats-graph and can be transitive, whereas this prime is the specific subcase where the relation closes into a cycle.
- Rock-Paper-Scissors is not Equilibrium because equilibrium foregrounds a rest state, whereas this prime foregrounds the impossibility of a pure rest state and the rotation that replaces it.
- Rock-Paper-Scissors is not Oscillation because oscillation is the temporal symptom, whereas the intransitive beats-graph is the relational cause that drives it.