If P=NP were proven non-constructively, we might establish equivalence without possessing the actual...