(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...
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...
Was folgt, ist mein Algorithmus, um dies in einer Zeit zu tun, von der ich glaube, dass sie ist, und mein Beweis dafür. Mein Professor ist anderer Meinung, dass es in läuft und denkt stattdessen, dass es in läuft . Alle Kommentare bezüglich des Beweises selbst oder des Stils (dh meine Ideen mögen...
Betrachten Sie ein lineares Gleichungssystem Ax=0Ax=0Ax=0, wo AAA ist ein n×nn×nn\times nMatrix mit rationalen Einträgen. Angenommen, der Rang vonAAA ist
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 V \setminus \{s,t\}GGG...
Die Frage ist, ob die folgende Aussage richtig oder falsch ist: EIN≤T.B.⟹EIN≤mB.EIN≤T.B.⟹EIN≤mB.A \leq_T B \implies A \leq_m B Ich weiß, dass es bei ein Orakel gibt, das A relativ zu B entscheiden kann. Ich weiß, dass dies nicht ausreicht, um zu sagen, dass es eine berechenbare Funktion von A nach...
Eine Frage wurde veröffentlicht am Stack - Überlauf für einen Algorithmus zu fragen , dieses Problem zu lösen: Ich habe eine Matrix (nenne es A), die nxn ist. Ich möchte eine Teilmenge (nennen wir es B) von Punkten aus Matrix A auswählen. Die Teilmenge besteht aus n Elementen, wobei aus jeder Zeile...
Ich habe eine allgemeine Frage zu Mapping-Reduzierungen. Ich habe mehrere Beispiele für das Reduzieren von Funktionen auf gesehenATMATMA_{TM} wo ATM={⟨M,w⟩: For M is a turing machine which accepts string w}ATM={⟨M,w⟩: For M is a turing machine which accepts string w}A_{TM} = \{\langle M, w \rangle...
Ich arbeite an Simon Peyton Jones '"Die Implementierung funktionaler Programmiersprachen" und auf Seite 20 sehe ich: WENN WAHR ((λp.p) 3) ↔ WENN WAHR 3 (pro β-Rot) (1) ↔ (λx.IF TRUE 3 x) (pro η rot) (2) ↔ (λx.3) (3) Die Schritte 1 bis 2 werden als η-Umwandlung erklärt. Aber von 2 bis 3 heißt es:...
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...
Ich bin verwirrt über die folgende Behauptung: "Die einzigen Werte im untypisierten Lambda-Kalkül sind Lambda-Abstraktionen". Warum sind die anderen Begriffe keine Werte? Was bedeutet es für eine Lambda-Abstraktion, ein Wert zu sein? Das erste, was mir in den Sinn kam, war, dass vielleicht...
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...
Ich frage mich, ob es einen Zusammenhang zwischen konvexem Polygon und gießbarem Objekt gibt. Was können wir über die Gießbarkeit des Objekts sagen, wenn wir wissen, dass das Objekt ein konvexes Polygon ist und umgekehrt? Lassen Sie uns einige grundlegende Dinge zusammenfassen, die wir wissen...
Sei zwei ganze Zahlen aus dem IntervallSei eine zufällige Primzahl mitBeweisen Sie, dass \ text {Pr} _ {p \ in \ mathsf {Primes}} \ {a \ equiv b \ pmod {p} \} \ le c \ ln (n) / (n ^ {c-1}).a≠ba≠ba \neq b[1,2n].[1,2n].[1, 2^n].ppp1≤p≤nc.1≤p≤nc. 1 \le p \le
Wie beweisen Sie, dass SAT NP-vollständig ist? Ich weiß, was es mit NP-vollständig bedeutet, daher brauche ich keine Erklärung dafür. Was ich wissen möchte, ist, woher wissen Sie, dass ein Problem wie SAT NP-vollständig ist, ohne auf andere Probleme wie das Hamilton-Problem oder was auch immer...
Ich überprüfe derzeit die Potenziale von Cloud Computing in Bezug auf Energieeffizienz und grüne IT. Im Zusammenhang mit dieser Überprüfung beschäftige ich mich mit Techniken zur Steigerung der Energieeffizienz in Rechenzentren (Computer), Hardware, Netzwerken und Speichergeräten. Speziell für...
Diese Frage wurde von Efficient Data Structures zum Erstellen einer schnellen Rechtschreibprüfung gestellt . Bei zwei Strings sagen wir, dass sie k- nah sind, wenn ihr Damerau-Levenshtein-Abstand ¹ klein ist, dh \ operatorname {LD} (u, v) \ geq k für ein festes k \ in \ mathbb {N} . Informell ist \...
Gegeben drei Matrizen wollen wir testen , ob AB \ neq C . Angenommen, die arithmetischen Operationen + und - benötigen eine konstante Zeit, wenn sie auf Zahlen aus \ mathbb {Z} angewendet werden .A,B,C∈Zn×nA,B,C∈Zn×nA, B,C \in \mathbb{Z}^{n \times n}AB≠CAB≠CAB \neq C+++−−-ZZ\mathbb{Z} Wie kann ich...
Die Übung ist Gegeben eine Reihe von Punkten S.S.S und ein Punkt ppp. Entscheide dich inO ( n )Ö(n)O(n) Zeit wenn ppp ist ein Scheitelpunkt eines konvexen Polygons, der aus Punkten von gebildet wird S.S.S. Das Problem ist, dass ich ein bisschen verwirrt bin mit der zeitlichen Komplexität O ( n...
Ich lese "Eine Einführung in formale Sprachen und Automaten" von Peter Linz und nach dem Lesen der ersten fünf Kapitel habe ich das folgende Problem mit einfachen und regelmäßigen (insbesondere rechtslinearen) Grammatiken, die einander sehr ähnlich sind. Welche Beziehung besteht zwischen diesen?...