... in the Gnome newsticker, I thought that somebody had proved the (in)equivalence of BINARY LOGSPACE and NP-RECURSIVE. Phew, am I glad this problem is still open. I've discovered a wonderfully simple proof of this, but unfortunately the text entry widget is too small to allow me to post it here.
Slashdot Mirror
... in the Gnome newsticker, I thought that somebody had proved the (in)equivalence of BINARY LOGSPACE and NP-RECURSIVE. Phew, am I glad this problem is still open. I've discovered a wonderfully simple proof of this, but unfortunately the text entry widget is too small to allow me to post it here.