A Study on the Short-Term Prohibition Mechanisms in Tabu Search