Задачи с булевыми переменными

Частным случаем задач с целочисленными переменными являются задачи, в результате решения которых искомые переменные x_j могут принимать только одно из двух значений: 0 или 1. Такие переменные в честь предложившего их английского математика Джорджа Буля называют булевыми.

Помимо задания требования целочисленности (см. подразд. 1.3) при вводе условия задач с булевыми переменными необходимо:

• для наглядности восприятия ввести в экранную форму слово "булевы" в качестве характеристики переменных;

• в окне "Поиск решения" добавить граничные условия, имеющие смысл ограничения значений переменных по их единичной верхней границе (рис. 1.19).

Рисунок 1.19. Добавление условия единичной верхней границы значений

переменных некоторой задачи с булевыми переменными