1 / 18

MASTERMIND

MASTERMIND. Henning Thomas (joint with Benjamin Doerr, Reto Spöhel and Carola Winzen). TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: A A. Mastermind. Board game invented by Mordechai Meirovitz in 1970. Mastermind.

vera
Télécharger la présentation

MASTERMIND

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. MASTERMIND Henning Thomas (joint with Benjamin Doerr,Reto Spöhel and Carola Winzen) TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AA

  2. Mastermind • Board game invented by Mordechai Meirovitz in 1970

  3. Mastermind • The “Codemaker” generates a secret color combination of length 4 with 6 colors, • The “Codebreaker” queries such color combinations, • The answer by Codemaker is • , depicted by black pegs • , depicted by white pegs • The goal of Codemaker is to identify m with as few queries as possible. secret query answer

  4. Mastermind with n slots and k colors • The “Codemaker” generates a secret color combination of length n with k colors, • The “Codebreaker” queries such color combinations, • The answer by Codemaker is • , depicted by black pegs • , depicted by white pegs • The goal of Codemaker is to identify m with as few queries as possible. secret query answer

  5. Mastermind with n slots and k colors • The “Codemaker” generates a secret color combination of length n with k colors, • The “Codebreaker” queries such color combinations, • The answer by Codemaker is • , depicted by black pegs • , depicted by white pegs • The goal of Codemaker is to identify m with as few queries as possible. This talk: Black Peg Mastermind secret query answer

  6. Mastermind with n slots and k colors • The “Codemaker” generates a secret color combination of length n with k colors, • The “Codebreaker” queries such color combinations, • The answer by Codemaker is • , depicted by black pegs • , depicted by white pegs • The goal of Codemaker is to identify m with as few queries as possible. This talk: Black Peg Mastermind Whatistheminimumnumber t = t(k,n) ofqueries such thatthereexists a deterministicstrategytoidentifyeverysecretcolorcombination? secret query answer

  7. Some Known Results & Our Results • [Knuth ’76], In the original board game (4 slots, 6 colors) 5 queries are optimal.

  8. Some Known Results & Our Results • [Knuth ’76], In the original board game (4 slots, 6 colors) 5 queries are optimal. • [Erdős, Rényi, ’63], Analysis of non-adaptive strategies for 0-1-Mastermind In this talk: • [Chvátal, ’83], Asymptotically optimal strategy for using random queries • [Goodrich, ’09], Improvement of Chvátals results by a factor of 2 using deterministic strategy Our Result: • Improved bound for k=n by combining Chvátal and Goodrich

  9. Lower Bound • Information theoretic argument: start 1 leaf 0 n ... query 1 n leaves query 2 n2 leaves query t nt leaves

  10. Upper Bound (Chvátal) 0 n • Idea: Ask Random Queries. • Intuition: • The number of black pegs of a query is Bin(n, 1/k) distributed. • Hence, we ‚learn‘ roughly bits per query. • We need to learn n log k bits. • t satisfies

  11. Comparison Lower Bound vs Chvátal • The optimal number of queries t satisfies • Problem for k=n: • Non-Adaptive: Learning does not improve during the game. • For k=n we expect 1 black peg per query. • We learn a constant number of bits. • This yields good ifk=o(n)

  12. Upper Bound (Goodrich) • Idea: • Answer “0”is good since we can eliminate one color from every slot!

  13. Upper Bound (Goodrich) • Implementation:DivideandConquer • Askmonochromaticqueriesforeverycolor.ObtainXi = # appearancesofcolor i. • Ask • CalculateLi = # appearnaceofcolor i in lefthalfRi= # appearnaceofcolori in righthalf 11 ... 1 22 ... 2 kk ... k b2 11 ... 1 22 ... 2 b3 11 ... 1 33 ... 3 bk 11 ... 1 kk ... k

  14. Upper Bound (Goodrich) • Implementation:DivideandConquer • Askmonochromaticqueriesforeverycolor.ObtainXi = # appearancesofcolor i. • Ask • CalculateLi = # appearnaceofcolor i in lefthalfRi= # appearnaceofcolori in righthalf • Recursein theleftandright half (withoutstep 1) • Runtimefork=n: 11 ... 1 22 ... 2 kk ... k b2 11 ... 1 22 ... 2 b3 11 ... 1 33 ... 3 bk 11 ... 1 kk ... k

  15. Comparison Lower Bound vs Goodrich • For k=n Goodrich yields • Problem: • When Goodrich runs for a while, the blockseventually become too small that we cannot learn as many bits as we would like to.

  16. Combining Chvátal and Goodrich • Goodrich is good at eliminating colors. • Chvátal is good for k << n. Idea: 2 phases. • Goodrich • Chvátal

More Related