Ein regulärer Ausdruck wird rekursiv definiert als für einige ein & egr ; & Sgr; ist ein regulärer Ausdruck,aaaa∈Σa∈Σa \in \Sigma ist ein regulärer Ausdruck,εε\varepsilon ist ein regulärer Ausdruck,∅∅\emptyset wobei R 1 und R 2 reguläre Ausdrücke sind, ist ein regulärer...
Jeder kennt "Garey & Johnson", auf das ich mich immer dann beziehe, wenn ich ein Problem für die Transformation eines NP-Härtebeweises benötige. In letzter Zeit benötige ich jedoch einen APX-Härtebeweis und frage mich, ob es eine ähnliche (und aktuellere ..?) Sammlung von Problemen gibt, die...
Man muss die Potenz (positive ganze Zahl) der Matrix reeller Zahlen finden. Es gibt viele effiziente Matrixmultiplikationsalgorithmen (z. B. einige parallele Algorithmen sind Cannons, DNS ), aber gibt es Algorithmen, die genau dazu bestimmt sind, die Leistung der Matrix zu ermitteln, und die...
Was ist Induktion-Induktion ? Die Ressourcen, die ich gefunden habe, sind: das HoTT-Buch am Ende von Kapitel 5.7. Artikel von nLab ein Artikel namens Induktiv-Induktive Definitionen In diesem Blogbeitrag werden auch induktiv-induktive Typen erwähnt Die ersten beiden Referenzen sind mir zu kurz und...
In Java müssen Sie explizit umwandeln, um eine Variable herunterzuspielen public class Fruit{} // parent class public class Apple extends Fruit{} // child class public static void main(String args[]) { // An implicit upcast Fruit parent = new Apple(); // An explicit downcast to Apple Apple child =...
Ich eine Menge , eine ganze Zahl und nicht negative ganze Zahlen a_ {ij} . Mein Problem besteht darin, s disjunkte Teilmengen S_j von \ {1, \ ldots, k \} so zu finden, dass:s ⩽ k a i j s S j { 1 , … , k }A≜{1,…,k}A≜{1,…,k}A\triangleq\{1,\ldots,k\}s⩽ks⩽ks\leqslant
Gibt es ein Tool zum Prototyping einer Programmiersprachen-Semantik und eines Typsystems, das auch eine Art Modellprüfung von Standardeigenschaften wie der Typensicherheit ermöglicht? Ich frage dies, weil ich ein Buch über Legierung lese und es genau die Funktionalität bietet, die ich möchte, aber...
Ich habe zwei Mengen von Punkten in der zweidimensionalen Ebene. Ich möchte das nächste Punktpaar so dass , und der euklidische Abstand zwischen so klein wie möglich ist. Wie effizient kann das gemacht werden? Kann es in Zeit gemacht werden, wobei?s , t s ∈ S t ∈ T s , t O ( n log n ) n = | S | + |...
Angenommen, man möchte über Eigenschaften des Codes hinaus über Dinge wie Totalität und funktionale Reinheit nachdenken - man kümmert sich auch um den Speicherverbrauch oder die algorithmische Komplexität einer Funktion. Kann dies durch abhängige Typisierungs- und Effektsysteme erreicht...
Bei dieser Frage geht es darum, ob jeder mathematische Satz auf die Frage reduziert werden kann, ob eine einzelne Turing-Maschine anhält. Insbesondere interessieren mich Vermutungen, die derzeit nicht bewiesen sind. Zum Beispiel: Wikipedia sagt, dass es derzeit nicht bekannt ist, ob es ungerade...
Beim Erstellen eines Clients für eine Web-API in C # stieß ich auf ein Problem hinsichtlich nulleines Werts, bei dem zwei verschiedene Dinge dargestellt werden: nichts , zB ein foodarf oder darf nicht a habenbar unbekannt : Standardmäßig enthält die API-Antwort nur eine Teilmenge von Eigenschaften....
Wikipedia listet die zeitliche Komplexität der Addition als , wobei die Anzahl der Bits ist.nnnnnn Ist das eine starre theoretische Untergrenze? Oder ist dies nur die Komplexität des derzeit schnellsten bekannten Algorithmus? Ich möchte wissen, weil die Komplexität der Addition alle anderen...
Angenommen, wir lesen eine Folge von Zahlen nacheinander. So finden Sie das k -kleinste Element nur mit dem O ( k ) -Zellenspeicher und in linearer Zeit ( O ( n ) ). Ich denke, wir sollten die ersten k Terme der Sequenz speichern und, wenn wir den k + 1 -ten Term erhalten, einen Term löschen, von...
Gemäß diesen Anmerkungen wird angenommen , dass DFS eine -Raumkomplexität aufweist, wobei b der Verzweigungsfaktor des Baums und m die maximale Länge eines Pfades im Zustandsraum ist.O ( b m )Ö(bm)O(bm)bbbmmm Das gleiche gilt für diese Wikibook-Seite zur uninformierten Suche . In der "Infobox" des...
Mein Verständnis ist, dass die gängigsten Implementierungen eines Mutex (z. B. std :: mutex in C ++) keine Fairness garantieren - das heißt, sie garantieren nicht, dass in Streitfällen die Sperre von Threads in der Reihenfolge erworben wird, in der sie sich befinden genannt lock (). Tatsächlich ist...
Die allgemeine Frage lautet, wie der Titel schon sagt: Was ist der Unterschied zwischen DS und OR / Optimierung? Auf konzeptioneller Ebene verstehe ich, dass DS versucht, Wissen aus den verfügbaren Daten zu extrahieren und hauptsächlich statistische Techniken des maschinellen Lernens verwendet....
Es wird gesagt, dass im 2er-Komplement 0 nur einen Wert hat, während im 1er-Komplement sowohl +0 als auch -0 getrennte Werte haben. Was sind
Ein Kartenspiel ist 52. Eine Hand ist 5 Karten von den 52 (kann kein Duplikat haben). Was ist die geringste Anzahl von Bits, um eine 5-Karten-Hand darzustellen, und wie? Eine Hand ist NICHT auftragsabhängig (KQ = QK). 64329 = 96432 Ja, kann 52 Bit verwenden. Das kann eine Hand aus beliebig vielen...
Ich hatte den Eindruck, dass unsere Computer, da sie endlich sind, letztendlich nicht leistungsfähiger sind als (außerordentlich große) endliche Zustandsmaschinen. Linear gebundene Turing-Maschinen sind zwar auch endlich, aber es scheint, dass reguläre Sprachen streng genommen eine unangemessene...
Was sind Unterschiede zwischen deterministischen und nichtdeterministischen Turingmaschinen? Verschiedene, aber gleichwertige Modelle von NDTM. Was ist dieser häufig verwendete Ausdruck "nicht deterministisch raten"? Wie man es richtig benutzt und Beispiele für falsche Verwendung. Mein Ziel ist es,...