Sei $A$ die Anzahl der 8-stelligen Binärstrings (with digits 2 and 3) that **do not** contain 222 as a substring.

["О fouンジ della sequenza binarie a 8 cifre (con cifre 2 e 3) privi di "222"", "Sei $ A $ il numero di stringhe binarie a 8 cifre, dove ogni cifra è rispettivamente 2 o 3, e che non contengono la sottosequenza "222". Questa condizione aggiunge una regola combinatoria vincolante che rende il problema più interessante rispetto al conteggio semplice di stringhe binarie. In questo articolo esploreremo come calcolare $ A $ utilizzando metodi ricorsivi, proprietà delle sequenze restrittive e modelli probabilistici, con un focus sull’ottimizzazione combinatoria e sull’analisi algoritmica. Ve緊 sporchi sugli strumenti matematici per gestire conflitti locali e garantire la validità a lungo periodo.", "---", "### Introduzione al Problema", "Le stringhe a 8 cifre con simboli 2 e 3 rappresentano al numero totale $ 2^8 = 256 $ configurazioni, se ogni posizione fosse indipendente. Tuttavia, escludere ogni instanza di "222" — tre 2 consecutivi — rende necessario un conteggio preciso, poiché varie strutture coinvolgenti trruzzo ripetuti possono erroneamente “passare inosservati” in semplici listings.", "Con lo sviluppo di algoritmi e spazi di stati in informatica, il problema si presta bene al ricorso a relazioni di ricorrenza, in cui il numero valido a lunghezza $ n $ dipende dai blocchi soddisfacenti validi a $ n-1, n-2, n-3 $.", "---", "### Approccio Combinatorio: Relazione di Ricorrenza", "Per caratterizzare le sequenze restrittive senza "222", definiamo $ a_n $ come il numero totale di stringhe valide di lunghezza $ n $ usando solo i cifre 2 e 3 e senza tre 2 consecutivi.", "Vogliamo costruire $ a_n $ ricorsivamente:", "- Una stringa valida di lunghezza $ n $ senza "222" può terminare in:\n - un 3, segue una qualsiasi stringa valida di lunghezza $ n-1 $;\n - una 2 preceded by a stringa valida di lunghezza $ n-1 $ che non termina con "22"; più precisamente, analizziamo le finiture:", "Per evitare "222", ogni stringa può finire irreversibilmente in:\n- "3" → pratica generale\n- "23" → dopo "2", ma non "222"\n- "223" — sicuro\n- ma mai "222", quindi integriamo solo configurazioni compatibili", "La chiave è riconoscere che:\n- Se la stringa termina con un 3, tutti i precedenti $ n-1 $ sono validi → contribuiscono a $ a_{n-1} $\n- Se termina con "23", allora il precedente non può terminare con "2", altrimenti "222" emergerebbe → meglio distinguere per finitura", "Tuttavia, una formulazione più efficace è classificare per l’ultimo blocco:", "Definiamo:\n- $ b_n $: numero di stringhe valide di lunghezza $ n $ che terminano con "3"\n- $ c_n $: numero che terminano con "23"\n- $ d_n $: numero che terminano con "22" → ma queste sono invalide, quindi escluse", "Ma strategia semplificata: ogni stringa valida può terminare con:\n- Fine "3" → contribuisce direttamente\n- Fine "23" → dipende dall’ultimo 2 aggiunto\n- Mai finitare con "22", così attività ricorsiva solo su fora d’uso "2 primeiro"", "Perciò un metodo solido usato in teoria delle stringhe restrittive è:", "[\na_n = a_{n-1} + a_{n-2} + a_{n-3}\n]", "Perché?\nOgni stringa valida di lunghezza $ n $ può essere costruita appئending:\n- una "3", e le $ n-1 $ prima valide → $ a_{n-1} $ opzioni\n– ma questa sovra includerebbe casi con "222" se non controlliamo la causa", "Tuttavia, la ricorrenza corretta per evitare "222" è standard e fatta di:", "[\na_n = a_{n-1} + a_{n-2} + a_{n-3}\n]", "Con motivazione:\n- Termina con "3": $ a_{n-1} $ — rimane libero\n- Termina con "23": allora la parte precedente (di lunghezza $ n-2 $) deve essere valida e non terminare con "2" — ma più semplicemente: aggiungere "23" a una stringa valida di $ n-2 $ che non termini con due "2" non è diretta.", "Meglio il ruolo fondamentale:\nConsideriamo che aggiungendo caratteri da {2,3}, ogni stringa valida si ricava da precedenti che non terminano con "22", perché solo così aggiungere “2” darebbe "222".", "Quindi, definiamo:\n- $ s_n $: numero di stringhe valide di lunghezza $ n $ senza "222"", "Allora:\n- Una stringa finisce con "3" → segue una valida di $ n-1 $ → $ a_{n-1} $\n- Finisce con "23" → segue una valida di $ n-2 $, ma non terminata con "2"; però ogni stringa valida può terminare con "2" solo se il penultimo non è "2"— non abbiamo traccia diretta", "Correzione classica (ricorrenza di tipo Fibonacci generalizzata):", "Tatsache:\nIl numero di stringhe binarie di lunghezza $ n $ senza "222" soddisfa:", "[\na_n = a_{n-1} + a_{n-2} + a_{n-3}, \quad \ ext{per } n \geq 3\n]", "con condizioni iniziali basate su enumerazione:", "- $ a_1 = 2 $: "2", "3" are both valid\n- $ a_2 = 4 $: "22" è vietata → rim conseguenze: "23","32","33" → 3? Aspetta: con 2 e 3, lunghezza 2:", "Elenze tutte:\n"22" → invalida\n"23", "32", "33" → valide → $ 3 $", "Quindi $ a_2 = 3 $\n$ a_1 = 2 $ ("2", "3")", "Ora calcoliamo:\n- $ a_3 $: stringhe di length 3 senza "222"\nTotale: $ 2^3 = 8 $; vietati solo "222" → $ 8 - 1 = 7 $\nUsando ricorrenza: $ a_3 = a_2 + a_1 + a_0 $? Manca $ a_0 $.", "Essendo $ a_1 = 2 $, $ a_2 = 3 $, allora:\n$ a_3 = a_2 + a_1 + a_0 $ → ma $ a_0 = 1 $ (stringa vuota)", "Infatti $ a_0 = 1 $: unica stringa vuota, senza 222.", "Quindi:\n- $ a_0 = 1 $\n- $ a_1 = 2 $\n- $ a_2 = 3 $\n- $ a_3 = 2 + 3 + 1 = 6 $ → corrisponde a eliminare "222" da 8 → $ 8 - 1 = 7 $? No — c’è errore.", "Wait: con $ a_0=1 $, $ a_1=2 $, $ a_2=3 $, $ a_3 = 2+3+1=6 $ → ma", "Elenze le 8 combinazioni:\n222 → invalido\n223, 232, 233, 322, 323, 332, 333 → 7 validi → $ a_3 = 7 $ → incongruenza.", "Er modelo comune per “senza 3 ripetuti” è in realtà:\nLa relazione $ a_n = a_{n-1} + a_{n-2} + a_{n-3} $ viene da blocchi che terminano con 0, 1, o 2 “2” consecutivi.", "Definiamo:\n- $ x_n $: stringhe valide — fine con "3" (0 “2” a fine)\n- $ y_n $: fine con esattamente una “2”\n- $ z_n $: fine con “22” (cioè “2” aggiunto a stringa che termina con “2”)", "Allora:\n- $ x_n = x_{n-1} + y_{n-1} + z_{n-1} $ → aggiungendo “3” a qualsiasi valida\n- $ y_n = x_{n-1} $ → aggiungendo “2” a stringa che finisce con “3”\n- $ z_n = y_{n-1} $ → aggiungendo “2” a stringa che finisce con esattamente una “2”", "Totale:\n$ a_n = x_n + y_n + z_n $", "Con $ a_0 = 1 $ (vuota), ma iniziamo da $ n \geq 1 $ con:", "- $ a_1 $: finale con “3” (1 “2”): "2", "3" → $ x_1 = 1 $; $ y_1 = 1 $ ("2"); $ z_1 = 0 $ → $ a_1 = 2 $\n- $ a_2 $:\n - $ x_2 $: "23","33" → fine “3” → $ x_2 = x_1 + y_1 + z_1 = 1+1+0 = 2 $\n - $ y_2 $: “23” → precede “3” → via $ y_2 = x_1 = 1 $ → stringhe tipo “32”? No: “23” termina con “2”, qua $ y_2 = x_1 = 1 $: “32”? Ma “32” termina con "2", ma $ x_1 $ è fine “3”; meglio riconciliare:", "Dalla definizione:\n- “23” termina con “3” → $ x_2 $\n- “32” termina con “2” ma non seguito da “2” → qua $ z_2 = y_1 = 1 $ → “32” (valida)\n– “22” non permesso → “222” escludibile", "Pertanto:\n- $ x_2 = $ stringhe lunghezza 2 con fine “3”:\n - "23", "33" → 2 → $ x_2 = 2 $\n- $ y_2 = $ stringhe con “2” come fine, ma solo se non “22” → possono essere “12” o “22”? No → solo “12”? Ma “12” contiene "2" ma non due consecutivi? Finisce con “2”, ma non con “22” → ma "12" finisce con "2", ma non ripetizione → valida? Sì, ma non entrata in $ y_n $?", "Correzione: la classificazione è:", "Ogni stringa termina in:\n- “3” → conta in $ x_n $\n- “2” e non “22” → $ y_n $\n- “22” → vietato → non appare", "Quindi:\n- Per formare una stringa terminante con “2” ma non “22”, occorre che il penultimo sia “3” → quindi segue una stringa di lunghezza $ n-1 $ che finisce con “3” o è vuota → cioè: $ x_{n-1} + x_0 $? Meglio:\n$ y_n = x_{n-1} $ → perché aggiungendo “2” a una stringa che termina con “3” (quindi in $ x_{n-1} $), o a una vuota → $ y_n = x_{n-1} $ (solo fino a $ n=2 $)", "Ma con $ a_1 = 2 $: finitologie:\n- $ x_1 = $ stringhe di "2", "3" con fine “3” → "3" → 1\n- $ y_1 = $ fine “2” non “22” → "2" → 1\n- $ z_1 = 0 $", "Allora:\n$ a_1 = 1 + 1 + 0 = 2 $", "$ a_2 $:\n- $ x_2 = x_1 + y_1 + z_1 = 1 + 1 + 0 = 2 $ → "23", "33"\n- $ y_2 = x_1 = 1 $ → stringa con “2” aggiunto a “3” → “32”\n- $ z_2 = y_1 = 1 $ → "22" → vietato → $ z_2 = 0 $", "Quindi $ a_2 = 2 + 1 + 0 = 3 $ → conforme", "$ a_3 = x_3 + y_3 + z_3 $\n- $ x_3 = x_2 + y_2 + z_2 = 2 + 1 + 0 = 3 $\n- $ y_3 = x_2 = 2 $ → “x2” + “2”: “23","33","23"”+“2” → “232”, “332”\n- $ z_3 = y_2 = 1 $ → “32” + “2” = “322” (finisce “22” ma totali “222”? “322” non contiene “222” → valida)", "Totale $ a_3 = 3 + 2 + 1 = 6 $", "Elenze:\nTotal 8, esclude "222" → 8–1 = 7? Ma ne abbiamo solo 1: "222" → sì, solo una da escludere → $ a_3 = 7 $? Ma calcoliamo:", "Tutte mix of 2,3:", "222 → invalid\n223, 232, 233, 322, 323, 332, 333 → 7 colpevoli", "Quindi $ a_3 = 7 $ → corretto!", "Quindi la ricorrenza è:\n[\na_n = a_{n-1} + a_{n-2} + a_{n-3}, \quad n \geq 4\n]\ncon\n[\na_0 = 1, \quad a_1 = 2, \quad a_2 = 3, \quad a_3 = 6\n]", "---", "### Calcolo di $ A = a_8 $", "Usiamo la relazione:", "| $ n $"]