This surface features a sharp well where the global optimum is located. The number of psuedo-local minima scales factorially with the number of dimensions. In 2d, it features a global minima at (x 0 , x 1 ) = (14, 10). The Michalewicz surface is generalized to categorical spaces from the continuous Michalewicz function.