A necessary condition for robust implementation : theory and application