http://www.lookingforsale.com/2009/08/10/an-unusual-gift-guide%e2%80%a6%e2%80%a6what-to-buy-and-where-to-buy-it-on-line/ a guide for making decision Thu, 09 Sep 2010 14:32:36 -0700 http://wordpress.org/?v=2.8.5 hourly 1 http://www.lookingforsale.com/2009/08/10/an-unusual-gift-guide%e2%80%a6%e2%80%a6what-to-buy-and-where-to-buy-it-on-line/comment-page-1/#comment-3783 howak Mon, 16 Aug 2010 10:21:01 +0000 http://www.lookingforsale.com/2009/11/13/an-unusual-gift-guide%e2%80%a6%e2%80%a6what-to-buy-and-where-to-buy-it-on-line/#comment-3783 Of course, we don't know how D. is going to answer Neil's objections. But the point is that the thing which he is trying to prove using finite model framework is true. Namely, each distribution that can be sampled with a polynomial algorithm satisfies ppp, i.e. has polylog number of parameters if one allows projections. That this statement is true can be checked with alternative simple proof based on probabilistic TM. Weather he can formulate a proof of this with his approach (using FO(LFP)) or not, the statement which he is proving stands on its own, so it is just a matter of skill to get it using finite model theory framework - he would have to change his present proof, which he announced, but since he is proving a true statement there is no doubt that it is possible to fix his argument - or he can just replace it with alternative proof based on TM. To analyze his proof, we can break proof of his main theorem to a sequence of lemmas that he essentially uses. If a lemma is true on its own, then that place is not a fundamental flaw even if his proof of a lemma is incorrect; rather, an incorrect proof of a true lemma, which can be easily proved otherwise, is a fixable flaw. Using such an analysis, we can conclude that the fundamental problem in the paper is located elsewhere - in the part which claims that k-SAT has no ppp. It appears that he might have proved k-SAT has no pp, but it is at least as hard to prove k-SAT has no ppp as it is to prove P!=NP. So, ultimately, the ppp vs pp distinction kills both his proof and his approach. Of course, we don’t know how D. is going to answer Neil’s objections. But the point is that the thing which he is trying to prove using finite model framework is true. Namely, each distribution that can be sampled with a polynomial algorithm satisfies ppp, i.e. has polylog number of parameters if one allows projections. That this statement is true can be checked with alternative simple proof based on probabilistic TM. Weather he can formulate a proof of this with his approach (using FO(LFP)) or not, the statement which he is proving stands on its own, so it is just a matter of skill to get it using finite model theory framework – he would have to change his present proof, which he announced, but since he is proving a true statement there is no doubt that it is possible to fix his argument – or he can just replace it with alternative proof based on TM. To analyze his proof, we can break proof of his main theorem to a sequence of lemmas that he essentially uses. If a lemma is true on its own, then that place is not a fundamental flaw even if his proof of a lemma is incorrect; rather, an incorrect proof of a true lemma, which can be easily proved otherwise, is a fixable flaw. Using such an analysis, we can conclude that the fundamental problem in the paper is located elsewhere – in the part which claims that k-SAT has no ppp. It appears that he might have proved k-SAT has no pp, but it is at least as hard to prove k-SAT has no ppp as it is to prove P!=NP. So, ultimately, the ppp vs pp distinction kills both his proof and his approach.

]]> http://www.lookingforsale.com/2009/08/10/an-unusual-gift-guide%e2%80%a6%e2%80%a6what-to-buy-and-where-to-buy-it-on-line/comment-page-1/#comment-3441 mis Wed, 11 Aug 2010 17:31:46 +0000 http://www.lookingforsale.com/2009/11/13/an-unusual-gift-guide%e2%80%a6%e2%80%a6what-to-buy-and-where-to-buy-it-on-line/#comment-3441 The Ultimate Guide to Speedy Green Cleaning! - <a rel="nofollow" The Ultimate Guide to Speedy Green Cleaning! – ]]> http://www.lookingforsale.com/2009/08/10/an-unusual-gift-guide%e2%80%a6%e2%80%a6what-to-buy-and-where-to-buy-it-on-line/comment-page-1/#comment-3413 grens dar Wed, 11 Aug 2010 06:18:53 +0000 http://www.lookingforsale.com/2009/11/13/an-unusual-gift-guide%e2%80%a6%e2%80%a6what-to-buy-and-where-to-buy-it-on-line/#comment-3413 I got it as a birthday gift from a friend. Yet to start reading it though :P Have heard good reviews about it from most people. who was born as a normal person and attained the level of God by his karma - I like it this way :) I got it as a birthday gift from a friend. Yet to start reading it though Have heard good reviews about it from most people. who was born as a normal person and attained the level of God by his karma – I like it this way

]]> http://www.lookingforsale.com/2009/08/10/an-unusual-gift-guide%e2%80%a6%e2%80%a6what-to-buy-and-where-to-buy-it-on-line/comment-page-1/#comment-3352 haeglen wer Mon, 09 Aug 2010 22:46:27 +0000 http://www.lookingforsale.com/2009/11/13/an-unusual-gift-guide%e2%80%a6%e2%80%a6what-to-buy-and-where-to-buy-it-on-line/#comment-3352 lol i did was jeff did and i still got the achivment lol lol i did was jeff did and i still got the achivment lol

]]>