Как-то обращается ко мне приятель с просьбой написать программу, проверяющую, не являются ли предложенные к рассмотрению графы изоморфными. С теорией графов я тогда не был знаком. И вместо полного перебора стал изобретать инвариант. Несколько раз приятель ходил сдавать программу и всякий раз препод строил контрпример для очередного моего инварианта. В конце концов поставил он зачёт и .. подарил «Теорию графов» (Евстигнеева, кажется). Из книги я и узнал, что пока никому такой инвариант построить не удалось 🙂