Computerwissenschaften

Fragen und Antworten für Studenten, Forscher und Informatiker

2
Ist es effektiver, für eine Frau zu stimmen?
Eine bestimmte politische Partei möchte Frauen ermutigen, an ihren Vorwahlen teilzunehmen, und beschließt daher, dass die 4. Position einer Frau vorbehalten ist. Das heißt, wenn sich keine Frau in den Top 4 befindet, wird die Frau mit der größten Stimmenzahl auf die 4. Position befördert, und die Kandidaten auf den …

3
Wiederholungsrelation für Zeitkomplexität
ich suche eine ΘΘ\Theta Annäherung von T.( n ) = T.( n - 1 ) + cn2T.(n)=T.(n- -1)+cn2T(n) = T(n-1) + cn^{2} Das habe ich bisher: T(n−1)T(n)T(n−2)T(n)T(n−3)T(n)=T(n−2)+c(n−1)2=T(n−2)+c(n−1)+cn2=T(n−3)+c(n−2)2=T(n−3)+c(n−2)2+c(n−1)2+cn2=T(n−4)+c(n−3)2=T(n−4)+c(n−3)2+c(n−2)2+c(n−1)2+cn2T(n−1)=T(n−2)+c(n−1)2T(n)=T(n−2)+c(n−1)+cn2T(n−2)=T(n−3)+c(n−2)2T(n)=T(n−3)+c(n−2)2+c(n−1)2+cn2T(n−3)=T(n−4)+c(n−3)2T(n)=T(n−4)+c(n−3)2+c(n−2)2+c(n−1)2+cn2 \begin{align*} T(n-1)& = T(n-2) + c(n-1)^2\\ T(n) &= T(n-2) + c(n-1) + cn^2\\[1ex] T(n-2) &= T(n-3) + c(n-2)^2\\ T(n) & = T(n-3) + …

1
Was ist die Tiefe eines vollständigen Binärbaums mit
Diese Frage verwendet die folgende Definition eines vollständigen Binärbaums † : Ein binärer Baum mit Ebenen ist vollständig, wenn alle Ebenen außer möglicherweise der letzten vollständig voll sind und die letzte Ebene alle ihre Knoten auf der linken Seite hat.T.T.TN.N.N Das Folgende ist ein Auszug aus Algorithmen : Es ( …

2
Berechnen Sie die relationale Zusammensetzung in
Definitionen: Sei eine DAG ohne Selbstschleifen, und und sind Graphen.G=(V,E)G=(V,E)G=(V,E)X⊆GX⊆GX \subseteq GY⊆GY⊆GY \subseteq G Input: . Ausgabe: Die relationale Zusammensetzung relationale Zusammensetzung in .X,YX,YX,Y X∘YX∘YX \circ YO(|E||V|)O(|E||V|)\mathcal{O}(|E||V|) Fall 1:. Zwei for-Schleifen über und : Runtime .|E|≤|V||E|≤|V||E| \le |V|E(X)E(X)E(X)E(Y)E(Y)E(Y)≤O(|E|2)≤O(|E||V|)≤O(|E|2)≤O(|E||V|) \le \mathcal{O}(|E|^2) \le \mathcal{O}(|E||V|) Fall 2:|V|≤|E||V|≤|E||V| \le |E| Zeichnen Sie den Graphen …


1
Kolmogorov-Komplexität der String-Verkettung
Wenn K(s)K(s)K(s)ist die Kolmogorov-Komplexität der Saites∈{0,1}∗s∈{0,1}∗s \in \{0,1\}^*, Können wir die folgende Aussage beweisen (oder widerlegen): "Jede Zeichenfolgesssist ein Präfix einer inkompressiblen Zeichenfolge; dh für jede Saitesss Es gibt eine Zeichenfolge rrr so dass K(sr)≥|sr|K(sr)≥|sr|K(sr) \geq |sr|"? Sehr informell (und vielleicht nicht zu aussagekräftig): das wissen wir K(r)≤|r|+O(1)K(r)≤|r|+O(1)K(r) \leq |r| …

1
Redundanzeliminierung in der Überlagerungsrechnung
Wenn wir Sätze mit der Überlagerungsrechnung beweisen, beschäftigen wir uns mit drei Arten von Regeln: Generieren von Regeln: Generieren Sie aus den Klauselpaaren A und B eine neue Klausel C, während Sie das ursprüngliche Paar beibehalten, z. B. Überlagerung im allgemeinen Fall. Umschreibungsregeln: Aus Klausel A wird eine neue Klausel …

2
Definition von
Ich arbeite aus dem Lehrbuch CLRS-Algorithmen der 3. Auflage und in Kapitel 3 beginnt eine Diskussion über die asymptotische Notation, die mit beginnt ΘΘ\ThetaNotation. Ich habe die anfängliche Definition von verstanden: Θ(g(n))={f(n)|∃c1,c2>0,n0∈N:0≤c1g(n)≤f(n)≤c2g(n) ∀n≥n0}Θ(g(n))={f(n)|∃c1,c2>0,n0∈N:0≤c1g(n)≤f(n)≤c2g(n) ∀n≥n0}\Theta(g(n)) = \{ f(n)\,|\, \exists\, c_1, c_2 > 0, n_0 \in \mathbb{N}: 0 \leq c_1 g(n) \leq …




1
Ist #P unter Potenzierung geschlossen? Modulo?
Die Komplexitätsklasse ist definiert als# P.#P\newcommand{\sharpp}{\mathsf{\#P}}\sharpp #P={f∣∃ polynomial-time NTM M ∀x.f(x)=#acceptM(x)}#P={f∣∃ polynomial-time NTM M ∀x.f(x)=#acceptM⁡(x)}\qquad \displaystyle \sharpp = \{f \mid \exists \text{ polynomial-time NTM } M\ \forall x.\, f(x) = \#\operatorname{accept}_{M}(x)\} . Es ist bekannt, dass unter Addition, Multiplikation und Binomialkoeffizient geschlossen wird. Ich habe mich gefragt, ob es unter …

1
Können abstrakte Syntaxbäume in subexponentieller Zeit nicht analysiert werden?
Abstrakte Problembeschreibung So wie ich es sehe, bedeutet Unparsing, einen Token-Stream aus einem AST zu erstellen, der beim erneuten Parsen einen gleichen AST erzeugt, dh parse(unparse(AST)) = ASThalten sollte. Dies entspricht dem Auffinden eines gültigen Analysebaums, der denselben AST erzeugen würde. Die Sprache wird durch eine kontextfreie S-zugeschriebene Grammatik unter …



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.