Computerwissenschaften

9
Warum

Es ist bekannt, dass die zeitliche Logik LTL, CTL, CTL * in den Kalkül übersetzt / eingebettet werden kann. Mit anderen Worten, der (modale) Kalkül fasst diese Logik zusammen (dh er ist ausdrucksvoller).μμ\muμμ\mu Könnten Sie mir bitte erklären / auf Papiere / Bücher verweisen, die diese...

9
Äquivalenz von unabhängigem Satz und Satzpackung

Laut Wikipedia ist das Independent Set- Problem ein Sonderfall des Set Packing- Problems. Aber es scheint mir, dass diese Probleme gleichwertig sind. Das Suchproblem der unabhängigen Menge ist: Wenn ein Graph und eine ganze Zahl , finden Sie Eckpunkte, von denen keine zwei benachbart sind.n nG (...

9
Huffman-Baum und maximale Tiefe

Ist es bei Kenntnis der Häufigkeit der einzelnen Symbole möglich, die maximale Höhe des Baums zu bestimmen, ohne den Huffman-Algorithmus anzuwenden? Gibt es eine Formel, die diese Baumhöhe

9
Auswahl von Parametern für den genetischen Algorithmus

Wie kann man die richtige Anzahl von Parametern für einen genetischen Algorithmus auswählen, um ein bestimmtes System zu modellieren? Angenommen, Sie möchten die Produktion von Autos optimieren und haben 1.000 Messungen der stündlichen Effizienz bei verschiedenen Aufgaben für jeweils 1.000...

9
Kompakte Darstellung von Pfaden in einem Diagramm

Ich habe eine Teilmenge der einfachen Pfade in einem Diagramm. Die Länge der Pfade wird durch .ddd Was ist die kompakteste Art (speichertechnisch), wie ich die Pfade so darstellen kann, dass außer den ausgewählten Pfaden keine anderen Pfade dargestellt werden? Beachten Sie, dass ich diese...