Schnittprobleme sind Probleme, bei denen ein bestimmtes großes Objekt in mehrere kleine Objekte geschnitten werden soll. Stellen Sie sich zum Beispiel eine Fabrik vor, die mit großen Rohglasscheiben der Breite und Länge L arbeitet . Es gibt mehrere Käufer, von denen jeder eine unbegrenzte Anzahl...
Gibt es einen Algorithmus / ein systematisches Verfahren, um zu testen, ob eine Sprache kontextfrei ist? Mit anderen Worten, testen Sie bei einer in algebraischer Form angegebenen Sprache (denken Sie an etwas wie ), ob die Sprache kontextfrei ist oder nicht . Stellen Sie sich vor, wir schreiben...
Betrachten Sie das folgende sehr einfache Computerprogramm: for i = 1 to n: y[i] = x[p[i]] Hier und sind -Glied Arrays von Bytes, und ist eine -Glied Array von Wörtern. Hier ist groß, z. B. (so dass nur ein vernachlässigbarer Teil der Daten in einen beliebigen Cache-Speicher
Wie kann bei einem vorgespannten seitigen Die eine Zufallszahl im Bereich gleichmäßig erzeugt werden? Die Wahrscheinlichkeitsverteilung der Würfelflächen ist nicht bekannt. Es ist lediglich bekannt, dass jede Fläche eine Wahrscheinlichkeit ungleich Null aufweist und dass die
Während ich über ein Problem nachdachte, wurde mir klar, dass ich einen effizienten Algorithmus erstellen muss, der die folgende Aufgabe löst: Das Problem: Wir erhalten einen zweidimensionalen quadratischen Kasten der Seite dessen Seiten parallel zu den Achsen sind. Wir können es von oben...
Randomized Quick Sort ist eine Erweiterung von Quick Sort, bei der das Pivot-Element zufällig ausgewählt wird. Was kann der schlimmste Fall sein, Zeit Komplexität dieses Algorithmus. Meiner Meinung nach sollte es , da der schlimmste Fall ein zufällig gewählter Drehpunkt in sortierter oder...
Es heißt, dass "Eugene Goostman", ein Computerprogramm, das entwickelt wurde, um einen 13-jährigen Jungen zu simulieren, es geschafft hat, 33 Prozent der Richter davon zu überzeugen, dass es sich um einen Menschen handelt, und damit den Turing-Test bestanden hat. Das Computerprogramm, auch bekannt...
Das Mandelbrot-Set ist eine wunderschöne Kreatur in der Mathematik. Es gibt viele schöne Bilder dieses Sets, die mit hoher Präzision erstellt wurden, so dass dieses Set in gewissem Sinne "berechenbar" ist. Was mich jedoch beunruhigt, ist die Tatsache, dass es nicht einmal rekursiv aufzählbar ist -...
Dank des Max-Flow-Min-Cut-Theorems wissen wir, dass wir jeden Algorithmus verwenden können, um einen maximalen Fluss in einem Netzwerkgraphen zu berechnen, um einen -Min-Cut zu berechnen . Daher ist die Komplexität der Berechnung eines minimalen ( s , t ) -Flusses nicht größer als die Komplexität...
Die primäre Definition von Turing machine (TM), zumindest in meinem eigenen Nachschlagewerk (Hopcroft + Ullman 1979), ist deterministisch. Daher ist mein eigenes Verständnis des Halteproblems in erster Linie für deterministisches TM, obwohl mir bewusst ist, dass es für andere Arten von Automaten in...
Ich weiß, dass Quantencomputer eine Überlagerung aller möglichen Zustände mit einem einzigen Durchlauf durch die Logik verarbeiten können. Das scheint das zu sein, was die Leute als das bezeichnen, was Quantencomputer besonders oder nützlich macht. Nachdem Sie die Überlagerungseingaben verarbeitet...
Ich habe eine kleine geschichtliche Frage, nämlich, wie der Titel sagt, ich suche nach frühen Verwendungen von Bäumen (als Datenstruktur, Suchbaum, was auch immer) in der
Speicher wird für viele Dinge verwendet, wie ich verstehe. Es dient als Festplatten-Cache und enthält die Anweisungen der Programme sowie deren Stack & Heap. Hier ist ein Gedankenexperiment. Wenn man sich nicht um die Geschwindigkeit oder Zeit kümmert, die ein Computer für das Knirschen...
Ich bin überrascht, dass immer wieder neue Typen in Typentheorien aufgenommen werden, aber niemand scheint eine Minimal-Theorie zu erwähnen (oder ich kann sie nicht finden). Ich dachte, Mathematiker lieben minimale Dinge, nicht wahr? Wenn ich richtig verstehe, Propgenügen in einer Typentheorie mit...
Ich kenne wenig abhängige Typentheorie. Aus Wikipedia: Ein abhängiger Typ ist ein Typ, dessen Definition von einem Wert abhängt. Und aus meinem typentheoretischen Kurs erinnere ich mich, dass ein abhängiger Typ ist: Typenfamilie, die von einem Typ indiziert wird. Aber ich habe eine Verwirrung in...
In dem Artikel "Ein konfliktfrei replizierter JSON-Datentyp" stieß ich auf die folgende Notation, um "Regeln" formal zu definieren: Wie heißt diese Notation? Wie lese ich es? Beispielsweise: Die DOCRegel hat nichts im "Zähler" - warum nicht? Die Regeln EXECund GETscheinen zwei getrennte Ausdrücke...
Rahmen: reguläre Ausdrücke mit Rückverweisen unäre Sprache (1-Symbol-Alphabet) Kann das folgende Problem in dieser Einstellung behoben werden: Definiert ein regulärer Ausdruck mit Rückverweisen eine reguläre Sprache? Definiert beispielsweise (aa+)\1eine reguläre Sprache, während (aa+)\1+dies nicht...
Ich habe ein NP-vollständiges Entscheidungsproblem. Angesichts einer bestimmten Instanz des Problems möchte ich einen Algorithmus entwerfen, der JA ausgibt, wenn das Problem durchführbar ist, und NEIN, andernfalls. (Wenn der Algorithmus nicht optimal ist, treten natürlich Fehler auf.) Ich kann...
Die zugrunde liegende Frage: Was macht die Lambda-Rechnung für uns, was wir mit den in der Mittelschulalgebra allgemein erlernten Grundfunktionseigenschaften und der Notation nicht anfangen können? Was bedeutet abstrakt im Zusammenhang mit der Lambda-Rechnung? Mein Verständnis des Wortes abstrakt...
Möchten Sie diesen Beitrag verbessern? Geben Sie detaillierte Antworten auf diese Frage, einschließlich Zitaten, und erläutern Sie, warum Ihre Antwort richtig ist. Antworten ohne ausreichende Details können bearbeitet oder gelöscht werden. Wir haben über Algorithmen für MST, starke Konnektivität,...