Als «time-complexity» getaggte Fragen

Zeitliche Komplexität von Entscheidungsproblemen oder Beziehungen zwischen zeitlich begrenzten Komplexitätsklassen. (Verwenden Sie das Tag [Analyse von Algorithmen] für die Zeit, die bestimmte Algorithmen benötigen.)

2
Gibt es einen nicht deterministischen linearen Zeitalgorithmus für CNF-SAT?
Das Entscheidungsproblem CNF-SAT kann wie folgt beschrieben werden: Eingabe: Eine Boolesche Formel ϕϕ\phi in konjunktiver Normalform. Frage: Gibt es eine Variablenzuordnung, die erfüllt ϕϕ\phi? Ich überlege mir verschiedene Ansätze, um CNF-SAT mit einer nicht deterministischen Zwei-Band-Turing-Maschine zu lösen . Ich glaube, dass es ein NTM gibt, das CNF-SAT in n⋅poly(log(n))n⋅poly(log⁡(n))n …
5
Welche bemerkenswerten Automatenmodelle haben einen polynomisch entscheidbaren Einschluss?
Ich versuche, ein bestimmtes Problem zu lösen, und dachte, ich könnte es mithilfe der Automatentheorie lösen. Ich frage mich, welche Automatenmodelle haben eine Einschließung, die in der Polynomzeit entscheidbar ist? dh wenn Sie Maschinen , können Sie testen, ob effizient ist.M1, M2M1,M2M_1, M_2L ( M1) ⊆ L ( M2)L(M1)⊆L(M2)L(M_1) \subseteq …
5
Ist es möglich zu testen, ob eine berechenbare Zahl rational oder ganzzahlig ist?
Ist es möglich, algorithmisch zu testen, ob eine berechenbare Zahl rational oder ganzzahlig ist? Mit anderen Worten, könnte eine Bibliothek, die berechenbare Zahlen implementiert, die Funktionen bereitstellen, isIntegeroder isRational? Ich vermute, dass es nicht möglich ist und dass dies irgendwie damit zusammenhängt, dass es nicht möglich ist, zu testen, ob …
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 
2
Komplexität der Berechnung der diskreten Fouriertransformation?
Wie komplex ist die Berechnung der diskreten Fourier- Standardtransformation eines Vektors von ganzen Zahlen (im Standard-Ganzzahl-RAM) ?nnn Der klassische Algorithmus für schnelle Fourier-Transformationen [1] , der Cooley und Tukey unangemessen zugeschrieben wird, wird normalerweise als in -Zeit laufend beschrieben . Die meisten in diesem Algorithmus ausgeführten arithmetischen Operationen beginnen jedoch …
3
Kompromiss zwischen Zeit und Abfragekomplexität
Das direkte Arbeiten mit Zeitkomplexität oder Schaltkreisuntergrenzen ist beängstigend. Daher entwickeln wir Tools wie die Komplexität von Abfragen (oder die Komplexität von Entscheidungsbäumen), um die unteren Grenzen in den Griff zu bekommen. Da jede Abfrage mindestens einen Einheitsschritt dauert und Berechnungen zwischen Abfragen als frei gezählt werden, ist die Zeitkomplexität …
2
"Fast sortieren" von ganzen Zahlen in linearer Zeit
Ich bin daran interessiert, ein Array positiver ganzzahliger Werte in linearer Zeit zu sortieren (im RAM-Modell mit einheitlichem Kostenmaß, dh ganze Zahlen können bis zu logarithmischer Größe haben, aber es wird angenommen, dass arithmetische Operationen auf sie angewendet werden Zeiteinheit). Natürlich ist dies mit vergleichsbasierten Sortieralgorithmen nicht möglich, daher bin …
1
Können Sie die Äquivalenz für monotone Boolesche Ausdrücke festlegen, die in PTIME keine Negation enthalten?
Liegt das folgende Problem in PTIME oder coNP-hard vor: Bei zwei booleschen Ausdrücken und in den Variablen ohne Negation (dh die Ausdrücke werden vollständig über und ). Entscheiden Sie, ob , für alle Zuordnungen zu den Variablen den gleichen Wert haben.e1e1e_1e2e2e_2x1,…,xnx1,…,xnx_1,\dots,x_n∧∧\wedge∨∨\veee1≡e2e1≡e2e_1 \equiv e_2 Wenn beide Ausdrücke in DNF angegeben würden, …
1
Ist
Ich erwarte, dass die Antwort nein ist, aber ich konnte kein Gegenbeispiel konstruieren. Der Unterschied besteht darin, dass wir in möglicherweise nicht in der Lage sind, einen O ( n 2 + ε ) -Algorithmus in ε einheitlich auszuwählen .∩ε>0DTIME(O(n2+ε))∩ε>0DTIME(O(n2+ε))∩_{ε>0} \mathrm{DTIME}(O(n^{2+ε}))O(n2+ε)O(n2+ε)O(n^{2+ε})εεε Durch eine Verzahnung Argument (siehe beispielsweise diese Frage ), …
3
Riffle-Shuffle-Algorithmus für lineare Zeit an Ort und Stelle
Gibt es einen linearen Time-In-Place-Riffle-Shuffle-Algorithmus? Dies ist der Algorithmus, den einige besonders geschickte Hände ausführen können: Ein Eingangsarray mit gerader Größe wird gleichmäßig aufgeteilt und die Elemente der beiden Hälften werden verschachtelt. Mathworld hat eine kurze Seite über Riffle Shuffle . Insbesondere interessiert mich die Out-Shuffle-Variante, mit der das Eingangsarray …
1
Die rechnerische Komplexität der Matrixmultiplikation
Ich suche Informationen über die rechnerische Komplexität der Matrixmultiplikation von Rechteckmatrizen. Wikipedia besagt , dass die Komplexität der Multiplikation von B ∈ R n x p ist (Schulbuch Multiplikation).A∈Rm×nA∈Rm×nA \in \mathbb{R}^{m \times n}B∈Rn×pB∈Rn×pB \in \mathbb{R}^{n \times p}O(mnp)O(mnp)O(mnp) Ich habe einen Fall, in dem und n viel kleiner als p sind …
3
Untere Schranken für Datenstrukturen
Sind Ergebnisse bekannt, die das Vorhandensein von "Too Good To Be True" -Datenstrukturen ausschließen? Beispiel: Kann man einer Auftragsverwaltungsdatenstruktur (siehe Dietz und Sleator STOC '87 ) die Funktionen und J o i n hinzufügen und trotzdem O ( 1 ) -Zeitoperationen erhalten ?SplitSplitSplitJoinJoinJoinO(1)O(1)\mathcal{O}(1) Oder: Kann man eine geordnete Menge mit …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.