Informatica teorica

2

In che modo l'approccio geometrico Mulmuley-Sohoni alla produzione di limiti inferiori evita di produrre prove naturali (nel senso di Razborov-Rudich)?

L'esatta formulazione del titolo è dovuta ad Anand Kulkarni (che ha proposto la creazione di questo sito). Questa domanda è stata posta come una domanda di esempio, ma sono follemente curioso. Conosco pochissimo la geometria algebrica, e in effetti hanno anche una comprensione superficiale e scapestrata degli ostacoli in gioco …

22 cc.complexity-theory np-hardness lower-bounds gct barriers

9

Riduzioni dal libro.

Questo è sulla falsariga di " Algorithms from the Book ". Anche se le riduzioni sono anche algoritmi, ho pensato che si potesse pensare a una riduzione della risposta alla domanda sugli algoritmi del libro. Da qui una query separata! Sono benvenute riduzioni di ogni tipo. Inizierò con la riduzione …

22 ds.algorithms np-hardness big-list reductions

6

Analoghi del rilevamento compresso

Nel rilevamento compresso , l'obiettivo è trovare schemi di compressione lineari per enormi segnali di ingresso che sono noti per avere una rappresentazione sparsa, in modo che il segnale di ingresso possa essere recuperato in modo efficiente dalla compressione (lo "schizzo"). Più formalmente, la configurazione standard è che esiste un …

22 ds.algorithms ds.data-structures compressed-sensing

3

Generalizzare il "trucco mediano" a dimensioni superiori?

Per gli algoritmi randomizzati assumono valori reali, il "trucco mediano" è un modo semplice per ridurre la probabilità di fallimento a qualsiasi soglia , al costo di solo una moltiplicativa overhead. Vale a dire, se l' output di cade in un "buon intervallo" con probabilità (almeno) , quindi eseguendo copie …

22 ds.algorithms randomized-algorithms

5

Programma per il calcolo Decomposizione dell'albero di un grafico

Qualcuno sa di un programma open source per il calcolo della decomposizione ad albero dei grafici per una "k" (larghezza) fissa? So che il problema nel trovare Tree-Decomposition è NP-Hard per la variabile "k", ma le mie istanze di input saranno veramente piccole (~ 10 nodi) e "k" è stato …

22 ds.algorithms graph-theory graph-algorithms software treewidth

8

Problemi NP-difficili sui percorsi

tutti sanno che esistono molti problemi di decisione che sono NP-difficili nei grafici generali, ma sono interessato a problemi che sono anche NP-difficili quando il grafico sottostante è un percorso. Quindi, puoi aiutarmi a raccogliere tali problemi? Ho già trovato una domanda correlata sui problemi NP-difficili sugli alberi .

22 graph-theory np-hardness

5

Implicazioni sull'improvvisabilità di

Stavo leggendo " Is P Versus NP Formally Independent? ", Ma sono rimasto perplesso. E 'opinione diffusa nella teoria della complessità che . La mia domanda è se ciò non fosse dimostrabile (diciamo in Z F C ). (Supponiamo che scopriamo solo che P ≠ N P è indipendente da …

22 cc.complexity-theory np-hardness big-picture proofs p-vs-np

2

Lingue che non possiamo (dis) dimostrare di essere senza contesto

Sto cercando linguaggi che "probabilmente non sono senza contesto" ma non siamo in grado di (dis) dimostrarlo usando tecniche standard conosciute. Esiste un recente sondaggio sull'argomento o una sezione problematica aperta di una recente conferenza? Probabilmente non ci sono molte lingue che non sono note per essere CF, quindi se …

21 reference-request big-list context-free

5

Scrivere un articolo come autore singolo in 1a persona singolare

Sto scrivendo articoli in informatica teorica a volte essendo un singolo autore non anonimo. In precedenza, ho usato il plurale in prima persona in tali articoli, ad esempio: Mostreremo che le classi di complessità X e Y coincidono. Non sono né un madrelingua inglese né estremamente bravo in inglese. Recentemente, …

21 soft-question paper-review writing

4

Problemi risolvibili controintuitivamente nella pratica?

Di recente, ho vissuto la dolorosa esperienza divertente di spiegare in modo informale il concetto di complessità computazionale a un giovane programmatore autodidatta di talento, che non aveva mai seguito un corso formale di algoritmi o complessità. Non sorprende che molte nozioni all'inizio sembrassero strane ma avevano senso con alcuni …

21 cc.complexity-theory ds.algorithms np-hardness

1

Complessità di un problema di matrice

Il seguente problema è apparso di recente nella mia ricerca. Non essendo un esperto di domande algoritmiche ho cercato su Google ampiamente nella ricerca di problemi adeguati da cui ridurre. Non vedo come funzionerebbe 3SAT, e anche se ZOE è simile nello spirito una riduzione non è ovvia. Un'altra possibilità …

21 cc.complexity-theory

1

Per quali espressioni regolari

È noto che il seguente problema è completo di PSPACE: Data l'espressione regolare , L ( β ) = Σ ∗ ?ββ\betaL ( β) = Σ*L(β)=Σ∗L(\beta) = \Sigma^* Che ne dici di determinare l'equivalenza con altre espressioni regolari (fisse) ?αα\alpha Data l'espressione regolare , L ( β ) = L …

21 cc.complexity-theory automata-theory regular-expressions pspace

1

Complessità temporale con esponente irrazionale?

Esiste un problema naturale in P per cui il limite di tempo di esecuzione più noto è della forma , dove α è una costante irrazionale ?O(nα)O(nα)O(n^\alpha)αα\alpha

21 cc.complexity-theory time-complexity polynomial-time

2

Come si ottiene il calcolo delle costruzioni dagli altri punti del cubo Lambda?

Si dice che il CoC sia il culmine di tutte e tre le dimensioni del Lambda Cube. Questo non mi è affatto evidente. Penso di capire le dimensioni individuali e la combinazione di due qualsiasi sembra tradursi in un'unione relativamente semplice (forse mi manca qualcosa?). Ma quando guardo il CoC, …

21 lambda-calculus type-systems typed-lambda-calculus calculus-of-constructions

1

P è uguale all'intersezione di tutte le classi temporali superpolinomiali?

Chiamiamo una funzione superpolinomiale se vale per ogni c> 0 .f( n )f(n)f(n) c > 0limn → ∞nc/ f( n ) = 0limn→∞nc/f(n)=0\lim_{n\rightarrow\infty} n^c/f(n)=0c > 0c>0c>0 È chiaro che per qualsiasi lingua L ∈ PL∈PL\in {\mathsf P} sostiene che L ∈ D T I M E ( f( n ) …

21 cc.complexity-theory ds.algorithms complexity-classes