Informatica teorica

Domande e risposte per teorici informatici e ricercatori in campi correlati

2
Quanto può essere piccolo un NFA, rispetto al minimo Unambiguous Finite Automaton (UFA) della stessa lingua normale?
Gli automi finiti non ambigui (UFA) sono tipi speciali di automi finiti non deterministici (NFA). Un NFA è chiamato inequivocabile se ogni parola ha al massimo un percorso di accettazione.w ∈ Σ*w∈Σ*w\in \Sigma^* Ciò significa che .D FA ⊂ UFA ⊂ NFUNDFUN⊂UFUN⊂NFUNDFA\subset UFA\subset NFA Risultati noti dell'automa correlato: La minimizzazione …
5
Parametri di riferimento
Questa domanda è probabilmente al confine tra argomento e argomento, tuttavia ho visto domande simili qui, quindi lo farò. Sto implementando un solutore kkk -SAT unico , il cui input è una formula kkk -CNF con al massimo 111 compito soddisfacente. Per testare il suo comportamento pratico, ho bisogno di …
16 sat 
4
Insegnamento TCS al liceo - programmi esistenti
Mi è stato offerto di insegnare un nuovo programma di scuola superiore TCS, che richiede la costruzione di un curriculum. Mi piacerebbe molto sentire opinioni e suggerimenti in merito. Innanzitutto, qualcuno conosce le scuole superiori in cui un programma TCS è stato insegnato con successo (o senza successo)? L'idea è …
16 teaching 
1
Esistono varianti di automi pushdown visibilmente che consentono di spingere le parole nello stack?
Mi chiedo, ci sono documenti o ricerche che trattano di automi pushdown visibilmente, ma che permettono alle parole, piuttosto che alle singole lettere, di essere inserite nella pila. In alternativa, una costruzione che consentiva di spingere i simboli ϵϵ\epsilontransizioni ϵ potrebbe raggiungere lo stesso obiettivo. Ovviamente, tali variazioni possono essere …
2
Informazioni sui grafici planari generalizzati e sui grafici planari esterni generalizzati
Qualsiasi grafico planare , rispettivamente, esterno G=(V,E)G=(V,E)G=(V,E) soddisfa |E′|≤3|V′|−6|E′|≤3|V′|−6|E'|\le 3|V'|-6 , rispettivamente, |E′|≤2|V′|−3|E′|≤2|V′|−3|E'|\le 2|V'|-3 , per ogni sottografo di . Inoltre, i grafici (esterni) planari possono essere riconosciuti in tempi polinomiali.GG′=(V′,E′)G′=(V′,E′)G'=(V',E')GGG Che cosa si sa sui grafici tale che (resp. ) per ogni sottografo di ? È possibile riconoscerli in …
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.