<?xml version="1.0" encoding="UTF-8"?><!-- generator="wordpress.com" -->
<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/"
	>

<channel>
	<title>andrew-yao &amp;laquo; WordPress.com Tag Feed</title>
	<link>http://en.wordpress.com/tag/andrew-yao/</link>
	<description>Feed of posts on WordPress.com tagged "andrew-yao"</description>
	<pubDate>Tue, 21 May 2013 10:14:53 +0000</pubDate>

	<generator>http://en.wordpress.com/tags/</generator>
	<language>en</language>

<item>
<title><![CDATA[Alan Turing Centenary Conference, 22nd-25th June 2012]]></title>
<link>http://duncan.hull.name/2012/06/15/turing100/</link>
<pubDate>Fri, 15 Jun 2012 14:38:47 +0000</pubDate>
<dc:creator>Duncan Hull</dc:creator>
<guid>http://duncan.hull.name/2012/06/15/turing100/</guid>
<description><![CDATA[The Alan Turing statue at Bletchley Park. Creative commons licensed picture via Michael Dales on Fli]]></description>
<content:encoded><![CDATA[<div class="wp-caption alignright" style="width: 250px"><a href="http://www.flickr.com/photos/mdales/3758731076/"><img title="Alan Turing by Michael Dales" src="http://farm4.staticflickr.com/3442/3758731076_163a350262_m.jpg" alt="Alan Turing by Michael Dales" width="240" height="159" /></a><p class="wp-caption-text">The Alan Turing statue at <a href="http://en.wikipedia.org/wiki/Bletchley_Park">Bletchley Park</a>. Creative commons licensed picture via Michael Dales on Flickr</p></div>
<p>Next weekend, a bunch of very distinguished computer scientists will rock up at the <a title="Manchester Town Hall" href="http://en.wikipedia.org/wiki/Manchester_Town_Hall">magnificent Manchester Town Hall</a> for the <a title="Turing 100 on wikipedia" href="http://en.wikipedia.org/wiki/Alan_Turing_Centenary_Conference">Turing Centenary Conference</a> in order to analyse the development of <a title="Computer science" href="http://en.wikipedia.org/wiki/Computer_Science">Computer Science</a>, <a title="Artificial intelligence" href="http://en.wikipedia.org/wiki/Artificial_Intelligence">Artificial Intelligence</a> and <a href="http://en.wikipedia.org/wiki/Alan_Turing">Alan Turing&#8217;</a>s legacy [1].</p>
<p>There&#8217;s an impressive and stellar speaker line-up including:</p>
<ul>
<li><a title="Rodney Brooks" href="http://en.wikipedia.org/wiki/Rodney_Brooks">Rodney Brooks</a>, <a title="Massachusetts Institute of Technology" href="http://en.wikipedia.org/wiki/Massachusetts_Institute_of_Technology">Massachusetts Institute of Technology</a></li>
<li><a title="Fred Brooks" href="http://en.wikipedia.org/wiki/Fred_Brooks">Fred Brooks</a>, <a title="University of North Carolina" href="http://en.wikipedia.org/wiki/University_of_North_Carolina">University of North Carolina</a> Turing Award winner</li>
<li><a title="Vint Cerf" href="http://en.wikipedia.org/wiki/Vint_Cerf">Vint Cerf</a>, <a title="Google" href="http://en.wikipedia.org/wiki/Google">Google</a>, Turing Award winner</li>
<li><a title="Edmund M. Clarke" href="http://en.wikipedia.org/wiki/Edmund_M._Clarke">Edmund M. Clarke</a>, <a title="Carnegie Mellon University" href="http://en.wikipedia.org/wiki/Carnegie_Mellon_University">Carnegie Mellon University</a>, Turing Award winner</li>
<li><a title="Jack Copeland" href="http://en.wikipedia.org/wiki/Jack_Copeland">Jack Copeland</a>, <a title="University of Canterbury" href="http://en.wikipedia.org/wiki/University_of_Canterbury">University of Canterbury</a></li>
<li><a title="George Francis Rayner Ellis" href="http://en.wikipedia.org/wiki/George_Francis_Rayner_Ellis">George Ellis</a>, <a title="University of Cape Town" href="http://en.wikipedia.org/wiki/University_of_Cape_Town">University of Cape Town</a>, <a title="Templeton Prize" href="http://en.wikipedia.org/wiki/Templeton_Prize">Templeton Prize</a> winner</li>
<li>David Ferrucci, <a title="Thomas J. Watson Research Center" href="http://en.wikipedia.org/wiki/Thomas_J._Watson_Research_Center">IBM TJ Watson Research Center</a> Principal Investigator of the <a title="Watson (computer)" href="http://en.wikipedia.org/wiki/Watson_(computer)">Watson/Jeopardy!</a> project</li>
<li><a title="Tony Hoare" href="http://en.wikipedia.org/wiki/Tony_Hoare">Tony Hoare</a>, <a title="Microsoft Research" href="http://en.wikipedia.org/wiki/Microsoft_Research">Microsoft Research</a>, Turing Award winner</li>
<li><a title="Garry Kasparov" href="http://en.wikipedia.org/wiki/Garry_Kasparov">Garry Kasparov</a>, Kasparov Chess Foundation</li>
<li>Samuel Klein, Trustee of the <a title="Wikimedia Foundation" href="http://en.wikipedia.org/wikimedia_Foundation">Wikimedia Foundation</a> and a Director of the <a title="One Laptop per Child" href="http://en.wikipedia.org/wiki/One_Laptop_per_Child">One Laptop per Child</a> Foundation.</li>
<li><a title="Donald Knuth" href="http://en.wikipedia.org/wiki/Donald_Knuth">Donald Knuth</a>, <a title="Stanford University" href="http://en.wikipedia.org/wiki/Stanford_University">Stanford University</a>, Turing Award winner</li>
<li><a title="Yuri Matiyasevich" href="http://en.wikipedia.org/wiki/Yuri_Matiyasevich">Yuri Matiyasevich</a>, Institute of Mathematics, St. Petersburgh</li>
<li>Hans Meinhardt, <a title="Max Planck Institute for Developmental Biology" href="http://en.wikipedia.org/wiki/Max_Planck_Institute_for_Developmental_Biology">Max Planck Institute for Developmental Biology</a></li>
<li><a title="Roger Penrose" href="http://en.wikipedia.org/wiki/Roger_Penrose">Roger Penrose</a>, <a title="University of Oxford" href="http://en.wikipedia.org/wiki/University_of_Oxford">University of Oxford</a>, <a title="Wolf Prize" href="http://en.wikipedia.org/wiki/Wolf_Prize">Wolf Prize</a> winner</li>
<li><a title="Michael O. Rabin" href="http://en.wikipedia.org/wiki/Michael_O._Rabin">Michael O. Rabin</a>, <a title="Harvard University" href="http://en.wikipedia.org/wiki/Harvard_University">Harvard University</a>, Turing Award winner</li>
<li><a title="Adi Shamir" href="http://en.wikipedia.org/wiki/Adi_Shamir">Adi Shamir</a>, <a title="Weizmann Institute of Science" href="http://en.wikipedia.org/wiki/Weizmann_Institute_of_Science">Weizmann Institute of Science</a>, Turing Award winner</li>
<li><a title="Leslie Valiant" href="http://en.wikipedia.org/wiki/Leslie_Valiant">Leslie Valiant</a>, <a title="Harvard University" href="http://en.wikipedia.org/wiki/Harvard_University">Harvard University</a>, Turing Award winner</li>
<li><a title="Manuela M. Veloso" href="http://en.wikipedia.org/wiki/Manuela_M._Veloso">Manuela M. Veloso</a>, <a title="Carnegie Mellon University" href="http://en.wikipedia.org/wiki/Carnegie_Mellon_University">Carnegie Mellon University</a></li>
<li><a title="Andrew Yao" href="http://en.wikipedia.org/wiki/Andrew_Yao">Andrew Yao</a>, <a title="Tsinghua University" href="http://en.wikipedia.org/wiki/Tsinghua_University">Tsinghua University</a>, Turing Award winner</li>
</ul>
<p>Tickets are not cheap at <a title="turing 100 registration" href="http://www.turing100.manchester.ac.uk/index.php/registration/registration-general">£450 for four days</a>, but you can <a title="public lectures" href="http://www.turing100.manchester.ac.uk/index.php/registration/registration-public">sign up for free public lectures</a> by Jack Copeland on <a href="http://www.turing100.manchester.ac.uk/index.php/registration/11-speakers/53-copeland">Turing: Pioneer of the Information Age</a> and Roger Penrose on the <a href="http://www.turing100.manchester.ac.uk/index.php/speakers/invited-list/11-speakers/43">problem of modelling a mathematical mind</a>. Alternatively, if you can lend some time, the conference organisers are looking for volunteers to help out in return for a free conference pass. Contact <a title="Vicki Chamberlin at the University of Manchester" href="http://uk.linkedin.com/pub/vicki-chamberlin/30/926/681">Vicki Chamberlin</a> for details if you&#8217;re interested.</p>
<h3>References</h3>
<ol>
<li><span class="Z3988" title="ctx_ver=Z39.88-2004&#38;rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&#38;rft.jtitle=Nature&#38;rft_id=info%3Adoi%2F10.1038%2F482455a&#38;rfr_id=info%3Asid%2Fresearchblogging.org&#38;rft.atitle=Turing+at+100%3A+Legacy+of+a+universal+mind&#38;rft.issn=0028-0836&#38;rft.date=2012&#38;rft.volume=482&#38;rft.issue=7386&#38;rft.spage=455&#38;rft.epage=455&#38;rft.artnum=http%3A%2F%2Fwww.nature.com%2Fdoifinder%2F10.1038%2F482455a&#38;rft.au=Chouard%2C+T.&#38;rfe_dat=bpr3.included=1;bpr3.tags=Biology%2CComputer+Science+%2F+Engineering%2CBioinformatics%2C+turing%2C+alan+turing%2C+centenaryt">Chouard, T. (2012). Turing at 100: Legacy of a universal mind <span style="font-style:italic;">Nature, 482</span> (7386), 455-455 DOI: <a href="http://dx.doi.org/10.1038/482455a" rev="review">10.1038/482455a</a></span> see also <a href="http://www.nature.com/turing">nature.com/turing</a></li>
</ol>
]]></content:encoded>
</item>
<item>
<title><![CDATA[CS276 Lecture 13 (draft)]]></title>
<link>http://lucatrevisan.wordpress.com/2009/03/02/cs276-lecture-13-draft/</link>
<pubDate>Tue, 03 Mar 2009 06:27:10 +0000</pubDate>
<dc:creator>luca</dc:creator>
<guid>http://lucatrevisan.wordpress.com/2009/03/02/cs276-lecture-13-draft/</guid>
<description><![CDATA[Summary Today we complete the proof that it is possible to construct a pseudorandom generator from a]]></description>
<content:encoded><![CDATA[<p>
<p><b> Summary </b></p>
<p><p>
Today we complete the proof that it is possible to construct a pseudorandom generator from a one-way permutation <!--more--></p>
<p>
<p><b>1. Pseudorandom Generators from One-Way Permutations </b></p>
<p><p>
Last time we proved the Goldreich-Levin theorem.</p>
<blockquote><p><b>Theorem 1 (Goldreich and Levin)</b> <em> Let <img src='http://s0.wp.com/latex.php?latex=%7Bf%3A+%5C%7B+0%2C1+%5C%7D%5En+%5Crightarrow+%5C%7B+0%2C1+%5C%7D%5En%7D%26%2338%3Bfg%3D000000&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='{f: &#92;{ 0,1 &#92;}^n &#92;rightarrow &#92;{ 0,1 &#92;}^n}&amp;fg=000000' title='{f: &#92;{ 0,1 &#92;}^n &#92;rightarrow &#92;{ 0,1 &#92;}^n}&amp;fg=000000' class='latex' /> be a <img src='http://s0.wp.com/latex.php?latex=%7B%28t%2C%5Cepsilon%29%7D%26%2338%3Bfg%3D000000&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='{(t,&#92;epsilon)}&amp;fg=000000' title='{(t,&#92;epsilon)}&amp;fg=000000' class='latex' />-one way permutation computable in time <img src='http://s0.wp.com/latex.php?latex=%7Br%5Cleq+t%7D%26%2338%3Bfg%3D000000&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='{r&#92;leq t}&amp;fg=000000' title='{r&#92;leq t}&amp;fg=000000' class='latex' />. Then the predicate <img src='http://s0.wp.com/latex.php?latex=%7Bx%2Cr+%5Crightarrow+%5Clangle+x%2Cr+%5Crangle%7D%26%2338%3Bfg%3D000000&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='{x,r &#92;rightarrow &#92;langle x,r &#92;rangle}&amp;fg=000000' title='{x,r &#92;rightarrow &#92;langle x,r &#92;rangle}&amp;fg=000000' class='latex' /> is <img src='http://s0.wp.com/latex.php?latex=%7B%28%5COmega%28+t+%5Ccdot+%5Cepsilon%5E2+%5Ccdot+n%5E%7B-O%281%29%7D+%2C+3%5Cepsilon%29%7D%26%2338%3Bfg%3D000000&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='{(&#92;Omega( t &#92;cdot &#92;epsilon^2 &#92;cdot n^{-O(1)} , 3&#92;epsilon)}&amp;fg=000000' title='{(&#92;Omega( t &#92;cdot &#92;epsilon^2 &#92;cdot n^{-O(1)} , 3&#92;epsilon)}&amp;fg=000000' class='latex' /> hard core for the permutation <img src='http://s0.wp.com/latex.php?latex=%7Bx%2Cr+%5Crightarrow+f%28x%29%2Cr%7D%26%2338%3Bfg%3D000000&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='{x,r &#92;rightarrow f(x),r}&amp;fg=000000' title='{x,r &#92;rightarrow f(x),r}&amp;fg=000000' class='latex' />. </em></p></blockquote>
<p><p>
A way to look at this result is the following: suppose <img src='http://s0.wp.com/latex.php?latex=%7Bf%7D%26%2338%3Bfg%3D000000&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='{f}&amp;fg=000000' title='{f}&amp;fg=000000' class='latex' /> is <img src='http://s0.wp.com/latex.php?latex=%7B%282%5E%7B%5COmega%28n%29%7D%2C2%5E%7B-%5COmega%28n%29%7D%29%7D%26%2338%3Bfg%3D000000&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='{(2^{&#92;Omega(n)},2^{-&#92;Omega(n)})}&amp;fg=000000' title='{(2^{&#92;Omega(n)},2^{-&#92;Omega(n)})}&amp;fg=000000' class='latex' /> one way and computable in <img src='http://s0.wp.com/latex.php?latex=%7Bn%5E%7BO%281%29%7D%7D%26%2338%3Bfg%3D000000&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='{n^{O(1)}}&amp;fg=000000' title='{n^{O(1)}}&amp;fg=000000' class='latex' /> time. Then <img src='http://s0.wp.com/latex.php?latex=%7B%5Clangle+x%2Cr+%5Crangle%7D%26%2338%3Bfg%3D000000&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='{&#92;langle x,r &#92;rangle}&amp;fg=000000' title='{&#92;langle x,r &#92;rangle}&amp;fg=000000' class='latex' /> is a <img src='http://s0.wp.com/latex.php?latex=%7B%282%5E%7B%5COmega%28n%29%7D%2C2%5E%7B-%5COmega%28n%29%7D%29%7D%26%2338%3Bfg%3D000000&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='{(2^{&#92;Omega(n)},2^{-&#92;Omega(n)})}&amp;fg=000000' title='{(2^{&#92;Omega(n)},2^{-&#92;Omega(n)})}&amp;fg=000000' class='latex' /> hard-core predicate for the permutation <img src='http://s0.wp.com/latex.php?latex=%7Bx%2Cr+%5Crightarrow+f%28x%29%2Cr%7D%26%2338%3Bfg%3D000000&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='{x,r &#92;rightarrow f(x),r}&amp;fg=000000' title='{x,r &#92;rightarrow f(x),r}&amp;fg=000000' class='latex' />.</p>
<p>
From now on, we shall assume that we have a one-way permutation <img src='http://s0.wp.com/latex.php?latex=%7Bf%3A+%5C%7B+0%2C1+%5C%7D%5En+%5Crightarrow+%5C%7B+0%2C1+%5C%7D%5En%7D%26%2338%3Bfg%3D000000&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='{f: &#92;{ 0,1 &#92;}^n &#92;rightarrow &#92;{ 0,1 &#92;}^n}&amp;fg=000000' title='{f: &#92;{ 0,1 &#92;}^n &#92;rightarrow &#92;{ 0,1 &#92;}^n}&amp;fg=000000' class='latex' /> and a predicate <img src='http://s0.wp.com/latex.php?latex=%7BP%3A%5C%7B+0%2C1+%5C%7D%5En+%5Crightarrow+%5C%7B+0%2C1+%5C%7D%7D%26%2338%3Bfg%3D000000&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='{P:&#92;{ 0,1 &#92;}^n &#92;rightarrow &#92;{ 0,1 &#92;}}&amp;fg=000000' title='{P:&#92;{ 0,1 &#92;}^n &#92;rightarrow &#92;{ 0,1 &#92;}}&amp;fg=000000' class='latex' /> that is <img src='http://s0.wp.com/latex.php?latex=%7B%28t%2C%5Cepsilon%29%7D%26%2338%3Bfg%3D000000&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='{(t,&#92;epsilon)}&amp;fg=000000' title='{(t,&#92;epsilon)}&amp;fg=000000' class='latex' /> hard core for <img src='http://s0.wp.com/latex.php?latex=%7Bf%7D%26%2338%3Bfg%3D000000&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='{f}&amp;fg=000000' title='{f}&amp;fg=000000' class='latex' />.</p>
<p>
This already gives us a pseudorandom generator with one-bit expansion.</p>
<blockquote><p><b>Theorem 2 (Yao)</b> <em> Let <img src='http://s0.wp.com/latex.php?latex=%7Bf%3A%5C%7B+0%2C1+%5C%7D%5En+%5Crightarrow+%5C%7B+0%2C1+%5C%7D%5En%7D%26%2338%3Bfg%3D000000&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='{f:&#92;{ 0,1 &#92;}^n &#92;rightarrow &#92;{ 0,1 &#92;}^n}&amp;fg=000000' title='{f:&#92;{ 0,1 &#92;}^n &#92;rightarrow &#92;{ 0,1 &#92;}^n}&amp;fg=000000' class='latex' /> be a permutation, and suppose <img src='http://s0.wp.com/latex.php?latex=%7BP%3A%5C%7B+0%2C1+%5C%7D%5En+%5Crightarrow+%5C%7B+0%2C1+%5C%7D%7D%26%2338%3Bfg%3D000000&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='{P:&#92;{ 0,1 &#92;}^n &#92;rightarrow &#92;{ 0,1 &#92;}}&amp;fg=000000' title='{P:&#92;{ 0,1 &#92;}^n &#92;rightarrow &#92;{ 0,1 &#92;}}&amp;fg=000000' class='latex' /> is <img src='http://s0.wp.com/latex.php?latex=%7B%28t%2C%5Cepsilon%29%7D%26%2338%3Bfg%3D000000&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='{(t,&#92;epsilon)}&amp;fg=000000' title='{(t,&#92;epsilon)}&amp;fg=000000' class='latex' />-hard core for <img src='http://s0.wp.com/latex.php?latex=%7Bf%7D%26%2338%3Bfg%3D000000&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='{f}&amp;fg=000000' title='{f}&amp;fg=000000' class='latex' />. Then the mapping </p>
<p><p align="center"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle++x+%5Crightarrow+f%28x%29%2CP%28x%29+%26%2338%3Bfg%3D000000&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='&#92;displaystyle  x &#92;rightarrow f(x),P(x) &amp;fg=000000' title='&#92;displaystyle  x &#92;rightarrow f(x),P(x) &amp;fg=000000' class='latex' /></p>
<p>
is <img src='http://s0.wp.com/latex.php?latex=%7B%28t-O%281%29%2C+%5Cepsilon%29%7D%26%2338%3Bfg%3D000000&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='{(t-O(1), &#92;epsilon)}&amp;fg=000000' title='{(t-O(1), &#92;epsilon)}&amp;fg=000000' class='latex' />-pseudorandom generator mapping <img src='http://s0.wp.com/latex.php?latex=%7Bn%7D%26%2338%3Bfg%3D000000&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='{n}&amp;fg=000000' title='{n}&amp;fg=000000' class='latex' /> bits into <img src='http://s0.wp.com/latex.php?latex=%7Bn%2B1%7D%26%2338%3Bfg%3D000000&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='{n+1}&amp;fg=000000' title='{n+1}&amp;fg=000000' class='latex' /> bits. </em></p></blockquote>
<p><p>
We will amplify the expansion of the generator by the following idea: from an <img src='http://s0.wp.com/latex.php?latex=%7Bn%7D%26%2338%3Bfg%3D000000&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='{n}&amp;fg=000000' title='{n}&amp;fg=000000' class='latex' />-bit input, we run the generator to obtain <img src='http://s0.wp.com/latex.php?latex=%7Bn%2B1%7D%26%2338%3Bfg%3D000000&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='{n+1}&amp;fg=000000' title='{n+1}&amp;fg=000000' class='latex' /> pseudorandom bits. We output one of those <img src='http://s0.wp.com/latex.php?latex=%7Bn%2B1%7D%26%2338%3Bfg%3D000000&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='{n+1}&amp;fg=000000' title='{n+1}&amp;fg=000000' class='latex' /> bits and feed the other <img src='http://s0.wp.com/latex.php?latex=%7Bn%7D%26%2338%3Bfg%3D000000&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='{n}&amp;fg=000000' title='{n}&amp;fg=000000' class='latex' /> back into the generator, and so on. Specialized to above construction, and repeated <img src='http://s0.wp.com/latex.php?latex=%7Bk%7D%26%2338%3Bfg%3D000000&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='{k}&amp;fg=000000' title='{k}&amp;fg=000000' class='latex' /> times we get the mapping</p>
<p>
<a name="cascade">
<p align="center"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle+++G_k+%28x%29+%3A%3D+P%28x%29%2C+P%28f%28x%29%29%2C+P%28f%28f%28x%29%29%2C+%5Cldots%2C+P%28f%5E%7B%28k-1%29%7D+%28x%29%2C+f%5E%7B%28k%29%7D+%28x%29+%5C+%5C+%5C+%5C+%5C+%281%29%26%2338%3Bfg%3D000000&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='&#92;displaystyle   G_k (x) := P(x), P(f(x)), P(f(f(x)), &#92;ldots, P(f^{(k-1)} (x), f^{(k)} (x) &#92; &#92; &#92; &#92; &#92; (1)&amp;fg=000000' title='&#92;displaystyle   G_k (x) := P(x), P(f(x)), P(f(f(x)), &#92;ldots, P(f^{(k-1)} (x), f^{(k)} (x) &#92; &#92; &#92; &#92; &#92; (1)&amp;fg=000000' class='latex' /></p>
<p></a></p>
<blockquote><p><b>Theorem 3 (Blum-Micali)</b> <em> Let <img src='http://s0.wp.com/latex.php?latex=%7Bf%3A%5C%7B+0%2C1+%5C%7D%5En+%5Crightarrow+%5C%7B+0%2C1+%5C%7D%5En%7D%26%2338%3Bfg%3D000000&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='{f:&#92;{ 0,1 &#92;}^n &#92;rightarrow &#92;{ 0,1 &#92;}^n}&amp;fg=000000' title='{f:&#92;{ 0,1 &#92;}^n &#92;rightarrow &#92;{ 0,1 &#92;}^n}&amp;fg=000000' class='latex' /> be a permutation, and suppose <img src='http://s0.wp.com/latex.php?latex=%7BP%3A%5C%7B+0%2C1+%5C%7D%5En+%5Crightarrow+%5C%7B+0%2C1+%5C%7D%7D%26%2338%3Bfg%3D000000&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='{P:&#92;{ 0,1 &#92;}^n &#92;rightarrow &#92;{ 0,1 &#92;}}&amp;fg=000000' title='{P:&#92;{ 0,1 &#92;}^n &#92;rightarrow &#92;{ 0,1 &#92;}}&amp;fg=000000' class='latex' /> is <img src='http://s0.wp.com/latex.php?latex=%7B%28t%2C%5Cepsilon%29%7D%26%2338%3Bfg%3D000000&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='{(t,&#92;epsilon)}&amp;fg=000000' title='{(t,&#92;epsilon)}&amp;fg=000000' class='latex' />-hard core for <img src='http://s0.wp.com/latex.php?latex=%7Bf%7D%26%2338%3Bfg%3D000000&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='{f}&amp;fg=000000' title='{f}&amp;fg=000000' class='latex' /> and that <img src='http://s0.wp.com/latex.php?latex=%7Bf%2CP%7D%26%2338%3Bfg%3D000000&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='{f,P}&amp;fg=000000' title='{f,P}&amp;fg=000000' class='latex' /> are computable with complexity <img src='http://s0.wp.com/latex.php?latex=%7Br%7D%26%2338%3Bfg%3D000000&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='{r}&amp;fg=000000' title='{r}&amp;fg=000000' class='latex' />. </p>
<p>
Then <img src='http://s0.wp.com/latex.php?latex=%7BG_k+%3A+%5C%7B+0%2C1+%5C%7D%5En+%5Crightarrow+%5C%7B+0%2C1+%5C%7D%5E%7Bn%2Bk%7D%7D%26%2338%3Bfg%3D000000&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='{G_k : &#92;{ 0,1 &#92;}^n &#92;rightarrow &#92;{ 0,1 &#92;}^{n+k}}&amp;fg=000000' title='{G_k : &#92;{ 0,1 &#92;}^n &#92;rightarrow &#92;{ 0,1 &#92;}^{n+k}}&amp;fg=000000' class='latex' /> as defined in <a href="#cascade">(1)</a> is <img src='http://s0.wp.com/latex.php?latex=%7B%28t-O%28rk%29%2C+%5Cepsilon+k%29%7D%26%2338%3Bfg%3D000000&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='{(t-O(rk), &#92;epsilon k)}&amp;fg=000000' title='{(t-O(rk), &#92;epsilon k)}&amp;fg=000000' class='latex' />-pseudorandom. </em></p></blockquote>
<p><p>
Thinking about the following problem is a good preparation for the proof the main result of the next lecture.</p>
<blockquote><p><b>Exercise 1 (Tree Composition of Generators)</b> <em> Let <img src='http://s0.wp.com/latex.php?latex=%7BG%3A%5C%7B+0%2C1+%5C%7D%5En+%5Crightarrow+%5C%7B+0%2C1+%5C%7D%5E%7B2n%7D%7D%26%2338%3Bfg%3D000000&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='{G:&#92;{ 0,1 &#92;}^n &#92;rightarrow &#92;{ 0,1 &#92;}^{2n}}&amp;fg=000000' title='{G:&#92;{ 0,1 &#92;}^n &#92;rightarrow &#92;{ 0,1 &#92;}^{2n}}&amp;fg=000000' class='latex' /> be a <img src='http://s0.wp.com/latex.php?latex=%7B%28t%2C%5Cepsilon%29%7D%26%2338%3Bfg%3D000000&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='{(t,&#92;epsilon)}&amp;fg=000000' title='{(t,&#92;epsilon)}&amp;fg=000000' class='latex' /> pseudorandom generator computable in time <img src='http://s0.wp.com/latex.php?latex=%7Br%7D%26%2338%3Bfg%3D000000&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='{r}&amp;fg=000000' title='{r}&amp;fg=000000' class='latex' />, let <img src='http://s0.wp.com/latex.php?latex=%7BG_0%28x%29%7D%26%2338%3Bfg%3D000000&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='{G_0(x)}&amp;fg=000000' title='{G_0(x)}&amp;fg=000000' class='latex' /> be the first <img src='http://s0.wp.com/latex.php?latex=%7Bn%7D%26%2338%3Bfg%3D000000&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='{n}&amp;fg=000000' title='{n}&amp;fg=000000' class='latex' /> bits of the output of <img src='http://s0.wp.com/latex.php?latex=%7BG%28x%29%7D%26%2338%3Bfg%3D000000&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='{G(x)}&amp;fg=000000' title='{G(x)}&amp;fg=000000' class='latex' />, and let <img src='http://s0.wp.com/latex.php?latex=%7BG_1%28x%29%7D%26%2338%3Bfg%3D000000&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='{G_1(x)}&amp;fg=000000' title='{G_1(x)}&amp;fg=000000' class='latex' /> be the last <img src='http://s0.wp.com/latex.php?latex=%7Bn%7D%26%2338%3Bfg%3D000000&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='{n}&amp;fg=000000' title='{n}&amp;fg=000000' class='latex' /> bits of the output of <img src='http://s0.wp.com/latex.php?latex=%7BG%28x%29%7D%26%2338%3Bfg%3D000000&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='{G(x)}&amp;fg=000000' title='{G(x)}&amp;fg=000000' class='latex' />.</p>
<p>
Define <img src='http://s0.wp.com/latex.php?latex=%7BG%27+%3A+%5C%7B+0%2C1+%5C%7D%5En+%5Crightarrow+%5C%7B+0%2C1+%5C%7D%5E%7B4n%7D%7D%26%2338%3Bfg%3D000000&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='{G&#039; : &#92;{ 0,1 &#92;}^n &#92;rightarrow &#92;{ 0,1 &#92;}^{4n}}&amp;fg=000000' title='{G&#039; : &#92;{ 0,1 &#92;}^n &#92;rightarrow &#92;{ 0,1 &#92;}^{4n}}&amp;fg=000000' class='latex' /> as</p>
<p><p align="center"><img src='http://s0.wp.com/latex.php?latex=%5Cdisplaystyle++G%27+%28x%29+%3D+G%28G_0%28x%29%29%2C+G%28+G_1+%28x%29%29+%26%2338%3Bfg%3D000000&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='&#92;displaystyle  G&#039; (x) = G(G_0(x)), G( G_1 (x)) &amp;fg=000000' title='&#92;displaystyle  G&#039; (x) = G(G_0(x)), G( G_1 (x)) &amp;fg=000000' class='latex' /></p>
<p> Prove that <img src='http://s0.wp.com/latex.php?latex=%7BG%27%7D%26%2338%3Bfg%3D000000&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='{G&#039;}&amp;fg=000000' title='{G&#039;}&amp;fg=000000' class='latex' /> is a <img src='http://s0.wp.com/latex.php?latex=%7B%28t-O%28r%29%2C3%5Cepsilon%29%7D%26%2338%3Bfg%3D000000&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='{(t-O(r),3&#92;epsilon)}&amp;fg=000000' title='{(t-O(r),3&#92;epsilon)}&amp;fg=000000' class='latex' /> pseudorandom generator. </em></p></blockquote>
<p>
]]></content:encoded>
</item>

</channel>
</rss>
