• Log InLog In
  • Register
Liquid`
Team Liquid Liquipedia
EDT 06:22
CEST 12:22
KST 19:22
  • Home
  • Forum
  • Calendar
  • Streams
  • Liquipedia
  • Features
  • Store
  • EPT
  • TL+
  • StarCraft 2
  • Brood War
  • Smash
  • Heroes
  • Counter-Strike
  • Overwatch
  • Liquibet
  • Fantasy StarCraft
  • TLPD
  • StarCraft 2
  • Brood War
  • Blogs
Forum Sidebar
Events/Features
News
Featured News
[ASL22] Ro8 Preview: In A Tizzy8[ASL22] Ro16 Preview: Holy Diver5[ASL22] Ro16 Preview: Rough Waters10[ASL22] Ro24 Preview: Siren's Call8[ASL22] Ro24 Preview: Summer's End9
Community News
Weekly Cups (Sep 13-20): herO scores triple1BSL Season 235Weekly Cups (Sep 7-12): SHIN, ByuN, MaxPax double down1StarCraft open world shooter announced at BlizzCon101Weekly Cups (Aug 30-Sep 7): herO thrives amid growing schism10
StarCraft 2
General
Balance hotfix patch 5.0.16b (July 16) How do you feel about the StarCraft shooter announcement at BlizzCon 2026? Blizzard Classic Cup @ BlizzCon 2026 - $100k prize pool The Death of Cheese: From a Professional Cheeser Weekly Cups (Sep 13-20): herO scores triple
Tourneys
Sparkling Tuna Cup - Weekly Open Tournament 2026 GSTL Announcement RSL Revival: Season 6 - Qualifiers and Main Event RSL goes to London! 2026 Offline Finals Nov 21-22 SC2 AI Tournament 2026 Fall
Strategy
[H] ZvP Mid-Late Game: Stalkers Collossi HT
Custom Maps
Nexus Wars 2021 GUIDE [M] (2) Industrial Park
External Content
Mutation # 544 Double Trouble The PondCast: SC2 News & Results Mutation # 543 Enhanced Defenses Mutation # 542 The Ascended
Brood War
General
Guide To Watching Ancient Brood War Replays screpdb: new Starcraft reporting tool Bot on ladder [ASL22] Ro8 Preview: In A Tizzy Oldest replay file.
Tourneys
[ASL22] Ro8 Day 2 [ASL22] Ro16 Group D [ASL22] Ro8 Day 1 [IPSL] IPSL is Back With Winter 26-27!
Strategy
Cliff Jump Revisited (1 in a 1000 strategy) Replay Review Process - What do you do? Simple Questions, Simple Answers Odyssey Mineral Stack Saturation
Other Games
General Games
Warcraft III: The Frozen Throne Nintendo Switch Thread Stormgate/Frost Giant Megathread EVE Corporation Diablo IV
Dota 2
Dota 2 Champions League Season 3 Begins April 25! Official 'what is Dota anymore' discussion
League of Legends
[TL LoL EUW IHs] Teemo shall perish
Heroes of the Storm
Heroes of the Storm 2.0
Hearthstone
Deck construction bug
TL Mafia
TL Mafia Community Thread
Community
General
US Politics Mega-thread Artificial Intelligence Thread Things Aren’t Peaceful in Palestine All you football fans (soccer)! Russo-Ukrainian War Thread
Fan Clubs
MarineLorD Fan Club The Creator Fan Club The ShoWTimE Fan Club
Media & Entertainment
Movie Discussion! [Manga] One Piece Diablo Animated Series on Netflix
Sports
Football (Soccer) Thread TeamLiquid Health and Fitness Initiative For 2023 MLB/Baseball 2023
World Cup 2022
Tech Support
Computer Build, Upgrade & Buying Resource Thread
TL Community
Recent Gifted Posts
Blogs
Gaming Intensity, Problemati…
TrAiDoS
38 yo Retired SWE loo…
PurE)Rabbit-SF
Can Bots Beat Pros?? Starcr…
namkraft
[meme] I finally understa…
LUCKY_NOOB
Regacy Esports:Our Goa…
regacyesports
Dreaming of BW patches (mod…
c3rberUs
Customize Sidebar...

Website Feedback

Closed Threads



Active: 9152 users

really hard puzzle

Blogs > drift0ut
Post a Reply
1 2 3 Next All
drift0ut
Profile Blog Joined June 2004
United Kingdom691 Posts
Last Edited: 2009-05-10 01:44:18
May 10 2009 01:30 GMT
#1
This is probably the hardest puzzle that i've solved myself:

An infinite number of ppl are given either a black or a white hat. They can't see what colour hat they have on but they can see everyone elses. They cannot communicate with each other in anyway once they've been given the hats but they can devise a strategy before the game starts. Then, at a predetermined time, they all have to shout out the colour hat they think they have on [at the same time]. They win if only finitely many get it wrong.


There are no pissy tricks like "looking in a mirror" or sneaking round the "no communication" rule and we assume they can see all the the other ppl at once and perform any computations they might need to instantly.

right so if you don't know/believe the axiom of choice you'll have to come up with a solution i haven't thought of yet. You might have come across the axiom in one of it's many forms (Zorn's lemma, Well-ordering principle) at some point in a maths degree but otherwise, even if you look it up on wiki, you'll struggle to know how to use it. It (roughly) says that if you have any collection of sets, you can pick an element in each of them, equivalently it says you can "well order" any set (ie you can say x<y or y<x for any x not equal to y).

I was told this puzzle a while ago, but it's solution actually came up the other day in some proper maths i was doing in a really natural way. One thing that's pretty weird is that i don't think it's possible to come up with a strategy that works if we replace "only finitely many" with "less than n" for an arbitrarily large n

*****
Avidkeystamper
Profile Blog Joined June 2008
United States8556 Posts
May 10 2009 01:31 GMT
#2
People don't have to shout out their hat color at the same time, right?
Jaedong
drift0ut
Profile Blog Joined June 2004
United Kingdom691 Posts
Last Edited: 2009-05-10 01:33:19
May 10 2009 01:32 GMT
#3
yes they do [have to shout at the same time]
il0seonpurpose
Profile Blog Joined January 2007
Korea (South)5638 Posts
May 10 2009 01:54 GMT
#4
How about everybody yells one color
drift0ut
Profile Blog Joined June 2004
United Kingdom691 Posts
May 10 2009 01:58 GMT
#5
what if i handed out the hats black white black white ... all the way up? then which ever you shout you're wrong. In fact what if you all shout one colour and i handed out all of them the other colour?

oh and you need a plan that works all the time, not just one that gives you a good chance of winning
aznmathfreak
Profile Joined March 2009
United States148 Posts
May 10 2009 02:08 GMT
#6
I think what I'm proposing might count as a method of communication, but here's my first idea.

Arrange all the people in a line in any arbitrary order. First two people stand out in a separate line. The next person will look at the first two, and if there is a change of color in the line, he will stand right in between the two colors. If there is not, he will stand at the end of the line. In either case, the line will now be split between black and white, or is all of one color.

IE

If the line is WW, the guy will stand at the end, so the line is now WWB or WWW

If the line is WB, the guy will stand in between, so the line is now WWB or WBB.

Therefore there is always a clear division between the black hats and white hats.

Once the infinitely many people have gone into place (plausible because they can compute instantly?). Then the last person to go into the line will define the division between the two colors, and everyone else can just look at the other side of that division to find out what color their side is.
The only person that would not know what color his hat is would be the last guy.
drift0ut
Profile Blog Joined June 2004
United Kingdom691 Posts
Last Edited: 2009-05-10 02:20:11
May 10 2009 02:14 GMT
#7
this is what i said the first time i saw the puzzle but this comes under the (rather too vague) heading of not communicating at all.


imagine everyone's in a prison cell and all they can see is one little light for every person apart from you which is either on or off depending on the colour hat they have on.

by the well ordering principle you can assign everyone a number (or element of an indexing set if you want to go cardinals on it, the solution i know works for any cardinal)
Muirhead
Profile Blog Joined October 2007
United States557 Posts
Last Edited: 2009-05-10 02:27:08
May 10 2009 02:25 GMT
#8
Call two ways of matching hats to people equivalent if only finitely many people are assigned different colored hats.

This is an equivalence relation. Beforehand, the prisoners agree on a single element from each equivalence class using Choice.

QED ^^
starleague.mit.edu
drift0ut
Profile Blog Joined June 2004
United Kingdom691 Posts
Last Edited: 2009-05-10 02:30:12
May 10 2009 02:28 GMT
#9
well done, i'd hoped it'd take longer than that


places you might have seen it: a basis of any infinite dim'l vector space
drift0ut
Profile Blog Joined June 2004
United Kingdom691 Posts
May 10 2009 02:33 GMT
#10
Muirhead: i don't suppose you'd know any places i could read up on the algebraic geometry approach to ramification do you? all i can find is number theory books
Muirhead
Profile Blog Joined October 2007
United States557 Posts
May 10 2009 02:41 GMT
#11
Hm... I don't know quite what level of book you want. You might check out some sections of Liu's book on Algebraic Geometry and Arithmetic Curves as a start?
starleague.mit.edu
drift0ut
Profile Blog Joined June 2004
United Kingdom691 Posts
May 10 2009 02:48 GMT
#12
so it's for a postgrad reading group on galois thy that's sort of branched out a bit. That book looks pretty good. i don't really know a lot of alge geo but when ever i talk to my supervisor about what's going on in these rings i'm looking at he always starts drawing pictures and makes me feel i should get on it.
micronesia
Profile Blog Joined July 2006
United States24799 Posts
May 10 2009 03:29 GMT
#13
On May 10 2009 11:25 Muirhead wrote:
Call two ways of matching hats to people equivalent if only finitely many people are assigned different colored hats.

This is an equivalence relation. Beforehand, the prisoners agree on a single element from each equivalence class using Choice.

QED ^^

Can you explain what that means.
ModeratorThere are animal crackers for people and there are people crackers for animals.
mdainoob
Profile Joined June 2007
United States51 Posts
May 10 2009 03:38 GMT
#14
http://en.wikipedia.org/wiki/Axiom_of_choice

drift0ut
Profile Blog Joined June 2004
United Kingdom691 Posts
May 10 2009 03:50 GMT
#15
for convenience label each of the ppl 1,2,3,... Now let a(i) be a sequence of 0's and 1's and we'll say that a(i)=0 if person i's hat is white, a(i)=1 if the persons hat is black.

For example a(i) is one way of giving out the hats a(1)=1 a(2)=0 a(3)=0 would be BWW

Let b(i) be the same as a(i) for a different way of handing out hats, so b(1)=1 b(2)=1 b(3)=1 would be BBB.

then we say a(i) "=" b(i) if and only if only finitely many of the ( a(i) - b(i) ) are not equal to 0.
(the collection of the x(i) which are "=" are the equivalence classes)

Now pick a list a(i), b(i), c(i),... so that a(i) is not "=" to b(i) or c(i) or d(i) etc and b(i) is not "=" to c(i) or ...
(forgive me for the implied countableness, (countable is a technical maths term))

now how ever i hand out the hats there will be a x(i) in the list such that x(i) is "=" to the way i hand out the hats. everybody shouts out the colour of hat they should have in x(i), and only finitly many will be wrong
micronesia
Profile Blog Joined July 2006
United States24799 Posts
May 10 2009 03:53 GMT
#16
Forgive me for pointing out how inaccessible that explanation was, but I have no idea how that jargon results in people knowing what color to yell out.
ModeratorThere are animal crackers for people and there are people crackers for animals.
igotmyown
Profile Blog Joined April 2009
United States4291 Posts
Last Edited: 2009-05-10 04:28:48
May 10 2009 03:54 GMT
#17
On May 10 2009 12:29 micronesia wrote:
Show nested quote +
On May 10 2009 11:25 Muirhead wrote:
Call two ways of matching hats to people equivalent if only finitely many people are assigned different colored hats.

This is an equivalence relation. Beforehand, the prisoners agree on a single element from each equivalence class using Choice.

QED ^^

Can you explain what that means.


Think of the people with white hats as a subset of the people. If two subsets only differ by finitely many elements, then we group those two sets together (into a set of subsets of the people). This is our equivalence relation. There's some conditions you have to prove about equivalence classes, but in this case it's easy enough not to be worth mentioning.

In algebra, you can reduce a group with an equivalence class to the unique equivalence classes, for example, the integers by 0 mod p, 1 mod p, ..., p-1 mod p (or odds or evens if that's simpler) into p elements, hence the OP's solution motivated by n-dimensional vector spaces (where dividing the space by the equivalence class of lines is common).

edit: oops solution is simpler than i thought.

anyway, you have your equivalence classes of subsets. There are infinitely many, but that doesn't matter, and from each equivalence class, you choose one element, that is, one specific way of handing out hats. Since you've covered every equivalence class, any subset of the people will match to all but finitely many of one of the chosen elements.

When the hats are handed out, you can see everybody else's hat, and your own hat can only increase the number of possible wrong matches by 1, so you know equivalence class that particular hat distribution is in. Everyone now votes their according to what their representative element would have as a hat.
DeathSpank
Profile Blog Joined February 2009
United States1029 Posts
May 10 2009 04:09 GMT
#18
I'm not understanding this...if you hand out the hats to an infinite number of people... then the number wrong will be infinite... simply because the whole set is infinite. You would also never reach the time when everyone would call out what color they think there hat is...because you'd still be handing out hats..
and even if you did...even if you came up with a plan before hand that weeded out 99% of errors 1% of infinite is well infinite.... the continuum hypothesis be damned.
yes.
odave
Profile Joined December 2008
United Kingdom4 Posts
May 10 2009 04:34 GMT
#19
(Disclaimer: I'm not a mathematician)

I don't buy the equivalence relation thing. If we're allowed to apply "a = b if a(i) != b(i) for only a finite # of i" an infinite number of times (why not? everything else in this problem seems to be infinite ), then everything breaks.

Also, if we just coin-flip for each hat, 50% of the guesses are going to be wrong no matter how they were derived?
Deleted User 3420
Profile Blog Joined May 2003
24492 Posts
Last Edited: 2009-05-10 07:25:08
May 10 2009 04:37 GMT
#20
i think I know how to do it by moving into lines going right or left based on the 2 hats in front of u

but it's too hard to explain lol and i can't put it into math terms cuz i dont know how
1 2 3 Next All
Please log in or register to reply.
Live Events Refresh
Afreeca Starleague
10:00
Ro8 Match 2
Light vs EffOrt
Afreeca ASL 9947
StarCastTV_EN240
Liquipedia
Sparkling Tuna Cup
10:00
Weekly #147 (SHIN Mod Edition)
CranKy Ducklings77
LiquipediaDiscussion
[ Submit Event ]
Live Streams
Refresh
StarCraft 2
Lowko303
ByuN 119
SHIN 27
StarCraft: Brood War
Bisu 5894
Jaedong 3751
Rain 1431
Soulkey 1417
BeSt 663
Zeus 291
Hyuk 267
Larva 218
Stork 171
Leta 170
[ Show more ]
Rush 143
ggaemo 142
hero 132
Barracks 107
Killer 70
Sexy 52
ToSsGirL 50
Shinee 44
soO 33
Shine 29
Hm[arnc] 23
scan(afreeca) 11
sorry 10
JulyZerg 8
Noble 8
SilentControl 8
Dota 2
Gorgc3739
XaKoH 434
Pyrionflax108
Counter-Strike
shoxiejesuss988
kRYSTAL_52
markeloff50
Heroes of the Storm
Trikslyr31
Other Games
singsing1286
olofmeister1133
ceh9590
XBOCT393
B2W.Neo202
Mew2King50
amsayoshi31
Organizations
Dota 2
PGL Dota 2 - Main Stream6671
PGL Dota 2 - Secondary Stream1798
Other Games
gamesdonequick552
StarCraft: Brood War
UltimateBattle 191
[ Show 11 non-featured ]
StarCraft 2
• CranKy Ducklings SOOP12
• mYiSmile15
• AfreecaTV YouTube
• intothetv
• Kozan
• IndyKCrew
• Migwel
StarCraft: Brood War
• BSLYoutube
• STPLYoutube
• ZZZeroYoutube
Other Games
• WagamamaTV121
Upcoming Events
OSC
1h 38m
PiGosaur Cup
13h 38m
Kung Fu Cup
1d
The PondCast
1d 23h
Replay Cast
2 days
Korean StarCraft League
3 days
CranKy Ducklings
3 days
GSL
4 days
Yamato Cup
5 days
Replay Cast
5 days
[ Show More ]
Afreeca Starleague
5 days
WardiTV Weekly
6 days
Sparkling Tuna Cup
6 days
Afreeca Starleague
6 days
Liquipedia Results

Completed

Super Anchor Qualifying S3
Blizzard Classic Cup 2026
Big Dog Cup 2026 Div 1

Ongoing

ASL Season 22
CSL 2026 AUTUMN (S22)
Acropolis #5
Acropolis #5 - GSA
Calamity Invitational
Logitech G Play Connect 2026
SL StarSeries Fall 2026
FISSURE Playground #3
BLAST Open Fall 2026
Esports World Cup 2026
BLAST Bounty Summer 2026
BLAST Bounty Summer Qual
Stake Ranked Episode 3
XSE Pro League 2026

Upcoming

Acropolis #5 - GSB
Acropolis #5 - GSC
BSL Season 23
SC4ALL II: Brood War
BSL 23: Non-Korean Championship
HSC XXX
Stellar Fest 2: Lunar Cup
SC4ALL II: StarCraft II
Kung Fu Cup 2026 Grand Finals
RSL Offline Finals
Copium Cup
PGL Major Singapore 2026
Stake Ranked Episode 6
BLAST Rivals Fall 2026
IEM Beijing 2026
Stake Ranked Episode 5
PGL Masters Bucharest 2026
1win Private Club #2
Thunderpick World Champ. '26
ESL Pro League Season 24
Stake Ranked Episode 4
1win Private Club #1
TLPD

1. ByuN
2. TY
3. Dark
4. Solar
5. Stats
6. Nerchio
7. sOs
8. soO
9. INnoVation
10. Elazer
1. Rain
2. Flash
3. EffOrt
4. Last
5. Bisu
6. Soulkey
7. Mini
8. Sharp
Sidebar Settings...

Advertising | Privacy Policy | Terms Of Use | Contact Us

Original banner artwork: Jim Warren
The contents of this webpage are copyright © 2026 TLnet. All Rights Reserved.