, Instituto de Ciências Matemáticas e de Computação / Universidade de São Paulo, Brazil