Theoretische Informatik

Fragen und Antworten für theoretische Informatiker und Forscher in verwandten Bereichen

1
Fixpunktsätze für konstruktive metrische Räume?
Banachs Fixpunktsatz besagt, dass, wenn wir einen nicht leeren vollständigen metrischen Raum AEINA , jede gleichmäßig kontrahierende Funktion f:A→Af:EIN→EINf : A \to A einen eindeutigen Fixpunkt μ(f)μ(f)\mu(f) . Der Beweis dieses Theorems erfordert jedoch das Axiom der Wahl - wir müssen ein beliebiges Element wählen a∈Aein∈EINa \in A, um mit …
2
Komplexitätsuntergrenze: Die Lücke zwischen Entscheidungsbäumen und RAMs
Ich habe kürzlich eine quadratische Untergrenze für die Komplexität eines Problems im Entscheidungsbaummodell entdeckt, und ich frage mich, ob dieses Ergebnis teilweise auf das Zufallszugriffsmaschinenmodell verallgemeinert werden kann. Durch teilweise , meine ich eine Verallgemeinerung Programme auf RAM mit einem bestimmten Zeit / Raum - Kompromiss. Zum Beispiel möchte ich …
3
Theorien, die Klassen rechnerischer Komplexität charakterisieren
Beim Lesen der Abhandlung " Eine anwendungsbezogene Theorie für FPH " können Sie folgende Passage finden: In Anbetracht der Theorien, die Klassen von Rechenkomplexität charakterisieren, gibt es drei verschiedene Ansätze: in einem Fall sind die Funktionen, die innerhalb der Theorie definiert werden können, innerhalb einer bestimmten Komplexitätsklasse "automatisch". In einem …
3
Super Mario fließt in NP?
Eine klassische Erweiterung des Max-Flow-Problems ist das "Max-Flow-over-Time" -Problem: Sie erhalten einen Digraphen, von dem zwei Knoten als Quelle und Senke unterschieden werden, wobei jeder Bogen zwei Parameter hat, eine Kapazität pro -Einheitszeit und eine Verzögerung. Sie sind auch einen Zeithorizont gegeben . Das Ziel ist es, einen zeitlichen Fluss …
4
Gibt es bekanntermaßen Funktionen mit der folgenden Direktsummeneigenschaft?
Diese Frage kann entweder im Rahmen der Schaltungskomplexität von Booleschen Schaltungen oder im Rahmen der algebraischen Komplexitätstheorie oder wahrscheinlich in vielen anderen Situationen gestellt werden. Durch Zählen der Argumente kann leicht gezeigt werden, dass es boolesche Funktionen für N Eingänge gibt, die exponentiell viele Gatter erfordern (obwohl wir natürlich keine …
3
Komplexität der Kantenfärbung in ebenen Diagrammen
Die 3-Kanten-Färbung von kubischen Graphen ist -vollständig. Der Vier-Farben-Satz ist äquivalent zu "Alle kubischen planaren brückenlosen Graphen können mit drei Kanten eingefärbt werden".NPNPNP Wie komplex ist das Einfärben von kubischen ebenen Graphen mit drei Kanten? Es wird auch vermutet, dass die Kantenfärbung für ebene Graphen mit maximalem Wert {4,5} hart …
3
Zählen Sie die Anzahl der Hamilton-Zyklen in kubischen Hamilton-Graphen?
Es ist schwer, in kubischen Hamilton-Graphen eine konstante Faktorapproximation des längsten Zyklus zu finden. Kubische Hamilton-Graphen haben mindestens zwei Hamilton-Zyklen.NPNPNP Was sind die bekanntesten Ober- und Untergrenzen für die Anzahl der Hamilton-Zyklen in kubischen Hamilton-Graphen? Wie komplex ist es bei einem kubischen Hamilton-Graphen, die Anzahl der Hamilton-Zyklen zu ermitteln? Ist …
1
Graphzerlegungen zum Kombinieren von "lokalen" Funktionen von Vertex-Beschriftungen
∑x∏i j ∈ Ef( xich, xj)∑x∏ichj∈Ef(xich,xj)\sum_x \prod_{ij \in E} f(x_i,x_j)maxx∏i j ∈ Ef( xich, xj)maxx∏ichj∈Ef(xich,xj)\max_x \prod_{ij \in E} f(x_i,x_j) Wenn max oder sum alle Beschriftungen von , wird das Produkt für einen Graphen über alle Kanten übernommen und ist eine beliebige Funktion. Diese Größe ist bei Diagrammen mit begrenzter Baumbreite …
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.