Weizmann Logo
ECCC
Electronic Colloquium on Computational Complexity

Under the auspices of the Computational Complexity Foundation (CCF)

Login | Register | Classic Style



REPORTS > DETAIL:

Paper:

TR09-003 | 6th January 2009 00:00

Comments on ECCC Report TR06-133: The Resolution Width Problem is EXPTIME-Complete

RSS-Feed




TR09-003
Authors: Alex Hertel, Alasdair Urquhart
Publication: 14th January 2009 11:52
Downloads: 3321
Keywords: 


Abstract:

We discovered a serious error in one of our previous submissions to ECCC and wish to make sure that this mistake is publicly known.

The main argument of the report TR06-133 is in error. The paper claims to prove the result of the title by reduction from the (Exists,k)-pebble game, shown to be EXPTIME-complete by Kolaitis and Panttaja. This note shows that the principal lemma is incorrect by providing a simple counter-example.



ISSN 1433-8092 | Imprint