Computerwissenschaften

Fragen und Antworten für Studenten, Forscher und Informatiker

2
Invariante für verschachtelte Schleife im Matrix-Multiplikationsprogramm
Ich mache eine Abschlussarbeit über den Nachweis der Richtigkeit des Programms zum Multiplizieren von 2 Matrizen mit Hoare-Logik. Dazu muss ich die Invariante für die verschachtelte Schleife für dieses Programm generieren: for i = 1:n for j = 1:n for k = 1:n C(i,j) = A(i,k)*B(k,j) + C(i,j); end end …
7 algorithms  loop-invariants  correctness-proof  formal-languages  regular-languages  pumping-lemma  logic  logic  programming-languages  lambda-calculus  term-rewriting  operational-semantics  complexity-theory  time-complexity  computability  proof-techniques  reductions  digital-preservation  distributed-systems  storage  algorithms  dynamic-programming  check-my-algorithm  reference-request  cryptography  quantum-computing  formal-languages  regular-languages  context-free  formal-grammars  algorithms  graphs  network-flow  algorithms  data-structures  randomized-algorithms  lists  computability  proof-techniques  undecidability  terminology  distributed-systems  parallel-computing  artificial-intelligence  heuristics  search-problem  algorithms  computational-geometry  algorithm-analysis  asymptotics  recurrence-relation  mathematical-analysis  master-theorem  algorithms  algorithm-analysis  runtime-analysis  computability  reductions  turing-machines  formal-languages  context-free 
1
Verbindung zwischen KMP-Präfixfunktion und String-Matching-Automat
Sei der String-Matching-Automat für das Muster , das heißtAP=(Q,Σ,δ,0,{m})AP=(Q,Σ,δ,0,{m})A_P = (Q,\Sigma,\delta,0,\{m\})P∈ΣmP∈ΣmP \in \Sigma^m Q={0,1,…,m}Q={0,1,…,m}Q = \{0,1,\dots,m\} δ(q,a)=σP(P0,q⋅a)δ(q,a)=σP(P0,q⋅a)\delta(q,a) = \sigma_P(P_{0,q}\cdot a) für alle undq∈Qq∈Qq\in Qa∈Σa∈Σa\in \Sigma mit die Länge des längsten Präfixes von , das ein Suffix von , das heißtσP(w)σP(w)\sigma_P(w)PPPwww σP(w)=max{k∈N0∣P0,k⊐w}σP(w)=max{k∈N0∣P0,k⊐w}\qquad \displaystyle \sigma_P(w) = \max \left\{k \in \mathbb{N}_0 \mid P_{0,k} …
1
Einfache Pfade mit Zwischenstopp in gerichteten Graphen
Ich habe zwei Probleme im Zusammenhang mit Pfaden in einem gerichteten Graphen. Let mit der Quelle ein gerichteter Graph und das Ziel . Lassen in einen anderen Eckpunkt sein .G = ( V., E.)G=(V.,E.)G=(V,E)s ∈ V.s∈V.s \in Vt ∈ V.t∈V.t \in Vv ∈ V.∖ { s , t }v∈V.∖{s,t}}v \in …
2
Lösen von Wiederholungsbeziehungen 'Chip & Conquer'
Ich wurde beauftragt, einige Wiederholungsrelationen zu lösen, und ich hatte Probleme mit sogenannten "Chip & Conquer" -Relationen. Hier sind einige Beispielprobleme: T(n)=T(n−5)+cn2T(n)=T(n−5)+cn2T(n) = T(n-5) + cn^2 und T(n)=T(n−2)+lognT(n)=T(n−2)+log⁡nT(n) = T(n-2) + \log{n} Ich soll eine Antwort geben ΘΘ\ThetaNotation. Wie gehe ich herum und löse solche Beziehungen?
1
Effiziente abfragbare Datenstruktur zur Darstellung eines Bildschirms mit Fenstern
(Dies hängt mit meiner anderen Frage zusammen, siehe hier ) Stellen Sie sich einen Bildschirm mit 3 Fenstern vor: Ich möchte eine effiziente Datenstruktur finden, um dies darzustellen und gleichzeitig diese Aktionen zu unterstützen: Gibt eine Liste von Koordinaten zurück, in denen ein bestimmtes Fenster positioniert werden kann, ohne sich …
1
Was ist eine gute Referenz, um mehr über Zustandsübergangssysteme zu erfahren?
Ich untersuche verschiedene Ansätze zur Definition von Berechnungen mit kontinuierlichen dynamischen Systemen. Ich habe versucht, eine schöne Einführung in die Theorie der "staatlichen Übergangssysteme" zu finden, habe dies aber nicht getan. Kennt jemand eine moderne Einführung in das Thema? Von besonderem Interesse wäre etwas, das sich mit Berechenbarkeit befasst.
2
Komplexität von Sonderfallproblemen
Oft sehe ich einen solchen Satz, wenn ich Texte über Computational Complexity lese: "Für diesen Sonderfall von " oderTSPTSP\text{TSP} "Dies ist ein Sonderfall von " oderSATSAT\text{SAT} " - ist der folgende Sonderfall von " oderkkkPARTITIONPARTITION\text{PARTITION}BIN PACKINGBIN PACKING\text{BIN PACKING} " ist ein Sonderfall von " ad nauseam.SUBSET SUMSUBSET SUM\text{SUBSET SUM}KNAPSACKKNAPSACK\text{KNAPSACK} Was …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.