Reduction by elimination of rotamers and rotamer pairs. While elimination of rotamers brings explicit reduction of the problem size, elimination of rotamer pairs will be implicitly represented by pair flags. Rotamer eliminations in (c) were made consistent with bounds of Figure 3.
Figure (a). Original subproblem.
Figure (b). Rotamer-pair elimination.
Figure (c). Rotamer elimination.