Als «cc.complexity-theory» getaggte Fragen

P gegen NP und andere ressourcengebundene Berechnungen.

2
Einfacher Nachweis von Ω (n lg n) im ungünstigsten Fall für die Eindeutigkeit / Unterscheidbarkeit?
Es gibt mehrere Beweise für die loglineare Untergrenze für das Problem der Eindeutigkeit / Unterscheidbarkeit von Elementen (basierend auf algebraischen Berechnungsbäumen oder widersprüchlichen Argumenten), aber ich suche einen, der einfach genug ist, um in einem ersten Kurs in Algorithmenanalyse und -design verwendet zu werden. Der gleiche „Schwierigkeitsgrad“ wie die untere …
2
Erschöpfender Simulator von Zero-Knowledge-Protokollen im Random Oracle-Modell
In einem Artikel mit dem Titel "On Deniability in the Common Reference String und Random Oracle Model" schreibt Rafael Pass: Wir stellen fest, dass der Simulator beim Nachweis der Sicherheit gemäß der standardmäßigen Zero-Knowledge-Definition im RO-Modell (Random Oracle) zwei Vorteile gegenüber einem einfachen Modellsimulator aufweist, nämlich Der Simulator kann sehen, …
2
Raum wechselnde Hierarchie
Dank Immerman und Szelepcsényi ist bekannt, dass wenn f = Ω ( log ) (auch für nicht raumkonstruierbare Funktionen).NSPACE(f)=coNSPACE(f)NSPACE(f)=coNSPACE(f){\rm NSPACE}(f)={\rm coNSPACE}(f)f=Ω(log)f=Ω(log)f=\Omega(\log) In der gleichen Arbeit, Immerman Zustand , dass die logspace Wechselhierarchie kollabiert, bedeutet dies , dass (die Definition des begrenzten alternierenden Turingmaschine und von dem, was Eine Hierarchie finden …
2
Erfasst PPAD wirklich den Gedanken, einen anderen unausgeglichenen Scheitelpunkt zu finden?
Die Komplexitätsklasse PPAD wurde von Christos Papadimitriou in seiner wegweisenden Arbeit von 1994 erfunden . Die Klasse soll die Komplexität von Suchproblemen erfassen, bei denen die Existenz einer Lösung durch "Paritätsargument in gerichteten Diagrammen" garantiert wird: Wenn ein gerichteter Graph einen unausgeglichenen Scheitelpunkt enthält, muss ein anderer vorhanden sein. Aber …
1
Warum sind diese beiden Definitionen von PPAD gleichwertig?
Die Komplexitätsklasse PPAD wird normalerweise definiert, indem angegeben wird, dass End-Of-The-Line PPAD-vollständig ist. End-Of-The-Line ist ein Suchproblem. Die Eingabe besteht aus einem gerichteten Graphen, in dem jeder Knoten höchstens 1 In-Grad und Out-Grad hat. Der Graph wird durch eine Polynomzeit-berechenbare Funktion , die den Vorgänger und Nachfolger von x zurückgibt …
1
Entropie und rechnerische Komplexität
Es gibt Forscher, die zeigen, dass das Löschen von Bits Energie verbrauchen muss. Gibt es jetzt Forschungen zum durchschnittlichen Energieverbrauch von Algorithmen mit der Rechenkomplexität ? Ich vermute, die Komplexität von hängt mit dem durchschnittlichen Energieverbrauch zusammen. Ich hoffe, ich kann hier eine Antwort finden.F(n)F(n)F(n)F(n)F(n)F(n)
1
Sortiert
Im aktuellen Preprint https://arxiv.org/abs/1801.00776 wird behauptet, dass reelle Zahlen in der Zeit O ( n √) sortiert werden können nnn und linearen Raum. Das Papier scheint vernünftig, obwohl ich kein Experte für Sortieralgorithmen bin.O(nlogn−−−−√),O(nlog⁡n),O(n \sqrt{\log n}), Wenn das stimmt, wäre dies meiner Meinung nach zumindest theoretisch von Bedeutung. Die Darstellung …
1
Testkomplexität, wenn sich zwei Mengen von
Stellen Sie sich vor, wir haben zwei Mengen von Punkten der Größe . Was ist (zeitliche) Komplexität von Tests, wenn sie sich nur durch Rotation unterscheiden? : Es Rotationsmatrix existiert , so daß ?mmmX,Y⊂RnX,Y⊂RnX,Y\subset \mathbb{R}^nOOT=OTO=IOOT=OTO=IOO^T=O^TO=IX=OYX=OY.X=OY Hier geht es darum, reelle Werte darzustellen - der Einfachheit halber wird angenommen, dass es …
1
Zeithierarchien in DSPACE (O (s (n)))
Der Zeithierarchiesatz besagt, dass Turingmaschinen mehr Probleme lösen können, wenn sie (genug) mehr Zeit haben. Gilt es in irgendeiner Weise, wenn der Raum asymptotisch begrenzt ist? Wie verhält sich DTISP(g(n),O(s(n)))DTISP(g(n),O(s(n)))\textrm{DTISP}(g(n), O(s(n))) zu DTISP(f(n),O(s(n)))DTISP(f(n),O(s(n)))\textrm{DTISP}(f(n), O(s(n))) wenn fgfg\frac{f}{g} wächst schnell genug? Mich interessiert besonders der Fall, dass s(n)=ns(n)=ns(n) = n , g(n)=n3g(n)=n3g(n) …
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.