Ich beschreibe einen Ansatz zum Graphisomorphismus, der wahrscheinlich falsch positiv ist, und ich bin gespannt, ob es Literatur gibt, die darauf hinweist, dass er nicht funktioniert. Bei zwei Adjazenzmatrizen besteht eine zugegebenermaßen naive Methode zur Überprüfung auf Isomorphismus darin, zu...
Ich komme aus C ++ und verstehe nicht, warum man als erstklassiger Bürger Typen / Typausdrücke braucht. Die einzige mir bekannte Sprache, die diese Funktion unterstützt, ist Aldor. Hat jemand Literatur über Typen als erstklassiger Bürger oder kennt er einige Gründe, warum dies nützlich...
Hier ist das Problem: Es gibt verbundene Graphen mit Knoten, die eine Anzahl von Personen darstellen. Jeder Knoten / jede Person hat eine Meinung zu einem Thema, z. B. Trump gegen Clinton, Papierbücher gegen Kindle usw. Das Ziel besteht darin, dass jeder Knoten in einem Diagramm dieselbe Meinung...
Die Defunktionalisierung ist eine Transformation, die erstmals 1972 von John C. Reynolds beschrieben wurde, um Funktionen höherer Ordnung zu eliminieren. Gibt es alternative Transformationen (effizienter?), Um Funktionen höherer Ordnung zu
Ich bin relativ neu in der Typentheorie und der abhängigen Programmierung. Ich habe die Konstruktionsrechnung (CoC) und andere reine Typsysteme untersucht. Ich bin besonders daran interessiert, es als beweiserhaltende Zwischendarstellung für ein Compilersystem zu verwenden. Ich verstehe , dass...
In etwa ist ein ungerichteter Graph einem gerichteten Graphen sehr ähnlich, bei dem für jede Kante (v, w) immer eine Kante (w, v) vorhanden ist. Dies deutet darauf hin, dass es möglicherweise akzeptabel ist, ungerichtete Diagramme als Teilmenge gerichteter Diagramme anzuzeigen (möglicherweise mit...
Wir haben eine Gruppe von nnn Leuten. Wir erhalten eine Liste, wer innerhalb der Gruppe Geschenke für wen kaufen muss. Jede Person muss möglicherweise eine beliebige Anzahl von Geschenken kaufen / erhalten oder möglicherweise gar keine. Bei einem Einkaufsbummel reist eine Untergruppe der Personen...
Betrachten Sie die folgende Problemstellung: Bei einer Anfangszahl ziehen Sie und Ihr Freund abwechselnd ein perfektes Quadrat davon ab. Der erste, der auf Null kommt, gewinnt. Zum Beispiel: Ausgangszustand: 37 Spieler1 subtrahiert 16. Status: 21 Spieler2 subtrahiert 8. Status: 13 Spieler1...
Wenn Prozessoren jeweils nur eine Sache ausführen können, warum kann ich dann kontinuierlich Musik abspielen und trotzdem andere Aufgaben ausführen? Ich verstehe das Interrupt-System, aber ist es nicht erforderlich, dass die CPU kontinuierlich Audio verarbeitet, damit es nicht nervös / verzögert...
Ist "Rices Theorem für die berechenbaren Realitäten" - das heißt, keine nichttriviale Eigenschaft der Zahl, die durch einen bestimmten berechenbaren Realwert dargestellt wird, entscheidbar - wahr? Entspricht dies in direkter Weise der Verbundenheit der
Es kann gezeigt werden, dass zwei Rechenmodelle vollständig sind, wenn jedes einen universellen Simulator für das andere codieren kann. Es kann gezeigt werden, dass zwei Logiken vollständig sind, wenn gezeigt wird, dass eine Codierung der Inferenzregeln (und möglicherweise Axiome, falls vorhanden)...
Tatsächlich habe ich festgestellt, dass die Menge der kontextsensitiven Sprachen ( akzeptierte Sprachen) nicht so häufig diskutiert wird wie (reguläre Sprachen). oder (kontextfreie Sprachen). Und auch das offene Problem ist nicht so berühmt wie das "analoge" Problem: "
Ich lese Turings Artikel "Computing Machinery and Intelligence" ( https://www.csee.umbc.edu/courses/471/papers/turing.pdf ) und habe ein Fragment gefunden, in dem er sagt: Ich habe auf dem Manchester-Computer ein kleines Programm mit nur 1.000 Speichereinheiten eingerichtet, wobei die mit einer...
Mein Hauptanliegen ist, ob die genetische Programmierung ein aktives Forschungsfeld mit einigen vielversprechenden Anwendungen in der Praxis ist. Es scheint, als ob im Bereich des maschinellen Lernens die neuronalen Netze das Hauptwort sind, mit Erwähnungen in den heutigen Mainstream-Nachrichten,...
Sie erhalten ein Array der Länge . Jedes Element des Arrays gehört zu einer der K Klassen. Sie sollen das Array mit minimaler Anzahl von Swap - Operationen neu zu ordnen , so dass alle Elemente aus der gleichen Klasse immer zusammen gruppiert sind, dass sie ein zusammenhängendes Sub - Array bilden...
Meine Situation Ich schreibe ein Papier mit einem von mir entwickelten Softwaremodul und möchte dessen Laufzeit mit anderen Modulen für dieselbe Aufgabe vergleichen. Ich bin mir der Nachteile von Laufzeitversuchen bewusst, gehe aber bitte davon aus, dass es in meinem Fall keinen Weg daran vorbei...
Ich bin dem Begriff in verschiedenen CS-Lehrmaterialien oft begegnet: L2 CS162 (UC Berkeley): Speicherzugeordnete E / A. L4 CS162 (UC Berkeley): Speicherzugeordnete Dateien L24 CS61 (UC Berkeley): "Speicherzugeordnete E / A": Gerätesteuerung / Datenregister, die dem CPU-Adressraum zugeordnet sind...
Bei der abhängig typisierten Programmierung gibt es zwei Hauptmethoden zum Zerlegen von Daten und Durchführen einer Rekursion: Abhängiger Mustervergleich : Funktionsdefinitionen werden als Mehrfachklauseln angegeben. Die Vereinheitlichung stellt sicher, dass alle ausgelassenen Fälle unmöglich sind,...
Ich weiß nicht, wo ich diese Frage sonst stellen soll, ich hoffe, das ist ein guter Ort. Ich bin nur neugierig zu wissen, ob es möglich ist, einen Lambda-Kalkülgenerator herzustellen. Im Wesentlichen eine Schleife, die bei unendlicher Zeit jede mögliche Lambda-Kalkülfunktion erzeugt. (wie in Form...
Let sein -Reduktion in dem Kalkül. Definieren Sie -expansion durch .→β→β\to_\betaββ\betaλλ\lambdaββ\beta←β←β\leftarrow_\betat′←βt⟺t→βt′t′←βt⟺t→βt′t'\leftarrow_\beta t \iff t\to_\beta t' Ist konfluent? Mit anderen Worten, haben wir das für jedes , wenn , dann existiert so, dass...