<?xml version="1.0" encoding="utf-8"?><feed xmlns="http://www.w3.org/2005/Atom" ><generator uri="https://jekyllrb.com/" version="4.4.1">Jekyll</generator><link href="https://georgewatson.me/feed/culture.xml" rel="self" type="application/atom+xml" /><link href="https://georgewatson.me/" rel="alternate" type="text/html" /><updated>2026-04-20T09:31:50+00:00</updated><id>https://georgewatson.me/feed/culture.xml</id><title type="html">George Watson-Hyde | Culture</title><entry><title type="html">The game theory of Married at First Sight Australia</title><link href="https://georgewatson.me/blog/culture/2021/02/04/the-game-theory-of-married-at-first-sight-australia/" rel="alternate" type="text/html" title="The game theory of Married at First Sight Australia" /><published>2021-02-04T15:11:00+00:00</published><updated>2021-02-04T15:11:00+00:00</updated><id>https://georgewatson.me/blog/culture/2021/02/04/the-game-theory-of-married-at-first-sight-australia</id><content type="html" xml:base="https://georgewatson.me/blog/culture/2021/02/04/the-game-theory-of-married-at-first-sight-australia/"><![CDATA[<p>The surprise hit of Lockdown III
is a 2-year-old rerun
of a trashy reality TV series
from the other side of the world,
in which complete strangers
are placed into arranged marriages
by a team of “experts”
and drama ensues.
But despite its trashy nature,
the wonder from down under
features some surprisingly interesting game theory.</p>

<!--more-->

<hr />

<p>Now, I’m not a game theorist—I’m just a guy
who likes terrible reality TV.
I have little expectation
that this is groundbreaking work,
but the problem struck me as a fun one.</p>

<p>For those less cultured than myself,
<a href="https://en.wikipedia.org/wiki/Married_at_First_Sight_(Australian_TV_series)"><em>Married at First Sight Australia</em></a>
is a programme that has been running for several years,
loosely based on the Danish series
<em>Gift ved første blik</em>—there’s also a UK version,
but it’s much more wholesome
and thus of far less interest.
In the show,
which consistently refers to itself as
“The Experiment”,
a team of people consistently referred to as
“The Experts”,
led by former New Zealand cricketer
<a href="https://en.wikipedia.org/wiki/John_Aiken_(cricketer)">John Aiken</a>,
assign desperate singles
to their ideal partner
based on some loose concept of “science”.
Based on their track record,
I think it’s fair to say
they may be more interested in making good telly
than in lighting the fires of true love.</p>

<p>As the couples begin their married lives together—which,
of course,
consist of living in a big block of flats
with ten or so other couples
and plenty of scope for interpersonal conflict—they
face a series of tests.
The one I am most interested in
for this post
is the weekly “commitment ceremony”,
in which the couples must decide
whether to stay in The Experiment
or cut their losses and leave.
I’ll get to the details in a moment,
but first, a small digression.</p>

<h3 id="the-prisoners-dilemma">The prisoner’s dilemma</h3>

<p>You may be familiar with the
<a href="https://en.wikipedia.org/wiki/Prisoner%27s_dilemma">prisoner’s dilemma</a>,
the game theory classic
in which two players
are faced with a choice:
to coöperate
or to defect,
with no knowledge
of what the other player will choose.
If both players coöperate,
they receive a modest payoff;
if both defect,
they are worse off.
But if Alice coöperates
when Bob defects,
Bob receives a substantial reward
at Alice’s expense.</p>

<p>We can visualise this
as a payoff matrix;
for example:</p>

<table class="nicetable">
  <thead>
    <tr>
      <th> </th>
      <th>B coöperates</th>
      <th>B defects</th>
    </tr>
  </thead>
  <tbody>
    <tr>
      <td><strong>A coöperates</strong></td>
      <td>(2, 2)</td>
      <td>(0, 3)</td>
    </tr>
    <tr>
      <td><strong>A defects</strong></td>
      <td>(3, 0)</td>
      <td>(1, 1)</td>
    </tr>
  </tbody>
</table>

<p>Here,
the first value
in each couplet
is the payoff for Alice,
and the second for Bob.
If Alice coöperates,
she will receive 2 points if Bob does the same,
or zero otherwise.
If Alice defects,
she will receive 3 points if Bob coöperates,
or one if Bob also defects.
It is thus clearly in Alice’s interest to defect.</p>

<p>Except that if both players defect,
they both end up with a suboptimal payout.
The total return
is actually greatest
if both players coöperate—but this comes with substantial personal risk.
Hence the dilemma.</p>

<p>In a more generalised form,</p>

<table class="nicetable">
  <thead>
    <tr>
      <th> </th>
      <th>B coöperates</th>
      <th>B defects</th>
    </tr>
  </thead>
  <tbody>
    <tr>
      <td><strong>A coöperates</strong></td>
      <td>(<em>w</em>, <em>w</em>)</td>
      <td>(<em>x</em>, <em>y</em>)</td>
    </tr>
    <tr>
      <td><strong>A defects</strong></td>
      <td>(<em>y</em>, <em>x</em>)</td>
      <td>(<em>z</em>, <em>z</em>)</td>
    </tr>
  </tbody>
</table>

<p>For the classic prisoner’s dilemma,
\(y &gt; w &gt; z &gt; x\),
and it’s at its most interesting when
\(2w &gt; x + y &gt; 2z\)
so that mutual coöperation maximises the overall returns
and mutual defection minimises them.</p>

<p>There are
<a href="http://reasonableapproximation.net/2020/07/04/classifying-games-like-prisoners-dilemma.html">lots of alternative versions</a>
with different payoff matrices.
But what does this have to do
with Australian people marrying strangers?</p>

<h3 id="the-commitment-ceremony">The Commitment Ceremony</h3>

<p>Once a week,
the couples are split up,
with the men
(player A)
and women
(player B)
sent into separate rooms.
With them,
they take a piece of paper
and a pen,
with which they are to write
either “Stay” or “Leave”.
So far,
this setup sounds pretty prisoner-y.</p>

<p>So, if you’re happy with your relationship,
you probably want to stay.
If you’re unhappy,
you probably want to leave.
But here’s the catch:
Because The Experts
have a loose understanding of consent,
a couple can only leave
if <em>both</em> partners write “Leave” on their card.</p>

<p>So the matrix of outcomes
looks a bit like this:</p>

<table class="nicetable">
  <thead>
    <tr>
      <th> </th>
      <th>B stays</th>
      <th>B leaves</th>
    </tr>
  </thead>
  <tbody>
    <tr>
      <td><strong>A stays</strong></td>
      <td>Stay</td>
      <td>Stay</td>
    </tr>
    <tr>
      <td><strong>A leaves</strong></td>
      <td>Stay</td>
      <td>Leave</td>
    </tr>
  </tbody>
</table>

<p>Ostensibly,
this gives couples a chance to really work on their relationship
and turn things around.
And that does happen.
But in most cases,
a Stay/Leave couple is just in for a <em>really</em> awkward week.
Nobody wants that.</p>

<p>The exact payoff
in each case
depends on
what it is you actually want.</p>

<h3 id="staystay">Stay/Stay</h3>

<p>First, let’s consider a happy couple,
Arnold and Beatrice.
They’re properly loved up
and both want to stay in the experiment.
Obviously,
they should both write “Stay” on their cards
and be done with it.
Go home,
open a bottle of wine,
and have a lovely evening
gossiping about all the other dysfunctional couples.</p>

<p>But what if Arnold and Beatrice
are both just really insecure?
They’re happy,
but they’re just not sure their partner feels the same,
y’know?</p>

<p>If they both stay,
they’re as happy as can be.
If they both leave,
they’re very sad.
If Arnold says leave
(even though he’d rather stay)
and Beatrice says stay,
Arnold is perfectly happy—but
Beatrice is a bit less happy than she could be
because she’s worried she might have
trapped Arnold in an unhappy marriage
and he doesn’t really love her.
That’s awkward—to account for it,
let’s define a quantity,
\(a\),
that represents the desire
of each party
to avoid awkwardness
as a value between 0 and 1.
(Note that this does not need to have the same value
to both participants,
but we will see that
any difference doesn’t actually affect anything.)</p>

<p>That would give us a payoff matrix
something like this:</p>

<table class="nicetable">
  <thead>
    <tr>
      <th> </th>
      <th>B stays</th>
      <th>B leaves</th>
    </tr>
  </thead>
  <tbody>
    <tr>
      <td><strong>A stays</strong></td>
      <td>(1, 1)</td>
      <td>(1−<em>a</em>, 1)</td>
    </tr>
    <tr>
      <td><strong>A leaves</strong></td>
      <td>(1, 1−<em>a</em>)</td>
      <td>(<em>a</em>, <em>a</em>)</td>
    </tr>
  </tbody>
</table>

<p>More generally,
we have
\(w = y\),
\(y &gt; x\),
and
\(y &gt; z\);
the sign of the difference between \(x\) and \(z\)
depends on the value of \(a\).
Realistically,
this is a
“<a href="http://reasonableapproximation.net/2020/07/04/classifying-games-like-prisoners-dilemma.html#cake-eating-w------z-two-games">Cake Eating</a>”
situation—everyone wants cake,
and there’s enough for everyone,
so the equilibrium solution
maximises both overall
and individual happiness
for both players.
(If \(a&gt;0.5\),
it becomes a
<a href="https://en.wikipedia.org/wiki/Stag_hunt">Stag Hunt</a>,
but the optimal solution remains the same.)</p>

<p>Stay/Stay is the preferred option
for everyone involved
and maximises the overall return.
There’s really no reason to pick anything else.</p>

<h3 id="leaveleave">Leave/Leave</h3>

<p>Now,
consider Arthur and Becky.
They’re miserable.
Arthur’s obsession
with model trains
is driving Becky mad,
and Becky has a really annoying habit
of biting her toenails
that Arthur just can’t stand.
They’d really rather just go home
and forget this whole debacle ever happened,
thank you very much.</p>

<p>But once again,
they’re wracked with doubt.
“What if Becky still wants to try and make this work?”
muses Arthur.
“What if she makes me stay?”
The only thing that could make their relationship worse
would be the awkwardness of
spending a week together
after outright admitting that he hates her guts
and breaking her annoying little heart.
If Arthur has to stay anyway,
he’d rather not have Becky spend another week
going on and on about how she can’t believe he’d do that
in front of The Experts
and all the other couples.
He should just grin and bear it.</p>

<p>Of course,
Becky is having the exact same thoughts
(modulo <code class="language-plaintext highlighter-rouge">s/Becky/Arthur/g</code>).</p>

<p>That is,</p>

<table class="nicetable">
  <thead>
    <tr>
      <th> </th>
      <th>B stays</th>
      <th>B leaves</th>
    </tr>
  </thead>
  <tbody>
    <tr>
      <td><strong>A stays</strong></td>
      <td>(<em>a</em>, <em>a</em>)</td>
      <td>(0, 0)</td>
    </tr>
    <tr>
      <td><strong>A leaves</strong></td>
      <td>(0, 0)</td>
      <td>(1, 1)</td>
    </tr>
  </tbody>
</table>

<p>or
\(z &gt; w &gt; x = y\).
This is a rotated version of the
“<a href="http://reasonableapproximation.net/2020/07/04/classifying-games-like-prisoners-dilemma.html#lets-party-w--z-----two-games">Let’s 
Party</a>”
game.
If \(a=1\),
this becomes
a pure
<a href="https://en.wikipedia.org/wiki/Coordination_game">coördination game</a>
with no obvious solution for noncommunicating participants,<sup id="fnref:correction"><a href="#fn:correction" class="footnote" rel="footnote" role="doc-noteref">1</a></sup>
but for any other value of \(a\)
the optimal solution
is relatively obvious:
If you both want out,
just get out.
Write “Leave” on your little cards,
go back to your separate homes
on opposite sides of Australia
and never speak to each other again.</p>

<h3 id="stayleave">Stay/Leave</h3>

<p>This is where it gets interesting.
So far,
the partners’ incentives have aligned.
Arnold and Beatrice
both wanted to stay;
Arthur and Becky both wanted to leave.
But what of Archie and Belinda?</p>

<p>You see,
Archie and Belinda see things differently.
Archie thinks everything’s going swimmingly:
They haven’t had a single argument,
everything is very chill,
and,
as in any healthy marriage,
they’ve been getting plenty of alone time
to focus on their individual interests.
What he doesn’t realise
is that he hasn’t actually said a single word to Belinda,
or even really acknowledged her presence,
since a polite nod on their wedding day
and to be honest it’s sort of freaking her out now.
Archie wants to stay;
Belinda wants to leave.</p>

<p>Let’s work through our familiar little table
one cell at a time.</p>

<p>Say they both write “Stay”
on their little cards.
Archie will be thrilled:
He gets to stay with Belinda,
and she wants to stay with him too!
Belinda will be less chuffed about it,
but at least things won’t be any <em>more</em> awkward than they were before,
which she values at \(a\).</p>

<table class="nicetable">
  <thead>
    <tr>
      <th> </th>
      <th>B stays</th>
      <th>B leaves</th>
    </tr>
  </thead>
  <tbody>
    <tr>
      <td><strong>A stays</strong></td>
      <td>(1, <em>a</em>)</td>
      <td>?</td>
    </tr>
    <tr>
      <td><strong>A leaves</strong></td>
      <td>?</td>
      <td>?</td>
    </tr>
  </tbody>
</table>

<p>What if they both write “Leave”?
Belinda will be thrilled.
Archie will be very sad,
but at least he avoids some awkwardness
and knows it’s probably for the best,
so the payoff looks something like this:</p>

<table class="nicetable">
  <thead>
    <tr>
      <th> </th>
      <th>B stays</th>
      <th>B leaves</th>
    </tr>
  </thead>
  <tbody>
    <tr>
      <td><strong>A stays</strong></td>
      <td>(1, <em>a</em>)</td>
      <td>?</td>
    </tr>
    <tr>
      <td><strong>A leaves</strong></td>
      <td>?</td>
      <td>(<em>a</em>, 1)</td>
    </tr>
  </tbody>
</table>

<p>We can also fill in the upper right quadrant.
Archie gets to make Belinda stay,
albeit with some amount of awkwardness,
which we already know he values at \(1-a\).
Belinda is forced to stay
against her will,
making her very unhappy:</p>

<table class="nicetable">
  <thead>
    <tr>
      <th> </th>
      <th>B stays</th>
      <th>B leaves</th>
    </tr>
  </thead>
  <tbody>
    <tr>
      <td><strong>A stays</strong></td>
      <td>(1, <em>a</em>)</td>
      <td>(1−<em>a</em>, 0)</td>
    </tr>
    <tr>
      <td><strong>A leaves</strong></td>
      <td>?</td>
      <td>(<em>a</em>, 1)</td>
    </tr>
  </tbody>
</table>

<p>The final quadrant is a weird one.
This is what would happen
if both players tried reverse psychology:
Archie,
who wants to stay,
votes “Leave”
and Belinda,
who wants to leave,
votes “Stay”.
Archie wouldn’t actually mind this outcome.
He really wanted to stay anyway,
and Belinda has just told him she wants to stay too—score!
Belinda would hate it.
She could be home
and far away from Archie
if only she hadn’t tried to be so bloody tactical.
I’d guess they’d value it something like this:</p>

<table class="nicetable">
  <thead>
    <tr>
      <th> </th>
      <th>B stays</th>
      <th>B leaves</th>
    </tr>
  </thead>
  <tbody>
    <tr>
      <td><strong>A stays</strong></td>
      <td>(1, <em>a</em>)</td>
      <td>(1−<em>a</em>, 0)</td>
    </tr>
    <tr>
      <td><strong>A leaves</strong></td>
      <td>(1, 0)</td>
      <td>(<em>a</em>, 1)</td>
    </tr>
  </tbody>
</table>

<p>The symmetry we saw when incentives aligned
is gone now.
To Archie,
this <em>looks</em> like a Cake Eating game;
to Belinda,
it looks like “Let’s Party”.
Since their perceived optimal strategies are opposed,
there’s no way to really satisfy everyone here.
Archie would like Stay/Stay,
but Belinda would prefer Leave/Leave.
Either of these options
would maximise the overall return,
but it’s likely they’d find themselves
stuck in a suboptimal Stay/Leave situation,
which is the worst of all worlds.</p>

<hr />

<p><strong>Addendum</strong> (2021-06-03):
If both players had sufficient understanding of game theory,
they might decide to look for
<a href="https://en.wikipedia.org/wiki/Nash_equilibrium">Nash equilibria</a>,
the points at which
neither player can gain anything by changing their strategy.
There is a Nash equilibrium at Stay/Stay:
Belinda would lose \(a\) points of utility by switching to Leave,
while Archie gets a full point whatever he picks.
At Stay/Leave,
Belinda can gain \(a\) by changing tack;
at Leave/Stay,
she can gain 1.
At Leave/Leave,
Belinda has nothing to gain
but Archie would see his reward change
from \(a\) to \(1-a\)
if he were to switch to Stay,
so this is <em>also</em> a Nash equilibrium
if (and only if)
\(a \ge 0.5\).
If this doesn’t make much sense to you,
feel free to ignore it—it’s
not really central to the thesis of this post.</p>

<hr />

<h3 id="love-is-blind">Love is blind</h3>

<p>Of course,
you might not have thought
to draw out these tables with your partner
in advance of the ceremony,
and now you find yourself
sat in a room
with a little card and a pen
and no way of getting in touch.
You don’t know what your partner is thinking,
but you could make a guess
at the probability that they’ll write “Stay”.
What’s the optimal strategy?</p>

<p><strong>If you want to stay</strong>,
your expected returns are
\(P(\mathrm{s}) + (1 - a) (1 - P(\mathrm{s}))\)
if you write “Stay”,
and
\(P(\mathrm{s}) + a (1 - P(\mathrm{s}))\)
if you write “Leave”,
where \(P(\mathrm{s})\)
is the probability that your partner will also write “Stay”.
The difference between these outcomes
depends entirely on the value you assign to \(a\):
How much do you care about not making things awkward?
If you really couldn’t care less
and just want to spend more time with your assigned partner,
\(a = 0\)
and you should write “Stay”;
if you can’t bear the idea of making them feel trapped
and having a bit of an awkward week,
\(a = 1\)
and you should write “Leave”.
The general solution
is to write “Stay” as long as</p>

\[a &lt; \frac{1}{2}.\]

<p><strong>If you want to leave</strong>,
your expected returns are
\(1 - P(\mathrm{s})\)
if you write “Leave”,
and
\(a P(\mathrm{s})\)
if you write “Stay”.
You now have two things to consider:
The value of avoiding awkwardness,
and the probability that your partner
has written “Stay”.
You should write “Leave” if
\(1 - P(\mathrm{s}) &gt; a P(\mathrm{s})\);
that is,</p>

\[P(\mathrm{s}) &lt; \frac{1}{a + 1}.\]

<p>That looks something like this:
<img src="/assets/post_images/mafs_graph.svg" alt="A graph of P(s) against a,
with the region above the line labelled 'STAY'
and the region below the line labelled 'LEAVE'.
The line begins at a=0, P(s)=1;
it then decreases
in a reciprocal manner
to a final value of a=1, P(s) = 0.5." class="align-center dark-invert" /></p>

<p>Hopefully this has cleared things up
for next year’s participants.</p>
<div class="footnotes" role="doc-endnotes">
  <ol>
    <li id="fn:correction">
      <p><strong>Correction</strong> (2021-03-22):
           An earlier version of this article
           suggested that no obvious solution existed
           for any value of <em>a</em>;
           this is of course false
           and has now been corrected. <a href="#fnref:correction" class="reversefootnote" role="doc-backlink">&#8617;</a></p>
    </li>
  </ol>
</div>]]></content><author><name></name></author><category term="culture" /><category term="science" /><category term="mathematics" /><category term="game-theory" /><category term="culture" /><category term="tv" /><summary type="html"><![CDATA[The surprise hit of Lockdown III is a 2-year-old rerun of a trashy reality TV series from the other side of the world, in which complete strangers are placed into arranged marriages by a team of “experts” and drama ensues. But despite its trashy nature, the wonder from down under features some surprisingly interesting game theory.]]></summary><media:thumbnail xmlns:media="http://search.yahoo.com/mrss/" url="https://georgewatson.me/assets/post_images/australia.jpg" /><media:content medium="image" url="https://georgewatson.me/assets/post_images/australia.jpg" xmlns:media="http://search.yahoo.com/mrss/" /></entry></feed>