Das "Spiel mit der größten Zahl" fordert zwei Spieler auf, eine Zahl heimlich aufzuschreiben, und der Gewinner ist die Person, die die größere Zahl aufgeschrieben hat. Das Spiel erlaubt es den Spielern normalerweise, Funktionen aufzuschreiben, die zu einem bestimmten Zeitpunkt ausgewertet werden....
Das Problem der Darstellung gebundener Variablen in der Syntax und insbesondere der Substitution zur Vermeidung von Captures ist bekannt und hat eine Reihe von Lösungen: benannte Variablen mit Alpha-Äquivalenz, De-Bruijn-Indizes, lokale Namenslosigkeit, nominale Mengen usw. Aber es scheint einen...
In der Komplexitätstheorie beziehen sich die Definition von Zeit- und Raumkomplexität beide auf eine universelle Turingmaschine: resp. die Anzahl der Schritte vor dem Anhalten und die Anzahl der Zellen auf dem Band, die berührt wurden. Angesichts der Church-Turing-These sollte es möglich sein,...
Aus platz Hierarchie Theorem bekannt ist , daß , wenn raumkonstruierbar dann DSPACE ( ) , die gleich ist nicht DSPACE ( .fff2f(n)2f(n)2f(n)f(n))f(n))f(n)) Mit DSPACE ( meine ich hier die Klasse aller Probleme, die im Raum von einer Turing-Maschine mit einem festen Alphabet gelöst werden können ....
Ich habe über die erbliche Substitution des einfachen Lambda-Kalküls und des logischen Rahmens mit unterschiedlichen Begriffen und Typen gelesen . Ich frage mich, gibt es Beispiele für erbliche Substitution in einem abhängig typisierten System mit einer Universumshierarchie? dh wo...
Fortschritte im Quantencomputer haben zur Entwicklung neuer klassischer Algorithmen geführt. Bemerkenswerte aktuelle Beispiele sind quanteninspirierte Algorithmen für die lineare Algebra: Ein quanteninspirierter klassischer Algorithmus für Empfehlungssysteme Quanteninspirierte klassische...
Zwei Gruppen (G,⋅)(G,⋅)(G,\cdot) und (H,×)(H,×)(H, \times) gelten als isomorph, wenn ein Homomorphismus von GGG nach HHH vorliegt , der bijektiv ist. Das Problem des Gruppenisomorphismus ist wie folgt: Überprüfen Sie bei zwei Gruppen, ob sie isomorph sind oder nicht. Es gibt verschiedene...
In Stephen Cooks Artikel über das P vs NP-Problem [1] stellt er Folgendes fest [2]: Machbarkeitsthese: Ein natürliches Problem hat einen realisierbaren Algorithmus, wenn es einen Polynom-Zeit-Algorithmus hat. Meine Frage ist, was genau meint er (oder im Allgemeinen wirklich, was bedeutet einer) mit...
Kann die Teilung und Eroberung der FFT automatisch auf andere Transformationen (z Transformation, Chirp usw.) verallgemeinert werden? Gibt es einen Algorithmus, der eine Beschreibung der Transformation enthält (ich weiß nicht, welche Informationen benötigt werden) und eine schnelle FFT-ähnliche...
Insbesondere bitte ich um Ressourcen, um mehr über maschinelle Lernsysteme zu erfahren, die ihre jeweiligen Glaubensnetzwerke (oder gleichwertige) während des Betriebs aktualisieren können. Ich bin sogar auf einige gestoßen, obwohl ich sie nicht mit einem Lesezeichen versehen konnte. Wie Sie sich...
Der Zonensatz besagt, dass, wenn wir eine Anordnung von n Linien mit einer anderen Linie erstechen, die Gesamtkomplexität ihrer Zone , die Menge aller angrenzenden 0-, 1- und 2-Flächen, O (n) ist. Die tatsächliche Konstante ist ungefähr 6n, zumindest wie in verschiedenen Lehrbüchern angegeben, und...
Es gibt verschiedene (wahrscheinlich nicht äquivalente) Begriffe der rechnerischen Universalität (siehe zum Beispiel die letzten Seiten von http://www.dna.caltech.edu/~woods/download/WoodsNearyTCS07-DRAFT.pdf ), und es besteht kein Konsens zwischen diesen Experten, welche Begriffe am zutreffendsten...
Sei ein nicht regulär verbundener Graph, dessen Grad begrenzt ist. Angenommen, jeder Knoten enthält ein eindeutiges Token.G=(V,E)G=(V,E)G= (V, E) Ich möchte die Token innerhalb des Diagramms gleichmäßig mischen, indem ich nur lokale Swaps verwende (dh den Austausch der Token zwischen zwei...
Der größte Teil der Literatur scheint sich mit Maschinen mit einzelnen Orakeln für bestimmte Probleme zu befassen, es scheint jedoch einige Veröffentlichungen zu geben, die Maschinen mit mehreren Orakeln betrachten. Gibt es eine gute Arbeit oder These, die einen Überblick darüber gibt, was über...
Welche Beweise gibt es dafür, dass ?coRP≠NPcoRP≠NPcoRP \neq NP ist die Klasse von Sprachen, für die es eine probabililistische Turing-Maschine gibt, die in Polynomzeit läuft und bei einer Eingabe, die zur Sprache gehört, immer mit Ja und bei einer Eingabe, die nicht zur Sprache gehört, mit...
Ist es möglich (Schrägstrich können Sie ein Beispiel angeben), die Rechenkomplexität eines Problems durch Verwendung eines parallelen Algorithmus zu reduzieren, für den im Verhältnis zur Eingabegröße keine Anzahl von Prozessoren erforderlich
Mit BPP / linear beziehe ich mich auf BPP-Maschinen mit linearen Ratschlägen, die das Versprechen erfüllen, wenn sie den "richtigen" Rat geben, und die Derandomisierung sollte uns beispielsweise einen P / linearen oder (SUBEXP / linearen) Algorithmus geben. Wenn wir uneinheitliche Annahmen...
In SODA 1995 zeigte Jeff Erickson Untergrenzen für die lineare Erfüllbarkeit (Überprüfung, ob eine Teilmenge von reellen Zahlen eine lineare Gleichung für Variablen erfüllt ). Die Beweismethode verwendet Infinitesimale und das Übertragungsprinzip von Tarski .n rrrrnnnrrr Könnte jemand die Intuition...
Deterministische kontextfreie Sprachen (DCFL) und sichtbar Pushdown-Sprachen (VPL) sind beide Sätze formaler Sprachen zwischen kontextfreien Sprachen (CFL) und regulären Sprachen (REG). Gibt es eine lesbare Notation, die in einfachem ASCII ausgedrückt werden kann, wie Backus-Naur-Form für CFL und...
Es ist leicht zu erkennen, dass für jedes eine 1-1-Abbildung von {0,1} auf {0,1} so dass für jedes der Vektor ist "ausgeglichen", dh es hat die gleiche Anzahl von Einsen und Nullen. Ist es möglich, ein solches so zu definieren , dass wir mit effizient berechnen können ?F n n + O ( log n ) x F ( x )...