Замятин, задачник по матлогике

6 . max( x1 , x2 ) . Эту функцию можно считать обобщением дизъюнкции. Иногда будем ее обозначать через x1 x2 .

7 . x1 x2 ( mod k) . В двузначном случае функция совпадает с конъюнкцией, поэтому ее можно считать вторым обобщением конъюнкции.

8 . x1 + x2 ( mod k) . Относительно этой операции множество Bk является абелевой группой. На Bk естественным образом определяется вычитание ( по модулю k): x – y = x + ( k−1) y.

Условимся, что арифметические операции – сложение, вычитание, умножение – на множестве Bk проводятся толь-

ко по модулю k, и в записи этих операций явно указывать модуль не будем.

9 . x – y, если x ≥ y, x ÷ y =

0, если x < y.

Функция x ÷ y иногда называется « усеченной» разно-

стью.

10 . pi ( x1 , x2 , … , xn ) = xi , где 1 ≤i≤k. Эти функции будем называть проекциями. Обратим внимание на то, что p1 ( x1 ) − тождественная функция.

Введенные операции, конечно, обладают рядом свойств. Сложение, умножение, функции min( x1 , x2 ) и max( x1 , x2 ) ассоциативны и коммутативны. Отрицание Лукасевича связано с последними двумя функциями равенствами

min( x1 , x2 ) = max( x1 , x2 ),

max( x1 , x2 ) = min( x1 , x2 ),

которые будем называть законами де Моргана. В то же время, ряд свойств, привычных для нас в двузначной логике, в k- значной логике не выполняется. В частности, нет закона снятия двойного циклического отрицания, т. е. ¬( ¬x) ≠ x.

Как и в двузначном случае, вводится понятие фиктивной и существенной переменной функции и понятие равенства двух функций. Следовательно, функции f и g из Pk равны, если существенные переменные этих функций одни и те же, и значения функций f и g совпадают на любом наборе значений существенных переменных.

§ 10. Функции k-значной логики. Замкнутость и полнота

Определения замкнутости и полноты класса функций k- значной логики полностью совпадают с соответствующими

170

определениями для P2 . Это означает, что класс L функций k- значной логики замкнут, если он содержит тождественную функцию и замкнут относительно суперпозиции и переименования переменных. Класс L является полным, если любая функция k- значной логики может быть получена из функций, принадлежащих L и тождественной функции с помощью суперпозиции и переименования переменных.

Параграф посвящен доказательству полноты некоторых классов функций.

Теорема 5 . 8 . Класс функций

F1 = {0, 1, … , k- 1, J0 ( x), … , Jk - 1 ( x), min( x1 , x2 ), max( x1 , x2 )}

является полным в Pk .

Доказательство. Утверждение теоремы очевидным об-

min( Ja 1 ( b1 ), Ja 2 ( b2 ), … , Ja n ( bn ), f( a1 , a2 , .. , an )) =

= min( k−1, k−1, … , k−1, f( b1 , b2 , .. , bn )) = f( b1 , b2 , .. , bn ) .

Следовательно,

max{ min( Ja 1 ( b1 ), Ja 2 ( b2 ), … , Ja n ( bn ),

f( a1 , a2 , .. , an )) | a1 , … , an Bk } = f( b1 , b2 , .. , bn ) .

Равенство (1) доказано.

Теорема 5 . 9 . Класс функций

F2 = { ¬x, max( x1 , x2 )}

является полным в Pk .

Доказательство проведем в четыре этапа.

Этап 1: докажем, что все константы принадлежат [ F2 ].

Напомним, что ¬x = x+1 . Тогда ¬( ¬x) = x+2, ¬( ¬( ¬x)) = x+3

и т. д. Рассмотрим функцию

f( x) = max( x, x+1, … , x+( k−1)) .

Легко видеть, что функция f( x) тождественно равна k−1 . Тогда 0 = ¬f( x), 1 = ¬( ¬f( x)) и т. д. Мы видим, что замыкание класса F2 содержит все константы.

Этап 2: докажем, что [ F2 ] содержит все функции J0 ( x), J1 ( x), … , Jk - 1 ( x) . Убедимся в том, что

171

Jl ( x) = 1 + max{ x+ a | a ≠ k – ( l+1)} .

Сделаем это для l = 0 . Для остальных значений l доказательство равенства проходит аналогичным образом. Сравним J0 ( x) и

1 + max{ x+ a | a ≠ k – 1} = 1 + max{ x, x+1, … , x+( k- 2)} . Если x = 0, то 1 + max{0, 0+1, … , 0+( k- 2)} = 1 + ( k- 2) =

k- 1 = J0 (0) . Если же x ≠ 0, то 1 + max{ x, x+1, … , x+( k- 2)} = 1 + ( k- 2) = 0 = J0 ( x) .

Этап 3: докажем, что [ F2 ] принадлежат все одноместные функции. Рассмотрим функции

a, если x = l,

el ( x, a) =

0, если x ≠ l.

Эти функции принадлежат замыканию класса F2 , по-

max( Jl ( x), k– 1 – a) + a + 1 = max(0, k– 1 – a) + a + 1 = 0 .

Если же x = l, то el ( x, a) = a и max( Jl ( l), k– 1 – a) + a + 1 = max( k– 1, k– 1 – a) + a + 1 = a.

Равенство (2) доказано.

Пусть g( x) – некоторая одноместная функция и x = b. Тогда в последовательности

e0 ( b, g(0)), e1 ( b, g(1)), … , ek - 1 ( b, g( k- 1))

все элементы, кроме eb ( b, g( b)), равны 0, а eb ( b, g( b)) = g( b) . Это означает, что

g( x) = max( e0 ( x, g(0)), e1 ( x, g(1)), … , ek - 1 ( x, g( k- 1)) .

Следовательно, функция g( x) принадлежат замыканию

класса F2 .

Этап 4: покажем, что [ F2 ] содержит min( x1 , x2 ) . В третьем этапе было доказано, что x [ F2 ] . Осталось воспользоваться отмечавшимся выше законом де Моргана:

min( x1 , x2 ) = max( x1 , x2 ) .

Итак, все функции полного класса F1 принадлежат замыканию класса F2 . Это означает, что F2 – полный класс.

Теорема 5 . 1 0 . Класс F3 , состоящий из одной функции max( x1 , x2 ) + 1 является полным в Pk .

Теорема легко следует из теоремы 8, поскольку max( x, x) + 1 = x + 1 = ¬x и

max( x1 , x2 ) + 1 + 1 + … +1 = max( x1 , x2 ) . k раз

172

Определение. Функция k- значной логики называется функцией Вебба, если класс, состоящий из одной этой функции, является полным.

Теорема 5 . 10 утверждает, что max( x1 , x2 ) + 1 – функция Вебба.

Теорема 5 . 1 1 . Полными в Pk являются следующие классы функций

1)F4 = { ¬x, min( x1 , x2 )},

2)класс F5 , состоящий из одной функции min( x1 , x2 ) + 1 .

Полнота класса F4 доказывается аналогично теореме 5 . 9 . Второй пункт теоремы 5 . 11 легко следует из первого.

Теорема 5 . 1 2 . Любой класс, полный в Pk , содержит конечный подкласс, также полный в Pk .

Доказательство. Пусть L – полный класс. Тогда функция max( x1 , x2 ) + 1 получается из функций этого класса и тождественной функции с помощью суперпозиции и переименования переменных. Другими словами, эта функция определяется термом, в запись которого входят функции из L ( и возможно, тождественная функция) . Но в соответствующем терме содержится лишь конечное множество функций из L. Это множество и будет полным классом, поскольку max( x1 , x2 ) + 1 − функция Вебба.

§ 11. Классы сохранения отношений

Данный параграф является подготовительным к следующему параграфу. В нем рассматривается некоторый способ задания замкнутых классов функций.

Определение. Пусть r есть s- местное отношение, за-

данное на Bk . Функция f( x1 , x2 , … , xn ) сохраняет отношение r, если из того, что

( a1 1 , a1 2 , … , a1 s ) r,

( a2 1 , a2 2 , … , a2 s ) r,

( an 1 , an 2 , … , an s ) r,

следует, что

( f( a1 1 , a2 1 , … , an 1 ), f( a1 2 , a2 2 , … , an 2 ), … ,

f( a1 s , a2 s , … , an s )) r.

Например, если r – отношение обычного порядка, то функция min( x1 , x2 ) сохраняет это отношение, а функция x1 + x2 не сохраняет. Действительно, если a1 1 ≤ a1 2 и a2 1 ≤ a2 2 ,

то min( a1 1 , a2 1 ) ≤ min( a1 2 , a2 2 ) . В то же время, 1 ≤ 1 и 0 ≤ k–

1, но 1+0 > 1+( k– 1) = 0 .

173

Любая функция сохраняет пустое и универсальное отношения.

Обозначим через F( r) класс функций, сохраняющих отношение r. Если R – множество отношений, то

F( R) = ∩{ F( r) | r R} .

Теорема 5 . 1 3 . Для любого множества отношений R класс функций F( R) является замкнутым.

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

булевых функций.

Пример 1 : r – обычное отношение порядка, заданное на

B2 , т. е. r = {(0,0), (0,1), (1,1)} . Возьмем n- местную булеву функцию f( x1 , x2 , … , xn ) . Сохраняемость этой функцией отношения r означает, что из неравенств

a1 ≤ b1 , a2 ≤ b2 , … , an ≤ bn

следует неравенство

f( a1 , a2 , … , an ) ≤ f( b1 , b2 , … , bn ) .

Мы получили определение монотонной функции. Следовательно, F( r) − класс монотонных функций.

Пример 2 : r = {0} . Сохраняемость функцией f( x1 , x2 , … , xn ) отношения r означает, что из равенств

a1 = 0, a2 = 0, … , an = 0

следует равенство f( a1 , a2 , … , an ) = 0 . Другими словами, функция f( x1 , x2 , … , xn ) удовлетворяет условию f(0, 0, … , 0) = 0 . Это означает, что , F( r) − класс функций, сохраняющих

0 .

Пример 3 : r = {1} . В этом случае получим класс функций, сохраняющих 1 .

Пример 4 : r = {(0, 1), (1, 0)} . Возьмем n- местную буле-

ву функцию f( x1 , x2 , … , xn ) . Тот факт, что эта функция со-

Заметим, что отношение r можно определить и так: r = {(0, ¬0), (1, ¬1)} . Тогда условия (1) и (2) можно записать следующим образом:

b1 = ¬a1 , b2 = ¬a2 , … , bn = ¬an , f( b1 , b2 , … , bn ) = ¬ f( a1 , a2 , … , an )

Из (1 ′) и (2 ′) следует равенство

f( ¬a1 , ¬a2 , … , ¬an ) = ¬ f( a1 , a2 , … , an ),

174

которое есть не что иное, как определение самодвойственной функции. Следовательно, F( r) − класс самодвойственных функций.

Пример 5 : r = {( x1 , x2 , x3 , x4 ) | x1 + x2 = x3 + x4 } . Убе-

димся в том, что это на первый вгляд странное отношение приводит к классу линейных функций. Рассмотрим линей-

ную функцию f( x1 , x2 , … , xn )= c1 x1 + c2 x2 + .. + cn xn + c0 .

Убедимся в том, что она сохраняет отношение r. Пусть

an 1 + an 2 = an 3 + an 4 .

Первое равенство умножим на c1 , второе – на c2 и т. д. Б последнее равенство умножим на cn . Полученные равенства сложим. Мы получим, что

c1 ( a1 1 + a1 2 ) + c2 ( a2 1 + a2 2 ) + … + cn ( an 1 + an 2 ) = c1 ( a1 3 + a1 4 ) + c2 ( a2 3 + a2 4 ) + … + cn ( an 3 + an 4 ) или

( c1 a1 1 + c2 a2 1 + … + cn an 1 ) + ( c1 a1 2 + c2 a2 2 + … + cn an 2 ) = ( c1 a1 3 + c2 a2 3 + … + cn an 3 ) + ( c1 a1 4 + c2 a2 4 + … + cn an 4 ) .

Последнее равенство можно записать так

f( a1 1 , a2 1 , … , an 1 ) + f( a1 2 , a2 2 , … , an 2 ) = f( a1 3 , a2 3 , … , an 3 ) + f( a1 4 , a2 4 , … , an 4 ) .

Это означает, что функция f( x1 , x2 , … , xn ) сохранияет отношение r.

Теперь докажем, что всякая функция, сохраняющая r, есть сумма одноместных функций и константы. Пусть функция g( x1 , x2 , … , xn ) сохраняет r. По определению отношения r имеем, что

( xn , 0, 0, xn ) r.

Тогда

g( x1 , x2 , … , xn ) + g(0, 0, … , 0) = g( x1 , 0, … , 0) + g(0, x2 , … , xn ) или g( x1 , x2 , … , xn ) =

g( x1 , 0, … , 0) + g(0, x2 , … , xn ) − g(0, 0, … , 0) .

Мы видим, что n- местная функция представима в виде суммы одноместной функции, константы и ( n- 1) - местной функции. Рассуждая аналогичным образом, ( n- 1) - местную функцию можно представить в виде суммы одноместной функции, константы и ( n- 2) - местной функции и т. д. В ито-

175

ге получим, что функция g( x1 , x2 , … , xn ) есть сумма одноместных функций и константы. Осталось заметить, что все одноместные функции ( и константы) линейны. Следовательно, F( r) − класс линейных функций.

§ 12. Критерий Розенберга

Естественно поставить вопрос о том, существует ли обобщение теоремы Поста для булевых функций на случай функций k- значной логики? Данный параграф посвящен ответу на этот вопрос. Как и в случае теоремы Поста, ответ будет дан в двух вариантах.

Как и для в случае булевых функций, предполным классом функций k- значной логики называется неполный замкнутый класс L, удовлетворяющий условию:

для любой функции f L класс L { f} является полным.

В булевом случае предполных классов, как известно, пять. С. Яблонским получено описание предполных классов трехзначной логики. Их оказалось 18 .

Следующее утверждение известно в литературе как теорема А. Кузнецова.

Теорема 5 . 1 4 . Для любого k число предполных в Pk классов конечно.

Доказывать теорему здесь не будем. С ее доказательством можно познакомиться по книге [ Я, стр. 54 - 56].

Из доказательства этой теоремы нельзя получить описание предполных классов даже для 3 - значной логики.

Одна из основных проблем здесь – найти подходящий способ задания замкнутых классов. В качестве такого способа мы будем использовать классы сохранения отношений.

Рассмотрим ряд определений.

Определение. n- местное отношение r при n>1, заданное на Bk , называется вполне рефлексивным, если для любых a1 , a2 , … , an Bk выполняется условие:

ai = aj при i ≠ j влечет ( a1 , a2 , … , an ) r. Любое одноместное отношение вполне рефлексивно.

Для двухместных ( бинарных) отношений понятия рефлексивности и вполне рефлексивности совпадают. В качестве примера вполне рефлексивного трехместного отношения можно привести отношение компланарности трех векторов обычного пространства.

176

Определение. n- местное отношение r при n>1, заданное

Для двухместных ( бинарных) отношений понятия симметричности и вполне симметричности совпадают. Вполне симметричность отношения означает независимость от порядка компонент вектора аргументов. Примерами вполне симметричных отношений являются приведенное выше отношение компланарности векторов, отношение для трех точек образовать треугольник, отношение взаимной простоты трех натуральных чисел ( или чисел из Bk ) .

Определение. Центром n-

0местного r отношения при n > 1 называется множество

женное на рис. 5 . 18 в виде графа (( a, b) r существует дуга из a в b) . Центр этого отношения состоит из одного числа 2 . Если на рис. 5 . 18 дуги заменить на ребра, т. е. сделать отношение r симметричным, то Z( r), будет равен {1, 2} .

Пусть ( G, ) – группа и r – отношение перестановочности, т. е.

( x, y) r x y = y x.

Тогда Z( r) – центр группы G в обычном смысле, т. е. множество элементов, которые перестановочны с любым элементом группы.

Определение. Отношение r называется центральным, если оно вполне рефлексивно, вполне симметрично и имеет нетривиальный центр, т. е. непустой и не совпадающий с основным множеством.

Отношение, изображенное на рис. 13 является центральным. Отношение перестановочности на группе является центральным тогда и только тогда, когда группа коммутативна.

177

Определение. Пусть { τ1 , τ2 , … , τm } – семейство эквивалентностей, заданных на Bk . Это семейство называется l- регулярным, если выполняются следующие условия:

1)каждая из эквивалентностей имеет l классов,

2)если A1 , A2 , … , Am – классы эквивалентностей τ1 , τ2 ,

…, τm соответственно, то A1 ∩ A2 ∩… ∩ Am ≠ .

Приведем пример регулярного семейства эквивалентностей, заданного на B9 . Возьмем квадратную матрицу третьего порядка, состоящую из различны элементов множества B9 . Тогда строки матрицы будут классами разбиения эквивалентности τ1 , а столбцы – эквивалентности τ2 . Семейство эквивалентностей { τ1 , τ2 } является 3 - регулярным.

Определение. l- местное отношение r называется l- регулярным, если существует l- регулярное семейство эквивалентностей S такое, что выполняется условие

(x1 , x2 , …, xl ) r

( τ S)[(x1 , x2 ) τ (x1 , x3 ) τ …. (xl - 1 , x1 ) τ}.

Заметим, что всякое l-регулярное отношение является вполне рефлексивным и вполне симметричным.

Мы готовы сформулировать критерий полноты класса функций k- значной логики, полученный американским математиком И. Розенбергом. Как было сказано в начале параграфа, мы сделаем это в двух вариантах. Это будут теоремы

5 . 15 и 5 . 16 .

Теорема 5 . 1 5 . Класс C функций k- значной логики является полным тогда и только тогда, C не содержится в классе сохранения ни одного из следующих отношений:

1)ограниченный частичный порядок,

2)граф нетождественной перестановки, являющейся произведением простых циклов,

3)четырехместное отношение x1 + x2 = x3 + x4 , заданное на абелевой группе ( Bk , +) простой экспоненты,

4)собственное отношение эквивалентности, т. е. отличное от отношения равенства и универсального отношения) .

5)l- местное центральное отношение, где 1 ≤ l ≤ k- 1,

6)l- регулярное отношение, где 3 ≤ l ≤ k.

Доказательство теоремы является очень сложным (что понятно по формулировке) и здесь рассматриваться не будет. С доказательством можно познакомиться по статье [].

Теорема 5.16. Класс C функций k- значной логики является предполным тогда и только тогда, C является классом

178

сохранения отношения одного из типов 1) – 6), указанных в формулировке теоремы 5 . 15 .

Рассмотрим несколько примеров применения теоремы 5.15.

Пример 1. Применим эту теорему в случае k = 2, т. е. для класса булевых функций.

Ограниченных частичных порядков, заданных на B2 = {0, 1} все два: естественный r1 = {(0,0), (0,1), (1,1)} и обратный естественному r2 = {(1,1), (1,0), (0,0)}. Нетрудно проверить, что F(r1 ) = F(r2 ). Класс F(r1 ) найден в предыдущем параграфе (пример 1) – это класс M монотонных функций.

Нетождественная перестановка, заданная на {0, 1} всего одна: π(0) = 1, π(1) = 0. Граф этой перестановки есть r = {(0, 1), (1, 0)}. В § 11 показано, что класс сохранения такого отношения есть класс S самодвойственных функций (пример 4).

Структуру абелевой группы на множестве B2 = {0, 1} можно ввести двумя способами:

1)в качестве операции сложения взять обычное сложение по модулю 2,

2)операцию сложения определить так, что нейтральным

элементом будет 1: 0 0 = 1, 0 1 = 1 0 = 0, 1 1 = 1.

Четырехместное отношение, определяемое первой абелевой группой, обозначим через r1 , определяемое второй – через r2 . Легко проверить, что r1 = r2 . Как показано в предыдущем параграфе (пример 5), F(r1 ) – класс L линейных функций.

Не существует собственного отношения эквивалентности, заданного на двухэлементном множестве.

Рассмотрим l-местное центральное отношение r. В силу ограничения 1 ≤ l ≤ k-1, r – одноместное центральное отношение, т. е. непустое собственное подмножество множества {0, 1}. Таких подмножеств два и . Они, как показано в § 11 (примеры 2 и

3)определяют классы T0 и T1 соответственно.

Всилу ограничения 2 < l ≤ k, l-регулярных отношений в случае булевых функций не существует.

Итак, критерий Розенберга дает уже известные нам пред-

полные классы функций: M, S, L, T0 и T1 .

Пример 2. Применим теорему 5.15 для доказательства полноты следующего класса функций k-значной логики:

G = {¬x, x ÷ y}.

Пусть r – отношение, заданное на Bk . Предположим, что функции класса G сохраняют r. Рассмотрим шесть случаев, со-

179