Informatica teorica lower-bounds

3

Sono noti risultati che escludono l'esistenza di strutture di dati "troppo buone per essere vere"? Ad esempio: si può aggiungere e funzionalità di una struttura dati mantenimento dell'ordine (vedi Dietz e Sleator STOC '87 ) e ancora ottenere operazioni di tempo?SplitSplitSplitJoinJoinJoinO(1)O(1)\mathcal{O}(1) Oppure: è possibile implementare un set ordinato con chiavi …

14 ds.data-structures big-list lower-bounds time-complexity

1

Limiti inferiori delle dimensioni dei CFG per linguaggi finiti specifici

Considera la seguente domanda naturale: dato un linguaggio finito , qual è la più piccola grammatica senza contesto che genera ?LLLLLL Possiamo rendere la domanda più interessante specificando una sequenza di lingue , ad esempio L n è l'insieme di tutte le permutazioni di { 1 , ... , n …

14 reference-request fl.formal-languages lower-bounds grammars context-free

2

Limiti inferiori su #SAT?

Il problema #SAT è il problema canonico # P-completo. È un problema di funzione piuttosto che un problema di decisione. Chiede, data una formula booleana nella logica proposizionale, quanti incarichi soddisfacenti ha F. Quali sono i migliori limiti inferiori su #SAT?FFFFFF

14 cc.complexity-theory lower-bounds sat counting-complexity

2

È possibile utilizzare restrizioni casuali per ottenere un limite inferiore per

Esistono diversi risultati con limite inferiore di dimensioni del circuito ben noti AC0AC0\mathsf{AC^0}basati su restrizioni casuali e Switching Lemma . Possiamo sviluppare un risultato Lemma di commutazione per dimostrare una dimensione con limite inferiore per TC0TC0\mathsf{TC^0} circuiti T C 0 (simile alle prove con limite inferiore per AC0AC0\mathsf{AC^0} )? O …

13 cc.complexity-theory circuit-complexity lower-bounds boolean-functions

2

Semplice prova del limite peggiore di Ω (n lg n) per unicità / distinzione?

Esistono diverse prove per il limite inferiore loglineare per il problema dell'unicità / distinzione degli elementi (basato su alberi di calcolo algebrici o argomenti contraddittori), ma ne sto cercando uno abbastanza semplice da utilizzare in un primo corso di analisi e progettazione di algoritmi. Lo stesso "livello di difficoltà" del …

13 cc.complexity-theory lower-bounds proofs

1

Riferimento al limite inferiore sul separatore in una griglia?

È facile verificare che, data la griglia dimensionale d dei punti interi , con l'adiacenza regolare, si può trovare un separatore di dimensioni n d - 1 (basta selezionare un iperpiano centrale e rimuovere tutto i suoi vertici). Inoltre, non è troppo difficile (ma sicuramente non immediato) verificare che qualsiasi …

13 reference-request cg.comp-geom lower-bounds

1

Comprimere informazioni sul problema di arresto per le macchine Oracle Turing

Il problema dell'arresto è noto per essere incontestabile. Tuttavia, è possibile "comprimere" in modo esponenziale le informazioni sul problema di arresto, in modo che la decompressione sia calcolabile. Più precisamente, è possibile calcolare da una descrizione di Macchine di Turing e un consiglio -bit indica la risposta al problema di …

12 computability lower-bounds turing-machines communication-complexity oracles

1

I circuiti aritmetici sono più deboli di quelli booleani?

Sia la dimensione minima di un circuito aritmetico (non monotono) che calcola un dato polinomio multilineare e indicano la dimensione minima di un circuito booleano (non monotono) che calcola la versione booleana di definito da: ( + , × , - ) f ( x 1 , … , x …

12 cc.complexity-theory circuit-complexity lower-bounds arithmetic-circuits

1

L / P / PSpace vs P / NP

nel 1979 Hopcroft / Ullman scrisse che L ⊆ P ⊆ NP ⊆ PSpace è noto ma L ⊊ PSpace è l'unico contenimento (e banale) noto, anche se tutti sono congetturati per essere contenitori adeguati e "dove stanno ancora le cose" ~ 4 decenni dopo . da allora esiste qualche …

12 cc.complexity-theory reference-request lower-bounds p-vs-np conditional-results

3

Proprietà esprimibili in 2-CNF o 2-SAT

Come si può dimostrare che una determinata proprietà non può essere espressa in 2-CNF (2-SAT)? Ci sono giochi, come i giochi di ghiaia? Sembra che il classico gioco di ciottoli neri e il gioco di ciottoli bianco-nero non siano adatti a questo (sono completi per PSPACE, secondo Hertel e Pitassi, …

12 sat lower-bounds combinatorial-game-theory

2

Qual è l'algoritmo più efficiente per la divisibilità?

aaabbbaaabbbaaabbbO(mlogmloglogm)O(mlog⁡mlog⁡log⁡m)O(m\log m\log\log m)mmmΩ ( m log m log log m )max{a,b}max{a,b}\max\{a,b\}Ω(mlogmloglogm)Ω(mlog⁡mlog⁡log⁡m)\Omega(m\log m\log\log m) il limite inferiore di questo problema? Grazie e saluti, e scusate se questa è una domanda così ingenua.

12 time-complexity lower-bounds nt.number-theory primes

1

Complessità del circuito monotono delle funzioni di calcolo su ingressi sparsi

Il peso |x||x||x|di una stringa binaria x∈{0,1}nx∈{0,1}nx\in\{0,1\}^n è il numero di quelli nella stringa. Cosa succede se siamo interessati a calcolare una funzione monotona su input con pochi? Sappiamo che decidere se un grafico ha un kkk -clique è difficile per i circuiti monotoni (vedi tra gli altri Alon Boppana, …

12 cc.complexity-theory lower-bounds circuit-complexity parameterized-complexity monotone

2

Quali problemi nella geometria computazionale o nella teoria dei grafi si ritiene siano ?

Questo è inteso come una domanda di follow-up al precedente post di Robin Kothari sui risultati della durezza del tempo polinomiale . In particolare, sono interessato a vedere alcune prove di durezza per problemi che si ritiene abbiano limiti inferiori approssimativamente , e dico approssimativamente per consentire miglioramenti leggermente subcubici …

12 graph-theory cg.comp-geom lower-bounds

2

Invertire un elenco usando due code

Questa domanda si ispira a una domanda esistente sulla possibilità di simulare uno stack utilizzando due code in ammortizzato per operazione di stack. La risposta sembra essere sconosciuta. Ecco una domanda più specifica, corrispondente al caso speciale in cui tutte le operazioni PUSH vengono eseguite per prime, seguite da tutte …

12 ds.algorithms ds.data-structures lower-bounds time-complexity sorting

1

Problemi da ridurre per dimostrare un limite inferiore di

Quali sono i problemi standard che possiamo ridurre per dimostrare limiti inferiori?Ω ( n logn )Ω(nlog⁡n)\Omega(n\log n) Naturalmente, problemi di stato diversi dall'ordinamento e dalla distinzione degli elementi.

12 cc.complexity-theory lower-bounds

Domande taggate «lower-bounds»