Als «polynomial-time» getaggte Fragen

Verwendung für Algorithmen, Algorithmusanalyse und komplexitätstheoretische Fragen, die auf eine polynomielle Laufzeit bzw. Zeitkomplexität. Solche Fragen sind oft Referenzanfragen oder zur Laufzeitanalyse oder Zeitkomplexität.


2
Warum ist der leere Typ von C nicht analog zum leeren / unteren Typ?
Wikipedia und andere Quellen, die ich gefunden habe, listen den voidTyp C als Einheitentyp und nicht als leeren Typ auf. Ich finde das verwirrend, da es mir so scheint, als ob es voidbesser zur Definition eines Leer- / Bodentyps passt. voidSoweit ich das beurteilen kann, gibt es keine Werte . …
28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 

3
Warum nicht die unäre Darstellung von Zahlen in numerischen Algorithmen nehmen?
Ein Pseudo-Polynom-Zeit-Algorithmus ist ein Algorithmus, der eine Polynomlaufzeit für den Eingabewert (Größe), aber eine Exponentiallaufzeit für die Eingabegröße (Anzahl der Bits) aufweist. Zum Beispiel erfordert das Testen, ob eine Zahl eine Primzahl ist oder nicht, eine Schleife durch die Zahlen von 2 bis und prüft, ob mod Null ist oder …

2
Finden der kürzesten und längsten Pfade zwischen zwei Eckpunkten in einer DAG
Ist es bei einem ungewichteten DAG (gerichteter azyklischer Graph) D=(V,A)D=(V,A)D = (V,A) und zwei Eckpunkten und möglich, den kürzesten und längsten Weg von nach in der Polynomzeit zu finden? Pfadlängen werden durch die Anzahl der Kanten gemessen.ssstttsssttt Ich bin daran interessiert, den Bereich der möglichen Pfadlängen in der Polynomzeit zu …

1
Wenn
Ich habe diesen Satz gerade auf Seite 6 von Garey und Johnsons "Computers and Intractability" gefunden. Jeder Algorithmus, dessen Zeitkomplexitätsfunktion nicht so begrenzt werden kann, wird als Exponentialzeitalgorithmus bezeichnet (obwohl zu beachten ist, dass diese Definition bestimmte nichtpolynomielle Zeitkomplexitätsfunktionen wie , die normalerweise nicht als Exponentialfunktionen angesehen werden).nLognnLog⁡nn^{\log n} Meine …

1
Bestimmt man, ob es in einem Intervall eine Primzahl gibt, von der bekannt ist, dass sie P- oder NP-vollständig ist?
Ich habe in diesem Beitrag über Stackoverflow gesehen, dass es einige relativ schnelle Algorithmen gibt, mit denen ein Intervall von Zahlen gesiebt werden kann, um festzustellen, ob es in diesem Intervall eine Primzahl gibt. Bedeutet dies jedoch, dass das Gesamtentscheidungsproblem von: (Gibt es in einem Intervall eine Primzahl?) Bei P …

2
Probleme, die sich exponentiell anfühlen, aber P sind
Ich versuche, eine Liste von Algorithmen / Problemen zu erstellen, die "außergewöhnlich nützlich" sind, wie zum Beispiel das Lösen von Problemen, die von Natur aus sehr exponentiell erscheinen, aber einige besonders clevere Algorithmen haben, die sie letztendlich lösen. Beispiele für das, was ich meine: Lineare Programmierung (Der Simplex-Algorithmus ist eine …







1
Ist eine "lokale" Version von 3-SAT NP-hard?
Nachfolgend meine Vereinfachung eines Teils eines größeren Forschungsprojekts zu räumlichen Bayes'schen Netzwerken: Angenommen, eine Variable ist " -local" in einer Zeichenfolge wenn zwischen dem ersten und dem letzten Satz, in dem sie vorkommt, weniger als Klauseln stehen (wobei eine natürliche Zahl ist).kkkC∈3-CNFC∈3-CNFC \in 3\text{-CNF}kkkkkk Betrachten Sie nun die Teilmenge die …

1
Folge von Problemen, die zur Erhöhung von ?
Kennen wir eine unendliche Folge von Entscheidungsproblemen, bei denen der effizienteste Algorithmus für jedes Problem Zeit benötigt, wobei unbegrenzt zunimmt?Θ (nk)Θ(nk)\Theta(n^k)kkk Nehmen wir zum Beispiel an, wir würden wissen, dass das Finden einer k-Clique , dann könnte diese Sequenz {1-Clique, 2-Clique, 3-Clique, ...} sein. Möglicherweise gibt es jedoch effizientere Algorithmen …

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.