Prompt per scrivere un saggio su Informatica Teorica

Specifica l'argomento del saggio su «Informatica Teorica»:
{additional_context}

### TEMPLATE SPECIALIZZATO PER LA SCRITTURA DI SAGGI INFORMATICA TEORICA

**1. ANALISI DEL CONTESTO E SVILUPPO DELLA TESI**

Inizia analizzando meticolosamente il contesto aggiuntivo fornito dall'utente. Estrai il TEMA PRINCIPALE e formula una dichiarazione di TESI precisa (chiara, discutibile, focalizzata). Per un saggio in Informatica Teorica, la tesi deve rispondere a un problema fondamentale, una dimostrazione, un'analisi di complessità o un'indagine sui limiti del calcolo. Esempio: "Nonostante la congettura P ≠ NP rimanga irrisolta, l'analisi dei problemi NP-completi attraverso riduzioni polinomiali fornisce un quadro robusto per comprendere la struttura intrinseca della complessità computazionale." Nota il TIPO di saggio (es. argomentativo, analitico, comparativo, di ricerca, di revisione della letteratura). Identifica i REQUISITI: conteggio parole (default 1500-2500 se non specificato), pubblico (studenti, esperti), guida di stile (default APA 7th o IEEE, a seconda del contesto), formalità del linguaggio, fonti necessarie. Evidenzia ANGOLI, PUNTI CHIAVE o FONTI forniti. Inferisci la DISCIPLINA: Informatica Teorica, con terminologia specifica come calcolabilità, complessità, automi, linguaggi formali, logica computazionale.

**2. SVILUPPO DI TESI E SCHEMA (10-15% dello sforzo)**

*   **Formulazione della Tesi:** Deve essere originale, rispondere al tema e essere sostenuta da evidenze. Esempio per un tema sulla tesi di Church-Turing: "La tesi di Church-Turing, pur essendo una congettura, è universalmente accettata come il fondamento della computabilità, poiché modelli di calcolo alternativi non ne hanno mai violato i limiti." Costruisci uno schema gerarchico:
    I. Introduzione
    II. Sezione Corpo 1: Sottoargomento/Argomento 1 (tesi del paragrafo + evidenza + analisi)
    III. Sezione Corpo 2: Argomenti a sfavore/confutazioni
    IV. Sezione Corpo 3: Casi di studio/dimostrazioni/formalismi
    V. Conclusione
*   Assicurati 3-5 sezioni principali nel corpo; bilancia profondità e ampiezza. La pratica migliore è usare una mappa mentale per le interconnessioni tra concetti come riducibilità, classi di complessità (P, NP, PSPACE) e gerarchie.

**3. INTEGRAZIONE DELLA RICERCA E RACCOLTA DELLE EVIDENZE (20% dello sforzo)**

*   Attingi da fonti credibili e verificabili: articoli peer-reviewed, monografie, atti di conferenze, e database autorevoli. Per l'Informatica Teorica, le fonti primarie includono:
    *   **Riviste Specializzate:** *Journal of the ACM (JACM)*, *SIAM Journal on Computing*, *Theoretical Computer Science* (Elsevier), *Information and Computation*, *Computational Complexity*.
    *   **Database e Archivi:** ACM Digital Library, IEEE Xplore, arXiv (sezione cs.CC per Complessità Computazionale, cs.LO per Logica e Linguaggi Formali), DBLP (per bibliografia).
    *   **Atti di Conferenze Prestigiose:** STOC (ACM Symposium on Theory of Computing), FOCS (IEEE Symposium on Foundations of Computer Science), ICALP, LICS (Logic in Computer Science).
*   **MAI inventare citazioni, studiosi, riviste, istituzioni, dataset o dettagli bibliografici.** Se non sei certo che un nome/titolo esista ed è pertinente, NON menzionarlo. **CRITICO:** Non produrre riferimenti bibliografici specifici che sembrino reali (autore+anno, titoli di libri, volumi/numeri di rivista, intervalli di pagine, DOI/ISBN) a meno che l'utente non li abbia esplicitamente forniti nel contesto aggiuntivo. Se hai bisogno di dimostrare la formattazione, usa segnaposto come (Autore, Anno) e [Titolo], [Rivista], [Editore] — mai riferimenti inventati plausibili. Se l'utente non fornisce fonti, NON inventarle — invece, raccomanda quali TIPI di fonti cercare (es. "articoli peer-reviewed sulla complessità dei circuiti booleani", "fonti primarie come i lavori seminali di Alan Turing o Alonzo Church") e fai riferimento SOLO a database ben noti o categorie generiche.
*   Per ogni affermazione: 60% evidenza (fatti, citazioni, dati, dimostrazioni), 40% analisi (perché/supporta la tesi). Includi 5-10 citazioni; diversifica (fonti primarie/secondarie). Tecniche: triangola i dati (fonti multiple), usa fonti recenti (post-2015) dove possibile, ma per i fondamenti storici (es. lavori di Gödel, Turing, Church, Cook, Karp) le fonti classiche sono imprescindibili.

**4. REDAZIONE DEL CONTENUTO PRINCIPALE (40% dello sforzo)**

*   **INTRODUZIONE (150-300 parole):** Gancio (citazione celebre, es. "La macchina universale può calcolare qualsiasi cosa che sia calcolabile" - Turing, contesto storico), contesto (2-3 frasi sullo stato dell'arte), roadmap del saggio, dichiarazione della tesi.
*   **CORPO:** Ogni paragrafo (150-250 parole): frase argomentativa, evidenza (parafrasi/citazione di una dimostrazione o risultato), analisi critica (collegamento alla tesi), transizione.
    *   *Esempio struttura paragrafo:*
        - TS: "La dimostrazione di Cook-Levin (1971) stabilì che il problema SAT è NP-completo, fungendo da ponte per la classificazione di migliaia di problemi."
        - Evidenza: Descrizione della riduzione polinomiale da un problema NP a SAT.
        - Analisi: "Questo risultato non solo unificò lo studio della complessità, ma pose le basi per il programma di ricerca sulla classificazione dei problemi attraverso riduzioni."
*   **Controargomentazioni:** Riconosci e confuta con evidenze (es. "Sebbene alcuni ricercatori sostengano che i computer quantistici possano risolvere problemi NP in tempo polinomiale, la congettura P ≠ NP rimane intatta per i calcolatori classici, come dimostrato dalla mancanza di un algoritmo quantistico universale per NP-completi.").
*   **CONCLUSIONE (150-250 parole):** Riafferma la tesi, sintetizza i punti chiave, discuti implicazioni per la ricerca futura o applicazioni (es. crittografia, algoritmi), possibile chiamata all'azione.
*   **Linguaggio:** Formale, preciso, vocabolario vario (nessuna ripetizione), voce attiva dove impattante. Definisci i termini tecnici (es. "NP-completo", "macchina di Turing", "riduzione polinomiale") alla prima occorrenza.

**5. REVISIONE, RIFINITURA E ASSICURAZIONE DELLA QUALITÀ (20% dello sforzo)**

*   **Coerenza:** Flusso logico, segnaletica (es. "Inoltre", "Al contrario", "Di conseguenza", "In sintesi").
*   **Chiarezza:** Frasi brevi, definisci i termini.
*   **Originalità:** Parafrasa tutto; mira al 100% unico. Evita il plagio.
*   **Inclusività:** Tono neutro, privo di pregiudizi.
*   **Correzione di bozze:** Grammatica, ortografia, punteggiatura.
*   **Migliori pratiche:** Leggi mentalmente ad alta voce; taglia le ridondanze (mira alla concisione). Esegui un "reverse outline" post-stesura per verificare la struttura.

**6. FORMATTAZIONE E RIFERIMENTI (5% dello sforzo)**

*   **Struttura:** Pagina del titolo (se >2000 parole), Abstract (150 parole se saggio di ricerca), Parole chiave, Sezioni principali con intestazioni, Riferimenti.
*   **Citazioni:** Nel testo (APA: (Autore, Anno); IEEE: [Numero]) + elenco completo (usando segnaposto a meno che l'utente non abbia fornito riferimenti reali).
*   **Conteggio parole:** Raggiungi l'obiettivo ±10%.

**CONSIDERAZIONI IMPORTANTI SPECIFICHE PER L'INFORMATICA TEORICA**

*   **INTEGRITÀ ACCADEMICA:** Nessun plagio; sintetizza le idee, cita le dimostrazioni originali.
*   **ADATTAMENTO AL PUBBLICO:** Semplifica per triennali, approfondisci per magistrali/dottorandi.
*   **SENSIBILITÀ CULTURALE:** Riconosci i contributi globali (es. scuole sovietiche, europee, americane).
*   **VARIANZA DI LUNGHEZZA:** Saggio breve (<1000 parole): Conciso; saggio lungo (>5000 parole): Appendici con dimostrazioni dettagliate.
*   **SFUMATURE DISCIPLINARI:** L'Informatica Teorica è fortemente matematica. Usa notazione formale dove appropriato (es. O(n), ∃, ∀), ma spiegala. Le prove devono essere rigorose o almeno schematiche.
*   **ETICA:** Bilancia le visioni; sostanzia le affermazioni con teoremi, dati empirici (es. risultati sperimentali su algoritmi) o argomenti logici.

**STANDARD DI QUALITÀ**

*   **ARGOMENTAZIONE:** Guidata dalla tesi, ogni paragrafo avanza l'argomento (niente riempitivi).
*   **EVIDENZA:** Autoritativa, quantificata (es. complessità temporale/spaziale), analizzata (non elencata).
*   **STRUTTURA:** IMRaD per studi empirici su algoritmi, o saggio standard per analisi teoriche.
*   **STILE:** Coinvolgente ma formale; punteggio Flesch 50-60 per leggibilità (data la complessità).
*   **INNOVAZIONE:** Intuizioni fresche, non cliché.
*   **COMPLETEZZA:** Autoconclusivo, senza fili scoperti.

**ESEMPI E MIGLIORI PRATICHE**

*   Esempio per il tema "Complessità Parametrizzata":
    Tesi: "La complessità parametrizzata offre una lente granulare per comprendere la trattabilità di problemi NP-difficili, isolando la fonte della complessità in un parametro specifico."
    Frammento schema:
    1. Intro: Hook sull'irriducibilità di alcuni problemi.
    2. Caso studio: Problema del Cammino Minimo Parametrizzato (risultati di Fellows, Downey).
    3. Confronto con approcci classici.
    Pratica: "Sandwich" evidenza (contesto-evidenza-analisi).

**TRAPPOLE COMUNI DA EVITARE**

*   **TESI DEBOLE:** Vaga ("La complessità è importante") → Correzione: Rendila discutibile/specifica ("La classe di complessità NP è fondamentalmente diversa da P").
*   **SOVRACCARICO DI EVIDENZE:** Scarico di citazioni → Integra in modo fluido.
*   **SCARSE TRANSIZIONI:** Spostamenti bruschi → Usa frasi come "Costruendo su questo...", "Questo risultato implica che...".
*   **BIAS:** Unilaterale → Includi/confuta le opposizioni.
*   **IGNORARE LE SPECIFICHE:** Stile sbagliato → Doppia verifica del contesto.
*   **LUNGHEZZA INADEGUATA:** Riempire/tagliare strategicamente.

**RISORSE AUTOREVOLI PER L'INFORMATICA TEORICA (SOLO ESEMPI GENERICI)**

*   **Figure Seminali Storiche:** Alan Turing, Alonzo Church, Stephen Cook, Richard Karp, Juris Hartmanis, Richard Stearns.
*   **Figure Contemporanee Eminenti:** Avi Wigderson (vincitore del Turing Award 2023), Leslie Valiant, Sanjeev Arora, Cynthia Dwork, Oded Goldreich. (Nota: includi solo se pertinenti al tema e verificati).
*   **Istituzioni di Ricerca:** MIT, Stanford, Cornell, Università di Cambridge, ETH Zurich, Istituto per l'Informatica e la Matematica Computazionale (ICM) in Italia.

Questo template fornisce una guida completa e specializzata. Segui attentamente ogni fase per produrre un saggio accademico di alto livello nell'ambito dell'Informatica Teorica.