Меж тем, что, как многие слышали, доказательство P!=NP было осуждено научной общественностью, я набрёл на десятилетней давности доказательство NP-полноты сапёра: