ЛЕКЦИЯ 16. МЕТОД ГРУППОВЫХ РЕЗОЛЮЦИЙ

Метод групповых резолюций [1] позволяет найти решение задачи о минимальном покрытии 0,1-матрицы B множеством строк. Пусть дана система дизъюнктов

D1= x₁ v Øx₂,

D2= x₂ v x₃,

D3= Øx₁ v x₂ v x₃,

D4= Øx₂ v Øx₃.

Для нее строим 0,1-матрицу B следующим образом. Строки матрицы соответствуют литерам x_i и их отрицаниям Øx_i . Таким образом, число строк составит 2×n, где n – число различных булевских переменных. Столбцы матрицы соответствуют дизъюнктам системы Dj , причем столбец содержит единицу в строке x_k (Øx_k) ,если переменная x_k входит в Dj без отрицания (с отрицанием). Кроме того, матрица дополнительно содержит n столбцов, соответствующих тавтологическим дизъюнктам x_k v Øx_k. С учетом сказанного, матрица B для рассматриваемого примера имеет вид, изображенный на рис. 16.1.

Рис. 16.1

Определение. Под минимальным покрытием матрицы B понимается минимальное по числу строк множество p_min, такое, что для каждого столбца матрицы B найдется как минимум одна строка в p_min , которая содержит в данном столбце “1” (иными словами, покрывает данный столбец).

Утверждение. Пусть дана матрица B, построенная для системы дизъюнктов с n>1 переменными. Если минимальное покрытие p_min матрицы B содержит более n строк, то данная система дизъюнктов не выполнима; в противном случае – выполнима.

Принцип групповых резолюций (П.Г.Р.) позволяет порождать новые – групповые резольвенты, используя любой эвристический метод для отыскания минимального или близкого к нему покрытия. Гарантируется, что рано или поздно будет порожден полностью нулевой столбец. В этом случае алгоритм прекращает работу. Наилучшее из найденных к этому моменту покрытий и является минимальным.

В качестве эвристического алгоритма можно использовать следующий. На каждой итерации p отыскиваем столбец (из числа не вычеркнутых) с минимальным числом единиц. Обозначим этот столбец r_p и назовем его синдромным. Найдем невычеркнутую строку i_p, покрывающую r_p и такую, что из всех других строк, покрывающих r_p, она содержит наибольшее число единиц. Включим i_p в отыскиваемое на данной итерации p покрытие. Вычеркнем все строки, содержащие в столбце r_p “1”, а также все столбцы, покрываемые строкой i_p. Итерация ведется до тех пор, пока имеется хотя бы один невычеркнутый столбец и одна не вычеркнутая строка.

Так, выберем столбец D1 и строку Øx₂ , которую включим в отыскиваемое покрытие на итерации 1. Вычеркнем строки и столбцы согласно описанному правилу – рис. 16.2.

Рис. 16.2

Выполним теперь вторую итерацию. Выберем столбец D2 и строку x₃. Вычеркнем строки и столбцы согласно описанному правилу – рис. 16.3. Остается единственный не вычеркнутый столбец, так что включим, например, строку x₁ в предполагаемое минимальное покрытие. Таким образом, итерация завершается отысканием покрытия p₁ = {Øx₂, x₃, x₁}. Согласно представленному выше Утверждению, данное покрытие минимально и дает выполняющую интерпретацию для исходной системы дизъюнктов.

Рис. 16.3

Описанный эвристический алгоритм не всегда отыскивает минимальное покрытие и необходимо выполнять этап построения групповой резольвенты. Это делается так. Берем текущее найденное покрытие и оставляем в нем любые n+1 строку. Формируем матрицу R из синдромных столбцов, найденных для этих строк. Формируем столбец-резольвенту, исходя из следующего: он содержит “1” в тех и только тех строках, которые в R имеют две или более единиц; в противном случае строка содержит “0”. Этот столбец присоединяется к матрице B и итерации возобновляются снова (все вычеркнутые строки и столбцы восстанавливаем на новой итерации). Так, найденное покрытие p₁ = {Øx₂, x₃, x₁} содержит ровно n = 3 строки. Тем не менее, построим для него матрицу R (рис. 16.4) на синдромных столбцах D1, D2, D5.

Рис. 16.4

В данном случае групповая резольвента содержит единственную “1” в строке x₁. Поэтому при возобновлении итераций (если бы это было необходимо), следовало добавить данную резольвенту к матрице B.

Недостатком описанного метода является рост размеров матрицы при присоединении новых резольвент.

ЛИТЕРАТУРА

1. Герман, О. В. Введение в теорию экспертных систем и обработку знаний / О. В. Герман. – Минск. : Дизайн-Про, 1995. – 256 с.