Discussion between Erik the Outgolfer and Jonathan Allan

Imported from a comment discussion on https://codegolf.stackexchange.com/questions/141053/do-the-np-find-the-largest-clique/141073#141073