Tag: proof
Ein mathematischer Beweis ist jede mathematische argument, das zeigt die Wahrheit einer mathematischen Aussage. Informelle Beweise sind in der Regel gerendert in natürlicher Sprache und gehalten werden wahr durch Konsens; formale Beweise sind in der Regel gerendert symbolisch und überprüft werden können, mechanisch. „Beweise“ kann gültig oder ungültig ist; nur die ersteren Art ist der tatsächliche Beweis, während Sie bei der letzteren Art in der Regel bezieht sich auf ein gescheiterter Versuch, Beweis.
Wie wollen Sie "get it", wenn es um die Beweise?
7 Antworten
Wenn wir beginnen immer in Algorithmus design und den diskreten Themen der informatik, die wir bis zum Ende beweisen, dass etwas die ganze Zeit. Jedes mal, wenn ich gesehen habe, jemand Fragen, wie man sich wirklich gute
Beweisen Sie, dass f(n) = Θ(g(n)) iff g(n) = Θ(f(n))
1 Antworten
Ich habe das problem: f(n) are asymptotically positive functions. Prove f(n) = Θ(g(n)) iff g(n) = Θ(f(n)). Alles, was ich gefunden habe, Punkte dieser Erklärung unwirksam. Zum Beispiel eine Antwort, die ich habe, kommen in den Status:
Ich brauche Hilfe beweisen, dass wenn f(n) = O(g(n)) impliziert 2^(f(n)) = O(2^g(n)))
2 Antworten
In einem vorherigen problem, zeigte ich (hoffentlich richtig), dass f(n) = O(g(n)) impliziert lg(f(n)) = O(lg(g(n))) mit hinreichenden Bedingungen (z.B. lg(g(n)) >= 1, f(n) >= 1, und hinreichend große n). Nun, ich brauche, um zu beweisen ODER
Wie bestimmen Sie die Höhe eines Baum-Rekursion aus einem Wiederauftreten-Beziehung?
4 Antworten
Wie geht man über die Bestimmung der Höhe einer rekursions-Baum gebaut, als der Umgang mit Rezidiv führen-Zeiten? Wie unterscheidet es sich von der Bestimmung der Höhe eines regulären Baum? alt-text http://homepages.ius.edu/rwisman/C455/html/notes/Chapter4/ch4-9.gif edit: sorry, ich meinte hinzufügen, wie
Help mit Großen Omega Beweis?
1 Antworten
Ich habe Probleme bei der Lösung Beweis. Wobei t(n) <= cn^1.6, c eine Konstante. Im Allgemeinen, Großen Omega ist das Gegenteil von Big O, dass es der beste Fall scenerio und sieht für die untere Grenze. Es
Boolesche Algebra - Nachweis Demorgan ' s Gesetz
5 Antworten
Sah ich alle über Google für eine Boolesche algebra (nicht-set-Theorie) Beweis der DeMorgan ' s Gesetz, und konnte Sie nicht finden. Stack Overflow auch fehlte in DeMorgan ' s Law Fragen. Als Teil einer Hausaufgabe für mein
Mit big-O zu beweisen, N^2 O(2^N)
2 Antworten
Kann ich deutlich sehen, als N^2 ist begrenzt durch c2^N, aber wie kann ich es beweisen, durch die Verwendung formaler definition von big-O. ich kann einfach beweisen, dass es mit M. I. Hier ist mein Versuch.. Per
Schreiben Sie einen Nachweis für einen Algorithmus
6 Antworten
Hallo Jungs, ich versuche zu vergleichen von 2 algorithmen und dachte, ich kann versuchen, und schreiben Sie ein Beweis für Sie !!! (meine Mathe saugt, deswegen die Frage) Normalerweise in unserer Mathematik-Lektion, die wir im letzten Jahr
Anzahl der binären suchbäume über n verschiedene Elemente
3 Antworten
Wie viele binäre suchbäume aufgebaut werden kann, die aus n Elementen? Und wie finden wir einen mathematisch bewiesen Formel für Sie? Beispiel: Wenn wir 3 verschiedene Elemente, sagen wir 1, 2, 3, sind 5 binäre suchbäume. InformationsquelleAutor
Der Beweis, dass das Halteproblem ist NP-schwer?
1 Antworten
(Ich entschuldige mich wenn dies der falsche Ort für diese Frage, aber angesichts der Tatsache, dass es viele "nicht-hart-genug-für-CS-Theorie" CS-Theorie Fragen, die hier rumschwirren, denke ich, könnte dies eine gute Passform. Bitte fühlen Sie sich frei zu
Was ist der Beweis von (N–1) + (N–2) + (N–3) + ... + 1= N*(N–1)/2
9 Antworten
Ich habe diese Formel von einer Datenstruktur Buch in der bubble-sort-Algorithmus. Weiß ich, dass wir (n-1) * (n-mal), aber warum die division durch 2? Kann jemand bitte erklären Sie mir oder geben Sie die detaillierten Beweis dafür.
Erklären Sie den Beweis von Vinay Deolalikar, dass P! = NP
7 Antworten
Kurzem hat es eine Papier Umlauf von Vinay Deolalikar von HP Labs, die behauptet, bewiesen zu haben, dass P != NP. Könnte mir jemand erklären, wie der Beweis geht für uns weniger mathematisch geneigte Menschen? InformationsquelleAutor der
Was ist das Pumping Lemma in Laymans Worten?
9 Antworten
Sah ich diese Frageund war neugierig, was die pumping lemma war (Wikipedia nicht viel helfen). Ich verstehe, dass es im Grunde ein theoretischer Beweis, dass muss wahr sein, damit eine Sprache in eine bestimmte Klasse, sondern darüber
Warum können Programme nicht nachgewiesen werden?
30 Antworten
Warum kann nicht ein computer-Programm nachgewiesen werden, ebenso wie eine mathematische Aussage kann? Ein mathematischer Beweis aufgebaut ist, auf andere Beweise, die aufgebaut werden, von noch mehr Beweise und auf nach unten, um Axiome - diese Wahrheiten