Informatica teorica

Domande e risposte per teorici informatici e ricercatori in campi correlati

2
Condizioni per l'universalità NFA
Considera un automi finito non deterministico e una funzione . Inoltre definiamo .A=(Q,Σ,δ,q0,F)A=(Q,Σ,δ,q0,F)A = (Q, \Sigma, \delta, q_0, F)f(n)f(n)f(n)Σ≤k=⋃i≤kΣiΣ≤k=⋃i≤kΣi\Sigma^{\leq k} = \bigcup_{i \leq k} \Sigma^i Ora analizziamo la seguente dichiarazione: Se , quindi .Σ≤f(|Q|)⊆L(A)Σ≤f(|Q|)⊆L(A)\Sigma^{\leq f(|Q|)} \subseteq L(A)L(A)=Σ∗L(A)=Σ∗L(A) = \Sigma^* È facile dimostrare che per è vero, quindi se gli automi …
2
Biiezioni a input limitato di sequenze infinite
Ecco un puzzle che non sono riuscito a risolvere. Vorrei sapere se questo problema è già noto o ha una soluzione semplice. È possibile definire una biiezione usando le proprietà delle categorie chiuse bicartesiane. Andrej Bauer ha pubblicato una spiegazione di ciò che questo significa sul suo blog come " …
3
Quanti casi di 3-SAT sono soddisfacenti?
Considera il problema 3-SAT su n variabili. Il numero di possibili clausole distinte è: C=2n×2(n−1)×2(n−2)/3!=4n(n−1)(n−2)/3.C=2n×2(n−1)×2(n−2)/3!=4n(n−1)(n−2)/3.C = 2n \times 2(n-1) \times 2(n -2) / 3! = 4 n(n-1)(n-2)/3 \text. Il numero di istanze del problema è il numero di tutti i sottogruppi della serie di possibili clausole: . In sostanza, per …
2
Limiti inferiori stretti sul teorema di Savitch
Prima di tutto, mi scuso in anticipo per qualsiasi stupidità. Non sono affatto un esperto di teoria della complessità (tutt'altro! Sono un laureato che frequenta la mia prima lezione di teoria della complessità) Ecco la mia domanda. Ora il teorema di Savitch afferma che NSPACE(f(n))⊆DSPACE((f(n))2)NSPACE(f(n))⊆DSPACE((f(n))2)\text{NSPACE}\left(f\left(n\right)\right) \subseteq \text{DSPACE}\left(\left(f\left(n\right)\right)^2\right) Ora sono curioso …
6
Massima potenza computazionale di un'implementazione C.
Se seguiamo il libro (o qualsiasi altra versione della specifica del linguaggio, se preferisci), quanta potenza computazionale può avere un'implementazione C? Si noti che "implementazione C" ha un significato tecnico: è un'istanza particolare della specifica del linguaggio di programmazione C in cui è documentato il comportamento definito dall'implementazione. L'implementazione in …
4
Classi massime per le quali il più grande insieme indipendente può essere trovato in tempo polinomiale?
L' ISGCI elenca oltre 1100 classi di grafici. Per molti di questi sappiamo se il SET INDIPENDENTE può essere deciso in tempo polinomiale; questi sono talvolta chiamati classi IS-easy . Vorrei compilare un elenco di classi IS-easy massime . Queste classi insieme formano il confine della tracciabilità (nota) per questo …
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.