Imo 2010: Difference between revisions

From Polymath Wiki
Jump to navigationJump to search
No edit summary
Line 34: Line 34:
: ''Type 2:'' Choose a nonempty box <math>B_k</math> with <math>1 \leq k �\leq 4</math>. Remove one coin from <math>B_k</math> and exchange the contents of (possibly empty) boxes <math>B_{k+1}</math> and <math>B_{k+2}</math>.
: ''Type 2:'' Choose a nonempty box <math>B_k</math> with <math>1 \leq k �\leq 4</math>. Remove one coin from <math>B_k</math> and exchange the contents of (possibly empty) boxes <math>B_{k+1}</math> and <math>B_{k+2}</math>.
:
:
: Determine whether there is a finite sequence of such operations that results in boxes <math>B_1, B_2, B_3, B_4, B_5</math>  being empty and box <math>B_6</math> containing exactly <math>2010^{2010^2010}</math> coins. (Note that <math>a^{b^c} := a^{(b^c)}</math>.)
: Determine whether there is a finite sequence of such operations that results in boxes <math>B_1, B_2, B_3, B_4, B_5</math>  being empty and box <math>B_6</math> containing exactly <math>2010^{2010^{2010}}</math> coins. (Note that <math>a^{b^c} := a^{(b^c)}</math>.)
 


== Observations and partial results ==
== Observations and partial results ==

Revision as of 07:59, 8 July 2010

This is the wiki page for the mini-polymath2 project, which seeks solutions to Question 5 of the 2010 International Mathematical Olympiad.

The project will start at 16:00 UTC July 8, and is hosted at the polymath blog. A discussion thread is hosted at Terry Tao's blog.

Rules

This project will follow the usual polymath rules. In particular:

  • Everyone is welcome to participate, though people who have already seen an external solution to the problem should probably refrain from giving spoilers throughout the experiment.
  • This is a team effort, not a race between individuals. Rather than work for extended periods of time in isolation from the rest of the project, the idea is to come up with short observations (or to carry an observation of another participant further) and then report back what one gets to the rest of the team. Partial results or even failures can be worth reporting.
  • Participants are encouraged to update the wiki, or to summarise progress within threads, for the benefit of others.

Threads

Discussion and planning:

Research:

The question

The question to be solved is Question 5 of the 2010 International Mathematical Olympiad:

Problem In each of six boxes [math]\displaystyle{ B_1, B_2, B_3, B_4, B_5, B_6 }[/math] there is initially one coin. There are two types of operation allowed:
Type 1: Choose a nonempty box [math]\displaystyle{ B_j }[/math] with [math]\displaystyle{ 1 \leq j \leq 5 }[/math]. Remove one coin from [math]\displaystyle{ B_j }[/math] and add two coins to [math]\displaystyle{ B_{j+1} }[/math].
Type 2: Choose a nonempty box [math]\displaystyle{ B_k }[/math] with [math]\displaystyle{ 1 \leq k �\leq 4 }[/math]. Remove one coin from [math]\displaystyle{ B_k }[/math] and exchange the contents of (possibly empty) boxes [math]\displaystyle{ B_{k+1} }[/math] and [math]\displaystyle{ B_{k+2} }[/math].
Determine whether there is a finite sequence of such operations that results in boxes [math]\displaystyle{ B_1, B_2, B_3, B_4, B_5 }[/math] being empty and box [math]\displaystyle{ B_6 }[/math] containing exactly [math]\displaystyle{ 2010^{2010^{2010}} }[/math] coins. (Note that [math]\displaystyle{ a^{b^c} := a^{(b^c)} }[/math].)

Observations and partial results

  • No partial results yet.

Possible strategies

  • No possible strategies proposed yet.

Completed solutions

First solution

Second solution