Informatica teorica

2

Prova che i limiti superiori del circuito per

Nella descrizione ufficiale del problema di Clay per P contro NP si afferma che sarebbe seguito dal mostrare che "ogni lingua in E [la classe di lingue riconoscibile in tempo esponenziale con una macchina di Turing deterministica] può essere calcolata da una famiglia di circuiti booleani < B n > …

18 cc.complexity-theory circuit-complexity

2

Perché una gerarchia di tipi infiniti?

Coq, Agda e Idris hanno una gerarchia di tipi infinita (Tipo 1: Tipo 2: Tipo 3: ...). Ma perché non farlo invece come λC, il sistema nel cubo lambda più vicino al calcolo delle costruzioni, che ha solo due tipi, e , e queste regole?∗∗*◽◽◽ ∅⊢∗:◽∅⊢∗:◽\frac {} {∅ ⊢ * …

18 coq dependent-type calculus-of-constructions

2

Problemi con una soluzione efficiente ad eccezione di una piccola parte degli input

Il problema di arresto per le macchine di Turing è forse l'insieme canonico indecidibile. Tuttavia, dimostriamo che esiste un algoritmo che decide quasi tutte le sue istanze. Il problema di arresto è quindi tra la crescente raccolta di coloro che esibiscono il fenomeno del "buco nero" della teoria della complessità, …

18 cc.complexity-theory reference-request computability undecidability

1

Una buona libreria per verificare se esiste un minore in un grafico?

Vorrei sapere se ci sono librerie grafiche gratuite per verificare se esiste un insieme specifico di minori in un dato grafico?

18 graph-algorithms implementation graph-minor

2

Istanze risolvibili nel tempo polinomiale di Max-Sat

Il problema Max-Sat ti chiede di trovare un'assegnazione di una formula CNF che soddisfi il maggior numero possibile di clausole. Per il problema più semplice SAT ci sono molti casi speciali noti che possono essere risolti in tempo polinomiale, ad esempio possiamo risolvere 2-SAT in tempo polinomiale. Per Max-Sat la …

18 sat treewidth max2sat

3

Cosa separa i problemi globali facili dai problemi globali difficili sui grafici della larghezza degli alberi limitata?

Un sacco di problemi con i grafici è risolvibile in tempi polinomiali su grafici con larghezza degli alberi limitata . In effetti, i libri di testo in genere usano ad esempio un set indipendente come esempio, che è un problema locale . All'incirca, un problema locale è un problema la …

18 graph-theory graph-algorithms treewidth

1

Candidato naturale contro la congettura dell'isomorfismo?

Il famoso Isomorfismo Congettura di Berman e Hartmanis dice che tutto -Complete lingue sono un tempo polinomiale isomorfi (p-isomorfica) gli uni agli altri. Il significato fondamentale della congettura è che essa implica P ≠ N P . E 'stato pubblicato nel 1977, e un pezzo di elementi di prova era …

18 cc.complexity-theory complexity-classes p-vs-np np-complete

3

Conteggio del numero di percorsi semplici nel grafico non indirizzato

Come posso determinare il numero di percorsi semplici unici all'interno di un grafico non indirizzato? O per una certa lunghezza o un intervallo di lunghezze accettabili. Ricorda che un percorso semplice è un percorso senza cicli, quindi sto parlando del conteggio del numero di percorsi senza ciclo.

18 graph-theory co.combinatorics counting-complexity

5

Quali notevoli modelli di automi hanno un contenimento polinomiale decidibile?

Sto cercando di risolvere un problema particolare e ho pensato di poterlo risolvere usando la teoria degli automi. Mi chiedo, quali modelli di automi hanno contenimento decidibile in tempo polinomiale? cioè se hai macchine puoi verificare se efficiente.M1,M2M1,M2M_1, M_2L(M1)⊆L(M2)L(M1)⊆L(M2)L(M_1) \subseteq L(M_2) Gli ovvi che vengono in mente sono i DFA …

18 fl.formal-languages automata-theory time-complexity polynomial-time decidability

7

Libri / Dispense sulla complessità parametrizzata

Vorrei conoscere la complessità parametrizzata (sia sul lato algoritmico che sul lato durezza). Quali libri / appunti di lezione posso leggere su questo argomento?

18 reference-request parameterized-complexity fixed-parameter-tractable

2

Limita la dimensione del NFA più piccolo per L_k-distinto

Considera la lingua L k - d i s t i n c tLk−distinctL_{k-distinct} composta da tutte le stringhe kkk -letter sopra Σ in modoΣ\Sigma tale che non vi siano due lettere uguali: L k - d i s t i n c t : = { w = σ …

18 automata-theory lower-bounds regular-language communication-complexity streaming

1

L'isomorfismo della sottografia indotta è facile su una sottoclasse infinita?

Esiste una sequenza di grafici non indirizzati , in cui ogni C n ha esattamente vertici e il problema{Cn}n∈N{Cn}n∈N\{C_n\}_{n\in \mathbb N}CnCnC_nnnn Dato e un grafico , è un sottografo indotto di G ?GnnnGGGCnCnC_nGGG è noto per essere in classe ? (Ad esempio, quando C n = K n , questo …

18 cc.complexity-theory graph-theory

4

Problemi aperti legati all'isomorfismo grafico

Attualmente sto conducendo un'indagine letteraria sul problema dell'isomorfismo dei grafi (IG). Vorrei conoscere alcune domande aperte relative a quanto segue Quali sono i parametri del grafico per i quali la tracciabilità dei parametri fissi di IG è un problema aperto. Quali sono i parametri del grafico, fissandoli non è nota …

18 graph-isomorphism fixed-parameter-tractable

5

Algoritmi veloci di larghezza degli alberi

Vorrei calcolare la larghezza dell'albero di un grafico. Esistono euristiche davvero buone per altri problemi con i grafici NP-hard come VF2 per l'isomorfismo dei sottografi, ad esempio con il codice disponibile in igraph . Li ho provati sui miei grafici e trovo che corrano molto velocemente per i miei dati. …

18 ds.algorithms graph-algorithms treewidth heuristics

2

Co-NP-completezza del tour TSP minimo?

Questo problema è emerso dal mio recente post sul blog , supponiamo che ti sia stato dato un tour TSP, è co-NP-completo per determinare se è minimo? Più precisamente è il seguente problema NP-completo: Istanza: dato un grafico completo G con bordi ponderati con numeri interi positivi e un semplice …

18 np-hardness