2,640 followers
@metaweta @lawnerdbarak @ZachWeiner Looks like it is in co-NP https://t.co/pjn1ExDWAc (witness for NP is trivially presenting a factor of degree less than or equal to k)
@metaweta @lawnerdbarak @ZachWeiner Looks like it is in co-NP https://t.co/pjn1ExDWAc (witness for NP is trivially presenting a factor of degree less than or equal to k)