[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: computer-go: NP-complete problems solved?



>>>>> "PGB" == Patrick G Bridges <bridges@xxxxxxxxxxxxxxxxx> writes:

    PGB> The corollary to THeorem 17.9 on p. 427 of Papademitrou's
    PGB> "Computational Complexity" that states:

    PGB> "If P = NP, or even if NP = coNP, the polynomial hierarchy
    PGB> (i.e. the hierarchy from P to PSPACE) collapses to the first
    PGB> level."

    PGB> Am I misunderstanding the meaning of this statement?


I am, it turns out. Herve pointed out that the the polynomial
hierarchy (PH) is a subset of PSPACE, but it's not known whether PH is
a a strict subset of PSPACE or not. I.E., we know PH <= PSPACE, but
don't know that PH = PSPACE.  The PH collapsing if P=NP (I'm still
skeptical) may not have any affect on PSPACE-complete problems like
Go.

Thanks for the correction, Herve.

-Patrick

-- 
*** Patrick G. Bridges  	     	bridges@xxxxxxxxxxxxxxxxx ***
***                #include <std/disclaimer.h>		       ***