Presentation is loading. Please wait.

Presentation is loading. Please wait.

CATS’06 18/1/2006James Harland The Busy Beaver, the Placid Platypus and Other Crazy Creatures The Busy Beaver, the Placid Platypus and Other Crazy Creatures.

Similar presentations


Presentation on theme: "CATS’06 18/1/2006James Harland The Busy Beaver, the Placid Platypus and Other Crazy Creatures The Busy Beaver, the Placid Platypus and Other Crazy Creatures."— Presentation transcript:

1

2 CATS’06 18/1/2006James Harland The Busy Beaver, the Placid Platypus and Other Crazy Creatures The Busy Beaver, the Placid Platypus and Other Crazy Creatures James Harland School of CS & IT RMIT University

3 CATS’06 18/1/2006James Harland The Busy Beaver, the Placid Platypus and Other Crazy Creatures Introduction New twist on an old problem More questions than answers! Innocuous class of machines generate huge numbers Involves termination analysis and constraint programming Frustrating to the point of obsession …

4 CATS’06 18/1/2006James Harland The Busy Beaver, the Placid Platypus and Other Crazy Creatures Busy Beaver Turing Machines Two-way infinite tape Only tape symbols are B and 1 Deterministic Blank on input Question: What is the largest number of 1’s that can be printed by a terminating n-state machine?

5 CATS’06 18/1/2006James Harland The Busy Beaver, the Placid Platypus and Other Crazy Creatures Known Values nbb(n)ff(n) ≥ 4098≥ 47,176,870 6≥ 1.29× ≥ 3× !!!!!!!!????

6 CATS’06 18/1/2006James Harland The Busy Beaver, the Placid Platypus and Other Crazy Creatures Known Beaver Machines

7 CATS’06 18/1/2006James Harland The Busy Beaver, the Placid Platypus and Other Crazy Creatures Known Beaver Machines This can be represented in around 60 bits … takes about 2,800 bits …

8 CATS’06 18/1/2006James Harland The Busy Beaver, the Placid Platypus and Other Crazy Creatures Busy Beaver function Non-computable Grows faster than any computable function Various mathematical bounds known Seems hopeless for n ≥ 7 Values for n = 5 seem settled 3, 4, 5, 6 symbol versions are popular

9 CATS’06 18/1/2006James Harland The Busy Beaver, the Placid Platypus and Other Crazy Creatures Monsters are rare … prod machines73,61713, Of 117,440,512 4-state machines: 89,207 irredundant and terminate with prod ≥ 5 only 2,561 machines with prod > bb(3) loops abound!

10 CATS’06 18/1/2006James Harland The Busy Beaver, the Placid Platypus and Other Crazy Creatures 5-state monsters prodmaxtransitions ,28847,176, ,14411,798, ,14323,554, ,14311,798, ,14311,804, ,14311,804, ,4742,358,064

11 CATS’06 18/1/2006James Harland The Busy Beaver, the Placid Platypus and Other Crazy Creatures Platypus machines An n-state machine of productivity m shows bb(n) ≥ m at most n states are needed to print m 1's Question: what is the minimum number of states needed to print m 1's? We call this the placid platypus or pp(m)

12 CATS’06 18/1/2006James Harland The Busy Beaver, the Placid Platypus and Other Crazy Creatures Known Platypus values 1-83 except 46, 48, 50, 74, 75, 77, 80, 82 87,88,89,91,99,112,… …,1471, (..?...), 4096, 4097, 4098 Question: Is it true that there is a 5-state machine which prints m 1's for each bb(4) ≤ m ≤ bb(5)? This is certainly false for bb(5) to bb(6).

13 CATS’06 18/1/2006James Harland The Busy Beaver, the Placid Platypus and Other Crazy Creatures Platypus questions Distribution of platypus machines for n = 5 Largest interval [m1,m2] of existence? Largest interval [m1,m2] of non-existence? Smallest m s.t. pp(m) ≥ 6? Distribution of platypus machines for n = 6 … Smallest m s.t. pp(m) ≥ 7? (!!!) ….

14 CATS’06 18/1/2006James Harland The Busy Beaver, the Placid Platypus and Other Crazy Creatures Equivalence

15 CATS’06 18/1/2006James Harland The Busy Beaver, the Placid Platypus and Other Crazy Creatures More questions Productivity for machines which are contiguous (always of the form B1 * B) eager (output is only 1, never B) monotonic (no 1-to-B) Maximum productivity with ≤ 10,000 steps Restrictions for productivity << bb(n) Restrictions on tape (1-sided, bounded, …) Relationship to 3n+1 problem ….

16 CATS’06 18/1/2006James Harland The Busy Beaver, the Placid Platypus and Other Crazy Creatures Other Crazy Creatures loops with maximum productivity per cycle frenetic phoenix (blank to blank) pseudo-random generator machines? maximum number of regions on tape does this function occur naturally?

17 CATS’06 18/1/2006James Harland The Busy Beaver, the Placid Platypus and Other Crazy Creatures Conclusions & Further Work Plenty of interesting questions … Complete analysis of n = 5 case Publish database for n = 3,4,5 Better evaluator needed Inductive prover for non-termination “mine” cases for 3,4,5 for attempt on n = 6 (aka quest for the demon duck of doom)


Download ppt "CATS’06 18/1/2006James Harland The Busy Beaver, the Placid Platypus and Other Crazy Creatures The Busy Beaver, the Placid Platypus and Other Crazy Creatures."

Similar presentations


Ads by Google