Als «cc.complexity-theory» getaggte Fragen

P gegen NP und andere ressourcengebundene Berechnungen.

1
Eine falsche planare Färbung mit monochromatischer Komponentengröße
Lassen Sie uns die Färbung ein wenig lockern, dh wir lassen zu, dass einer kleinen Anzahl benachbarter Scheitelpunkte dieselbe Farbe zugewiesen wird. Eine monochromatische Komponente ist definiert als eine verbundene Komponente in dem Teilgraphen, die durch den Satz von Eckpunkten induziert wird, die dieselbe Farbe erhalten, und die Frage besteht …
1
Redundanz und Struktur von Rechenproblemen
Es wird allgemein angenommen, dass einige Rechenprobleme wie der Graphisomorphismus nicht NP-vollständig sein können, da sie nicht genügend Struktur oder Redundanz besitzen, um rechenintensiv (NP-hart) zu sein. Ich interessiere mich für die verschiedenen formalen Begriffe für die Struktur von Rechenproblemen und Redundanzmaßnahmen. Was sind die wichtigsten bekannten Ergebnisse über solche …
1
Ruzzo-Simon-Tompa Orakel-Zugangsmechanismus
NL⊈PNL⊈P\mathsf{NL} \nsubseteq \mathsf{P} Betrachten Sie nun Schaltungsfamilien mit Orakeltoren - beispielsweise ABABA^B , wobei AAA eine Schaltungskomplexitätsklasse ist, die einen Lograum mit Orakelzugriff auf eine andere Klasse BBB über an die Basis von A angehängte Orakeltore enthält AAA. Gibt es pathologische Beispiele, die dem für solche Klassen bekannten Ladner-Lynch-Papier ähneln? …
2
Varianten direkter Produktsätze
Ein direkter Produktsatz besagt informell, dass das Berechnen von Instanzen einer Funktion f schwieriger ist als das einmalige Berechnen von f .kkkffffff Typische direkte Produktsätze (z. B. Yaos XOR-Lemma) betrachten die Komplexität im Durchschnitt und argumentieren (sehr grob), dass fff nicht durch Schaltungen der Größe sss mit einer Wahrscheinlichkeit besser …
1
Untergrenzen für das Lernen in der Mitgliedschaftsabfrage und im Gegenbeispielmodell
Dana Angluin ( 1987 ; pdf ) definiert ein Lernmodell mit Mitgliedschaftsabfragen und theoretischen Abfragen (Gegenbeispiele zu einer vorgeschlagenen Funktion). Sie zeigt, dass eine reguläre Sprache, die durch einen minimalen DFA von Zuständen dargestellt wird, in Polynomzeit (wobei die vorgeschlagenen Funktionen DFAs sind) mit O ( m n 2 ) …
3
Effizienter DAG-Vergleich über ein Netzwerk
In verteilten Versionskontrollsystemen (wie Mercurial und Git ) müssen gerichtete azyklische Graphen (DAGs) effizient verglichen werden. Ich bin ein Mercurial-Entwickler, und wir wären sehr daran interessiert, etwas über theoretische Arbeiten zu erfahren, in denen die Zeit- und Netzwerkkomplexität des Vergleichs zweier DAGs erörtert wird. Die fraglichen DAGs werden durch die …
1
Wie komplex ist es, die Anzahl der Lösungen eines P-Space Complete-Problems zu zählen? Wie wäre es mit Klassen mit höherer Komplexität?
Ich denke, es würde # P-Space heißen, aber ich habe nur einen Artikel gefunden, der es vage erwähnt. Wie wäre es mit der Zählversion von EXP-TIME-Complete-, NEXP-Complete- und EXP-SPACE-Complete-Problemen? Gibt es frühere Arbeiten, die man in Bezug auf diese oder irgendeine Art von Einschluss oder Ausschluss wie Todas Theorem zitieren …
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.