Such a proof would allow us to unconditionally assert that NP-hard problems are intractable in the g...