Transcript

Datorzinātņu dienas 2011

Agnis ŠkuškovniksLatvijas Universitāte

Klasiskā un kvantu spēļu teorija

Datorzinātņu dienas 2011

Kas ir spēļu teorija?

• Spēļu teorija pēta vairāku spēlētāju lēmumu pieņemšanas procesu, kurā spēlētājiem jāizdara izvēles, kas potenciāli ietekmē citus spēlētājus

• Antoine Cournot (in 1838); John von Neumann (in 1944); John Nash (in 1950)

Datorzinātņu dienas 2011

Spēļu piemēri

pirkt nepirkt

augsta (2; 2) (0;1)

zema (1; 0) (1;1)

opera futbols

opera (3; 2) (0;0)

futbols (0; 0) (2;3)

“Kvalitāte-pirkums” spēle “Battle of sexes” spēle

Rock-Paper-Scisors-Lizard-Spock

Datorzinātņu dienas 2011

Kas ir kvantu spēļu teorija?• Kvantu spēļu teorija ir klasiskās spēļu teorijas

paplašinājums, izmantojot kvantu fizikas parādības

• 3 atšķirības:• Sākuma stāvokļi ir sapīti (zināms, ka tas nedod papildus komunikācijas iespēju)

• Sākuma stāvokļu superpozīcija• Iespējams izmantoto stratēģiju sapinums

Datorzinātņu dienas 2011

Kvantu spēļu veidi• Nonlocal spēles– Kvantu nonlocality un klasiskā “hidden variable” īpašību

ilustrēšana; Bella teorēmas ilustrācija

• Stratēģisko spēļu kvantu analogi (normālformas spēles)

– Esošu spēļu pārnešana kvantu pasaulē

• Izvērstas formas spēles– Dažādi izvērsti ierobežojumi spēlētāju darbībām

Datorzinātņu dienas 2011

Stratēģiskās spēles

• Neša līdzsvars • Guilty-Guilty

• Dabiska izvēle (ar komunikāciju)

• Not Guilty – Not Guilty

• Ja spēlētājie pieejams sapīti kvantu biti – spēlētāji nonāk pie “dabiskā” rezultāta

Datorzinātņu dienas 2011

Balsošanas modelis

P1 P2 P3 P4Cilvēks – A3 0 0 3 2Cilvēks – B2 0 3 0 2Cilvēks – C1 3 0 0 2

Dmitrija Kravčenko rezultātsVēlēšanu rezultātu ieguvuma matrica

• Klasiskais modelis • Spēlētājam “izdevīgi balsot par

savu partiju” (Neša līdzsvars)• Rezultāts – 3 partiju neizšķirts

Spēlētāja ieguvums: 3*1/3=1 • Kvantu modelis

• Spēles elementi tiek modificēti atbilstoši kvantu spēļu analīzes modelim

• Spēlētājam pieejams sapīts kvantu bits• Rezultāts – Uzvar P4

Spēlētāja ieguvums: 2

Datorzinātņu dienas 2011

Nonlocal spēles

• Parāda klasiskās un kvantu fizikas atšķirības datorzinātniekiem saprotamā veidā

• Ilustrē Bella teorēmu• Parasti kooperatīvas spēles, kur spēlētāji kopā spēlē pret tiesnesi

– Spēlētājiem tiek padota informācija no zināmas ievada kopas– Spēlētāji izvada atbildi (parasti bitu)– Mērķis – panākt ievada un izvada korelāciju (atbilstoši kādai iepriekš

zināmai funkcijai)– Kvantu modelī iegūstot augstāku rezultātu nekā klasiskajā, tiek ilustrēts

Bella teorēmas rezultāts

Datorzinātņu dienas 2011

CHSH spēle• Ievaddati: a,b {0,1}

• Izvaddati: x,y {0,1}

• Noteikumi:– Pēc ievaddatu saņemšanas komunikācija nedrīkst notikt– Spēlētāji uzvar,

• Ja a=b=1, tad xy=1• Ja a=0 vai b=0, tad xy=0

• Klasiskā situācijā Pr[xy = ab] ≤ 0.75

• Bet, ja spēlētājiem pieejams sapīts stāvoklis 00 – 11– Pr[xy = ab] = cos2(/8) = ½ + ¼√2 = 0.853…

Tiesnesis

Bobs

Alisea

b

x

y

a b xy

00 0

01 0

10 0

11 1

Datorzinātņu dienas 2011

Kvantu CHSH stratēģija• Alisei un Bobam pieejami sapīti kvantu biti = 00 – 11

• Alise: ja a = 0, tad rotācija pa leņķi A = /16, citādi rotācija pa leņķi A = + 3/16 un tad veicam mērījumu

• Bobs: ja b = 0, tad rotācija pa leņķi B = /16, tad rotācija pa leņķi B = + 3/16 un mērām

ab = 01 or 10

/8

3/8

-/8

ab = 11

ab = 00Uzvaras varbūtība: Pr[ab = st] = cos2(/8) = ½ + ¼√2 = 0.853…

Datorzinātņu dienas 2011

Kvantu stratēģijas vizualizācijaAB 0 - ALICE 1 - ALICE

0 - B

OB

1 - B

OB

Uzvaras varbūtība: Pr[ab = st] = = cos2(/8) = ½ + ¼√2 = 0.853…

Datorzinātņu dienas 2011

Datorzinātņu dienas 2011

CHSH spēle ar nevienmērīgiem ievaddatiem

• Klasiski:– Labākā stratēģija x=0, y=0– Iespēja atbildēt pareizi 0.75

• Ja nu, ieejas biti netiek padoti vienmērīgi?

• Izmanto varbūtisku stratēģiju:– Labākā stratēģija: ar varbūtību 0.25 izvēlēties 1 no 4 stratēģijām– Iespēja atbildēt pareizi 0.75

a b PareizāAtbilde x y xy Atbilst

00 0 0 0 0 +

01 0 0 0 0 +

10 0 0 0 0 +

11 1 0 0 0 -

a b PareizāAtbilde

x=0y=0

x=0y=b

x=ay=0

x=ay=!b

0 0 0 0 0 0 + 0 0 0 + 0 0 0 + 0 1 1 -

0 1 0 0 0 0 + 0 1 1 - 0 0 0 + 0 0 0 +

1 0 0 0 0 0 + 0 0 0 + 1 0 1 - 1 1 0 +

1 1 1 0 0 0 - 0 1 1 + 1 0 1 + 1 0 1 +

Datorzinātņu dienas 2011

N-CHSH (N=3)• Ievaddati: a,b,c {0,1}

• Izvaddati: x,y,z {0,1}

• Spēlētājs uzvar– Ja a=b=c=1, tad xyz=1– ja citādi, tad xyz=0

• Klasiski: – Labākā stratēģija: {x=0, y=0, z=0}– Pr[xyz = ab c] ≤ 7/8

• Varbūtiski?• Iepriekš aprakstītā metode nederēs, jo

– ir tikai 1 stratēģija kā iegūt 7/8; – citām stratēģijām max. 5/8

A

a

xB

b

yC

c

z

Tiesnesis a b c xyz

000 0

001 0

010 0

011 0

100 0

101 0

110 0

111 1

Datorzinātņu dienas 2011

N-CHSH analīze• Pārveidojam šo spēli par

“2 player zerro sum matrix game”• Max. varbūtība atbildēt pareizi ir 0.7

– 1. stratēģiju izvēlamies ar 3/10, pārējās ar 1/10

Ieejas biti

VajadzīgāsXOR vērtības

Stratēģija

"0,0,0" "0,0,a3" "0,a2,0" "0,a2,!a3" "a1,0,0" "a1,0,!a3" "a1,!a2,0" "a1,a2,a3"

0,0,0 0 0 0 0 1 0 1 1 0

0,0,1 0 0 1 0 0 0 0 1 1

0,1,0 0 0 0 1 0 0 1 0 1

0,1,1 0 0 1 1 1 0 0 0 0

1,0,0 0 0 0 0 1 1 0 0 1

1,0,1 0 0 1 0 0 1 1 0 0

1,1,0 0 0 0 1 0 1 0 1 0

1,1,1 1 0 1 1 1 1 1 1 1

Datorzinātņu dienas 2011

N-CHSH (N=N)• Spriedumus vispārinot izdevās atrast

novērtējumus n-spēlētāju modificētai CHSH spēlei

• Uzvaras varbūtības apakšējā un augšējā robeža sakrīt un ir:

limn→∞ 2n − 1(2n−1 − 1) + (2n − 1) = 23

Datorzinātņu dienas 2011

• Jautājumi?

Datorzinātņu dienas 2011

• 6098, 6275, 6276

Datorzinātņu dienas 2011


Recommended