Informatica teorica

Domande e risposte per teorici informatici e ricercatori in campi correlati

1
Puzzle con bastoncini da taglio
Problema: ci viene fornito un set di stick tutti con lunghezza intera. La somma totale delle loro lunghezze è n (n + 1) / 2. Possiamo romperli per ottenere bastoncini di dimensioni in tempo polinomiale? 1 , 2 , … , n1,2,...,n{1,2,\ldots,n} Sorprendentemente, l'unico riferimento che trovo per questo problema …
2
Limiti inferiori sulla complessità gaussiana
Definire la complessità gaussiana di una matrice come numero minimo di operazioni elementari di riga e colonna necessarie per portare la matrice in forma triangolare superiore. Questa è una quantità compresa tra e (tramite l'eleminazione gaussiana). L'idea ha senso su qualsiasi campo.n × nn×nn \times n000n2n2n^2 Questo problema sembra certamente …
2
Una funzione booleana che non è costante su sottospazi affini di dimensioni sufficientemente grandi
Sono interessato a una funzione booleana esplicita con la seguente proprietà: se è costante su un sottospazio affine di , quindi la dimensione di questo sottospazio è .f:0,1n→0,1f:0,1n→0,1f \colon \\{0,1\\}^n \rightarrow \\{0,1\\}fff0,1n0,1n\\{0,1\\}^no(n)o(n)o(n) Non è difficile dimostrare che una funzione simmetrica non soddisfa questa proprietà considerando un sottospazio . Qualsiasi ha …
3
Modelli di calcolo strettamente tra classico e quantistico in termini di complessità della query
È noto che i computer quantistici sono strettamente più potenti delle loro controparti classiche in termini di complessità delle query . Ci sono altri modelli (naturali o artificiali) che sono strettamente tra il quantico e il classico in termini di complessità della query? La separazione può essere attivata problemi specifici: …
1
Uno spazio topologico legato al SAT: è compatto?
Il problema della soddisfazione è, ovviamente, un problema fondamentale nella CS teorica. Stavo giocando con una versione del problema con infinite variabili. \newcommand{\sat}{\mathrm{sat}} \newcommand{\unsat}{\mathrm{unsat}} Configurazione di base. Sia XXX un insieme di variabili non vuoto e forse infinito . Un letterale è una variabile x ∈ XX∈Xx \in X o …
2
Algoritmi per l'imballaggio impostato
Sembra esserci molto lavoro, per alcuni problemi NP-Difficili, sullo sviluppo di algoritmi esatti a tempo esponenziale veloce (cioè, risultati del modulo: Algoritmo A risolve il problema nel tempo O (c ^ n), con c piccolo). Sembra esserci una buona dose di lavoro lungo queste linee per alcuni problemi NP-difficili (ad …
1
TOC Blog Aggregator non è in linea
Mi scuso se questo è fuori tema. Sembra che il nome di dominio sia scaduto. Spero che alcuni membri della comunità qui (io non sono uno) possano sapere chi era l'amministratore / proprietario di quel sito. Era una risorsa abbastanza utile.
1
Elenco di problemi di complessità (irrisolti) derivanti da PL
Quali sono alcuni dei principali problemi di complessità computazionale aperti che sorgono dai linguaggi di programmazione, in particolare l'analisi dei programmi e la compilazione? Sto cercando problemi sulla falsariga di "la complessità temporale dell'inferenza di tipo Hindley-Milner" o "la complessità temporale di 0CFA" (sebbene entrambi siano problemi risolti).
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.