Stochastic and exact methods for service mapping in virtualized network infrastructures