19
Datorzināt ņu dienas 2011 Agnis Škuškovniks Latvijas Universitāte Klasiskā un kvantu spēļu teorija

Klasiskā un kvantu spēļu teorija

Embed Size (px)

DESCRIPTION

Klasiskā un kvantu spēļu teorija. Agnis Škuškovniks Latvijas Universitāte. 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 - PowerPoint PPT Presentation

Citation preview

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