Overview for p-vs-np-proof-by-combat