Polytime Nash Equilibrium computation