Informatica teorica

Domande e risposte per teorici informatici e ricercatori in campi correlati

2
Caratterizzazione di problemi per i quali esistono algoritmi di tempo sublineare
Mi chiedevo se i problemi per i quali esistono algoritmi di tempo sublineare (nella dimensione di input) possano essere caratterizzati da proprietà specifiche. Ciò include tempo sublineare (ad es. Test di proprietà, una nozione alternativa di approssimazione per problemi di decisione), spazio sublineare (ad es. Algoritmi di sketch / streaming …
6
Quando si dice che due algoritmi siano "simili"?
Non lavoro in teoria, ma il mio lavoro richiede la lettura (e la comprensione) di articoli teorici di tanto in tanto. Una volta compreso un (insieme di) risultati, discuto questi risultati con le persone con cui lavoro, molti dei quali non funzionano anche in teoria. Durante una di tali discussioni, …
2
Frasi di permutazione con analisi LR
Una frase di permutazione è un'estensione delle definizioni grammaticali standard di contesto (E) BNF: una frase di permutazione contiene n produzioni (o equivalentemente, non terminali) da A 1 a A{ A1, ... , An}{UN1,...,UNn}\{ A_1, \dots, A_n \}nnnUN1UN1A_1 . Nella posizione della frase di permutazione, vorremmo vedere ognuna di queste …
2
C'è qualche problema in
Sto cercando un problema che appartiene a ΣP2Σ2P\mathsf{\Sigma^P_2} nei grafici generali ma è in nei grafici con larghezza dell'albero limitata, infatti penso che questi problemi siano più difficili rispetto all'utilizzo della normale programmazione dinamica nei grafici con larghezza degli alberi limitata per risolverli.PP\mathsf{P}
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.