Computerwissenschaften

Fragen und Antworten für Studenten, Forscher und Informatiker

2
Welches theoretische Parallelmodell ist CUDA am nächsten?
Welches theoretische Parallelmodell kommt dem CUDA / OpenCL-Programmiermodell am nächsten? Zum Beispiel passt es zu einem gewissen Grad zum generischen PRAM-Modell (Parallel Random Access Machine). Dies ist jedoch zu allgemein, da dadurch verschiedene Speicherzugriffslatenzen und Synchronisationsprobleme abstrahiert werden. Meine Frage ist, welches theoretische Modell der CUDA-Architektur am besten entspricht (unter …
1
Beweisen, dass die Sprache regelmäßig oder nicht regelmäßig ist
Sei eine reguläre Sprache. Beweise das:LLL L+−−={w:∃u|u|=2|w|∧wu∈L}L+−−={w:∃u|u|=2|w|∧wu∈L}L_{+--}=\left\{w: \exists_u |u|=2|w| \wedge wu\in L\right\} L++−={w:∃u2|u|=|w|∧wu∈L}L++−={w:∃u2|u|=|w|∧wu∈L}L_{++-}=\left\{w: \exists_u 2|u|=|w| \wedge wu\in L \right\} L−+−={w:∃u,v|u|=|w|=|v|∧uwv∈L}L−+−={w:∃u,v|u|=|w|=|v|∧uwv∈L}L_{-+-}=\left\{w:\exists_{u,v} |u|=|w|=|v| \wedge uwv\in L\right\} sind regelmäßig und: L+−+={uv:∃w|u|=|w|=|v|∧uwv∈L}L+−+={uv:∃w|u|=|w|=|v|∧uwv∈L}L_{+-+}=\left\{ uv:\exists_w |u|=|w|=|v| \wedge uwv\in L \right\} ist nicht regelmäßig. Scheint mir sehr schwer zu sein. Ich nehme an, 1-3 sind ähnlich (aber …
4
Funktioniert unser PC als Turingmaschine?
Funktioniert unser PC als Turingmaschine? Das Modell einer Turingmaschine besteht aus einem unendlichen Speicherband, was unendliche Zustände bedeutet. Angenommen, unser PC verfügt über 128 MB Speicher und 30 GB Festplatte, hat 256 ^ 30128000000 Zustände und somit endliche Zustände. Ich weiß, dass wir eine Art Programm schreiben können, das, wenn …
2
Wie schwer ist es, in nach
Aus dem Graphisomorphismus wissen wir, dass zwei Graphen A und B isomorph sind, wenn es eine Permutationsmatrix P gibt, so dass A = P.× B × P.- 1EIN=P.×B.×P.- -1A = P \times B \times P^{-1} Um das Problem zu lösen, müssen wir, wenn zwei Graphen isomorph sind, eine solche Permutationsmatrix …
2
Finden einer Reihe maximal unterschiedlicher Lösungen mithilfe linearer Programmierung oder anderer Optimierungstechniken
Traditionell wird die lineare Programmierung verwendet, um die optimale Lösung für eine Reihe von Einschränkungen, Variablen und einem Ziel zu finden (alle als lineare Beziehungen bezeichnet). Manchmal, wenn das Ziel parallel zu einer Einschränkung ist, gibt es unendlich viele oder viele gleich gute optimale Lösungen. Ich frage nicht nach diesem …
2
Warum verlangt man in Savitchs Theorem oft Raumkonstruierbarkeit?
Wenn Savitchs berühmter Satz aufgestellt wird, sieht man oft die Anforderung, dass S(n)S(n)S(n) raumkonstruierbar sein muss (interessanterweise wird es in Wikipedia weggelassen). Meine einfache Frage ist: Warum brauchen wir das? Ich verstehe die Anforderung, dass S( n )S(n)S(n) in Ω ( logn )Ω(Log⁡n)\Omega(\log n) , was aus dem Beweis hervorgeht. …
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.