Peliteoriassa peli normaalissa tai strategisessa muodossa (englanniksi normaalimuoto ) koostuu kolmesta elementistä: joukosta pelaajia, joukosta puhtaita strategioita jokaiselle pelaajalle ja sarja voittotoimintoja jokaiselle pelaajalle. Näin ollen peli normaalimuodossa voidaan esittää n-ulotteisena matriisina (taulukkona), jonka elementit ovat n-ulotteisia voittovektoreita. Tätä taulukkoa kutsutaan voittomatriisiksi . _
Normaalimuodossa olevaa peliä kutsutaan tripleksi , jossa
- monta pelaajaa on joukko puhtaita strategioita jokaiselle pelaajalle, - monia maksutoimintoja jokaiselle pelaajalle.Jokaisella pelaajalla on rajallinen joukko puhtaita strategioita ja hyödyllisyystoiminto (voittotoiminto) .
Pelin lopputulos on yhdistelmä jokaisen pelaajan puhtaista strategioista:
missä .
Pelaaja 2L |
Pelaaja 2R | |
Pelaaja 1 U |
4 , 3 | -1 , -1 |
Pelaaja 1D |
0 , 0 | 3 , 4 |
Normaali muoto pelille, jossa on 2 pelaajaa, jokaisella on 2 strategiaa. |
Kahden pelaajan tapaus - kaksi puhdasta strategiaa näytetään pöydällä. Ensimmäisen pelaajan puhtaat strategiat ovat U ja D. Toisen pelaajan puhtaat strategiat ovat L ja R. Jos ensimmäinen pelaaja valitsee U:n ja toinen pelaaja (samaan aikaan) L, vastaavat voitot ovat 4 ja R. 3 (vektorin (4, 3) ensimmäinen elementti tarkoittaa ensimmäisen pelaajan maksua ja toinen - toisen pelaajan maksua, jos strategiat U ja L valittiin). Toisin sanoen löytääksesi kutakin pelattua strategiasarjaa vastaavan maksujen jakautumisen, sinun tarvitsee vain löytää vektori, joka sijaitsee taulukon vastaavien rivien ja sarakkeiden leikkauspisteessä (rivit vastaavat ensimmäisen pelaajan strategioita, ja sarakkeet vastaavat toisen pelaajan strategioita). Pelattujen strategioiden yhdistelmää kutsutaan pelin tulokseksi. Tässä esimerkissä pelin lopputulos on (U, L). Kaikki mahdolliset tulokset tälle pelille: {(U, L), (U, R), (D, L), (D, R)}. Ilmeisesti jokainen taulukon solu vastaa yhtä mahdollisista tuloksista.
Yleisessä tapauksessa oletetaan, että pelaajalla on mieltymykset tulossarjaan. Toisin sanoen jokaiselle pelaajalle annetaan binäärisuhteet tämän joukon elementtien välillä. Tämä tarkoittaa, että pelaaja voi verrata mitä tahansa kahta lopputulosta: pelaaja joko suosii jompaakumpaa kahdesta tuloksesta tai pysyy välinpitämättömänä molempien tulosten välillä. Tietyillä pelaajan mieltymyksiä koskevilla lisäoletuksilla voidaan osoittaa, että on olemassa Neumann-Mongenstern-hyötyfunktio, joka edustaa kunkin tuloksen hyödyllisyyttä reaalilukuna u(s), ja jos u(s)≥u(s') < => pelaaja pitää parempana (tai on välinpitämätön) tuloksen s'. Esimerkissämme ensimmäinen pelaaja pitää tulosta (U, L) parempana kuin tulosta (D, R), koska 4>3.
Pelissä, joissa on täydellinen tieto, pelin kuvaus on kaikkien pelaajien tiedossa (kaikki pelaajat tietävät kaikkien muiden pelaajien puhtaat strategiat ja hyödylliset toiminnot). Pelissä, joissa on epätäydellisiä tietoja, jotkut pelaajat eivät ehkä tiedä muiden pelaajien aputoimintoja (eli eivät tiedä joitain tiettyjä arvoja taulukon soluille esimerkistämme).
Mitä tahansa laajassa muodossa olevaa peliä voidaan edustaa normaalimuodossa oleva peli (ei välttämättä vastaava). Pelin normaalimuotoista esitystä voidaan käyttää hallitsevien strategioiden löytämiseen.