<?xml version="1.0" encoding="UTF-8"?><rss version="2.0"
	xmlns:content="http://purl.org/rss/1.0/modules/content/"
	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:media="http://search.yahoo.com/mrss/"
		>
<channel>
	<title>Comments for Synthèse</title>
	<atom:link href="http://synthese.wordpress.com/comments/feed/" rel="self" type="application/rss+xml" />
	<link>http://synthese.wordpress.com</link>
	<description>"Opération qui procède du simple au composé, de l'élément au tout."</description>
	<lastBuildDate>Mon, 09 Nov 2009 20:17:54 +0000</lastBuildDate>
	<generator>http://wordpress.com/</generator>
	<sy:updatePeriod>hourly</sy:updatePeriod>
	<sy:updateFrequency>1</sy:updateFrequency>
		<item>
		<title>Comment on Eternity II by Cenny Wenner</title>
		<link>http://synthese.wordpress.com/2007/11/28/eternity-ii/#comment-780</link>
		<dc:creator>Cenny Wenner</dc:creator>
		<pubDate>Mon, 09 Nov 2009 20:17:54 +0000</pubDate>
		<guid isPermaLink="false">http://synthese.wordpress.com/2007/11/28/eternity-ii/#comment-780</guid>
		<description>Although, sorry, the latter branch only cares about solving the problem in general (not specific instances, like ordinary checkers) and the asymptotic behavior of the resources needed, which you lamented.</description>
		<content:encoded><![CDATA[<p>Although, sorry, the latter branch only cares about solving the problem in general (not specific instances, like ordinary checkers) and the asymptotic behavior of the resources needed, which you lamented.</p>
]]></content:encoded>
	</item>
	<item>
		<title>Comment on Eternity II by Cenny Wenner</title>
		<link>http://synthese.wordpress.com/2007/11/28/eternity-ii/#comment-779</link>
		<dc:creator>Cenny Wenner</dc:creator>
		<pubDate>Mon, 09 Nov 2009 20:04:36 +0000</pubDate>
		<guid isPermaLink="false">http://synthese.wordpress.com/2007/11/28/eternity-ii/#comment-779</guid>
		<description>Jaime Bonilla: The definition of an NP-easy problem is simply that a solution can be verified in polynomial time. This is typically a property that one can verify with a glance at the problem. Given a solution to the Eternity II puzzle, I can just check that all of the edges match. The definition of an NP-hard problem is that every NP-easy problem should be reformulated as an instance to the problem. In other words, if we could solve that problem, we could solve all NP-easy problems. This is the highlight of the original paper by Cook and Reckow: they showed that 3SAT is NP-hard. That&#039;s the only paper you need to read (or rather, a textbook) for how to solve the other NP-easy problems given that there is some NP-hard problem in P (which is equivalent to P=NP). To give you a quick idea of the answer: if someone showed problem X to be NP-hard, they must have showed to reformulate some problem A to X, and we knew B could be formulated as A, and C as B, etc., and eventually that 3SAT can be formulated as C, and we know 3SAT can simulate a non-deterministic polynomial-time Turing machine (NTIME(poly)), i.e. one that guesses the answer and then checks it in polynomial time. So given that you just follow all of these reductions, you get a polynomial-time simulation program for NTIME(poly) from the polynomial-time program for A.

The hard work for showing that a problem is NP-complete (=NP-easy and NP-hard) is pretty much always to show that the problem is NP-hard. That is what the paper by Demaine and Demaine show. Namely, that Eternity II is also NP-hard and so a polynomial-time solution to it (in the general case) gives a polynomial-time algorithm for every NP-easy problem.</description>
		<content:encoded><![CDATA[<p>Jaime Bonilla: The definition of an NP-easy problem is simply that a solution can be verified in polynomial time. This is typically a property that one can verify with a glance at the problem. Given a solution to the Eternity II puzzle, I can just check that all of the edges match. The definition of an NP-hard problem is that every NP-easy problem should be reformulated as an instance to the problem. In other words, if we could solve that problem, we could solve all NP-easy problems. This is the highlight of the original paper by Cook and Reckow: they showed that 3SAT is NP-hard. That&#8217;s the only paper you need to read (or rather, a textbook) for how to solve the other NP-easy problems given that there is some NP-hard problem in P (which is equivalent to P=NP). To give you a quick idea of the answer: if someone showed problem X to be NP-hard, they must have showed to reformulate some problem A to X, and we knew B could be formulated as A, and C as B, etc., and eventually that 3SAT can be formulated as C, and we know 3SAT can simulate a non-deterministic polynomial-time Turing machine (NTIME(poly)), i.e. one that guesses the answer and then checks it in polynomial time. So given that you just follow all of these reductions, you get a polynomial-time simulation program for NTIME(poly) from the polynomial-time program for A.</p>
<p>The hard work for showing that a problem is NP-complete (=NP-easy and NP-hard) is pretty much always to show that the problem is NP-hard. That is what the paper by Demaine and Demaine show. Namely, that Eternity II is also NP-hard and so a polynomial-time solution to it (in the general case) gives a polynomial-time algorithm for every NP-easy problem.</p>
]]></content:encoded>
	</item>
	<item>
		<title>Comment on Eternity II by Cenny Wenner</title>
		<link>http://synthese.wordpress.com/2007/11/28/eternity-ii/#comment-778</link>
		<dc:creator>Cenny Wenner</dc:creator>
		<pubDate>Mon, 09 Nov 2009 19:54:45 +0000</pubDate>
		<guid isPermaLink="false">http://synthese.wordpress.com/2007/11/28/eternity-ii/#comment-778</guid>
		<description>lemire: The field of Computational Complexity Theory has primarily branched into two areas over the last one or two decades. One of them is called Circuit Complexity and does provide lower bounds on the number of operations necessary to compute various classes of functions. It is quite a respected area that has come a long way (but is currently not experiencing as much progress as in the past?). I think that branch has a high chance of one day resolving the P vs. NP problem.

In the other branch, often called higher complexity theory, we do pretty much same thing except we look at higher complexity classes, find relations between them, and find ways to deal with the hardness of the problems, e.g., with approximation. One topic in this field is that of exact algorithms, which derives upper and lower bounds on the computational resources of NP-hard problems resting on the assumption that there is no subexponential-time algorithm for 3SAT (called the exponential-time hypothesis). For Eternity II-type puzzles, it should be quite doable to derive such lower bounds from that hypothesis.</description>
		<content:encoded><![CDATA[<p>lemire: The field of Computational Complexity Theory has primarily branched into two areas over the last one or two decades. One of them is called Circuit Complexity and does provide lower bounds on the number of operations necessary to compute various classes of functions. It is quite a respected area that has come a long way (but is currently not experiencing as much progress as in the past?). I think that branch has a high chance of one day resolving the P vs. NP problem.</p>
<p>In the other branch, often called higher complexity theory, we do pretty much same thing except we look at higher complexity classes, find relations between them, and find ways to deal with the hardness of the problems, e.g., with approximation. One topic in this field is that of exact algorithms, which derives upper and lower bounds on the computational resources of NP-hard problems resting on the assumption that there is no subexponential-time algorithm for 3SAT (called the exponential-time hypothesis). For Eternity II-type puzzles, it should be quite doable to derive such lower bounds from that hypothesis.</p>
]]></content:encoded>
	</item>
	<item>
		<title>Comment on Nothing is &#8220;Miscellaneous&#8221; by Andre Vellino</title>
		<link>http://synthese.wordpress.com/2009/10/17/nothing-is-miscellaneous/#comment-777</link>
		<dc:creator>Andre Vellino</dc:creator>
		<pubDate>Mon, 19 Oct 2009 14:46:26 +0000</pubDate>
		<guid isPermaLink="false">http://synthese.wordpress.com/?p=397#comment-777</guid>
		<description>Yes - Weinberger makes that point forcefully.  Systems like Dewey were designed for labeling physical things that are located in a building.  In the digital world there are multiple ways of tagging / annotating / labeling that permits a plurality of mechanisms for accessing the same object.  Which *is* definitely an advantage of the digital world.  Severely flawed systems like Dewey can be much more easily replaced - simultaneously - by other classification systems.

I think my point is - some classification systems are better than others. 
Social tagging and recommender systems have their Achilles heel namely: how do we trust them?

My hunch is that even when e-books replace physical books in a library, it will still be worth while to get a human brain to verify whether a software-based keyword extractor / subject classification system did a reasonable job.  I think I&#039;m jaded about the endless unfulfilled promises that AI will replace humans (adequately).</description>
		<content:encoded><![CDATA[<p>Yes &#8211; Weinberger makes that point forcefully.  Systems like Dewey were designed for labeling physical things that are located in a building.  In the digital world there are multiple ways of tagging / annotating / labeling that permits a plurality of mechanisms for accessing the same object.  Which *is* definitely an advantage of the digital world.  Severely flawed systems like Dewey can be much more easily replaced &#8211; simultaneously &#8211; by other classification systems.</p>
<p>I think my point is &#8211; some classification systems are better than others.<br />
Social tagging and recommender systems have their Achilles heel namely: how do we trust them?</p>
<p>My hunch is that even when e-books replace physical books in a library, it will still be worth while to get a human brain to verify whether a software-based keyword extractor / subject classification system did a reasonable job.  I think I&#8217;m jaded about the endless unfulfilled promises that AI will replace humans (adequately).</p>
]]></content:encoded>
	</item>
	<item>
		<title>Comment on Nothing is &#8220;Miscellaneous&#8221; by Daniel Lemire</title>
		<link>http://synthese.wordpress.com/2009/10/17/nothing-is-miscellaneous/#comment-776</link>
		<dc:creator>Daniel Lemire</dc:creator>
		<pubDate>Mon, 19 Oct 2009 13:26:50 +0000</pubDate>
		<guid isPermaLink="false">http://synthese.wordpress.com/?p=397#comment-776</guid>
		<description>I think there is a difference between classifying books on shelves, and retrieving digital documents on a laptop.

The Dewey system is a workaround for our inability to index physical objects in rich ways. I can&#039;t very well do full text search on physical books, can I?

In the digital age, we no longer need Dewey, except maybe at the public library... until we move to e-books... which should happen with a decade or so.</description>
		<content:encoded><![CDATA[<p>I think there is a difference between classifying books on shelves, and retrieving digital documents on a laptop.</p>
<p>The Dewey system is a workaround for our inability to index physical objects in rich ways. I can&#8217;t very well do full text search on physical books, can I?</p>
<p>In the digital age, we no longer need Dewey, except maybe at the public library&#8230; until we move to e-books&#8230; which should happen with a decade or so.</p>
]]></content:encoded>
	</item>
	<item>
		<title>Comment on CiteUlike Recommender by Andre Vellino</title>
		<link>http://synthese.wordpress.com/2009/09/28/citeulike-recommender/#comment-774</link>
		<dc:creator>Andre Vellino</dc:creator>
		<pubDate>Tue, 29 Sep 2009 13:29:32 +0000</pubDate>
		<guid isPermaLink="false">http://synthese.wordpress.com/?p=390#comment-774</guid>
		<description>Thanks for that clarification, Fergus.</description>
		<content:encoded><![CDATA[<p>Thanks for that clarification, Fergus.</p>
]]></content:encoded>
	</item>
	<item>
		<title>Comment on CiteUlike Recommender by Fergus Galllagher</title>
		<link>http://synthese.wordpress.com/2009/09/28/citeulike-recommender/#comment-773</link>
		<dc:creator>Fergus Galllagher</dc:creator>
		<pubDate>Tue, 29 Sep 2009 07:17:21 +0000</pubDate>
		<guid isPermaLink="false">http://synthese.wordpress.com/?p=390#comment-773</guid>
		<description>The &quot;20 articles&quot; need to fit certain criteria:

http://www.citeulike.org/groupforum/1606

Specifically, we need to have collected the metadata ourselves rather then manually entered or uploaded. Our article matching is derived from the URL so manually entered has not much to go on.  (I&#039;m over simplifying here.)

For the record, our recommender system isn&#039;t one that Toine discussed in that poster.</description>
		<content:encoded><![CDATA[<p>The &#8220;20 articles&#8221; need to fit certain criteria:</p>
<p><a href="http://www.citeulike.org/groupforum/1606" rel="nofollow">http://www.citeulike.org/groupforum/1606</a></p>
<p>Specifically, we need to have collected the metadata ourselves rather then manually entered or uploaded. Our article matching is derived from the URL so manually entered has not much to go on.  (I&#8217;m over simplifying here.)</p>
<p>For the record, our recommender system isn&#8217;t one that Toine discussed in that poster.</p>
]]></content:encoded>
	</item>
	<item>
		<title>Comment on Eternity II by Eternity II Blogger</title>
		<link>http://synthese.wordpress.com/2007/11/28/eternity-ii/#comment-772</link>
		<dc:creator>Eternity II Blogger</dc:creator>
		<pubDate>Tue, 01 Sep 2009 20:33:15 +0000</pubDate>
		<guid isPermaLink="false">http://synthese.wordpress.com/2007/11/28/eternity-ii/#comment-772</guid>
		<description>More news and combinations computations here :
http://eternity2blogger.over-blog.com/

Regards,
Eternity II Blogger.</description>
		<content:encoded><![CDATA[<p>More news and combinations computations here :<br />
<a href="http://eternity2blogger.over-blog.com/" rel="nofollow">http://eternity2blogger.over-blog.com/</a></p>
<p>Regards,<br />
Eternity II Blogger.</p>
]]></content:encoded>
	</item>
	<item>
		<title>Comment on Google Wave by Crystal Darby</title>
		<link>http://synthese.wordpress.com/2009/05/30/google-wave/#comment-768</link>
		<dc:creator>Crystal Darby</dc:creator>
		<pubDate>Wed, 12 Aug 2009 00:32:56 +0000</pubDate>
		<guid isPermaLink="false">http://synthese.wordpress.com/?p=307#comment-768</guid>
		<description>Miracles, indeed!  It would be a very happy day for me when proprietary software is chased out of corporations and governments!

This is very interesting.  From a genre perspective, I can see the lines of &quot;email&quot; and &quot;instant messaging&quot; getting blurred here, which may or may not be a bad thing.  It would be neat to see which register survives.  You know, talkin liek im kool, eh? Or would I in fact, type like like a regular person when &quot;emailing&quot;?

I think it is really neat, but perhaps really distracting!  I can just see myself not getting any work done because it would be so easy to join in wave after wave of (social) conversation.  I do, however, see its great potential if you were to collaborate with coworkers on a project.  Very cool.

On thing that made me especially curious was:
&quot;Another great feature is the advanced spell checker that not only looks through a dictionary for spelling, but looks for context in your sentence. It’s crazy to think that this could work, but it does as they’re showing it off.&quot;
Context!  Incredible!  How does this thing know semantics/pragmatics, given only text without any intonational markers?!

But -- I remind myself that this will take a lot of time.  I&#039;m still waiting for a Google Chome port here in the Linux world...</description>
		<content:encoded><![CDATA[<p>Miracles, indeed!  It would be a very happy day for me when proprietary software is chased out of corporations and governments!</p>
<p>This is very interesting.  From a genre perspective, I can see the lines of &#8220;email&#8221; and &#8220;instant messaging&#8221; getting blurred here, which may or may not be a bad thing.  It would be neat to see which register survives.  You know, talkin liek im kool, eh? Or would I in fact, type like like a regular person when &#8220;emailing&#8221;?</p>
<p>I think it is really neat, but perhaps really distracting!  I can just see myself not getting any work done because it would be so easy to join in wave after wave of (social) conversation.  I do, however, see its great potential if you were to collaborate with coworkers on a project.  Very cool.</p>
<p>On thing that made me especially curious was:<br />
&#8220;Another great feature is the advanced spell checker that not only looks through a dictionary for spelling, but looks for context in your sentence. It’s crazy to think that this could work, but it does as they’re showing it off.&#8221;<br />
Context!  Incredible!  How does this thing know semantics/pragmatics, given only text without any intonational markers?!</p>
<p>But &#8212; I remind myself that this will take a lot of time.  I&#8217;m still waiting for a Google Chome port here in the Linux world&#8230;</p>
]]></content:encoded>
	</item>
	<item>
		<title>Comment on Evaluating Article Recommenders by Andre Vellino</title>
		<link>http://synthese.wordpress.com/2009/07/23/evaluating-article-recommenders/#comment-761</link>
		<dc:creator>Andre Vellino</dc:creator>
		<pubDate>Sun, 26 Jul 2009 01:39:03 +0000</pubDate>
		<guid isPermaLink="false">http://synthese.wordpress.com/?p=334#comment-761</guid>
		<description>Interesting suggestion. Thanks Daniel.</description>
		<content:encoded><![CDATA[<p>Interesting suggestion. Thanks Daniel.</p>
]]></content:encoded>
	</item>
	<item>
		<title>Comment on Evaluating Article Recommenders by Andre Vellino</title>
		<link>http://synthese.wordpress.com/2009/07/23/evaluating-article-recommenders/#comment-760</link>
		<dc:creator>Andre Vellino</dc:creator>
		<pubDate>Sun, 26 Jul 2009 01:36:40 +0000</pubDate>
		<guid isPermaLink="false">http://synthese.wordpress.com/?p=334#comment-760</guid>
		<description>The next version of Synthese will be exactly what you suggest - the &quot;minimal&quot; feature, that is - (which is, of course, simpler than what I was experimenting with).  Adding the controls you want with your second suggestion is pretty easy too, except for figuring out how the UI should look.

The data I have is *very* sparse.  On about 8M science articles, I&#039;m only able (currently) to produce item-based recommendations (based on citations only) for about 1.8M of them.  I&#039;m now working on reducing the sparsity of my data....

There&#039;s also going to be an OpenURL API, very much like &#039;bX&#039; - submit an OpenURL to Synthese and you get back metadata about the recommended articles in XML.  Should be done in September sometime.</description>
		<content:encoded><![CDATA[<p>The next version of Synthese will be exactly what you suggest &#8211; the &#8220;minimal&#8221; feature, that is &#8211; (which is, of course, simpler than what I was experimenting with).  Adding the controls you want with your second suggestion is pretty easy too, except for figuring out how the UI should look.</p>
<p>The data I have is *very* sparse.  On about 8M science articles, I&#8217;m only able (currently) to produce item-based recommendations (based on citations only) for about 1.8M of them.  I&#8217;m now working on reducing the sparsity of my data&#8230;.</p>
<p>There&#8217;s also going to be an OpenURL API, very much like &#8216;bX&#8217; &#8211; submit an OpenURL to Synthese and you get back metadata about the recommended articles in XML.  Should be done in September sometime.</p>
]]></content:encoded>
	</item>
	<item>
		<title>Comment on Evaluating Article Recommenders by Daniel Lemire</title>
		<link>http://synthese.wordpress.com/2009/07/23/evaluating-article-recommenders/#comment-759</link>
		<dc:creator>Daniel Lemire</dc:creator>
		<pubDate>Sat, 25 Jul 2009 19:29:00 +0000</pubDate>
		<guid isPermaLink="false">http://synthese.wordpress.com/?p=334#comment-759</guid>
		<description>Then, you could go further:

Suppose that I say &quot;No, I don&#039;t want to cite paper W even though I plan to cite papers X, Y, Z&quot;... then what does it say? Can you then focus on papers (if any) citing papers X, Y, Z but not paper W?

The fun thing is that these are small data sets (very sparse) so you can do the computations live with little effort.</description>
		<content:encoded><![CDATA[<p>Then, you could go further:</p>
<p>Suppose that I say &#8220;No, I don&#8217;t want to cite paper W even though I plan to cite papers X, Y, Z&#8221;&#8230; then what does it say? Can you then focus on papers (if any) citing papers X, Y, Z but not paper W?</p>
<p>The fun thing is that these are small data sets (very sparse) so you can do the computations live with little effort.</p>
]]></content:encoded>
	</item>
	<item>
		<title>Comment on Evaluating Article Recommenders by Daniel Lemire</title>
		<link>http://synthese.wordpress.com/2009/07/23/evaluating-article-recommenders/#comment-758</link>
		<dc:creator>Daniel Lemire</dc:creator>
		<pubDate>Sat, 25 Jul 2009 19:26:30 +0000</pubDate>
		<guid isPermaLink="false">http://synthese.wordpress.com/?p=334#comment-758</guid>
		<description>I think that the whole Netflix/RMSE thing is not where the next step is in recommender systems. We need to broaden the applications.

Have you tried something like this: papers who have cited papers X, Y, Z have also cited paper W? I&#039;d love to get an analysis of a paper I am about to submit to see whether I have omitted any reference... It would be cool to determine, mathematically, whether a set of reference is &quot;complete&quot; in some sense.

(There has been a lot of work done on mining frequent &quot;minimal&quot; item sets. I am guessing it could be applied to this problem.)

Minimally, just this feature: papers which have cited this paper have also cited this other paper... that&#039;d be great.</description>
		<content:encoded><![CDATA[<p>I think that the whole Netflix/RMSE thing is not where the next step is in recommender systems. We need to broaden the applications.</p>
<p>Have you tried something like this: papers who have cited papers X, Y, Z have also cited paper W? I&#8217;d love to get an analysis of a paper I am about to submit to see whether I have omitted any reference&#8230; It would be cool to determine, mathematically, whether a set of reference is &#8220;complete&#8221; in some sense.</p>
<p>(There has been a lot of work done on mining frequent &#8220;minimal&#8221; item sets. I am guessing it could be applied to this problem.)</p>
<p>Minimally, just this feature: papers which have cited this paper have also cited this other paper&#8230; that&#8217;d be great.</p>
]]></content:encoded>
	</item>
	<item>
		<title>Comment on Document Similarity w/ Hadoop by Cloud Computing, MapReduce y Hadoop &#187; Blog Archive &#187; Sistemas de recomendación con Hadoop</title>
		<link>http://synthese.wordpress.com/2009/02/03/document-similarity-w-hadoop/#comment-755</link>
		<dc:creator>Cloud Computing, MapReduce y Hadoop &#187; Blog Archive &#187; Sistemas de recomendación con Hadoop</dc:creator>
		<pubDate>Wed, 22 Jul 2009 14:09:14 +0000</pubDate>
		<guid isPermaLink="false">http://synthese.wordpress.com/?p=142#comment-755</guid>
		<description>[...] paper &#8220;Pairwise Document Similarity in Large Collections with MapReduce&#8220;. Encontré una entrada en un blog detallando el uso de este algoritmo, y un tutorial que muestra cómo implementarlo usando Elastic [...]</description>
		<content:encoded><![CDATA[<p>[...] paper &#8220;Pairwise Document Similarity in Large Collections with MapReduce&#8220;. Encontré una entrada en un blog detallando el uso de este algoritmo, y un tutorial que muestra cómo implementarlo usando Elastic [...]</p>
]]></content:encoded>
	</item>
	<item>
		<title>Comment on Eternity II by Jaime Bonilla</title>
		<link>http://synthese.wordpress.com/2007/11/28/eternity-ii/#comment-753</link>
		<dc:creator>Jaime Bonilla</dc:creator>
		<pubDate>Fri, 03 Jul 2009 18:51:18 +0000</pubDate>
		<guid isPermaLink="false">http://synthese.wordpress.com/2007/11/28/eternity-ii/#comment-753</guid>
		<description>Hello, I have a question if anybody foundts that np=p, solving any other np complete problem, like 3sat, or subset sum, then what, is the reduction, that could be aplied for solving ethernity 2 game, is there another paper that show that solution?</description>
		<content:encoded><![CDATA[<p>Hello, I have a question if anybody foundts that np=p, solving any other np complete problem, like 3sat, or subset sum, then what, is the reduction, that could be aplied for solving ethernity 2 game, is there another paper that show that solution?</p>
]]></content:encoded>
	</item>
</channel>
</rss>
