"Klik" [1] :407 (fra engelsk. Chomp ) - et matematisk spil , som består i at spise en chokoladebar af to spillere efter bestemte regler.
Den moderne geometriske formulering af spillet blev opfundet af David Gale i 1974, og den tidligere aritmetiske formulering af Frederick Schuch i 1952. Det engelske navn Chomp - bogstaveligt betyder "Chawk" (fra "slurp") - blev opfundet af Martin Gardner .
Feltet af spillet "Klik" - en rektangulær bar af chokolade; to spillere skiftes til at vælge en skive og spise sammen med alle skiverne over og til højre for den [2] . Spilleren, der spiser den "forgiftede" nederste venstre skive [3] [1] :407 taber .
Nedenfor er et eksempel på et spil på et 5 × 3-bræt: Den "forgiftede" skive er markeret med rødt, og skiverne, som spilleren spiser, er prikket.
Begyndelsen af spillet | Første spiller | Anden spiller | Første spiller | Anden spiller | ||||
---|---|---|---|---|---|---|---|---|
I dette eksempel er den første spiller tvunget til at spise den "forgiftede" skive og taber derfor.
Spillet "Klik" kan omformuleres aritmetisk: indledningsvis gættes et naturligt tal ; to spillere skiftes til at navngive divisorer af et tal , der ikke er multipla af dem, der allerede er nævnt . Spilleren, der er tvunget til at navngive nummer 1 [4], taber .
For tal med faktorisering , dvs. der kun har to primtal divisorer , reduceres den aritmetiske version til den geometriske i rektanglet (k+1) × (l+1). Samtidig svarer skiver til divisors, spiste skiver svarer til forbudte dividers, den "forgiftede" skive svarer til tallet 1, se tabellen nedenfor.
9 | atten | 36 | 72 | 144 |
3 | 6 | 12 | 24 | 48 |
en | 2 | fire | otte | 16 |
Fra et spilteoretisk synspunkt er Click et uvildigt , deterministisk spil med perfekt information . Derudover har spillet et begrænset antal tilstande, og derfor følger det af spilteoriens generelle udsagn, at en af spillerne skal have en vindende strategi.
Lån af en strategi giver mulighed for at vise, at den første spiller har en vindende strategi (undtagen i tilfælde af et 1 × 1 felt), men beviset er ikke konstruktivt . Antag især, at den anden spiller har en vinderstrategi, og bevis, at den første spiller også har en, idet det antages, at den første spiller kun spiste den øverste højre skive [5] i det første træk og betragtede træk fra den anden spiller, der førte til vinderstrategien [6] ; så kan den første spiller selv lave sådan et første træk og derved "låne" strategien fra den anden spiller. Det betyder, at den anden spiller ikke kan have en vinderstrategi, og derfor gør den første [1] :410 .
Fra 1974 er vinderstrategierne fra de første kun kendt for delvise former for feltet [1] :408 :
Der blev også fundet vinderstrategier for små feltstørrelser på computeren. Den mindste kendte feltstørrelse, som den vindende strategi ikke er unik for, er (8, 10) [7] .