Я понимаю разницу между FIFO B & B, LIFO B & B и LCBB, но я просто не могу понять, почему вы, возможно, захотите сделать FIFO, так как это приводит к поиску в ширину, а не в глубину. В конце концов, если вы можете быстро найти лучшее решение и обновить свой BSSF, вы также можете сократить больше - поэтому FIFO должен генерировать гораздо больше состояний, чем LCBB, и быть медленнее, чем. И поскольку цель ветвления и ограничения - найти оптимальное решение, я не понимаю, почему вы когда-нибудь захотите дополнительные состояния.
Правильно ли мое мышление? Разве LCBB не всегда лучше, чем филиал FIFO и связанный?