Knowsley and Oddsley
proofs and odds are the same counting - a square that is a mine in every allowed arrangement is proven a mine, one that is a mine in none is proven safe, and everything in between has exact odds
Loading audio…
Press play to listen along. The line being read lights up as you go.
Show full transcript
Loading transcript…
Knowsley the red panda and Oddsley the owl used to argue. Not meanly. Just often.
"I don't bother with odds," Knowsley would say, tapping his temple. "On a League board, I can always prove a safe square. Why weigh maybes when you can know?"
"And I don't trust a single proof without counting," Oddsley would reply, her little brass balance scale swaying in her talons. "Count every arrangement the numbers allow. Then you'll see everything at once."
They argued about it for a whole season. Then one evening, on a hard board at the far end of the League Field, they found out they had been saying the same thing all along.
A young porcupine named Thistle had asked them both for help. She was halfway through a Club board, with a stubborn patch of hidden squares near a cluster of ones and twos. "I don't know what to do next," she said. "Can you show me?"
Knowsley answered first, of course. "Let's find a proof." He studied the numbers, tapping his temple, and soon pointed to a one and a two sitting side by side. "Every hidden square of the one is also next to the two. The one says one mine is in those shared squares. The two needs two. So the two's extra square must hold the other mine. Proven."
Thistle flagged it, impressed.
Then Oddsley swooped down beside them, head tilted all the way sideways. "Now let me show you the same patch with my scale." Together, she and Thistle listed every arrangement of mines that fit all the numbers, and the total from Sumsy's jar too. There weren't many. Oddsley weighed each one.
"Look at the square Knowsley just flagged," Oddsley said. "In how many arrangements is it a mine?"
Thistle counted. "All of them. Every single arrangement has a mine there."
"And that square over there," Oddsley pointed with a wingtip. "In how many is it a mine?"
"None," said Thistle slowly. "Not one."
Oddsley turned to Knowsley, eyes twinkling behind her spectacles. "A square that's a mine in every arrangement," she said, "is a mine you've proven. A square that's a mine in none of them is a safe square you've proven. My scale finds your proofs too. They're just the squares at a hundred percent and zero percent."
Knowsley stopped tapping. He looked at the scale for a long time. "So when I find a proof," he said, "I'm finding a square where every possible way agrees."
"Yes," said Oddsley.
"And when you weigh odds, the squares in between are the ones where the arrangements disagree."
"Exactly," said Oddsley. "On a League board, there's always at least one square at zero or a hundred. That's why you never need to guess. Your proofs and my odds are one idea, seen from two sides."
Thistle opened the zero-percent square. Safe. A new number appeared, and with it, new proofs. The patch unravelled.
Knowsley looked at Oddsley and began to laugh. "We've been arguing all season about the same thing."
"We have," hooted Oddsley happily. "But I think we understand it better now than either of us did alone."
The two of them feel most like themselves when a hard patch finally opens, when a proof and a zero on the scale point to the very same square. It is a bright, surprised, both-at-once feeling, like two friends who took different paths up a hill arriving at the top at exactly the same moment.
You have a bit of both of them in you whenever you prove what you can and count what you can't. Say it the way they do: "Knowsley proves what he can, Oddsley counts the rest: a zero on the scale is a proof too."
Then look at your board from both sides.
The Sweep League ensemble
Knowsley and Oddsley is part of Sweep League's distributed-narrative cast. Each character embodies a different curricular primitive; together they teach the full subject.
-
Surefoot
(Mentor, a mountain goat) - only steps where she is SURE; asks which square the numbers prove
-
Bevvy
A bee who knows the fewest clicks a board could take - its 3BV
-
Clicksy
A cricket who counts every wasted click - efficiency is 3BV divided by clicks
-
Oddsley
An owl who weighs every arrangement the numbers allow - the exact odds of a mine
-
Chordy
A crab who opens a whole ring of squares at once when a number's mines are all flagged
-
Floody
A duck who knows a zero opens its whole empty region in one go
-
Knowsley
A red panda who knows every board can be solved by knowing, never by guessing
-
Rewinda
A squirrel who checks a run by re-playing every move, never by trusting it
-
Samesby
A penguin who knows a race code gives both racers exactly the same board
-
Sumsy
A hamster who knows the total number of mines shapes the odds of every hidden square
-
Tickwell
A hare who knows your speed is shown only AFTER you finish, never while you play