Envy-free cake-cutting, Do you actually want money, No hurry but no pause

Weekly I/O #100: Envy-free cake-cutting, Meaning not Money, No Hurry No Pause, Challenge Assumptions and Get Data, Actions Speak So Loudly

If you're new to Weekly I/O, I share five things I've learned each week, hopefully to help both you and me gain a better understanding of the world and live more fulfilling lives.

This week’s edition of the newsletter is exclusive to subscribers. If you'd like full access to this post and all the Weekly I/O archives, please consider subscribing!

Hi friends,

This is the 100th weekly I/O. That means 500 learnings, and roughly 113368 words!

I will be cooking something fun for y'all soon to make Weekly I/O even better :)

This week's inputs include four shower thoughts and how to cut a cake. Slightly different themes because most of my reading time this week is occupied voluntarily by the fascinating novel Permutation City. Another great piece by Greg Egan!

---

Input

Here's a list of what I learned this week.

1. Envy-free cake-cutting shows that resources can be split so everyone thinks they got the best cut. The simple divide and choose method works for two people, while the Selfridge-Conway procedure can be generalized to N people.

Article: The Envy-Free Cake-Cutting Procedure

Imagine you and your sibling are splitting a cake, and both of you want the best slice possible because the cake is so famously good. How should you two divide the cake fairly?

In the context of game theory, this problem is known as envy-free cake-cutting, where fairness is defined as each person believing their piece is the best slice (or at least as good as everyone else's), effectively preventing envy altogether.

Now pause. Think about how to divide a cake for two people without causing envy?

The simplest envy-free method for two people is "Divide and Choose." One person cuts the cake into two pieces, which they feel are equal in value. The other person then chooses their favorite piece first. The Divide and Choose method works because both parties' best strategies inevitably lead to a fair cut.

The cutter will try to divide evenly because they know they'll get the leftover piece. The chooser will always pick the piece they prefer, so neither person envies the other.

However, with three people, ensuring envy-freeness gets trickier. Mathematicians John Selfridge and John Conway independently discovered the Selfridge-Conway procedure. Here's how it works:

1. Person A divides the cake into three equal slices (Slice 1, Slice 2, Slice 3).

2. If Person B thinks all three slices are equal, then each player chooses a slice in this order: Person A, Person B, Person C. Problem solved.

3. If Person B identifies the largest slice (said Slice 1), they then trim it slightly to be Slice 1' and match their second-choice slice (said Slice 2), setting aside the trimmings (called Slice 1T).

4. Person C selects a slice first, then Person B chooses next (must take the trimmed piece Slice 1' if still available), leaving Person A with the last piece.

5. Finally, if Person C picks Slice 1', Person B needs to divide Slice 1T into three. Then each player chooses a slice in this order: Person C, Person A, Person B. Problem solved. Vice versa, if Person B picks Slice 1'.

You can read an analysis of why the Selfridge-Conway procedure ensures envy-freeness here, and this method can even be generalized to N partners.

Moreover, envy-free cake-cutting is more than just a method for equitable division. Inspired by this, a common question raised in political science is whether it is truly necessary to get a third-party judge to ensure fairness in political conflicts.

2. You think what you want is money, but what you really want is meaning.

Thought

Many aspects of people's daily work can feel meaningless. We often rationalize this and learn to tolerate it because these seemingly pointless activities lead to a salary. In this case, the salary provides us with meaning. Money becomes a means to an end, serving as the source of that meaning.

I often reflect on the struggle Markus Persson, aka "Notch," faced after he sold Minecraft to Microsoft for $2.5 billion. It must have been incredibly difficult to turn down such a lucrative offer, but it can also be just as challenging to rediscover the same meaning Minecraft had given him. At the end of the day, we are not like Grigori Perelman, who can solve one of the Millennium Prize Problems but turned down both the Fields Medal and the Millennium Prize.

I first thought about this question more frequently during my compulsory military service in Taiwan, where many of my comrades felt like they were wasting their lives. It was during that time that I first understood what Friedrich Nietzsche meant when he said, "If you know why to live, you can bear almost any how."

3. No hurry, no pause. Slow is smooth, and smooth is fast.