I spelteorin består ett spel i normal eller strategisk form ( engelska normalform ) av tre element: en uppsättning spelare, en uppsättning rena strategier för varje spelare och en uppsättning payoff-funktioner för varje spelare. Således kan spelet i normal form representeras som en n-dimensionell matris (tabell), vars element är n-dimensionella utdelningsvektorer. Denna tabell kallas payoff matrisen .
Ett spel i normal form kallas en trippel , där
- många spelare är uppsättningen av rena strategier för varje spelare, - många betalningsfunktioner för varje spelare.Varje spelare har en begränsad uppsättning rena strategier och en hjälpfunktion (utbetalningsfunktion) .
Resultatet av spelet är en kombination av varje spelares rena strategier:
var .
Spelare 2 L |
Spelare 2R | |
Spelare 1 U |
4 , 3 | -1 , -1 |
Spelare 1D |
0 , 0 | 3 , 4 |
Normal form för ett spel med 2 spelare, var och en med 2 strategier. |
Fallet med två spelare - två rena strategier visas på bordet. Den första spelarens rena strategier är U och D. Den andra spelarens rena strategier är L och R. Om den första spelaren väljer U och den andra spelaren (samtidigt) väljer L, är motsvarande utdelning 4 och 3 (det första elementet i vektorn (4, 3) anger betalningen av den första spelaren, och den andra - betalningen av den andra spelaren om strategierna U och L valdes). Det vill säga, för att hitta fördelningen av betalningar som motsvarar varje uppsättning av spelade strategier behöver du bara hitta vektorn som ligger i skärningspunkten mellan motsvarande rader och kolumner i tabellen (raderna motsvarar strategierna för den första spelaren, och kolumnerna motsvarar den andra spelarens strategier). Kombinationen av spelade strategier kallas resultatet av spelet. I det här exemplet är resultatet av spelet (U, L). Alla möjliga resultat för detta spel: {(U, L), (U, R), (D, L), (D, R)}. Uppenbarligen motsvarar varje cell i tabellen ett av de möjliga resultaten.
I det allmänna fallet antas det att spelaren har preferenser på uppsättningen av resultat. Det vill säga för varje spelare ges binära relationer mellan elementen i denna uppsättning. Detta innebär att spelaren kan jämföra vilka två resultat som helst: spelaren föredrar antingen ett av de två resultaten eller förblir likgiltig mellan båda resultaten. Under vissa ytterligare antaganden om spelarens preferenser kan det visas att det finns en Neumann-Mongenstern-hjälpfunktion som representerar nyttan av varje resultat som ett reellt tal u(s), och om u(s)≥u(s') < => spelaren föredrar (eller är likgiltig inför ) resultat s utfall s'. I vårt exempel föredrar den första spelaren resultatet (U, L) framför resultatet (D, R) eftersom 4>3.
I spel med fullständig information är beskrivningen av spelet känd för alla spelare (alla spelare känner till alla andra spelares rena strategier och nyttofunktioner). I spel med ofullständig information kanske vissa spelare inte känner till andra spelares hjälpfunktioner (det vill säga inte känner till några specifika värden för bordets celler från vårt exempel).
Alla spel i omfattande form kan representeras av ett spel i normal form (inte nödvändigtvis likvärdigt). Den normala formrepresentationen av spelet kan användas för att hitta dominerade strategier.