DERANGEMENTS - DISMUTAZIONI
Definizione: Permutazioni senza punti fissi A000166.
Chiamerò $H_n$ il sottoinsieme delle dismutazioni del gruppo simmetrico $S_n$.
Quando non specificato il pedice è sottointeso $n$.
Reinterpreterò alcuni problemi nell'ottica di intersezioni tra $H$ e suoi traslati, o meglio $|H \cap \sigma H|$ con $\sigma\in S_n$ che agisce canonicamente sul sottoinsieme $H$.
Dismutazioni con ripetizione:
- Ogni elemento 2 volte: A000459.
$$ \frac{|H_{2n} \cap (1,2)(3,4)...(2n-1,2n)H_{2n}|}{2^n}.$$
Mia soluzione: APPROFONDIMENTO.
- Ogni elemento 3 volte: A059073.
$$\frac{|H_{3n} \cap (1,2,3)(4,5,6)...(n-2,n-1,n)H_{3n} \cap (1,3,2)(4,6,5)...(3n-2,3n,3n-1)H_{3n}|}{3!^n}.$$
Notazione generalizzabile a dismutazioni con ripetizione generiche e riscribile in altri modi - vedi Approfondimento.
Es. $ |H \cap (123)H \cap (132)H | = |H \cap (12)H \cap (13)H \cap (23)H|. $
- Ogni elemento 4 volte:
A059074.
È come un mazzo di carte in cui identifico i semi, quindi la probabilità che giocare a
"$\star$"
sia noioso è:
$$ \frac {a_{13}}{(52!/(4!)^{13})} \approx 1.6 \%.$$
Conto esatto: WolframAlpha.
Pdf correlato - Molto altro sulle reference di OEIS.
Io mi fermo a 4, ma LUI no.
Comunque intorno a 59070 ci sono molte serie correlate, ad esempio dismutazioni parziali con ripetizioni (cioè con esattamente k punti fissi).
Ménage problem: Wikipedia.
- Reinterpretazione: $2*n!*|H \cap (1,2,3...n)H|$.
- Interessante soluzione: NON SESSISTA.
Latin rectangle: Wikipedia.
Mi interessa il numero di rettangoli $k*n$ con la priga riga ordinata.
Fisso K=3 e chiamo $a_n$ questo numero.
- $a_n$: A000186
-
$a_n$ può essere visto come numero coppie di dismutazioni che "dismutano" tra loro ($\star \star $):
$\sum_{\sigma \in H} |H \cap \sigma H | = |\{(\sigma , \tau) \in H_n^2 \ | \ \sigma\tau \in H_n \}|.$
Generalizzabile a (k-1)-uple (da approfondire).
-
Possibile soluzione per generico $k$: Spiegazione.
Purtroppo poco esplicita e poco utile computazionalmente.
Su questo problema ho un claim per $ n \rightarrow + \infty .$
Se qualcuno ne volesse mai parlare: [email protected].
Scrivetemi anche per eventuali errori o ambiguità.
Ciao :)
$\star$: Non ricordo il nome del gioco e non l'ho trovato online.
Regole: si divide il mazzo mischiato (52 carte) in maniera equa tra i giocatori, che riporranno il mazzetto coperto davanti a loro.
Vince chi finisce le carte.
Il primo giocatore dice "Asso" e scopre la prima carta mettendola rapidamente al centro del tavolo, se per caso è effettivamente un asso tutti i giocatori dovranno mettere la mano al centro del tavolo e l'ultimo che la mette dovrà prendere tutte le carte dal centro del tavolo.
Se non è un asso si procede in senso antiorario e il secondo giocatore girerà la prima carta del suo mazzetto dicendo "due" e così via finché non c'è una coincidenza.
Dopo la coincidenza ricomincia da asso il giocare che ha preso.
Arrivati a dire "Dieci, Fante, Donna, Re" si riparte con l'asso.
Questo gioco è "noioso" se non vi sono mai coincidenze scorrendo l'intero mazzo, questa è la probabilità calcolata sopra.
Di solito prende tutte le carte dal cento del tavolo anche chi sbaglia a chiamare la carta (es. due al posto di tre, o anche uno al posto di asso) e chi sbaglia a mettere la carta (es. non è il suo turno o doveva mettere la mano o ne ha messe due etc.).
Si può giocare una variante con i Jolly in cui si mette sempre la mano se esce il Jolly.
$\star \star$
Definizione: Date n permutazioni diremo che "dismutano" se applicate alla stessa stringa non hanno punti in comune.
Date $\sigma, \tau \in S_n$:
$$ \sigma , \tau \ \text{dismutano} \Leftrightarrow \sigma \in \tau H_n.$$
Dim:
$\exists \alpha \in S_n \ t.c. \ \sigma = \alpha \tau$.
Chiamiamo "s" la stringa su cui agiscono entrambe.
$\tau s = s'$ non deve avere punti in comune con $\sigma s = \alpha (\tau s) = \alpha s' \Leftrightarrow \alpha \in H_n$ (per definizione).
$\alpha = \sigma \tau^{-1}$ allora:
$\sigma , \tau \ \text{dismutano} \Leftrightarrow \sigma \tau^{-1} \in H_n \Leftrightarrow \sigma \in H_n \tau = \tau H_n. \ \square$
Per l'ultima ugualiza vedi nota.
Possiamo vedere i rettangoli latini 3*n con la prima riga ordinata come coppie di dismutazioni che dismutano, nel senso che la seconda e la terza riga per non avere punti in comune con la prima saranno dimutazioni (applicate a 1...n) e per non averli tra loro dovranno dismutare (da definizione).
Quindi:
$$ a_n = |\{(\sigma , \tau) \in H_n^2 \ | \ \sigma, \tau \ \text{dismutano} \}|
= |\{(\sigma , \tau) \in H_n^2 \ | \ \sigma\tau^{-1} \in H_n \}|
= |\{(\sigma , \tau) \in H_n^2 \ | \ \sigma\tau \in H_n \}|.$$
Nell'ultima ugualianza rinomino $\tau^{-1}$ in $\tau$, perchè continua a essere una generica dimutazione.
Nota: H è chiuso per inverso, perché l'inverso ha la stessa forma in cicli
(che definisce
H).
Inoltre il numero di coppie di dismutazioni che dismutano si può contare anche diversamente: sommo per ogni $\sigma \in H_n$ quante $\tau \in H_n$ dismutano con $\sigma$.
$$ a_n = \sum_{\sigma \in H} |H \cap \sigma H |.$$
Jack Boncompagni.