Domande taggate «time-complexity»

Complessità temporale dei problemi di decisione o relazioni tra classi di complessità limitate nel tempo. (Utilizzare il tag [analisi degli algoritmi] per il tempo impiegato da determinati algoritmi.)

5
Quali notevoli modelli di automi hanno un contenimento polinomiale decidibile?
Sto cercando di risolvere un problema particolare e ho pensato di poterlo risolvere usando la teoria degli automi. Mi chiedo, quali modelli di automi hanno contenimento decidibile in tempo polinomiale? cioè se hai macchine puoi verificare se efficiente.M1,M2M1,M2M_1, M_2L(M1)⊆L(M2)L(M1)⊆L(M2)L(M_1) \subseteq L(M_2) Gli ovvi che vengono in mente sono i DFA …
5
È possibile verificare se un numero calcolabile è razionale o intero?
È possibile testare algoritmicamente se un numero calcolabile è razionale o intero? In altre parole, sarebbe possibile per una libreria che implementa numeri calcolabili fornire le funzioni isIntegero isRational? Immagino che non sia possibile e che ciò sia in qualche modo correlato al fatto che non è possibile verificare se …
18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 
3
Scambia tra tempo e complessità delle query
Lavorare direttamente con complessità temporale o limiti inferiori del circuito è spaventoso. Quindi, sviluppiamo strumenti come la complessità della query (o la complessità dell'albero decisionale) per ottenere una gestione sui limiti inferiori. Poiché ogni query richiede almeno un passaggio unitario e i calcoli tra le query vengono considerati gratuiti, la …
1
Non
Mi aspetto che la risposta sia no, ma in realtà non sono riuscito a costruire un controesempio. La differenza è che in ∩ε>0DTIME(O(n2+ε))∩ε>0DTIME(O(n2+ε))∩_{ε>0} \mathrm{DTIME}(O(n^{2+ε})) , potremmo non essere in grado di scegliere un algoritmo O(n2+ε)O(n2+ε)O(n^{2+ε}) uniformemente in εεε . Con un argomento a coda di rondine (ad esempio, vedi questa …
3
Algoritmo shuffle riffle sul posto a tempo lineare
Esiste un algoritmo di riffle shuffle sul posto lineare nel tempo? Questo è l'algoritmo che alcune mani particolarmente abili sono in grado di eseguire: dividere uniformemente un array di input di dimensioni pari e quindi intercalare gli elementi delle due metà. Mathworld ha una breve pagina sulla riproduzione casuale dei …
1
La complessità computazionale della moltiplicazione di matrici
Sto cercando informazioni sulla complessità computazionale della moltiplicazione di matrici di matrici rettangolari. Wikipedia afferma che la complessità della moltiplicazione di A ∈ Rm × nUN∈Rm×nA \in \mathbb{R}^{m \times n} per è (moltiplicazione del libro di scuola).B ∈ Rn × pB∈Rn×pB \in \mathbb{R}^{n \times p}O ( m n p )O(mnp)O(mnp) …
3
Limiti inferiori per le strutture dati
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 …
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.