Als «reference-request» getaggte Fragen

Eine Referenzanforderung wird verwendet, wenn der Autor über Arbeiten im Zusammenhang mit der Frage Bescheid wissen muss.

2
Begrenzte Anzahl variabler Vorkommen in 1-in-3-SAT
Gibt es ein bekanntes Ergebnis für die Komplexitätsklasse 1-in-3-SAT mit einer begrenzten Anzahl variabler Vorkommen? Ich habe mir mit Peter Nightingale die folgende sparsame Reduktion ausgedacht, aber ich möchte etwas zitieren, wenn dies bekannt ist. Hier ist der Trick, den wir uns ausgedacht haben. Dies zeigt, dass 1-in-3-SAT, begrenzt auf …
4
Gibt es eine algorithmische mathematische Analyse?
Es gibt algorithmische Graphentheorie / Zahlentheorie / Kombinatorik / Informationstheorie / Spieltheorie. Gibt es eine algorithmische mathematische Analyse? Laut Wiki umfasst die mathematische Analyse die Theorien der Differenzierung, Integration, Messung, Grenzen, unendlichen Reihen und analytischen Funktionen. Es ist in Ordnung, sich auf die reale Analyse (Wiki) zu konzentrieren , die …
2
Wie kann man die Definition der rechnerischen Komplexität von Real beurteilen, die natürlich oder geeignet ist?
Wie wir wissen, ist die Definition der rechnerischen Komplexität von Algorithmen fast unumstritten, aber die Definition der rechnerischen Komplexität von Real oder der Berechnungsmodelle über Real ist in einem solchen Fall nicht. Wir kennen das Modell und das Modell von Blum und Smales im Buch Computable Analysis. Und anscheinend stimmt …
1
Identifizieren Sie nutzlose Kanten für den kürzesten Weg
GGGMGMGM_GGGGMG[i,j]MG[i,j]M_G[i, j]iiijjjGGG+++maxmax\max Ich sage, dass ein Untergraph von (mit derselben Scheitelpunktmenge) sp-äquivalent zu wenn . Mit anderen Worten, das Entfernen von Kanten von nach ändert nicht die Länge der kürzesten Wege; Die entfernten Kanten sind für einen kürzesten Weg nicht erforderlich .G′G′G'GGGGGGMG=MG′MG=MG′M_G = M_{G'}GGGG′G′G' Im Allgemeinen gibt es keinen einzelnen …
1
Natürliche Transformationen und Parametrizität
In Theorems kostenlos! Wadler sagt, dass die Charakterisierung der Parametrizität in Form von laxen natürlichen Transformationen wieder ausgedrückt werden kann, und dies wird Gegenstand einer weiteren Arbeit sein. Auf welches Papier bezieht er sich? Die kategorische Herangehensweise an die Paramterizität, die ich kenne, verwendet dinaturale Transformationen wie im Functorial Polymorphism …
1
Impagliazzo und Wigdersons berühmtes P = BPP-Papier
Ich lese Impagliazzo und Wigdersons berühmtes Papier aus dem Jahr 1997. Da ich neu in diesem Bereich bin und das Papier eine prägnante Konferenzversion ist, habe ich Schwierigkeiten, ihren Beweisen zu folgen. Insbesondere fehlen einigen ihrer neuen Sätze Beweise. Nach meinem besten Wissen wurde keine Journalversion veröffentlicht.P=BPPP=BPP\mathsf P=\mathsf{BPP} Ich suche …
7
Handbuch fortgeschrittener Algorithmen
Ich suche nach Ressourcen (vorzugsweise einem Handbuch) zu fortgeschrittenen Themen in Algorithmen (Themen, die über das hinausgehen, was in Algorithmenlehrbüchern wie CLRS und DPV behandelt wird). Die Art von Material, das zum Unterrichten von Themen im Algorithmuskurs wie Erik Demaine und David Kargers Kurs für fortgeschrittene Algorithmen verwendet werden kann …
1
On Graph Isomorphism Komplette Probleme
Ich bin daran interessiert, vollständige Probleme des Graph-Isomorphismus (GI) zu untersuchen. In der Arbeit "Probleme, die Polynom äquivalent zum Graphisomorphismus sind" von Kellogg S. Booth (1979) wurde bewiesen, dass viele grundlegende Probleme durch Verwendung von Kantenersatztechniken, Kompositionstechniken usw. vollständig sind. Ich würde gerne mehr Techniken lernen, die in neueren Arbeiten …
1
Eine Umfrage zu Separatoren?
Inzwischen gibt es Berge von Ergebnissen zu Trennzeichen in Diagrammen, von planaren Trennzeichen, Baumtrennzeichen, Diagrammen mit begrenzter Baumbreite, Diagrammen mit begrenzter Gattung usw. usw. usw. Gibt es eine gute aktualisierte Umfrage zu diesem Thema und ihren Anwendungen?
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.