Unten ist der Lambda-Ausdruck, den ich nur schwer reduzieren kann, dh ich kann nicht verstehen, wie ich dieses Problem lösen soll. ( λ m n . ( λ s z. m s ( n s z) ) ) ( λ s z. s z) ( λ s z. s z)(λmn.(λsz.ms(nsz)))(λsz.sz)(λsz.sz)(\lambda mn.(\lambda sz.ms(nsz)))(\lambda sz.sz)(\lambda sz.sz) Ich...
Ich habe einen Wald, dh Knoten mit gerichteten Kanten und keinen Zyklen (gerichtet oder ungerichtet). Ich definiere die Höhe eines Scheitelpunkts vvv als 0, wenn er keine eingehenden Kanten hat, oder die maximale Anzahl von Kanten, die umgekehrt verfahren werden müssen, um einen Scheitelpunkt der...
Ich habe zwei Saiten, von denen eine eine Permutation der anderen ist. Ich habe mich gefragt, ob es eine Alternative zur Hamming-Distanz gibt, bei der anstelle der Mindestanzahl an erforderlichen Substitutionen die Mindestanzahl an Translokationen ermittelt wird, die erforderlich sind, um von...
Ich habe versucht, den Brzozowski-Algorithmus zu implementieren, aber ich habe gerade festgestellt, dass er suboptimale Automaten für eine bestimmte Klasse von Eingaben erstellt und einen Status mehr hat, als im Ergebnis wirklich benötigt wird. Ich kann es auf einem trivialen Automaten zeigen: a b...
Angenommen, ich habe einen 2-Approximations-Algorithmus für ein bestimmtes Problem gefunden und möchte zeigen, dass die Analyse eng ist. Muss ich jetzt ein Beispiel für die generische Größe oder reicht es aus zu zeigen, dass ich ein Beispiel für die Größe für das der Algorithmus ergibt ?nnn1010102...
Ein Schwellenwertgatter, das eine lineare Schwellenwertfunktion an booleschen Eingängen implementiert ist durch die Gleichung gegeben: wobei . Die werden als Gewichte der Schwellenwertfunktion bezeichnet, und wird als Schwellenwert bezeichnet, und natürlich das Gate einennnx1,x2…,xnx1,x2…,xnx_1,...
Von den Beweisen durch die probabilistische Methode wird oft gesagt, dass sie nicht konstruktiv sind. Ein Beweis durch eine probabilistische Methode entwirft jedoch tatsächlich einen randomisierten Algorithmus und verwendet ihn zum Nachweis der Existenz. Zitiert aus Seite 103 der randomisierten...
Ich versuche mir die Berechenbarkeitstheorie mit einem Lehrbuch beizubringen. Nach meinem Buch ist eine Funktion über einem Alphabet ist nur in der Sprache berechenbarA = { a , b , c , d , e , f , g , h , i , j , k , l , m , n , o , p , q , r , s , t , u , v , w , x , y , z
Ich kratzte mich jetzt seit ein paar Tagen am Kopf über dieses Problem. Zeigen Sie bei einer regulären Sprache AAA und , dass die Sprache die aus allen Zeichenfolgen in deren Länge einer Zeichenfolge in B entspricht, eine reguläre Sprache ist.L A B.BBBLLLAAABBB In Gleichungsform:...
Es heißt: "Die Turing-Maschine ist nicht als praktische Computertechnologie gedacht, sondern als hypothetisches Gerät, das eine Computermaschine darstellt. Turing-Maschinen helfen Informatikern, die Grenzen der mechanischen Berechnung zu verstehen." [Wikipedia] Auf welchem Modell werden aktuelle...
Wie das immergrüne Netz The Physics of Santa feststellt, ist es für den Weihnachtsmann physisch unmöglich, jedem Kind auf dem Planeten ein Geschenk zu machen. Die Routenplanung wird nicht helfen , viel gibt, kann aber eine gute Planungsalgorithmus zumindest dafür sorgen , dass jedes Kind ein...
Wie zeige ich, dass das Problem der Entscheidung, ob ein PDA eine Zeichenfolge der Form akzeptiert, unentscheidbar ist?{w!w∣w∈{0,1}∗}{w!w∣w∈{0,1}∗}\{ w!w \mid w \in \{ 0, 1 \}^*\} Ich habe versucht, dieses Problem auf ein anderes unentscheidbares zu reduzieren, z. B. ob zwei kontextfreie...
In der Theorie der verteilten Algorithmen gibt es Probleme mit Untergrenzen wie Ω(n2)Ω(n2)\Omega(n^2) , die "groß" (ich meine größer als ) und nicht trivial sind. Ich frage mich, ob es Probleme mit ähnlichen Grenzen in der Theorie des seriellen Algorithmus gibt. Ich meine, die Ordnung ist viel...
Ich kenne den Begriff Reihenfolge eines B-Baumes. Kürzlich hörte ich einen neuen Begriff: B-Baum mit einem Mindestgrad von 2. Wir wissen, dass der Grad mit einem Knoten zusammenhängt, aber wie hoch ist der Grad eines Baumes? Zwingt der Grad eine Beschränkung der Höhe eines B-Baums?...
Wenn ein Graph mit nnn Eckpunkten mehr als (n−1)(n−2)2(n−1)(n−2)2\frac{(n-1)(n-2)}{2} Kanten dann ist es verbunden. Ich bin etwas verwirrt über diese Frage, da ich immer beweisen kann, dass Sie für ein verbundenes Diagramm mehr als benötigen E | > n - 1|E|>n−1|E|>n−1|E|>n-1...
Diese Woche haben wir im Unterricht etwas über die CFLs und ihre Verschlusseigenschaften gelernt. Ich habe Beweise für Vereinigung, Überschneidung und Kompliment gesehen, aber für die Umkehrung sagte mein Dozent nur, dass es geschlossen ist. Ich wollte den Beweis sehen, also habe ich in den letzten...
Mit und kann man die folgende Formel in der Sprache der formalen Arithmetik definierenn∈Nn∈Nn \in \mathbb{N}p,q∈N[x1,…,xn]p,q∈N[x1,…,xn]p,q \in \mathbb{N}[x_1,\ldots,x_n] φ(n,p,q)=∀x1⋯∀xn:¬(p(x1,…,xn)=q(x1,…,xn))φ(n,p,q)=∀x1⋯∀xn:¬(p(x1,…,xn)=q(x1,…,xn))\varphi(n,p,q) = \forall x_1 \cdots \forall...
Ich interessiere mich für die Selbstreduzierbarkeit des Graph 3-Coloralibity-Problems. Definition des Graph 3-Coloralibity-Problems. Gibt es bei einem ungerichteten Graphen eine Möglichkeit, die Knoten rot, grün und blau zu färben, sodass keine benachbarten Knoten dieselbe Farbe haben?GGG...
3n=2O(n)3n=2O(n)3^n = 2^{O(n)} ist anscheinend wahr. Ich dachte, dass es falsch ist, weil schneller wächst als jede Exponentialfunktion mit einer Basis von 2.3n3n3^n Wie ist wahr?3n=2O(n)3n=2O(n)3^n =
Gegeben sei ein Graph , wobei . Was ist ein schneller Algorithmus , um die Sammlung aller 2-Hop - Nachbarschaft Listen aller Knoten in zur Erzeugung .| V | = n V.G = ( V., E.)G=(V,E)G = (V,E)| V.| =n|V|=n|V| = nV.VV Naiv kannst du das in . Mit der Potenz von Matrizen können Sie dies mit Verwendung...