Theoretische Informatik

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

1
Interaktiver Beweis für HORN-SAT?
Gibt es eine Möglichkeit, wie ein Prüfer einen Prüfer davon überzeugen kann, dass ein HORN-SAT-Ausdruck zufriedenstellend ist? Dies mag natürlich albern erscheinen, da es für HORN-SAT lineare Zeitalgorithmen gibt. Andererseits ist HORN-SAT P-vollständig, was bedeutet, dass es keine Log-Space-Algorithmen gibt, es sei denn, P = L. Beschränken Sie dementsprechend die …
3
Anwendungen von MCTS / UCT
MCTS / UCT ist eine Suchmethode für Spielbäume, bei der mithilfe eines Banditenalgorithmus vielversprechende Knoten für die Erkundung ausgewählt werden. Spiele werden nach dem Zufallsprinzip bis zum Ende gespielt und Knoten, die zu mehr Gewinnen führen, werden stärker untersucht. Der Banditenalgorithmus hält ein Gleichgewicht zwischen dem Erkunden von Knoten mit …
1
Netze in Bezug auf die Schnittnorm
Die Schnittnorm ||A||C||A||C||A||_C einer reellen Matrix A=(ai,j)∈Rn×nA=(ai,j)∈Rn×nA = (a_{i,j}) \in \mathcal{R}^{n\times n} ist das Maximum über alle I⊆[n],J⊆[n]I⊆[n],J⊆[n]I \subseteq [n], J \subseteq [n] der Größe ∣∣∑i∈I,j∈Jai,j∣∣|∑i∈I,j∈Jai,j|\left|\sum_{i \in I, j \in J}a_{i,j}\right|. Definieren Sie den Abstand zwischen zwei Matrizen AAA und BBB als dC(A,B)=||A−B||CdC(A,B)=||A−B||Cd_C(A,B) = ||A-B||_C Was ist die Kardinalität des …
1
Welche Klassifikatoren für maschinelles Lernen sind am parallelsten?
Welche Klassifikatoren für maschinelles Lernen sind am parallelsten? Wenn Sie ein schwieriges Klassifizierungsproblem hätten, eine begrenzte Zeit, aber ein anständiges LAN an Computern, mit denen Sie arbeiten könnten, welche Klassifizierer würden Sie versuchen? Auf den ersten Blick sieht es für mich wie einige Standardklassifikatoren aus, von denen ich weiß, dass …
1
Gibt es einen Polynom-Zeit-Algorithmus zur Lösung des Graphisomorphismus für Delaunay-Graphen von (endlichen) hexagonalen Tessellationen?
Bei einer endlichen Ebene habe ich eine hexagonale Tessellation dieser Ebene mit einem regulären Sechseck fester Größe. Ich berechne dann den Delaunay-Graphen G für die Tessellation. Bei einem solchen Graphen G lösche ich bestimmte Sätze von Knoten in diesem Graphen, um mehrere Teilgraphen von G zu erhalten. Ich muss bestimmen, …
1
Könnte eine beschreibende Komplexitätsversion von Rices Theorem verwendet werden, um AC0 und PSPACE zu trennen?
In dieser Frage wurde erwähnt, dass es beschreibende Komplexitätsversionen des Satzes von Rice gibt. Ich habe einen Beweis für den folgenden Satz gefunden: Bei einer Komplexitätsklasse C können nichttriviale Eigenschaften von Sprachen in C nicht in C berechnet werden Ich hatte zuvor den gefundenen Beweis veröffentlicht, aber weil er so …
3
Warum verwenden wir keine größeren Klassen, um Determinismus gegen Nichtdeterminismus zu untersuchen?
In einer früheren Frage zur Zeithierarchie habe ich gelernt, dass Gleichheiten zwischen zwei Klassen auf komplexere Klassen und Ungleichungen auf weniger komplexe Klassen übertragen werden können, wobei Argumente mit Auffüllung verwendet werden. Daher kommt eine Frage in den Sinn. Warum untersuchen wir eine Frage zu verschiedenen Arten von Berechnungen (oder …
1
Wofür kann in der Domänentheorie die in metrischen Räumen vorhandene zusätzliche Struktur verwendet werden?
Smyths Kapitel im Handbuch der Logik in der Informatik und andere Referenzen beschreiben, wie metrische Räume als Domänen verwendet werden können. Ich verstehe, dass vollständige metrische Räume eindeutige Fixpunkte ergeben, aber ich verstehe nicht, warum metrische Räume wichtig sind. Ich würde mich über Gedanken zu den folgenden Fragen sehr freuen. …
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.