Determinatezza

Da Wikipedia, l'enciclopedia libera.
Jump to navigation Jump to search

In teoria degli insiemi, una branca della matematica, la determinatezza è lo studio delle condizioni che permettono ad uno dei due giocatori di un gioco di avere una strategia vincente, e delle conseguenze dell'esistenza di tale strategia.

Nozioni di base[modifica | modifica wikitesto]

Giochi[modifica | modifica wikitesto]

Il primo tipo di giochi che andiamo a considerare è il gioco a due giocatori di informazione perfetta e lunghezza ω, nel quale i giocatori giocano numeri naturali.

In questo tipo di gioco consideriamo due giocatori, spesso chiamati I e II, che si alternano giocando numeri naturali, con I che inizia. Il gioco dura per sempre; o meglio, le giocate dei giocatori sono indicizzate dai numeri naturali. Quando il gioco è finito, una condizione predeterminata sancisce quale giocatore ha vinto. Questa condizione non deve essere necessariamente una regola; può semplicemente essere una lista (infinitamente lunga) che dice chi vince per ogni sequenza di gioco.

Più formalmente, possiamo considerare un sottoinsieme A di uno Spazio di Baire; ricordiamo che quest'ultimo consiste di tutte le ω-sequenze di numeri naturali. Nel gioco GA, I sceglie un numero naturale a0, poi II sceglie a1, poi I sceglie a2, e così via. I vince il gioco se e solo se

altrimenti II vince. A è chiamato il payoff set di GA.

Si assume che ogni giocatore possa vedere tutte le mosse precedenti alle sue, e che conosca la condizione vincente.

Strategie[modifica | modifica wikitesto]

Informalmente, una strategia per un giocatore è un modo di giocare nel quale le sue scelte sono totalmente determinate dalle scelte precedenti. Di nuovo, tale strategia non deve essere necessariamente seguire una "regola", ma può semplicemente essere una lista di scelte.

Più formalmente una strategia per il giocatore I (per un gioco come spiegato nella precedente sottosezione) è una funzione che ha come argomento sequenze finite di numeri naturali, di lunghezza pari, e restituisce un numero naturale. Se σ è una tale strategia e <a0,…,a2n-1> è una sequenza di giocate, allora σ(<a0,…,a2n-1>) è la prossima giocata che I farà, se sta seguendo la strategia σ. Strategie per II sono sostanzialmente le stesse, sostituendo "dispari" al posto di "pari".

Notare che non abbiamo detto nulla, ancora, riguardo a quando considerare se una data strategia sia da considerare buona. Una strategia può indurre un giocatore a giocare mosse cattive, ma rimane una strategia. Di fatto non è necessario sempre conoscere la condizione vincente per un gioco, ma sapere quali strategie esistono per il gioco.

Strategie vincenti[modifica | modifica wikitesto]

Una strategia si dice vincente se il giocatore che la segue vincerà sicuramente, qualunque siano le giocate dell'avversario. Per esempio se σ è una strategia per I, allora σ è una strategia vincente per I nel gioco GA se, per ogni sequenza di naturali <a1,a3,a5,…> scelta da II, la sequenza di giocate prodotte da σ, quando II gioca così, è un elemento di A.

Giochi determinati[modifica | modifica wikitesto]

Un gioco (o una classe di giochi) è detto determinato se per ogni situazione di gioco esiste una strategia vincente per uno dei giocatori(non necessariamente lo stesso per ogni situazione). Notare che non possiamo avere una strategia vincente per entrambi i giocatori per lo stesso gioco, se ci fosse, le due strategie verrebbero giocate da entrambi l'uno contro l'altro. Ne risulterebbe, per ipotesi, una vittoria per entrambi i giocatori, che è impossibile.


Bibliografia[modifica | modifica wikitesto]

Matematica Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica