A new algebraic approach to the graph isomorphism and clique problems

Roman Galay, Daniil Kalistratov

As it follows from Gödel's incompleteness theorems, any consistent formal system of axioms and rules of inference should imply a true unprovable statement. Actually, this fundament…