<?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; proofs</title>
	<atom:link href="http://dan.lecocq.us/wordpress/category/proofs/feed/" rel="self" type="application/rss+xml" />
	<link>http://dan.lecocq.us/wordpress</link>
	<description>Life, love, and computer science</description>
	<lastBuildDate>Fri, 06 Jan 2012 17:21:19 +0000</lastBuildDate>
	<language>en</language>
	<sy:updatePeriod>hourly</sy:updatePeriod>
	<sy:updateFrequency>1</sy:updateFrequency>
	<generator>http://wordpress.org/?v=3.2.1</generator>
		<item>
		<title>Desert Island</title>
		<link>http://dan.lecocq.us/wordpress/2008/11/17/desert-island/</link>
		<comments>http://dan.lecocq.us/wordpress/2008/11/17/desert-island/#comments</comments>
		<pubDate>Mon, 17 Nov 2008 14:16:56 +0000</pubDate>
		<dc:creator>Dan</dc:creator>
				<category><![CDATA[proofs]]></category>
		<category><![CDATA[xkcd]]></category>

		<guid isPermaLink="false">http://dan.lecocq.us/wordpress/?p=156</guid>
		<description><![CDATA[One of those relatively common &#8220;getting to know you&#8221; games is &#8220;Desert Island.&#8221; You&#8217;re given a class of objects (like, CDs), and a number indicating how many you can bring. In short, if you had to listen to 5 albums for the rest of your life, or read five books, or play the same five [...]]]></description>
			<content:encoded><![CDATA[<p>One of those relatively common &#8220;getting to know you&#8221; games is &#8220;Desert Island.&#8221;  You&#8217;re given a class of objects (like, CDs), and a number indicating how many you can bring.  In short, if you had to listen to 5 albums for the rest of your life, or read five books, or play the same five board games, which would you choose?</p>
<p>Today&#8217;s <a href="http://xkcd.com/505/">xkcd</a> was on the subject of being stranded, isolated, with essentially large amounts of time on your hands.  I was so happy reading it, because in one panel he describes that during the character&#8217;s infinite solitude, he &#8220;rederived modern math in the sand&#8230; and then some.&#8221;  This is what I had always imagined when I&#8217;ve played Desert Island.  No distractions &#8211; no women, enough food to support me, no video games, no internet.  Just a (let&#8217;s say noble) quest to further my own knowledge.  Discover.  Explore.  I think of it like being in an enormous library of blank books except for a few basic texts, which you know by heart.  Eternity to fill them.<br />
<div class="wp-caption aligncenter" style="width: 410px"><a href="http://xkcd.com/505/"><img alt="Courtesy of xkcd.com" src="http://imgs.xkcd.com/comics/a_bunch_of_rocks.png" title="A Bunch of Rocks" width="400" /></a><p class="wp-caption-text">Courtesy of xkcd.com</p></div></p>
]]></content:encoded>
			<wfw:commentRss>http://dan.lecocq.us/wordpress/2008/11/17/desert-island/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<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">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">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">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">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>

