<?xml version='1.0' encoding='UTF-8'?><?xml-stylesheet href="http://www.blogger.com/styles/atom.css" type="text/css"?><feed xmlns='http://www.w3.org/2005/Atom' xmlns:openSearch='http://a9.com/-/spec/opensearchrss/1.0/'><id>tag:blogger.com,1999:blog-35584545.post4822854853844025631..comments</id><updated>2010-02-19T21:37:05.504-08:00</updated><category term='environment'/><category term='bay area'/><category term='algorithms'/><category term='software'/><category term='outdoors'/><category term='google'/><title type='text'>Comments on Gregable.: Life is NP-Hard</title><link rel='http://schemas.google.com/g/2005#feed' type='application/atom+xml' href='http://gregable.com/feeds/4822854853844025631/comments/default'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/35584545/4822854853844025631/comments/default'/><link rel='alternate' type='text/html' href='http://gregable.com/2008/03/i-think-that-this-is-going-to-be-one-of.html'/><author><name>Greg</name><uri>http://www.blogger.com/profile/06692328337754346540</uri><email>noreply@blogger.com</email><gd:image xmlns:gd='http://schemas.google.com/g/2005' rel='http://schemas.google.com/g/2005#thumbnail' width='16' height='16' src='http://img2.blogblog.com/img/b16-rounded.gif'/></author><generator version='7.00' uri='http://www.blogger.com'>Blogger</generator><openSearch:totalResults>5</openSearch:totalResults><openSearch:startIndex>1</openSearch:startIndex><openSearch:itemsPerPage>25</openSearch:itemsPerPage><entry><id>tag:blogger.com,1999:blog-35584545.post-1044759238304396193</id><published>2010-02-19T21:37:05.504-08:00</published><updated>2010-02-19T21:37:05.504-08:00</updated><title type='text'>Interesting. It would have been better if we could...</title><content type='html'>Interesting. It would have been better if we could identity life problems we encounter whether it is a problem in P, NP, is it NP-hard or NP-complete, or a problem that is BQP or BPP? &lt;br /&gt;&lt;br /&gt;By what is commented recently, is it a preposition that we are a living algorithm? A living Turing machine?</content><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/35584545/4822854853844025631/comments/default/1044759238304396193'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/35584545/4822854853844025631/comments/default/1044759238304396193'/><link rel='alternate' type='text/html' href='http://gregable.com/2008/03/i-think-that-this-is-going-to-be-one-of.html?showComment=1266644225504#c1044759238304396193' title=''/><author><name>Sosouke</name><uri>http://www.blogger.com/profile/01713191828079901839</uri><email>noreply@blogger.com</email><gd:image xmlns:gd='http://schemas.google.com/g/2005' rel='http://schemas.google.com/g/2005#thumbnail' width='16' height='16' src='http://img2.blogblog.com/img/b16-rounded.gif'/></author><thr:in-reply-to xmlns:thr='http://purl.org/syndication/thread/1.0' href='http://gregable.com/2008/03/i-think-that-this-is-going-to-be-one-of.html' ref='tag:blogger.com,1999:blog-35584545.post-4822854853844025631' source='http://www.blogger.com/feeds/35584545/posts/default/4822854853844025631' type='text/html'/><gd:extendedProperty xmlns:gd='http://schemas.google.com/g/2005' name='blogger.itemClass' value='pid-1575975474'/></entry><entry><id>tag:blogger.com,1999:blog-35584545.post-989822879399801005</id><published>2009-10-21T07:22:41.198-07:00</published><updated>2009-10-21T07:22:41.198-07:00</updated><title type='text'>I got here googling &amp;#39;life is NP-hard&amp;#39;, hop...</title><content type='html'>I got here googling &amp;#39;life is NP-hard&amp;#39;, hoping someone&amp;#39;s made a T-shirt of it. :) But your argument isn&amp;#39;t quite foolproof of course, and I&amp;#39;m thinking a stronger one could be made.&lt;br /&gt;&lt;br /&gt;First off, yes, you mixed NP-complete and NP-hard, but your proof would have come out easier if you hadn&amp;#39;t. NP-Hard problems are any which are as hard as or harder than an NP problem. So life is NP-Hard as long as it contains any NP-Complete problems as a subset. The very fact that NP-Complete problems exist and some people want to solve them trivially makes life NP-Hard (for those people).&lt;br /&gt;&lt;br /&gt;Now, a more interesting proof stems from understanding that there are thousands of problems which are NP-complete, and some of them are just idealized versions of everyday activities. Whenever we try to pack a box efficiently we are making an approximate solution to an NP-complete problem. When we try to plan an efficient route to our various destinations we are of course solving a mini tsp, which I&amp;#39;d say is a good metaphor for what everyone tries to do every day-plan an efficient route through the goals of the day.&lt;br /&gt;&lt;br /&gt;Interestingly, NP problems are usually studied as decision problems, which in effect ask &amp;#39;is it possible? If so how?&amp;#39; so any time we ask ourselves that question, and the answer can be checked for sanity in polynomial (usually linear or something akin to nlogn) time, we are doing something NP-hard.&lt;br /&gt;&lt;br /&gt;To prove life NP-hard, of course, it would definitely have to be stated as a formal problem, meaning an input-output situation, which I&amp;#39;d say life isn&amp;#39;t really as a whole. Furthermore to be NP-hard something has to be verifiable in P, and though significant subsets of life are, I doubt we can really check whether a life was well-lived in polynomial time. A life is like a program unleashed upon the world, and a life well-lived never halts. We can never know sometimes whether a program will halt; the halting problem is not verifiable in P or in exponential time or in any finite function of input size.&lt;br /&gt;&lt;br /&gt;I guess I&amp;#39;ll email you, assuming you were serious.</content><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/35584545/4822854853844025631/comments/default/989822879399801005'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/35584545/4822854853844025631/comments/default/989822879399801005'/><link rel='alternate' type='text/html' href='http://gregable.com/2008/03/i-think-that-this-is-going-to-be-one-of.html?showComment=1256134961198#c989822879399801005' title=''/><author><name>Dran</name><uri>http://www.blogger.com/profile/08714941811085673416</uri><email>noreply@blogger.com</email><gd:image xmlns:gd='http://schemas.google.com/g/2005' rel='http://schemas.google.com/g/2005#thumbnail' width='16' height='16' src='http://img2.blogblog.com/img/b16-rounded.gif'/></author><thr:in-reply-to xmlns:thr='http://purl.org/syndication/thread/1.0' href='http://gregable.com/2008/03/i-think-that-this-is-going-to-be-one-of.html' ref='tag:blogger.com,1999:blog-35584545.post-4822854853844025631' source='http://www.blogger.com/feeds/35584545/posts/default/4822854853844025631' type='text/html'/><gd:extendedProperty xmlns:gd='http://schemas.google.com/g/2005' name='blogger.itemClass' value='pid-674473735'/></entry><entry><id>tag:blogger.com,1999:blog-35584545.post-9097389133629313376</id><published>2009-07-25T23:55:33.270-07:00</published><updated>2009-07-25T23:55:33.270-07:00</updated><title type='text'>NP means Non-deterministic Polynomial-time</title><content type='html'>NP means Non-deterministic Polynomial-time</content><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/35584545/4822854853844025631/comments/default/9097389133629313376'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/35584545/4822854853844025631/comments/default/9097389133629313376'/><link rel='alternate' type='text/html' href='http://gregable.com/2008/03/i-think-that-this-is-going-to-be-one-of.html?showComment=1248591333270#c9097389133629313376' title=''/><author><name>Moisés</name><uri>http://www.blogger.com/profile/11969656191594302344</uri><email>noreply@blogger.com</email><gd:image xmlns:gd='http://schemas.google.com/g/2005' rel='http://schemas.google.com/g/2005#thumbnail' width='16' height='16' src='http://img2.blogblog.com/img/b16-rounded.gif'/></author><thr:in-reply-to xmlns:thr='http://purl.org/syndication/thread/1.0' href='http://gregable.com/2008/03/i-think-that-this-is-going-to-be-one-of.html' ref='tag:blogger.com,1999:blog-35584545.post-4822854853844025631' source='http://www.blogger.com/feeds/35584545/posts/default/4822854853844025631' type='text/html'/><gd:extendedProperty xmlns:gd='http://schemas.google.com/g/2005' name='blogger.itemClass' value='pid-562944056'/></entry><entry><id>tag:blogger.com,1999:blog-35584545.post-985409656881215130</id><published>2009-06-01T16:16:37.167-07:00</published><updated>2009-06-01T16:16:37.167-07:00</updated><title type='text'>I like your post, specially the title :-) Thanks f...</title><content type='html'>I like your post, specially the title :-) Thanks for sharing. &lt;br /&gt;&lt;br /&gt;&lt;br /&gt;Btw Anupam, NP means Not Polynomial. &lt;br /&gt;&lt;br /&gt;Cheers,&lt;br /&gt;&lt;br /&gt;Carl.</content><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/35584545/4822854853844025631/comments/default/985409656881215130'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/35584545/4822854853844025631/comments/default/985409656881215130'/><link rel='alternate' type='text/html' href='http://gregable.com/2008/03/i-think-that-this-is-going-to-be-one-of.html?showComment=1243898197167#c985409656881215130' title=''/><author><name>Abraham</name><uri>http://www.blogger.com/profile/17470675394196363538</uri><email>noreply@blogger.com</email><gd:image xmlns:gd='http://schemas.google.com/g/2005' rel='http://schemas.google.com/g/2005#thumbnail' width='16' height='16' src='http://img2.blogblog.com/img/b16-rounded.gif'/></author><thr:in-reply-to xmlns:thr='http://purl.org/syndication/thread/1.0' href='http://gregable.com/2008/03/i-think-that-this-is-going-to-be-one-of.html' ref='tag:blogger.com,1999:blog-35584545.post-4822854853844025631' source='http://www.blogger.com/feeds/35584545/posts/default/4822854853844025631' type='text/html'/><gd:extendedProperty xmlns:gd='http://schemas.google.com/g/2005' name='blogger.itemClass' value='pid-985521646'/></entry><entry><id>tag:blogger.com,1999:blog-35584545.post-1465920267187026983</id><published>2008-06-16T10:56:00.000-07:00</published><updated>2008-06-16T10:56:00.000-07:00</updated><title type='text'>Lucid and enlightening. But what exactly do n and ...</title><content type='html'>Lucid and enlightening. But what exactly do n and p stand for? the variables?</content><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/35584545/4822854853844025631/comments/default/1465920267187026983'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/35584545/4822854853844025631/comments/default/1465920267187026983'/><link rel='alternate' type='text/html' href='http://gregable.com/2008/03/i-think-that-this-is-going-to-be-one-of.html?showComment=1213638960000#c1465920267187026983' title=''/><author><name>Anupam Chakilam</name><uri>http://www.blogger.com/profile/08269842016752176180</uri><email>noreply@blogger.com</email><gd:image xmlns:gd='http://schemas.google.com/g/2005' rel='http://schemas.google.com/g/2005#thumbnail' width='16' height='16' src='http://img2.blogblog.com/img/b16-rounded.gif'/></author><thr:in-reply-to xmlns:thr='http://purl.org/syndication/thread/1.0' href='http://gregable.com/2008/03/i-think-that-this-is-going-to-be-one-of.html' ref='tag:blogger.com,1999:blog-35584545.post-4822854853844025631' source='http://www.blogger.com/feeds/35584545/posts/default/4822854853844025631' type='text/html'/><gd:extendedProperty xmlns:gd='http://schemas.google.com/g/2005' name='blogger.itemClass' value='pid-1994138250'/></entry></feed>
