Informatica teorica

1

Espressioni a larghezza di cricca con profondità logaritmica

Quando ci viene data una scomposizione ad albero di un grafico con larghezza w , ci sono diversi modi in cui possiamo renderlo "piacevole". In particolare, è noto che è possibile trasformarlo in una decomposizione dell'albero in cui l'albero è binario e la sua altezza è O ( log n …

15 treewidth parameterized-complexity fixed-parameter-tractable cliquewidth

2

Ogni linguaggio ricorsivo è riconosciuto da una macchina mortale di Turing?

Diciamo che una Turing Machine è mortale se ferma per ogni configurazione iniziale (in particolare, il contenuto del nastro e lo stato iniziale possono essere arbitrari). Ogni linguaggio ricorsivo è riconosciuto da una mortale Turing Machine? (ovvero se esiste una TM che accetta , esiste anche una TM mortale che …

15 computability

1

Equivalenza del controllo di fattibilità e ottimizzazione per sistemi lineari

Un modo per dimostrare che verificare la fattibilità di un sistema lineare di disuguaglianze è difficile quanto la programmazione lineare è attraverso la riduzione data dal metodo ellissoide. Un modo ancora più semplice è indovinare la soluzione ottimale e introdurla come un vincolo tramite la ricerca binaria. Entrambe queste riduzioni …

15 ds.algorithms linear-programming

2

GI-difficile problema grafico non caratterizza per essere -complete

L'isomorfismo grafico ( ) è un buon candidato per il intermedio . -esistono problemi intermedi a meno che . Sto cercando un problema naturale che è difficile per sotto la riduzione di Karp (un problema grafico tale che ).N P N P P = N P G I X G …

15 cc.complexity-theory graph-theory graph-isomorphism np-intermediate

1

Quanto è potente l'esatta elaborazione "quantistica" se sospendi l'unità?

Breve domanda. Qual è la potenza computazionale dei circuiti "quantistici", se consentiamo porte non unitarie (ma ancora invertibili) e richiediamo che l'uscita fornisca la risposta corretta con certezza? Questa domanda è in un certo senso su cosa succede alla classe quando si consente ai circuiti di utilizzare più di semplici …

15 complexity-classes quantum-computing

3

L'esecuzione simbolica è un caso di interpretazione astratta?

Questo è scritto nella voce wiki di Symbolic Execution , ma non riesco a trovare alcun riferimento per questo. Qualcuno può mostrarmi un puntatore? Grazie.

15 reference-request lo.logic program-analysis

2

Approssimazione in tempi subsponenziali

Esistono studi sugli algoritmi di approssimazione per problemi NP completi in tempo polinomiale e algoritmi esatti in tempo esponenziale. Esistono studi sugli algoritmi di approssimazione per i problemi completi di NP nel tempo subesponenziale della forma dove ?2nδ22nδ22^{n^{\delta_2}}δ2∈(0,1)δ2∈(0,1)\delta_2\in(0,1) Sono particolarmente interessato a ciò che è noto sui problemi approssimativi del …

15 approximation-algorithms approximation-hardness

1

Complessità regolare del permanente non negativo

Negli ultimi due decenni è stato svolto un lavoro fantastico sul permanente. Mi sono chiesto per un po 'la possibilità di un algoritmo Smooth P per le matrici permanenti non negative. Esiste ovviamente il famoso algoritmo JSV ma questo è un fpras. Pensando ad altri lavori all'interno della Smoothed Complexity, …

15 cc.complexity-theory complexity-classes

3

Complessità di tipo topologico con posizioni vincolate

Mi viene dato come input un DAG di n vertici in cui ogni vertice x è inoltre etichettato con qualche S ( x ) ⊆ { 1 , ... , n } .GGGnnnxxxS(x)⊆{1,…,n}S(x)⊆{1,…,n}S(x) \subseteq \{1, \ldots, n\} Una specie topologica di è una biiezione f dai vertici di G a …

15 sorting directed-acyclic-graph partial-order matching order-theory

2

Piena completezza e completa astrazione della traduzione di un programma

Gli sforzi di verifica del compilatore spesso si riducono a dimostrare che il compilatore è completamente astratto: che preserva e riflette le equivalenze (contestuali). Invece di fornire prove complete di astrazione, alcuni recenti lavori di verifica del compilatore (basati su categorie) di Hasegawa [ 1 , 2 ] e Egger …

15 pl.programming-languages ct.category-theory semantics denotational-semantics program-verification

2

minimizzare le dimensioni dell'espressione regolare per insiemi finiti

È noto che ridurre al minimo la dimensione di un'espressione regolare è completo per PSPACE anche se abbiamo un DFA come specifica del linguaggio . Quali sono i risultati se la lingua è finita? Si può considerare questo problema in due modelli: L'input è tutte le stringhe nella lingua e …

15 cc.complexity-theory reference-request fl.formal-languages regular-expressions dfa

3

Somma del sottoinsieme vs. prodotto del sottoinsieme (durezza NP forte o debole)

Speravo che qualcuno potesse spiegarmi perché esattamente il problema del prodotto del sottoinsieme è fortemente NP-difficile mentre il problema della somma del sottoinsieme è debolmente NP-difficile. Sottoinsieme Somma: Dato X={x1,...,xn}X={x1,...,xn}X = \{x_1,...,x_n\} e , fa esiste un sottoinsieme tale che .X ′TTTX′X′X'∑i∈X′xi=T∑i∈X′xi=T\sum_{i\in X'}x_i = T Sottoinsieme del prodotto: Data e …

15 cc.complexity-theory np-hardness reductions subset-sum

2

La risoluzione proposizionale è un sistema di prova completo?

Questa domanda riguarda la logica proposizionale e tutte le occorrenze di "risoluzione" devono essere lette come "risoluzione proposizionale". Questa domanda è qualcosa di estremamente semplice, ma mi ha infastidito per un po '. Vedo che le persone affermano che la risoluzione proposizionale è completa ma vedo anche che le persone …

15 lo.logic terminology proof-complexity proof-theory resolution

2

Accelerazione esponenziale nella memoria esterna

sfondo La memoria esterna, o modello DAM, definisce il costo di un algoritmo in base al numero di I / O che esegue (essenzialmente, il numero di errori nella cache). Questi tempi di esecuzione sono generalmente indicati in termini di MMM , dimensione della memoria e BBB , numero di …

15 ds.algorithms ds.data-structures cache-oblivious

1

I tipi ricorsivi MALL + senza restrizioni sono completi?

Se osservi i combinatori ricorsivi nel calcolo lambda non tipizzato, come il combinatore Y o il combinatore omega: È chiaro che tutti questi combinatori finiscono per duplicare una variabile da qualche parte nella loro definizione.ωY==( λ x .Xx )( λ x .Xx )λ f.( λ x .f( xx ) )( …

15 lo.logic pl.programming-languages linear-logic