Dies kann eine sehr einfache Frage sein. Aber was ist der Unterschied zwischen Typen und Sorten? Mein derzeitiges Verständnis ist, dass Sie eine Typentheorie mit Typregeln haben, die den Begriff einer gut typisierten Aussage vermitteln, aber Sortierungen grundlegender sind, Symbole in verschiedene...
Ich habe ein paar Millionen 32-Bit-Werte. Für jeden Wert möchte ich alle anderen Werte innerhalb eines Hamming-Abstands von 5 finden. Beim naiven Ansatz erfordert dies O(N2)O(N2)O(N^2) -Vergleiche, die ich vermeiden möchte. Ich erkannte, dass, wenn ich diese 32-Bit-Werte nur als Ganzzahlen...
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
Wurde dieses Problem schon einmal untersucht? Wenn ein metrischer ungerichteter Graph G gegeben ist (Kantenlängen erfüllen Dreiecksungleichung), finden Sie eine Menge S von Eckpunkten, so dass MST (G [S]) maximiert wird, wobei MST (G [S]) der minimale Spannbaum des Subgraphen ist, der durch...
In diesem kürzlich erschienenen Artikel aus dem FOCS2013, Starke Hintertüren zu begrenztem Baumbreite SAT von Gaspers und Szeider, wird der Zusammenhang zwischen der Baumbreite des SAT- Klauseldiagramms und der Instanzhärte erläutert . Welche Korrelation besteht für zufällige 3-SAT-Instanzen, dh...
Ich suche eine kleine Sprache, die hilft, die Schüler davon zu überzeugen, dass Turingmaschinen ein ausreichend allgemeines Rechenmodell sind. Das heißt, eine Sprache, die den gewohnten Sprachen ähnelt, aber auch auf einer Turingmaschine leicht zu simulieren ist. Papadimitriou verwendet...
Ich habe etwas über das Implementieren abhängiger Typen gelernt, wie dieses Tutorial , aber die meisten von ihnen implementieren Dolmetscher. Meine Frage ist, es scheint, dass die Implementierung eines Compilers für abhängige Typen viel schwieriger ist als ein Compiler, da Sie die Argumente für...
Erstens ist mein Verständnis des Unvollständigkeitssatzes von Gödel (und der formalen Logik im Allgemeinen) sehr naiv, ebenso wie mein Wissen über theoretische Informatik (dh nur ein Abschlusskurs, der bereits während meines Studiums belegt wurde), so dass diese Frage möglicherweise gestellt wird...
Ich suche einen effizienten Algorithmus für das Problem: Eingabe : Die positive ganze Zahl (als Bits gespeichert) für eine ganze Zahl . n ≥ 03n3n3^nn≥0n≥0n \geq 0 Ausgabe : Die Nummer .nnn Frage : Können wir aus den Bits von in Zeit berechnen ?3 n O ( n )nnn3n3n3^nO(n)O(n)O(n) Dies ist eine...
Einweg-Pushdown-Automaten (1APDA) können jede Sprache in (Alternation von Chandra, Kozen und Stockmeyer, 1981) . Durch Ersetzen eines Pushdown-Speichers eines 1APDA durch einen Zähler können wir einen Einweg-Wechselautomaten mit einem Zähler (1ACA) erhalten. Meine Frage bezieht sich auf 1ACAs für...
Ich verstehe die folgenden Behauptungen als wahr: Zwei unterschiedliche Ableitungen eines Strings in einem bestimmten CFG können dem String manchmal denselben Analysebaum zuordnen. Wenn in einem bestimmten CFG Ableitungen eines Strings vorhanden sind, die unterschiedliche Analysebäume zuordnen, ist...
Ich habe Schwierigkeiten, die letzten Schritte des AHSP-Algorithmus zu verstehen. Sei eine abelsche Gruppe und die Funktion, die die Untergruppe verbirgt . Lassen die doppelte Gruppe darstellen .GGGfffHHHG∗G∗G^*GGG Hier sind die Schritte des Algorithmus Bereiten Sie zuerst den Staat vor,...
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,...
Für ein polynomielles lokales Suchproblem wissen wir, dass mindestens eine Lösung (lokales Optimum) existieren muss. Es könnten jedoch noch viele weitere Lösungen existieren. Wie schwierig ist es, die Anzahl der Lösungen für ein PLS-vollständiges Problem zu zählen? Das Entscheidungsproblem...
Sei ein Vektor boolescher Variablen. Sei zwei boolesche Schaltungen auf . Sagen Sie, dass ähnlich ist, wenn:x=(x1,…,xn)x=(x1,…,xn)x=(x_1,\dots,x_n)C,DC,DC,DxxxCCCDDD Pr[C(x)≠D(x)]Pr[C(x)≠D(x)]\Pr[C(x) \ne D(x)] ist exponentiell klein, wenn xxx gleichmäßig zufällig aus \ {0,1 \} ^ n gezeichnet wird...
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...
Angenommen, wir erhalten ein Array das nichtnegative ganze Zahlen enthält (nicht unbedingt verschieden).A [ 1 .. n ]A[1..n]A[1..n] Lassen sein A in der nichtwachsende Reihenfolge sortiert. Wir wollen m = max i ∈ [ n ] B [ i ] + i berechnen .B.BBEINAAm = maxi ∈ [ n ]B [ i ] + i .m=maxi∈[n]B[i]+i.m =...
Sean Anderson veröffentlichte Bit Hacks twiddling der Eric Cole-Algorithmus enthält , die finden eines N - Bit - Integer - v in O ( lg ( N ) ) Operationen mit mehrfach und Nachschlagen.⌈log2v⌉⌈log2v⌉\lceil\log_2 v \rceilNNNvvvO(lg(N))O(lg(N))O(\lg(N)) Der Algorithmus basiert auf einer "magischen"...
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...
Die einzige mir bekannte Definition von "Kalkül" ist das Studium von Grenzen, Ableitungen, Integralen usw. in der Analyse. Inwiefern ist Lambda-Kalkül (oder Dinge wie Mu-Kalkül) ein "Kalkül"? In welcher Beziehung steht es zur Analysis in der