Als «complexity-theory» getaggte Fragen

Fragen zur (rechnerischen) Komplexität der Problemlösung

3
Entscheidungsprobleme im Vergleich zu „echten“ Problemen, bei denen es sich nicht um Ja oder Nein handelt
Ich habe an vielen Stellen gelesen, dass einige Probleme schwierig zu approximieren sind (es ist NP-schwer , sie zu approximieren ). Aber Approximation ist kein Entscheidungsproblem: Die Antwort ist eine reelle Zahl und nicht Ja oder Nein. Auch für jeden gewünschten Approximationsfaktor gibt es viele richtige und viele falsche Antworten, …
2
Warum glauben wir, dass PSPACE EXPTIME ist?
Ich habe intuitiv Probleme zu verstehen, warum PSPACE im Allgemeinen anders ist als EXPTIME. Wenn PSPACE die Menge der Probleme ist, die im Raumpolynom in der Eingabegröße lösbar sind , wie kann es dann eine Klasse von Problemen geben, die einen größeren exponentiellen Zeitsprung erfahren und den exponentiellen Raum nicht …
4
Wie kann ich eine Lösung für das Problem des Handlungsreisenden in polynomialer Zeit überprüfen?
Somit ist das TSP-Entscheidungsproblem (Travelling Salesman Problem) NP-vollständig . Aber ich verstehe nicht, wie ich überprüfen kann, ob eine gegebene Lösung für TSP in der Polynomzeit tatsächlich optimal ist, da es keine Möglichkeit gibt, die optimale Lösung in der Polynomzeit zu finden (was liegt daran, dass das Problem nicht in …
1
Wie schwer ist es, die Anzahl einfacher Pfade zwischen zwei Knoten in einem gerichteten Graphen zu zählen?
Mit einem einfachen Polynomalgorithmus kann entschieden werden, ob in einem gerichteten Graphen ein Pfad zwischen zwei Knoten vorhanden ist. Es scheint jedoch überraschenderweise, dass das Problem viel schwieriger wird, wenn wir anstatt auf die Existenz zu testen, die Anzahl der Pfade zählen möchten . Wenn wir zulassen, dass Pfade Eckpunkte …
1
Teilmengenproblem mit vielen Teilbarkeitsbedingungen
Sei eine Menge natürlicher Zahlen. Wir betrachten unter der Teilbarkeits-Teilordnung, dh . LassenSSSSSSs1≤s2⟺s1∣s2s1≤s2⟺s1∣s2s_1 \leq s_2 \iff s_1 \mid s_2 α(S)=max{|V|∣V⊆S,Vα(S)=max{|V|∣V⊆S,V\qquad \displaystyle \alpha(S) = \max \{|V| \mid V\subseteq S, V an antichain }}\} . Was können wir über die Komplexität des Problems in Bezug auf \ alpha (S) sagen, wenn wir …
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
Messung der Schwierigkeit von SAT-Instanzen
Bei einer Instanz von SAT möchte ich abschätzen können, wie schwierig es sein wird, die Instanz zu lösen. Eine Möglichkeit besteht darin, vorhandene Löser auszuführen, aber diese Art von Funktion verhindert das Abschätzen der Schwierigkeit. Ein zweiter Weg könnte darin bestehen, das Verhältnis von Klauseln zu Variablen zu untersuchen, wie …
6
Erstellen von Kombinationen aus einer Reihe von Paaren ohne Wiederholung von Elementen
Ich habe eine Reihe von Paaren. Jedes Paar hat die Form (x, y), sodass x, y zu ganzen Zahlen aus dem Bereich gehören [0,n). Wenn also n 4 ist, dann habe ich die folgenden Paare: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) Ich habe schon die Paare. Jetzt muss ich eine …
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.