Ich lese das HoTT-Buch und habe es schwer mit der Pfadeinführung. Wenn ich mir den Typ in Abschnitt 1.12.1 anschaue : ich habe kein Problem zu verstehen, was das bedeutet (ich habe nur den Typ aus dem Speicher geschrieben, um das zu
Ich denke, ich weiß, was ein "hartes" Echtzeit-Betriebssystem ist. Es ist ein Betriebssystem mit einem Scheduler, der einen Vertrag mit dem Anwendungsprogrammierer bereitstellt. Ein Antrag enthält eine Frist für jede Ressourcenzuweisungsanforderung. Wenn die Terminanfragen möglich sind , garantiert...
Laut Wikipedia , Die Test-and-Set-Operation kann das wartefreie Konsensproblem für nicht mehr als zwei gleichzeitige Prozesse lösen. Warum kann es das Problem nicht für mehr als zwei Prozesse
Ich gebe Ihnen eine Liste von Bitvektoren der Breite . Ihr Ziel ist es, zwei Bitvektoren aus der Liste zurückzugeben, die keine 1 gemeinsam haben, oder zu melden, dass kein solches Paar existiert.nnnkkk Wenn ich Ihnen zum Beispiel ist die einzige Lösung . Alternativ hat die Eingabe keine Lösung....
In meinem Kurs über Algorithmen und Datenstrukturen haben Professoren, Folien und das Buch ( Einführung in Algorithmen, 3. Auflage ) das Wort verwendet NIL, um beispielsweise ein Kind eines Knotens (in einem Baum) zu bezeichnen, der nicht existiert. Einmal sagte NILmein Klassenkamerad während eines...
Durch meine Lektüre über Betriebssysteme (Lesen des Grundmaterials auf Wikipedia, technischen Websites usw.) habe ich erfahren, dass das Betriebssystem ein Programm ist, mit dem Programme und Anwendungen auf effiziente und sichere Weise mit der Hardware interagieren können. Ich bin jedoch verwirrt...
Ich habe irgendwo gelesen , dass der effizienteste Algorithmus gefunden können die Faktoren berechnen Zeit, aber der Code , den ich geschrieben habe , ist O ( n ) oder Möglicherweise O ( n log n ), je nachdem, wie schnell Division und Modul sind. Ich bin mir ziemlich sicher, dass ich irgendwo etwas...
Wenn zum Beispiel betrachten wir einen DFA , die die Saiten haben weder Sub - Strings erlaubt 00oder 11ich kann die folgenden zwei DFAs produzieren:
Es gibt viele (und ich meine viele) zählbare Sprachen, die Turing-entscheidbar sind. Kann jede unzählige Sprache entscheidend
Char Code ==== ==== E 0000 i 0001 y 0010 l 0011 k 0100 . 0101 space 011 e 10 r 1100 s 1101 n 1110 a 1111 Original Text: Unheimliche Augen gesehen nahe See Codiert : 000010110000011001110001010110110100111110111111000111111110100100101 Warum ist in der Huffman-Codierung kein Trennzeichen...
In der Praxis verstehe ich, dass jede Rekursion als Schleife geschrieben werden kann (und umgekehrt (?)), Und wenn wir mit tatsächlichen Computern messen, stellen wir fest, dass Schleifen für dasselbe Problem schneller sind als Rekursion. Aber gibt es eine Theorie, die diesen Unterschied ausmacht,...
Aus Wikipedia: In der theoretischen Informatik wird die Korrektheit eines Algorithmus behauptet, wenn gesagt wird, dass der Algorithmus in Bezug auf eine Spezifikation korrekt ist. Das Problem ist jedoch, dass es keine triviale Aufgabe ist, die "passende" Spezifikation zu erhalten, und es gibt...
Blackbox von bedeutet, dass ich das Polynom an jedem Punkt auswerten kann .f ( x )f(x)f(x)f(x)f(x)f(x)f(x) Eingabe : Eine Blackbox des monischen Polynoms des Grades .df(x)∈Z+[x]f(x)∈Z+[x]f(x) \in\mathbb{Z}^+[x]ddd Ausgabe: Die Koeffizienten des Polynoms .f ( x )dddf(x)f(x)f(x) Mein Algorithmus:...
Ich beginne ein Buch über Computational Complexity und Turing Machines zu lesen. Hier ist Zitat: Ein Algorithmus (dh eine Maschine) kann als Bitfolge dargestellt werden, sobald wir uns für eine kanonische Codierung entschieden haben. Diese Behauptung ist eine einfache Tatsache, aber ich kann es...
Ich las über Datenkomprimierungsalgorithmen und die theoretische Grenze für die Datenkomprimierung. Kürzlich bin ich auf eine Komprimierungsmethode mit dem Namen "Combinatorial Entropy Encoding" gestoßen. Die Hauptidee dieser Methode besteht darin, die Datei als die in der Datei dargestellten...
Wie würde die ALU in einem Mikroprozessor zwischen einer mit Vorzeichen versehenen Zahl -7, die mit 1111 bezeichnet ist, und einer mit Vorzeichen versehenen Zahl 15, die ebenfalls mit 1111 bezeichnet ist,
Wenn Sie ein beliebiges 9x9-Raster angeben möchten, müssen Sie die Position und den Wert jedes Quadrats angeben. Eine naive Codierung könnte dazu 81 (x, y, value) Triplets ergeben, die 4 Bits für jedes x, y und einen Wert (1-9 = 9 Werte = 4 Bits) für insgesamt 81x4x3 = 972 Bits erfordern. Durch...
Ein deterministischer endlicher Automat (DFA) ist ein Zustandsmaschinenmodell, das alle und nur reguläre Sprachen akzeptieren kann. DFAs können (und werden in der Regel) so definiert, dass jeder Status einen Übergang für alle Elemente des Eingabealphabets bereitstellen muss. Mit anderen Worten, die...
Dies ist eine Folgefrage von diesem . In einer früheren Frage zu exotischen Zustandsautomaten haben sich Alex ten Brink und Raphael mit den Rechenfähigkeiten einer besonderen Art von Zustandsautomaten befasst: Min-Heap-Automaten. Sie konnten zeigen, dass die Menge der von solchen Maschinen...
Beachten Sie, dass dies eine Frage ist, die sich auf das Studium in einem CS-Kurs an einer Universität bezieht. Es handelt sich NICHT um Hausaufgaben. Sie finden sie hier unter Prüfung Herbst 20112. Hier sind die beiden Fragen, die ich aus einer früheren Prüfung sehe. Sie scheinen verwandt zu sein,...