Informatica teorica

1

Ho già pubblicato questa domanda un po 'di tempo fa su MathOverflow , ma per quanto ne sappia è ancora aperta, quindi la ripubblico qui nella speranza che qualcuno possa averne sentito parlare. Dichiarazione problema Siano , e tre partizioni in parti non (indicate da , e ) dell'insieme { …

21 co.combinatorics np-hardness

10

Download del solutore #SAT

Qualcuno potrebbe indicare uno o più siti Web dove è possibile scaricare un'implementazione funzionante di un solutore #SAT? Sono interessato a coloro che restituiscono il conteggio esatto della soluzione, non un'approssimazione.

21 ds.algorithms sat software

2

Limiti su in termini di diverso dalla disuguaglianza di Jensen?

Se è una funzione convessa, la disuguaglianza di Jensen afferma che e, mutatis mutandis, quando è concavo. Chiaramente, nel peggiore dei casi, non è possibile limite superiore in termini di per una convessa , ma esiste un limite che va in questa direzione se è convesso ma "non troppo convesso"? …

21 randomness pr.probability randomized-algorithms

9

Qual è il software consigliato per disegnare strutture dati come grafici e alberi?

Quando si mettono insieme i risultati, è spesso desiderabile avere alcuni diagrammi dall'aspetto professionale, piuttosto che diagrammi messi insieme in MS Paint. Qual è lo standard per il disegno di strutture dati?

21 soft-question ds.data-structures software graph-drawing writing

6

Qual è il modo migliore per ottenere un lancio della moneta quasi equo da monete identiche di parte?

(Von Neumann ha fornito un algoritmo che simula una moneta equa con accesso a monete identiche distorte. L'algoritmo richiede potenzialmente un numero infinito di monete (anche se in previsione, finitamente molte sono sufficienti). Questa domanda riguarda il caso in cui il numero di gettate consentiti è limitato.) Supponiamo di avere …

21 cc.complexity-theory circuit-complexity pr.probability

2

Limiti inferiori per le formule a profondità costante?

Sappiamo molto dei limiti dei circuiti (dimensioni polinomiali) a profondità costante. Poiché le formule (dimensione polinomiale) di profondità costante sono un modello di calcolo ancora più limitato, tutti i problemi noti per non essere in AC 0 non sono calcolabili con una formula di profondità costante. Tuttavia, poiché è un …

21 cc.complexity-theory circuit-complexity lower-bounds

1

Un confronto tra estrattori in termini di compromessi tra tempo, casualità e spazio?

Esiste un buon sondaggio che confronta diversi estrattori, concentratori e superconcentratori e stabilisce i migliori metodi in termini di compromesso tra casualità, tempo e spazio?

21 reference-request randomness derandomization

4

Quali risultati nella teoria della complessità fanno un uso essenziale dell'uniformità?

Una prova di separazione delle classi di complessità utilizza l'uniformità delle classi di complessità essenzialmente se la prova non dimostra il risultato per la versione non uniforme, ad esempio le prove basate sulla diagonalizzazione (come i teoremi della gerarchia del tempo e dello spazio) fanno un uso essenziale dell'uniformità in …

21 cc.complexity-theory

6

Differenza tra teoria e pratica della sicurezza e crittografia?

Quali sono le differenze interessanti tra teoria e pratica della sicurezza e della crittografia? I più interessanti saranno ovviamente esempi che suggeriscono nuove strade per la ricerca teorica basata sull'esperienza pratica :). Le risposte potrebbero includere (ma non sono limitate a): Esempi in cui la teoria suggerisce che qualcosa è …

21 cr.crypto-security

2

La semantica di TeX (come linguaggio di programmazione) è mai stata formalizzata?

Mi sembra che il linguaggio macro utilizzato da può forse essere visto come una sorta di sistema di riscrittura dei termini o una sorta di linguaggio di programmazione con ambito call-by-name.TEXTEX\TeX Anche le moderne implementazioni della motore X (ad esempio) interpreta il codice in un modo abbastanza diretto e non …

21 pl.programming-languages semantics term-rewriting-systems

1

Trovare le riduzioni di Logspace è più difficile delle riduzioni di P?

Motivato dalla risposta di Shor relativa a diverse nozioni di completezza NP, sto cercando un problema che è NP completo in riduzioni P ma che non è noto essere NP completo in riduzioni Logspace (preferibilmente per molto tempo). Inoltre, trovare riduzioni dello spazio di registro tra i problemi NP completi …

21 cc.complexity-theory np-hardness

3

Utilizzo della complessità di Kolmogorov come "dimensione" di input

Supponiamo di avere un problema di calcolo, ad esempio 3-SAT, che ha una serie di istanze del problema (possibili ingressi) . Normalmente nell'analisi degli algoritmi o della teoria della complessità computazionale, abbiamo alcuni insiemi di tutti gli input di lunghezza e una funzione che fornisce il tempo di esecuzione di …

21 cc.complexity-theory kolmogorov-complexity parameterized-complexity succinct analysis-of-algorithms

2

I grafici edge-vertici degli espansori (decenti) dei polipetti?

Questa domanda si ispira alla congettura polinomiale di Hirsch (PHC). Dato un facto polytope P in R d , il gap spettrale del suo grafico edge-vertice (chiamalo G ) è limitato da Ω ( 1 / p o l y ( n ) ) ? Si noti che il grafico …

21 co.combinatorics linear-programming expanders

5

Informazioni sulle proprietà della matrice di adiacenza quando un grafico è planare

1- Esistono proprietà specifiche per la matrice di adiacenza quando un grafico è planare? 2- C'è qualcosa di speciale per calcolare il permanente della matrice di adiacenza quando un grafico è planare?

21 graph-theory co.combinatorics permanent

6

C'è un problema naturale nel tempo quasi polinomiale, ma non nel tempo polinomiale?

László Babai ha recentemente dimostrato che il problema dell'isomorfismo dei grafi è in fase quasipolinomiale . Vedi anche il suo discorso all'Università di Chicago, nota dai discorsi di Jeremy Kun GLL post 1 , GLL post 2 , GLL post 3 . Secondo il teorema di Ladner, se P≠NPP≠NPP \neq …

21 cc.complexity-theory complexity-classes np-complete polynomial-time np-intermediate