The Bidimensionality Theory and Its Algorithmic