Theoretische Informatik

22
Wie vermeidet der geometrische Ansatz von Mulmuley-Sohoni zur Erzeugung von Untergrenzen die Erzeugung natürlicher Beweise (im Sinne von Razborov-Rudich)?

Die genaue Formulierung des Titels stammt von Anand Kulkarni (der die Erstellung dieser Website vorgeschlagen hat). Diese Frage wurde als Beispielfrage gestellt, aber ich bin wahnsinnig neugierig. Ich weiß sehr wenig über algebraische Geometrie und verstehe die Hindernisse in der Frage P / Poly...

22
Auszüge aus dem Buch.

Dies ist in Anlehnung an " Algorithmen aus dem Buch ". Obwohl Reduktionen auch Algorithmen sind, hielt ich es für zweifelhaft, dass man sich eine Reduktion der Antwort auf die Frage nach Algorithmen aus dem Buch vorstellen würde. Daher eine separate Abfrage! Ermäßigungen aller Art sind herzlich...

22
Algorithmen zur Polynomialzeitnäherung für die Maschinenplanung: Wie viele offene Probleme sind noch zu lösen?

1999 veröffentlichten Petra Schuurman und Gerhard J. Woeginger die Arbeit "Polynomial Time Approximation Algorithms for Machine Scheduling: Ten Open Problems" . Seitdem sind meines Wissens nach keine Bewertungen erschienen, die genau dieselbe Liste von Problemen betreffen würden. Daher wäre es...

22
Warum wird CNF für SAT und nicht für DNF verwendet?

Ich verstehe nicht ganz, warum fast alle SAT-Löser CNF anstelle von DNF verwenden. Es scheint mir, dass die Lösung von SAT mit DNF einfacher ist. Schließlich müssen Sie nur den Satz von Implantaten durchsuchen und prüfen, ob einer von ihnen nicht sowohl eine Variable als auch deren Negation...

22
Können die Kosten für GC bei der Analyse der Laufzeit von Worst-Case-Datenstrukturen, die in einer Programmiersprache mit Speicherbereinigung angegeben sind, vernachlässigt werden?

Mir ist gerade aufgefallen, dass ich davon ausgegangen bin, dass meine Frage mit "Ja" beantwortet wurde, aber ich habe keinen guten Grund. Ich stelle mir vor, dass es vielleicht einen Müllsammler gibt, der nachweislich nur die Worst-Case-Verlangsamung einführt . Gibt es eine definitive Referenz,...