Введем переменные для элементарных высказываний:

Введем переменные для элементарных высказываний:

1-ый вариант:

Ni,j– в доме с номером i живет человек национальности j. Всего 25 таких двоичных переменных;

Сi,j– дом с номером i имеет цвет j. Всего 25 таких двоичных переменных;

Ji,j– в доме с номером i живет человек, имеющий профессию j. Всего 25 таких двоичных переменных;

Di,j– в доме с номером i живет человек, предпочитающий напиток j. Всего 25 таких двоичных переменных;

Аi,j– в доме с номером i живет животное j. Всего 25 таких двоичных переменных;

Таким образом, общее количество пропозициональных переменных равно 125.

2-ой вариант:

Ni,j– человек национальности i живет в доме с номером j. Всего 25 таких двоичных переменных;

Сi,j– человек национальности i живет в доме цвета j. Всего 25 таких двоичных переменных;

Ji,j– человек национальности i имеет профессию j. Всего 25 таких двоичных переменных;

Di,j– человек национальности i предпочитает напиток j. Всего 25 таких двоичных переменных;

Аi,j– человек национальности i имеет животное j. Всего 25 таких двоичных переменных;

Таким образом, общее количество пропозициональных переменных опять равно 125. Но формализация ограничений может быть проще.

Далее действуем аналогично задаче раскраски графов.

Дата добавления: 2015-10-21