<?xml version="1.0" encoding="UTF-8"?>
<rss version="2.0"
	xmlns:content="http://purl.org/rss/1.0/modules/content/"
	xmlns:wfw="http://wellformedweb.org/CommentAPI/"
	xmlns:dc="http://purl.org/dc/elements/1.1/"
	xmlns:atom="http://www.w3.org/2005/Atom"
	xmlns:sy="http://purl.org/rss/1.0/modules/syndication/"
	xmlns:slash="http://purl.org/rss/1.0/modules/slash/"
	>

<channel>
	<title>A Party to the World &#187; proof</title>
	<atom:link href="http://dan.lecocq.us/wordpress/tag/proof/feed/" rel="self" type="application/rss+xml" />
	<link>http://dan.lecocq.us/wordpress</link>
	<description>Life, love, and computer science</description>
	<lastBuildDate>Sun, 25 Jul 2010 16:20:14 +0000</lastBuildDate>
	<language>en</language>
	<sy:updatePeriod>hourly</sy:updatePeriod>
	<sy:updateFrequency>1</sy:updateFrequency>
	<generator>http://wordpress.org/?v=3.0</generator>
		<item>
		<title>Sum of Combinatoric Terms</title>
		<link>http://dan.lecocq.us/wordpress/2008/10/03/sum-of-combinatoric-terms/</link>
		<comments>http://dan.lecocq.us/wordpress/2008/10/03/sum-of-combinatoric-terms/#comments</comments>
		<pubDate>Fri, 03 Oct 2008 17:42:14 +0000</pubDate>
		<dc:creator>Dan</dc:creator>
				<category><![CDATA[computer science]]></category>
		<category><![CDATA[math]]></category>
		<category><![CDATA[proofs]]></category>
		<category><![CDATA[infinite sum]]></category>
		<category><![CDATA[proof]]></category>
		<category><![CDATA[series]]></category>

		<guid isPermaLink="false">http://dan.lecocq.us/wordpress/2008/10/03/sum-of-combinatoric-terms/</guid>
		<description><![CDATA[Matt Matteson had a homework problem dealing with (n+a)^b, and finding a bound for it. Expanding this and evaluating it at n=a piqued my curiosity about the sum of each of the binomial expansion terms. That is to say, the sum of bC0 + bC1 + &#8230; + bCb. Well, I explored it a little [...]]]></description>
			<content:encoded><![CDATA[<p>Matt Matteson had a homework problem dealing with (n+a)^b, and finding a bound for it.  Expanding this and evaluating it at n=a piqued my curiosity about the sum of each of the binomial expansion terms.  That is to say, the sum of bC0 + bC1 + &#8230; + bCb.  Well, I explored it a little bit, and did a quick-and-dirty writeup of my findings:</p>
<p><a href='http://dan.lecocq.us/wordpress/wp-content/uploads/2008/10/combinotoricsum.pdf' title='Sum of Combinatoric Terms'>Sum of Combinatoric Terms</a></p>
]]></content:encoded>
			<wfw:commentRss>http://dan.lecocq.us/wordpress/2008/10/03/sum-of-combinatoric-terms/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>Heapsort</title>
		<link>http://dan.lecocq.us/wordpress/2008/06/24/heapsort/</link>
		<comments>http://dan.lecocq.us/wordpress/2008/06/24/heapsort/#comments</comments>
		<pubDate>Wed, 25 Jun 2008 00:05:43 +0000</pubDate>
		<dc:creator>Dan</dc:creator>
				<category><![CDATA[computer science]]></category>
		<category><![CDATA[math]]></category>
		<category><![CDATA[proofs]]></category>
		<category><![CDATA[complexity theory]]></category>
		<category><![CDATA[heapsort]]></category>
		<category><![CDATA[infinite series]]></category>
		<category><![CDATA[proof]]></category>

		<guid isPermaLink="false">http://dan.lecocq.us/wordpress/2008/06/24/heapsort/</guid>
		<description><![CDATA[I was reading about Algorithm Geeks, a Google Group dedicated to algorithm-related questions apparently. I looked at one of the topics, Unique Elements in an Array, wondering what the chatter looked like. To remove duplicate elements of an array, the best way I know is to sort your array, and then do a linear traversal, [...]]]></description>
			<content:encoded><![CDATA[<p>I was reading about <a href="http://groups.google.com/group/algogeeks" onclick="urchinTracker('/outgoing/groups.google.com/group/algogeeks?referer=');">Algorithm Geeks</a>, a Google Group dedicated to algorithm-related questions apparently.  I looked at one of the topics, <a href="http://groups.google.com/group/algogeeks/web/unique-elements-in-an-array" onclick="urchinTracker('/outgoing/groups.google.com/group/algogeeks/web/unique-elements-in-an-array?referer=');">Unique Elements in an Array</a>, wondering what the chatter looked like.</p>
<p>To remove duplicate elements of an array, the best way I know is to sort your array, and then do a linear traversal, comparing each to its successor, and when they match, deleting the one of them.  Quicksort is generally the algorithm-of-choice in large part because of its simplicity, but someone on this thread suggested <a href="http://en.wikipedia.org/wiki/Heapsort" onclick="urchinTracker('/outgoing/en.wikipedia.org/wiki/Heapsort?referer=');">heapsort</a> &#8211; an algorithm of which I had never heard.  I looked it over, and was drawn to the article on <a href="http://en.wikipedia.org/wiki/Binary_heap" onclick="urchinTracker('/outgoing/en.wikipedia.org/wiki/Binary_heap?referer=');">heaps</a>.  On that page, I was looking at an analysis of the time complexity for building the heap, and I got curious about the summation they present (h/2^h).  So, I took some time and proved its convergence:</p>
<p><a href='http://dan.lecocq.us/wordpress/wp-content/uploads/2008/06/heap.pdf' title='Convergence of Infinite Sum'>Convergence of Infinite Sum</a></p>
]]></content:encoded>
			<wfw:commentRss>http://dan.lecocq.us/wordpress/2008/06/24/heapsort/feed/</wfw:commentRss>
		<slash:comments>2</slash:comments>
		</item>
	</channel>
</rss>
