livro algoritmos algebricos o smart brain e o problema p versus np cim ciencia moderna