Computerwissenschaften

Fragen und Antworten für Studenten, Forscher und Informatiker

1
Frage im Zusammenhang mit Hilberts 10. Problem
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 x_n : \neg (p(x_1,\ldots,x_n) = q(x_1,\ldots,x_n)) Ich möchte zeigen, dass es unendlich viele Tripel so dass weder noch ein Satz der formalen Arithmetik ist.(n,p,q)(n,p,q)(n,p,q)φ(n,p,q)φ(n,p,q)\varphi(n,p,q)¬φ(n,p,q)¬φ(n,p,q)\neg \varphi(n,p,q) Um …
3
Beweise mit dem regulären Pump-Lemma
Ich habe zwei Fragen: Ich betrachte die folgende Sprache L1={w∈{0,1}∗∣∄u∈{0,1}∗:w=uuR}.L1={w∈{0,1}∗∣∄u∈{0,1}∗:w=uuR}.L_1= \{ w\in \{0,1\}^* \mid \not \exists u\in \{0,1\}^* \colon w= uu^R\}. Mit anderen Worten, www ist kein Palindrom mit gerader Länge. Ich habe bewiesen, dass diese Sprache NICHT regelmäßig ist, indem ich bewiesen habe, dass ihre Ergänzung nicht regelmäßig ist. …
3
Warum ist
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 = 2^{O(n)}
4
XOR-ähnliches Verhalten in Flussnetzwerken
XOR ist nicht der richtige Name, aber ich suche nach einem exklusiven Verhalten. Ich löse derzeit eine Reihe verschiedener (Zuweisungs-) Probleme, indem ich Flussnetzwerke modelliere und einen Min-Cost-Max-Flow-Algorithmus ausführe. Flow-Netzwerke sind sehr praktisch, da viele Probleme auf einfache und verständliche Weise auf sie reduziert werden können. In meinem Fall handelt …
4
Jeder einfache ungerichtete Graph mit mehr als
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 Kanten.
2
Die Färbbarkeit von Grafik 3 ist selbstreduzierbar
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 Definition der Selbstreduzierbarkeit. Eine Sprache ist selbst reduzierbar , wenn eine Oracle Turingmaschine TM …
2
Gibt es ein nichttriviales Problem in der Theorie der seriellen Algorithmen mit einer nichttrivialen Polynomuntergrenze von
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 größer als .Ω(nlogn)Ω(nlog⁡n)\Omega(n\log …
1
Kann
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 , …
2
Sind randomisierte Algorithmen konstruktiv?
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 Algorithmen von Rajeev Motwani, Prabhakar Raghavan : Wir könnten den …
1
Kann der Weihnachtsmann fair und effizient sein?
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 Geschenk hin und wieder …
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.