Informatica teorica

1

Nel documento di Prove Naturali di Razborov-Rudich , pagina 6, nella parte in cui discutono che ci sono "forti prove di ribasso contro i modelli di circuito monotono " e come si adattano all'immagine, ci sono le seguenti frasi: Qui il problema non è la costruttività - le proprietà utilizzate …

15 cc.complexity-theory circuit-complexity randomness natural-proofs boolean-functions

2

Algoritmi SC ^ 2 per connettività st

Savitch ha fornito un algoritmo deterministico per risolvere la connettività st usando lo spazio , implicando . L'algoritmo di Savitch viene eseguito nel tempo . È un grave problema aperto se la connettività st può essere risolta da un algoritmo deterministico nello spazio polinomiale e nello spazio , ovvero se …

15 cc.complexity-theory space-bounded

2

Problemi NP-difficili sui grafici di espansione?

In una presentazione del 2006 intitolata EXPANDER GRAPHS - CI SONO ANCORA MISTERI? , Nati Linial ha posto il seguente problema aperto: Quale computazionale -hard sul grafico rimane difficile se limitato ai grafici di espansione?NPNPNP Da allora, sono stati compiuti progressi per dimostrare tale risultato per un -hard?NPNPNP

15 cc.complexity-theory np-hardness expanders

1

Trasformazione radiante di Walsh-Hadamard

La trasformata di Walsh-Hadamard (WHT) è una generalizzazione della trasformata di Fourier ed è una trasformazione ortogonale su un vettore di numeri reali o complessi di dimensione . La trasformazione è popolare nel calcolo quantistico, ma è stata recentemente studiata come una sorta di precondizionatore per le proiezioni casuali di …

15 ds.algorithms linear-algebra

2

Barriere e complessità del circuito monotono

Le prove naturali sono una barriera per dimostrare limiti inferiori alla complessità del circuito delle funzioni booleane. Non implicano direttamente tale barriera nel dimostrare limiti inferiori alla complessità del circuito . C'è qualche progresso verso l'identificazione di tali ostacoli? Ci sono altre barriere nella cornice monotona?m o n o t …

15 cc.complexity-theory circuit-complexity barriers natural-proofs

2

Esistono teorie intermedie di eta per il calcolo lambda?

Esistono due principali teorie studiate del calcolo lambda, la teoria beta e la sua estensione post-completa, la teoria beta-eta. Queste due teorie hanno una via di mezzo, una sorta di regola eta intermedia che fornisce una teoria di riscrittura confluente? C'è qualche nozione interessante di estensione parziale a cui corrisponde? …

15 lo.logic lambda-calculus extensionality

1

Le prove che il permanente non è in uniforme relativizzano?

Questo è un seguito a questa domanda ed è correlato a questa domanda di Shiva Kinali. Sembra che le prove in questi articoli ( Allender , Caussinus-McKenzie-Therien-Vollmer , Koiran-Perifel ) utilizzino teoremi di gerarchia. Voglio sapere se le prove sono " puri " teoremi di diagonalizzazione o se usano qualcosa …

15 cc.complexity-theory lower-bounds relativization permanent

10

Intrattabilità dei problemi NP-completi come principio della fisica?

Sono sempre incuriosito dalla mancanza di prove numeriche dalla matematica sperimentale a favore o contro la domanda P vs NP. Mentre l'ipotesi di Riemann ha alcune prove a sostegno della verifica numerica, non sono a conoscenza di prove simili per la domanda P vs NP. Inoltre, non sono a conoscenza …

15 cc.complexity-theory soft-question big-picture experimental

3

Esistono classi di funzioni che richiedono risorse notevolmente diverse per calcolare rispetto al calcolo del loro contrario?

Ci scusiamo in anticipo se questa domanda è troppo semplice. Fondamentalmente, quello che voglio sapere è se ci sono funzioni con le seguenti proprietà:f(x)f(x)f(x) Prendi come quando il dominio e il codomain sono limitati alle stringhe -bit. Poifn(x)fn(x)f_n(x)f(x)f(x)f(x)nnn fn(x)fn(x)f_n(x) è iniettivo fn(x)fn(x)f_n(x) è suriettivo fn(x)fn(x)f_n(x) richiede rigorosamente meno risorse (spazio …

15 cc.complexity-theory

1

La prova con limite inferiore in questo documento è corretta?

In questo articolo su "Circle Packing for Origami Design Is Hard" di Erik D. Demaine, Sandor P. Fekete, Robert J. Lang, a pagina 15, figura 13, affermano che la lunghezza laterale del quadrato più piccolo che racchiude due cerchi dell'area 1/2 ciascuno è 1.471299. Con i miei calcoli sto ottenendo …

15 cg.comp-geom

6

Proprietà globali delle classi ereditarie?

Una classe ereditaria di strutture (ad es. Grafici) è una classe chiusa sotto sottostrutture indotte, o equivalentemente, chiusa sotto rimozione di vertici. Le classi di grafici che escludono un minore hanno belle proprietà che non dipendono dal minore escluso specifico. Martin Grohe ha dimostrato che per le classi di grafi …

15 cc.complexity-theory graph-theory relational-structures

2

Eliminazione del cofix in Coq proof

Mentre provo a dimostrare alcune proprietà di base usando tipi coinduttivi in Coq, continuo a riscontrare il seguente problema e non riesco ad aggirare il problema. Ho distillato il problema in un semplice script Coq come segue. Il tipo di albero definisce eventualmente infinite alberi con rami etichettati con elementi …

15 coq proof-assistants

1

Triangolazione di un poligono planare

Esistono ormai algoritmi / prove più semplici per triangolare un poligono planare in tempo lineare? Qual è una buona risorsa sullo stato dell'arte di questo famoso problema?

15 reference-request cg.comp-geom

2

APX è contenuto in NP?

Si dice che un problema P si trova in APX se esiste una costante c> 0 tale che esiste un algoritmo di approssimazione del tempo polinomiale per P con fattore di approssimazione 1 + c. APX contiene PTAS (visto semplicemente selezionando qualsiasi costante c> 0) e P. APX è in …

15 cc.complexity-theory complexity-classes apx

1

Chiusura transitiva online migliore di O (N ^ 2) per aggiunta di bordi

Sto cercando un algoritmo online per mantenere la chiusura transitiva di un grafico aciclico diretto con una complessità temporale inferiore a O (N ^ 2) per aggiunta di bordi. Il mio attuale algoritmo è così: For every new edge u->v connect all nodes in Pred(u) \cup { u } with …

15 ds.algorithms graph-theory ds.data-structures transitive-closure