Angenommen, ich habe zwei Formeln und (über denselben Satz von Atomsätzen ) in CTL . Wir haben das iff für alle Übergangssysteme über .ΦΦ\PhiΨΨ\PsiA P.EINP.AP& PHgr; ≡ & PSgr;Φ≡Ψ\Phi \equiv \PsiS.eintT.S.( Φ ) = S.eintT.S.( Ψ )S.eintT.S.(Φ)=S.eintT.S.(Ψ)Sat_{TS}(\Phi) =...
Dies ist eine Fortsetzung der Funktionsweise der Stapelinspektion. das untersucht den Begriff genauer Die Stapelinspektion ist ein Mechanismus zur Gewährleistung der Sicherheit im Kontext der virtuellen JVM- und CLR-Maschinen, wenn extern heruntergeladene Codemodule unterschiedlicher...
Ich habe diese Seite mit großem Interesse gelesen, aber ich finde, dass viel davon über meinen Kopf geht. Dies hat mich dazu gebracht, viel mehr über Algorithmen und CS im Allgemeinen zu lernen. Soweit ich aus meiner Forschung ersehen kann, gibt es zwei Möglichkeiten, dies zu tun. Ich kann durch...
Betrachten Sie zwei 2D-Arrays (das Kaufarray) und (das Verkaufsarray), wobei jedes -Element einem Array von Gleitkommawerten und jedem der Gleitkommawerte zugeordnet ist. ist wiederum einem Array von ganzen Zahlen zugeordnet.B.i jB.ichjB_{ij} S.i jS.ichjS_{ij}icht hichthi^{th} Zum Beispiel B = [...
Ich weiß, dass dies eine einfache Frage ist, aber kann mir jemand zeigen, wie auf λ x reduziert wird . λ y . y .( λ y. λ x . λ y. y) ( λ x . λ y. y)(λy.λx.λy.y)(λx.λy.y)(\lambda y. \lambda x. \lambda y.y) (\lambda x. \lambda y. y)λ x . λ y. yλx.λy.y\lambda x. \lambda y....
Betrachten Sie einen Minimax- Baum für ein kontroverses Suchproblem. Zum Beispiel in diesem Bild (Alpha-Beta-Schnitt): 3 B . max = 3 12 8 B . m a x = 3[min,max][min,max][\min,\max]333B.max=3B.max=3B.\max = 3121212888B.max=3B.max=3B.max = 3 Aber warum ist ? Was nützt dieser Wert?B.min=3B.min=3B.\min...
Ich habe in meinem kurzen akademischen Leben festgestellt, dass viele veröffentlichte Artikel in unserer Region manchmal nicht sehr streng in Bezug auf Statistiken sind. Dies ist nicht nur eine Annahme; Ich habe Professoren dasselbe sagen hören. In CS-Disziplinen werden beispielsweise Artikel...
Beim Alpha-Beta- Bereinigen behauptet NegaScout , dass es den Prozess beschleunigen kann, indem [Alpha, Beta] auf [Alpha, Alpha-1] gesetzt wird. Ich verstehe den gesamten Prozess von NegaScout nicht. Wie funktioniert es? Was ist sein Wiederherstellungsmechanismus, wenn seine Vermutung...
Wir erhalten eine Menge von Früchten. Jede Frucht hat Preis und Vitamingehalt ; wir haben Frucht mit dem geordneten Paar assoziiert . Jetzt müssen wir diese Früchte so anordnen, dass die sortierte Liste die Preise in aufsteigender Reihenfolge und den Vitamingehalt in absteigender Reihenfolge...
Sei eine Matrix. Wir sagen , zwei Einträge Nachbarn sind , wenn sie neben horizontal oder vertikal sind, und beide Einträge sind ‚s. Man will Mindestanzahl von finden ‚s hinzuzufügen, so dass jeder eine andere durch eine Folge von Nachbarn zu erreichen.MMM(0,1)(0,1)(0, 1)1 1111111111 Beispiel: 100...
Ich mag die Anzahl der Saiten zählen sss über ein endliches Alphabet , die keine Wiederholungen enthalten, und dass ich für jede Teilkette bedeuten von ,gibt es keine disjunkte Kopie von in . Zum Beispiel sei . Dann ist eine der Saiten , die ich zählen möchten, da für die Teilzeichen , es gibt...
Ich weiß also, dass iterierten Logarithmus bedeutet, also = bis .log∗log∗\log^*log∗(3)log∗(3)\log^*(3)(loglogloglog...)(loglogloglog...)(\log\log\log\log...)n≤1n≤1n \leq 1 Ich versuche Folgendes zu lösen: ist log∗(22n)log∗(22n)\log^*(2^{2^n}) wenig , wenig oder vonoooωω\omegaΘΘ\Theta...
Warum denken Sie, ist es so, dass die meisten C ++ - Lehrer, die Informatik auf College-Ebene unterrichten, davon abhalten oder sogar verbieten, Zeichenfolgen für Text zu verwenden, anstatt von den Schülern die Verwendung von Zeichenarrays zu verlangen? Ich gehe davon aus, dass diese Methode...
Angenommen, ich bekomme ein Array von nnn ganzen Zahlen mit fester Breite (dh sie passen in ein Register der Breite www ), ein1, ein2, … A.nein1,ein2,…einna_1, a_2, \dots a_n . Ich möchte die Summe S.= a1+ … + A.nS.=ein1+…+einnS = a_1 + \ldots + a_n auf einer Maschine mit 2er-Komplementarithmetik...
Ich habe ein logistisches Problem, das als eine Variante von TSPTSP\text{TSP} . Es ist so natürlich, ich bin sicher, es wurde in der Operations-Forschung oder ähnlichem untersucht. Hier ist eine Sichtweise auf das Problem. Ich habe Lagerhäuser im kartesischen Flugzeug. Es gibt einen Pfad von einem...
Ich wurde gebeten, die gegnerischen Argumente zu finden, die notwendig sind, um die unteren Grenzen für die Auswahl und die Einfügungssortierung zu finden. Ich konnte nirgendwo einen Hinweis darauf finden. Ich habe einige Zweifel. Ich verstehe, dass gegnerische Argumente normalerweise verwendet...
Ich weiß, dass die 2D- und 3D-Knapsack-Probleme NPC sind, aber gibt es eine Möglichkeit, sie in angemessener Zeit zu lösen, wenn die Instanzen nicht sehr kompliziert sind? Würde dynamische Programmierung funktionieren? Mit 2D (3D) Rucksack meine ich, ich habe ein Quadrat (Würfel) und eine Liste von...
Ich arbeite an Problem H im nordosteuropäischen Wettbewerb ACM ICPC 2004–2005 . Das Problem besteht im Wesentlichen darin, den schlimmsten Fall zu finden, der eine maximale Anzahl von Austauschen im Algorithmus erzeugt (nach unten sieben), um den Heap zu erstellen. Eingabe: Die Eingabedatei enthält...
Ich habe vor einiger Zeit das P vs NP-Problem gefunden und kürzlich an dem Teilmengen-Summenproblem gearbeitet. Ich habe einen Wikipedia-Artikel über das Subset Sum-Problem sowie die Frage Subset Sum Algorithm gelesen Ich habe mir das Problem angesehen und einige Lösungen gefunden, aber bisher...
Hier bin ich wirklich daran interessiert, Hindernisse für den Mathematikunterricht abzubauen. Ziel: Ich würde gerne sehen, dass es für die JavaScript-Community erstellt wurde, ein Äquivalent zu den Python-basierten / verknüpften wissenschaftlichen und leistungsstarken Computerbibliotheken (große...