Informatica teorica space-time-tradeoff

3

Quanto tempo per riconoscere i palindromi nello spazio logaritmico?

È noto che i palindromi possono essere riconosciuti in tempo lineare su macchine Turing a velocità, ma non su macchine Turing a nastro singolo (nel qual caso il tempo necessario è quadratico). L'algoritmo del tempo lineare utilizza una copia dell'input e quindi utilizza anche uno spazio lineare.222 Possiamo riconoscere i …

20 cc.complexity-theory time-complexity space-complexity space-time-tradeoff

1

Modifica distanza nello spazio sublineare

Qual è la complessità più nota per calcolare l'esatta distanza di modifica tra due stringhe della stessa lunghezza usando uno spazio di lavoro che è sublineare nella dimensione dell'input? Presumo che l'input sia memorizzato in un formato di sola lettura. È un problema precedentemente studiato? Per rendere la domanda un …

19 ds.algorithms edit-distance space-time-tradeoff

3

Algoritmi di spazio log efficiente

È facile intuire che qualsiasi problema decidibile nello spazio logistico deterministico ( ) viene eseguito al massimo nel tempo polinomiale ( P ). Molti algoritmi di spazio di log noti (ad esempio: connettività st non indirizzata, isomorfismo del grafico planare) vengono eseguiti in O ( n k ) dove k …

17 cc.complexity-theory space-bounded space-time-tradeoff

1

È necessaria una buona panoramica degli algoritmi di Succinct Data Structure

(già chiesto sul sito principale , ma chiedendo anche qui una migliore copertura, scusate) Da quando ho saputo di Succinct Data Structures, ho un disperato bisogno di una buona panoramica degli sviluppi più recenti in quell'area. Ho cercato su Google e letto molti articoli che ho potuto vedere in cima …

14 reference-request ds.data-structures advice-request space-time-tradeoff

1

Storia iniziale di alcuni risultati sui compromessi spazio-temporali?

Sono interessato alla prima storia dei risultati pubblicati sui compromessi spazio-tempo generici. In particolare, voglio sapere chi ha descritto per primo il seguente tipo di algoritmo per valutare un calcolo avente un grafico di flusso di dati arbitrario con in gradi O (1) usando lo spazio proporzionale alla profondità (non …

14 cc.complexity-theory ho.history-overview space-time-tradeoff

2

Il compromesso spazio-temporale e il miglior algoritmo

Considera una lingua LLL tale che: L∈DTIME(O(f(n)))∩DSPACE(O(g(n)))L∈DTIME(O(f(n)))∩DSPACE(O(g(n)))L \in DTIME(O(f(n))) \cap DSPACE(O(g(n))) e così L∉DTIME(o(f(n)))∪DSPACE(o(g(n)))L∉DTIME(o(f(n)))∪DSPACE(o(g(n)))L \not\in DTIME(o(f(n))) \cup DSPACE(o(g(n))) In altre parole, la macchina più veloce calcola L nel tempo O ( f ( n ) ) e la macchina M ′ più efficiente in termini di spazio calcola L mentre …

14 cc.complexity-theory ds.algorithms open-problem space-time-tradeoff

1

Limiti inferiori del compromesso spazio-temporale

Dopo la discussione sui limiti inferiori per 3SAT [ 1 ], mi chiedo quali sono i principali risultati del limite inferiore formulati come compromessi spazio-temporali. Escludo risultati come, per esempio, il teorema di Savitch; una buona voce si focalizzerebbe su un singolo problema e sui suoi limiti. Un esempio potrebbe …

13 cc.complexity-theory ds.algorithms big-list space-time-tradeoff

2

Complessità dello spazio per calcolare l'allineamento ottimale della stringa per la distanza di modifica di Levenshtein

Se ci vengono date due stringhe di dimensione e n 2 , il calcolo standard della distanza di modifica di Levenshtein avviene mediante un algoritmo dinamico con complessità temporale O ( n 1 n 2 ) e complessità spaziale O ( n 1 n 2 ) . (Alcuni miglioramenti possono …

12 cc.complexity-theory dynamic-algorithms edit-distance space-time-tradeoff

2

Calcolo di un oracolo di completamento / percorso transitivo

Ci sono state alcune domande ( 1 , 2 , 3 ) sul completamento transitivo qui che mi hanno fatto pensare se qualcosa di simile è possibile: Supponiamo di ottenere un grafico diretto di input GGG e vorremmo rispondere a query di tipo " (u,v)∈G+(u,v)∈G+(u,v)\in G^+ ?", Ovvero chiedendo se …

9 graph-theory graph-algorithms space-time-tradeoff transitive-closure

Domande taggate «space-time-tradeoff»