correctness

7Hitze

10Antwort

Das Zählen von nachgestellten Nullen von Zahlen resultierte aus Fakultät

Ich versuche, nachgestellte Nullen von Zahlen zu zählen, die von faktorials resultieren (was bedeutet, dass die Zahlen ziemlich groß werden). Der folgende Code nimmt eine Zahl an, berechnet die Fakult

20Hitze

5Antwort

Wann muss ich das JavaScript-Protokoll angeben?

Ich hatte den Eindruck, dass ich nur das "Protokoll" angeben muss, wenn ich JavaScript in URL-Attributen verwende, zB in hrefs. Ist dies der einzige "nützliche" Kontext für javascript:? Sensible: <a h

14Hitze

1Antwort

Open Type Level Proofs in Haskell/Idris

In Idris/Haskell kann man Eigenschaften von Daten beweisen, indem man die Typen annotiert und GADT Konstruktoren benutzt, wie zB mit Vect, dies erfordert jedoch eine Festkodierung der Eigenschaft in d

1Hitze

1Antwort

SiftDown Algorithmus Anzahl der Vergleiche

Ich arbeitete vor kurzem mit dem siftDown Algorithmus für den Aufbau von binären Haufen. In dem Buch "Algorithmen und Datenstrukturen: Die grundlegende Toolbox" in Übung 6.5 wird festgestellt, dass di

1Hitze

1Antwort

Gibt es eine einfache Möglichkeit zu überprüfen, ob Replikationsartikel korrekt sind?

Gibt es auf einer Publikation (sekundär ein Abonnement), gibt es ein Skript oder einen Befehl, die ich ausführen kann, überprüft, ob die Artikel, die derzeit vorhanden sind, übereinstimmen, was erwart

6Hitze

2Antwort

Korrektheit und Logik des Algorithmus: Mindestschritte zu eins

Problembeschreibung: Bei einer positiven ganzen Zahl können Sie einen der folgenden 3 Schritte ausführen. 1 davon subtrahieren. (N = n - 1) Wenn sein durch 2 teilbar, Dividieren durch 2 (wenn n% 2 ==

11Hitze

6Antwort

Proving Korrektheit von Multi-Thread-Algorithmen

Multithread-Algorithmen sind besonders schwer zu entwerfen/debug/beweisen. Der Dekker-Algorithmus ist ein Paradebeispiel dafür, wie schwierig es sein kann, einen korrekten synchronisierten Algorithmus

1Hitze

1Antwort

Überprüfung: Kombinieren Korrektheit Aussagen

Die Frage ist: P1 {C} Q1 ------------------------- P1 && P2 {C} Q1||Q2 Ist diese Regel gültig? Wie würde ich so etwas angehen? Ich kann nur versuchen, ein Beispiel zu finden, wo es falsch wär

5Hitze

13Antwort

Schleifenbeendigungsbedingungen

Diese for-Loops gehören zu den ersten grundlegenden Beispielen für formale Korrektheitsbeweise von Algorithmen. Sie haben unterschiedliche, aber gleichwertige Abschlussbedingungen: 1 for (int i = 0; i