Ich versuche zu beweisen, dass ein binärer Heap mit Knoten genau Blätter hat, , der Heap ist folgendermaßen aufgebaut:⌈ nnnn⌈ n2⌉⌈n2⌉\left\lceil \frac{n}{2} \right\rceil Jeder neue Knoten wird per Perkolation eingefügt . Dies bedeutet, dass jeder neue Knoten beim nächsten verfügbaren...
Ich lerne die automatische Theoremprüfung / SMT-Löser / Proof-Assistenten selbst und stelle hier eine Reihe von Fragen zum Prozess . Warum benötigen automatisierte Theorembeweiser, dh ACL2- und SMT-Löser, keine menschliche Unterstützung, während Beweisassistenten, dh Isabelle und Coq , dies tun?...
Laut Wikipedia : Informellerweise entspricht aus der Sicht der algorithmischen Informationstheorie der Informationsgehalt einer Zeichenkette der Länge der kürzest möglichen in sich geschlossenen Darstellung dieser Zeichenkette. Was ist die analoge informelle rigorose Definition von "nützlichen...
Mir ist aufgefallen, dass bei der Implementierung von Suchalgorithmen unterschiedliche Datenstrukturen verwendet werden. Beispielsweise verwenden wir Warteschlangen zur Implementierung der Breitensuche, Stapel zur Implementierung der Tiefensuche und Min-Heaps zur Implementierung des A *...
In Michael Sipsers Berechnungstheorie auf Seite 270 schreibt er: P = die Klasse von Sprachen, für die die Mitgliedschaft schnell entschieden werden kann. NP = die Klasse von Sprachen, für die die Mitgliedschaft schnell überprüft werden kann. Was ist der Unterschied zwischen "entschieden" und...
Eine asymptotische Untergrenze wie Exponentialhärte impliziert im Allgemeinen, dass ein Problem "von Natur aus schwierig" ist. Verschlüsselung, die "von Natur aus schwierig" zu knacken ist, gilt als sicher. Eine asymptotische Untergrenze schließt jedoch nicht aus, dass eine große, aber begrenzte...
wir haben eine große Auflistung von Tasks und eine Auflistung von identischen (in Bezug auf die Leistung) Prozessoren , die vollständig in ausgeführt werden parallel. Für interessante Szenarien können wir annehmen . Jedes benötigt einige Zeit / Zyklen, um abgeschlossen zu werden, sobald es einem...
Letztes Jahr las ich einen fantastischen Artikel über „Quantenmechanik für den Kindergarten“ . Es war kein leichtes Papier. Nun frage ich mich, wie ich Quicksort mit möglichst einfachen Worten erklären kann. Wie kann ich beweisen (oder zumindest per Hand), dass die durchschnittliche Komplexität ist...
Ich kämpfe wirklich mit dieser Eigenschaft: Lassen seine Kohärenz Räume und f : C L ( X ) → C L ( Y ) eine monotone Funktion sein. f ist kontinuierlich , wenn und nur wenn f ( ⋃ x ∈ D x ) = ⋃ x ∈ D f ( x ) , für alle D ⊆ C l ( X ) , so daß D ein gerichteter Menge ist.X, YX,YX,Yf: Cl ( X) → Cl (...
Wir erhalten eine Menge zweidimensionaler Punkte und eine ganze Zahl . Wir müssen eine Sammlung von Kreisen finden, die alle Punkte so einschließen, dass der Radius des größten Kreises so klein wie möglich ist. Mit anderen Worten, wir müssen eine Menge von Mittelpunkten finden, so dass die...
Ich habe an dem folgenden Problem aus diesem Buch gearbeitet . Eine bestimmte Zeichenkettenverarbeitungssprache bietet eine primitive Operation, die eine Zeichenkette in zwei Teile aufteilt. Da bei dieser Operation die ursprüngliche Zeichenfolge kopiert wird, werden für eine Zeichenfolge mit der...
Einige wichtige Aspekte: Ich bin ein Freizeitinformatiker und ein angestellter Software-Ingenieur. Also, entschuldigen Sie, wenn diese Aufforderung etwas außerhalb des linken Feldes zu liegen scheint - ich spiele routinemäßig mit mathematischen Simulationen und offenen Problemen, wenn ich nichts...
Definition : Ein Polygon in der Ebene heißt monoton in Bezug auf eine Gerade L , wenn jede zu L orthogonale Linie P höchstens zweimal schneidet .PPPLLLLLLPPP Ist es möglich, bei gegebenem Polygon zu bestimmen, ob irgendeine Linie L existiert, so dass das Polygon P in Bezug auf L monoton ist ? Wenn...
Ich habe versucht, ein System zu entwickeln, das die Satzung einer Organisation bewertet, um die zugrunde liegende Logik zu bestimmen. Ich denke, ein Prädikatsystem erster Ordnung würde für die Darstellung der Regeln funktionieren, die aus dem Text mittels Part-of-Speech-Tagging und anderen...
In dem Buch "Computational Geometry: Algorithms and Applications" von Mark de Berg et al. Gibt es einen sehr einfachen Brute-Force-Algorithmus zur Berechnung von Delaunay-Triangulationen. Der Algorithmus verwendet den Begriff der illegalen Kanten - Kanten, die möglicherweise nicht in einer gültigen...
Einführung Schritt eins Ich habe ein standardmäßiges neuronales Backpropegating-Netzwerk geschrieben und mich zum Testen für eine XOR-Zuordnung entschieden. Es ist ein 2-2-1-Netzwerk (mit Tanh-Aktivierungsfunktion) X1 M1 O1 X2 M2 B1 B2 Zu Testzwecken habe ich das obere mittlere Neuron (M1) manuell...
Wenn ich eine Typ-3-Grammatik habe, kann sie auf einem Pushdown-Automaten dargestellt werden (ohne dass eine Operation auf dem Stapel ausgeführt wird), sodass ich reguläre Ausdrücke mithilfe kontextfreier Sprachen darstellen kann. Aber kann ich wissen, ob eine Typ-3-Grammatik , L L ( 1 ) , S L R (...
Sei eine feste zeitkonstruierbare Funktion.fff Das klassische universelle Simulationsergebnis für TMs (Hennie und Stearns, 1966) besagt, dass es ein solches Zwei-Band-TM gibtUUU Die Beschreibung eines TM und⟨ M⟩⟨M⟩\langle M \rangle eine Eingabezeichenfolge ,xxx läuft für Schritte und gibt die...
Ich habe die drei studiert und gebe meine Schlussfolgerungen von ihnen weiter unten an. Könnte mir jemand sagen, ob ich sie genau genug verstanden habe oder nicht? Vielen Dank. Dijkstra - Algorithmus wird nur dann verwendet , wenn Sie eine Hand haben , und Sie wollen den kleinsten Pfad von einem...
Ich verstehe, dass die Verwendung von DFS "wie sie ist" keinen kürzesten Weg in einem ungewichteten Diagramm findet. Aber warum ist das Optimieren von DFS, um kürzeste Wege in ungewichteten Diagrammen zu finden, eine so hoffnungslose Perspektive? Alle Texte zum Thema geben lediglich an, dass dies...