• Log InLog In
  • Register
Liquid`
Team Liquid Liquipedia
EDT 06:19
CEST 12:19
KST 19:19
  • 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
Code S Season 1 - RO12 Group A: Rogue, Percival, Solar, Zoun9[ASL21] Ro8 Preview Pt1: Inheritors16[ASL21] Ro16 Preview Pt2: All Star10Team Liquid Map Contest #22 - The Finalists20[ASL21] Ro16 Preview Pt1: Fresh Flow9
Community News
2026 GSL Season 1 Qualifiers25Maestros of the Game 2 announced92026 GSL Tour plans announced15Weekly Cups (April 6-12): herO doubles, "Villains" prevail1MaNa leaves Team Liquid25
StarCraft 2
General
Code S Season 1 - RO12 Group A: Rogue, Percival, Solar, Zoun Team Liquid Map Contest #22 - The Finalists Blizzard Classic Cup @ BlizzCon 2026 - $100k prize pool MaNa leaves Team Liquid Maestros of the Game 2 announced
Tourneys
GSL Code S Season 1 (2026) WardiTV Spring Cup RSL Revival: Season 5 - Qualifiers and Main Event SEL Masters #6 - Solar vs Classic (SC: Evo) $5,000 WardiTV TLMC tournament - Presented by Monster Energy
Strategy
Custom Maps
[D]RTS in all its shapes and glory <3 [A] Nemrods 1/4 players [M] (2) Frigid Storage
External Content
The PondCast: SC2 News & Results Mutation # 523 Firewall Mutation # 522 Flip My Base Mutation # 521 Memorable Boss
Brood War
General
JaeDong's ASL S21 Ro16 Post-Review Missed out on ASL tickets - what are my options? BGH Auto Balance -> http://bghmmr.eu/ ASL21 General Discussion BW General Discussion
Tourneys
Korean KCM Race Survival 2026 Season 2 [ASL21] Ro8 Day 2 [ASL21] Ro8 Day 1 [BSL22] RO16 Group Stage - 02 - 10 May
Strategy
Fighting Spirit mining rates Simple Questions, Simple Answers What's the deal with APM & what's its true value Any training maps people recommend?
Other Games
General Games
Stormgate/Frost Giant Megathread Daigo vs Menard Best of 10 Nintendo Switch Thread Dawn of War IV Diablo IV
Dota 2
The Story of Wings Gaming
League of Legends
G2 just beat GenG in First stand
Heroes of the Storm
Simple Questions, Simple Answers Heroes of the Storm 2.0
Hearthstone
Deck construction bug Heroes of StarCraft mini-set
TL Mafia
Vanilla Mini Mafia Mafia Game Mode Feedback/Ideas TL Mafia Community Thread Five o'clock TL Mafia
Community
General
US Politics Mega-thread European Politico-economics QA Mega-thread Russo-Ukrainian War Thread 3D technology/software discussion Canadian Politics Mega-thread
Fan Clubs
The IdrA Fan Club
Media & Entertainment
[Manga] One Piece Anime Discussion Thread [Req][Books] Good Fantasy/SciFi books Movie Discussion!
Sports
2024 - 2026 Football Thread Formula 1 Discussion McBoner: A hockey love story
World Cup 2022
Tech Support
streaming software Strange computer issues (software) [G] How to Block Livestream Ads
TL Community
The Automated Ban List
Blogs
Sexual Health Of Gamers
TrAiDoS
lurker extra damage testi…
StaticNine
Broowar part 2
qwaykee
Funny Nicknames
LUCKY_NOOB
Iranian anarchists: organize…
XenOsky
Customize Sidebar...

Website Feedback

Closed Threads



Active: 2157 users

[Math Puzzle] Day12 - Page 2

Blogs > evanthebouncy!
Post a Reply
Prev 1 2 All
King K. Rool
Profile Blog Joined May 2009
Canada4408 Posts
Last Edited: 2009-05-29 15:18:22
May 29 2009 15:17 GMT
#21
Psuedo_Utopia has the same solution I worked out, so if it IS that solution, then I don't think this is really undergrad stuff, more like high-school math contest TBH (if you did good on contests, not trying to come off as pretentious). Seems like problem solving skills are enough to arrive at the proof, and requires no theorems or anything.
mmp
Profile Blog Joined April 2009
United States2130 Posts
Last Edited: 2009-05-29 20:55:24
May 29 2009 20:14 GMT
#22
Yeah, it seems that everyone has the answer already. Here is my attempt at a semi-formal proof:

+ Show Spoiler +

Let a row contain an infinite sequence of elements belonging to {1,2,3,4,5,6}. A row is guaranteed to contain at least 2 of some element (since there are greater than 6 elements in the sequence). Let N be the width that separates these two identical elements in a row.

Define the column to be an infinite sequence of rows. No two rows in a column can be identical, nor can any two adjacent sub-sequences (both) containing identical elements be identical, lest there exist a rectangle.

An N-wide sub-sequence containing identical elements must exist and has only 6^N permutations. There are infinite unique rows in the column, but not infinite permutations of this sub-sequence.
I (λ (foo) (and (<3 foo) ( T_T foo) (RAGE foo) )) Starcraft
evanthebouncy!
Profile Blog Joined June 2006
United States12796 Posts
June 01 2009 07:48 GMT
#23
On May 30 2009 00:17 King K. Rool wrote:
Psuedo_Utopia has the same solution I worked out, so if it IS that solution, then I don't think this is really undergrad stuff, more like high-school math contest TBH (if you did good on contests, not trying to come off as pretentious). Seems like problem solving skills are enough to arrive at the proof, and requires no theorems or anything.


right and you come to a thread titled "math puzzle" expecting things that requires stacked theorems. This problem is in chapter 1 of my Combinatorics book on pigeon hole principle.
Life is run, it is dance, it is fast, passionate and BAM!, you dance and sing and booze while you can for now is the time and time is mine. Smile and laugh when still can for now is the time and soon you die!
Prev 1 2 All
Please log in or register to reply.
Live Events Refresh
KCM Race Survival
10:00
Week 3
LiquipediaDiscussion
GSL
09:30
2026 Season 1: Ro12 Group B
ByuN vs BunnyLIVE!
TriGGeR vs TBD
Cure vs TBD
Ryung 250
IntoTheiNu 184
CranKy Ducklings SOOP49
Rex22
LiquipediaDiscussion
[ Submit Event ]
Live Streams
Refresh
StarCraft 2
Ryung 250
OGKoka 190
herO (SOOP) 37
Rex 22
StarCraft: Brood War
Sea 2099
HiyA 1369
Jaedong 911
Hyuk 325
Stork 232
Zeus 212
actioN 188
ToSsGirL 153
EffOrt 139
sSak 121
[ Show more ]
Soma 107
Rush 88
Pusan 75
910 56
Sharp 45
Last 39
hero 29
Free 27
Backho 26
yabsab 24
Sacsri 24
Shinee 24
Shine 20
Bale 18
soO 17
NaDa 13
Terrorterran 13
ajuk12(nOOB) 11
Dota 2
XaKoH 619
NeuroSwarm416
ODPixel54
XcaliburYe36
BananaSlamJamma20
League of Legends
JimRising 391
Counter-Strike
olofmeister2535
shoxiejesuss1218
zeus431
x6flipin3
Other Games
singsing1054
crisheroes244
B2W.Neo66
ZerO(Twitch)0
Organizations
Other Games
gamesdonequick622
Dota 2
PGL Dota 2 - Main Stream72
StarCraft 2
Blizzard YouTube
StarCraft: Brood War
BSLTrovo
[ Show 17 non-featured ]
StarCraft 2
• LUISG 23
• intothetv
• sooper7s
• Migwel
• LaughNgamezSOOP
• IndyKCrew
• Kozan
• AfreecaTV YouTube
StarCraft: Brood War
• blackmanpl 21
• BSLYoutube
• STPLYoutube
• ZZZeroYoutube
Dota 2
• lizZardDota242
League of Legends
• Jankos1183
• TFBlade1021
• Stunt395
Other Games
• WagamamaTV173
Upcoming Events
Big Gabe
1h 41m
Replay Cast
22h 41m
Escore
23h 41m
OSC
1d 2h
Replay Cast
1d 13h
Replay Cast
1d 22h
RSL Revival
1d 23h
Classic vs GgMaChine
Rogue vs Maru
WardiTV Invitational
2 days
IPSL
2 days
Ret vs Art_Of_Turtle
Radley vs TBD
BSL
2 days
[ Show More ]
Replay Cast
2 days
RSL Revival
2 days
herO vs TriGGeR
NightMare vs Solar
uThermal 2v2 Circuit
3 days
BSL
3 days
IPSL
3 days
eOnzErG vs TBD
G5 vs Nesh
Patches Events
3 days
Replay Cast
3 days
Wardi Open
3 days
Afreeca Starleague
3 days
Jaedong vs Light
Monday Night Weeklies
4 days
Replay Cast
4 days
Sparkling Tuna Cup
4 days
Afreeca Starleague
4 days
Snow vs Flash
WardiTV Invitational
5 days
GSL
5 days
GSL
6 days
Liquipedia Results

Completed

Proleague 2026-04-28
WardiTV TLMC #16
Nations Cup 2026

Ongoing

BSL Season 22
ASL Season 21
CSL 2026 SPRING (S20)
IPSL Spring 2026
KCM Race Survival 2026 Season 2
StarCraft2 Community Team League 2026 Spring
2026 GSL S1
BLAST Rivals Spring 2026
IEM Rio 2026
PGL Bucharest 2026
Stake Ranked Episode 1
BLAST Open Spring 2026
ESL Pro League S23 Finals
ESL Pro League S23 Stage 1&2
PGL Cluj-Napoca 2026

Upcoming

Escore Tournament S2: W5
KK 2v2 League Season 1
Acropolis #4
BSL 22 Non-Korean Championship
CSLAN 4
Kung Fu Cup 2026 Grand Finals
HSC XXIX
uThermal 2v2 2026 Main Event
Maestros of the Game 2
2026 GSL S2
RSL Revival: Season 5
XSE Pro League 2026
IEM Cologne Major 2026
Stake Ranked Episode 2
CS Asia Championships 2026
IEM Atlanta 2026
Asian Champions League 2026
PGL Astana 2026
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.