A mathematical proof is any mathematical argument which demonstrates the truth of a mathematical statement.
I got this formula from a data structure book in the bubble sort algorithm. I know that we are (n-1) * (…
formula proofI saw this question, and was curious as to what the pumping lemma was (Wikipedia didn't help much). I understand …
theory proof pumping-lemmaIn a previous problem, I showed (hopefully correctly) that f(n) = O(g(n)) implies lg(f(n)) = O(lg(…
big-o logarithm proofHow does one go about determining the height of a recursion tree, built when dealing with recurrence run-times? How does …
recursion tree computer-science recurrence proofI looked all over Google for a boolean algebra (not set theory) proof of DeMorgan's Law, and couldn't find one. …
boolean-logic proof demorgans-lawI can clearly see than N^2 is bounded by c2^N, but how do i prove it by using formal …
big-o proofIn this answer to a question about the definitions of NP, NP-hard, and NP-complete, Jason makes the claim that The …
theory proof halting-problem npHow many binary search trees can be constructed from n distinct elements? And how can we find a mathematically proved …
algorithm math binary-tree binary-search-tree proofRecently there has been a paper floating around by Vinay Deolalikar at HP Labs which claims to have proved that …
math computer-science complexity-theory proof p-npI am trying to compare 2 algorithms. I thought I may try and write a proof for them. (My math sucks, …
algorithm proof proof-of-correctness