<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Wed, Sep 10, 2014 at 6:13 AM, Peter Gutmann <span dir="ltr"><<a href="mailto:pgut001@cs.auckland.ac.nz" target="_blank">pgut001@cs.auckland.ac.nz</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">"R. Hirschfeld" <<a href="mailto:ray@unipay.nl">ray@unipay.nl</a>> writes:<br>
<br>
>Translate your factoring instance into a SAT instance via a poly-time (or<br>
>log-space) reduction.<br>
<br>
</span>Yeah, and now you're back to the how-to-travel-to-Mars problem:<br>
<br>
1. Build a big rocket.<br>
2. Round up some astronauts.<br>
3. Fly to Mars.  QED.<br>
<br>
The fact that you can state a solution doesn't mean that you can actually do<br>
it.<div class="HOEnZb"><div class="h5"><a href="http://www.metzdowd.com/mailman/listinfo/cryptography" target="_blank"></a></div></div></blockquote><div><br></div><div><br></div><div>This travel to Mars problem is incomplete...</div><div>Travel to Mars is hard but the return trip is vastly harder</div><div>and returning with an answer or answers is important. </div><div><br></div><div>It is not just throw weight of the return craft and fuel for that craft</div><div>it is the geometry of planets spinning around the sun and more</div><div>that make the layers of the trip to mars problem  interesting.</div></div><div class="gmail_extra"><br></div><br><br clear="all"><div><br></div>-- <br><div dir="ltr">  T o m    M i t c h e l l</div>
</div></div>