Efficient symmetry breaking formulations for the job grouping problem

• Authors: Raf Jans;Jacques Desrosiers
• Venue: Computers and Operations Research
• Year: 2013

The job grouping problem consists of assigning a set of jobs, each with a specific set of tool requirements, to machines with a limited tool capacity in order to minimize the number of machines needed. Traditionally, a formulation has been used that assigns jobs to machines. However, such a formulation contains a lot of symmetry since the machines are identical and they can be permuted in any feasible solution. We propose a new formulation for this problem, based on the asymmetric representatives formulation (ARF) idea. This formulation eliminates the symmetry between the identical machines. We further propose various symmetry breaking constraints, including variable reduction and lexicographic ordering constraints, which can be added to the traditional formulation. These formulations are tested on a data set from the literature and newly generated data sets using a state-of-the-art commercial solver, which includes symmetry breaking features. A first remarkable conclusion is that the order of the input data has a significant effect on the LP relaxation bound and CPU times for the ARF and some of the traditional formulations with variable reduction. The CPU time of the formulation with lexicographic ordering constraints on the jobs is also substantially affected, but not its LP bound. A second interesting conclusion is that the ARF is able to solve the problems of a large standard set from the literature to optimality 40 times faster than the traditional formulation and 7 times faster than a specialized Branch-and-Bound algorithm from the literature. For a data set with large instances, the traditional formulation extended with limited lexicographic constraints seems to be the best formulation.