CC BY
42
УДК 519.115.1
01.00.00 Физико-математические науки
О НУМЕРАЦИЯХ КОНЕЧНЫХ ЧАСТИЧНО УПОРЯДОЧЕННЫХ МНОЖЕСТВ
UDC 519.115.1
Physical-Mathematical sciences
ON THE NUMERATIONS OF THE FINITE PARTIALLY ORDERED SETS
Новиков Олег Игоревич магистрант
РИНЦ БРШ-код: 9435-408
Титов Николай Георгиевич преподаватель
Novikov Oleg Igorevich master student
Titov Nikolay Georgievich teacher
Титов Георгий Николаевич к. ф.-м. н., доцент
Кубанский государственный университет, Краснодар, Россия
Широко известна проблема линейного упорядочивания частично упорядоченных множеств (Linear Ordering Problem). Она сводится к нахождению нумераций таких множеств. Основным результатом статьи является некоторое обобщение одного из известных результатов С.С. Кислицына, связанного с нахождением числа нумераций конечных частично упорядоченных множеств
Titov Georgy Nikolaevich
Cand. Phys.-Math. Sci., associate Professor
Kuban State University, Krasnodar, Russia
There is a widely known problem regarding the ordering of the partially ordered sets (Linear Ordering Problem). It boils down to finding the numerations of such sets. The main result of this article is a generalization of one of the known S. S. Kislitsyn's results about finding the number of numerations of finite partially ordered sets
Ключевые слова: ПЕРЕСТАНОВКА, ПОДСТАНОВКА, БИНАРНОЕ ОТНОШЕНИЕ, ЧАСТИЧНЫЙ ПОРЯДОК, НУМЕРАЦИЯ, МАТРИЦА БИНАРНОГО ОТНОШЕНИЯ, БЛОК МАТРИЦЫ С ПОЛНЫМИ СТОЛБЦАМИ ИЛИ СТРОКАМИ
Keywords: PERMUTATION, SUBSTITUTION, BINARY RELATION, PARTIAL ORDER, NUMERATION, MATRIX OF THE BINARY RELATION, BLOCK OF THE MATRIX WITH FULL ROWS OR COLUMNS
В статье используются известные понятия и обозначения теории бинарных отношений и теории групп, например, из источников [1-3]. В работах [4-5] рассматриваются частично упорядоченные множества и соответствующие им множества перестановок (нумераций), указывается алгоритм вычисления количества нумераций. Задача нахождения таких нумераций и определения их количества непосредственно связана с известной проблемой линейного упорядочивания множеств [6] и с близкими к этой проблеме вопросами [7-8].
Основным результатом статьи является теорема, обобщающая один из результатов С.С. Кислицына [5], из которой следует ещё один новый
способ определения числа нумераций данного конечного частично упорядоченного множества.
Для строгости дальнейших рассуждений введём некоторые обозначения и понятия. Полагаем, что N - множество натуральных чисел;
Мц = [1,...|п} при НЕМ; р ^ Ып X Мп = {(у)^, ] £ Мп} - бинарное
отношение р на множестве [р] - матрица бинарного отношения р на
множестве определяемая по правилу: [р]„ = 1 при (1,0 Е р и [р]^ = О
при (У) £ р; - симметрическая группа подстановок п-й степени; если
со € и со(зк) = '1к (к € Мп), где е1...еп и ^ - перестановки
символов из Мп, то пишем со = К1 " !п); через "р обозначаем бинарное
41 -Ь/
отношение на Мп, определяемое по правилу: (У) € "р тогда и только
тогда, когда (со-1 (0, со-10)) е р, в частности, = [р^-чо^-^ф при
.
Обозначим множество бинарных отношений на М^ через 1ВП, а множество матриц размеров пХпи состоящих из нулей и единиц - через Мп. Ясно, что отображение [ ]:ЕП Мп, определённое по правилу р [р] для всех р € Вп, является биективным. При со Е и А € Мп через "А обозначаем матрицу, для которой = А^-а-ф ^Ш ПРИ € ^п Ясно,
что группа §п действует на множестве Еп по правилу А ^ "А, причём ы[р] = [ир] для всех со £ р£
т.е. ([ь...Л]а)*д = А, Ё Мп). при
Теперь введём некоторые новые понятия, необходимые для формулировки основного результата статьи. Пусть А Е МГ1 (пеМ) и
к* — Ль ~ попарно различные числа из (кЕЫик<п). Матрицу,
стоящую на пересечении строк и столбцов матрицы А с номерами ¡ь,
обозначаем ...Лк]л и называем блоком к-го порядка матрицы А на
рядах Ч., —Ль- Ясно, что если [±< ■■ ■ < то
^к-Н ■■■ ^кЛк
,
■■■
1 < к < п блок (п — к}-го порядка на рядах отличных от ^ назовём
дополнительным блоком к блоку ...Лк]л и обозначим через [[1г
Ясно, что при ИДО^-Л} = ^гимеем [ь ...Л]а =
Блок ...Л^а назовём блоком с полными столбцами (строками), если
при < ■■■ < ^ число единиц в ц-ом столбце (в ц-ой строке) матрицы А
равно числу единиц в ^ом столбце (^ой строке) этого блока. Ясно, что
блок [1, = А имеет полные столбцы и строки. Оказывается, удобно
ввести понятие "пустого блока" (блока нулевого порядка) и считать его блоком с полными столбцами и строками. Пустой блок и блок А будем
называть тривиальными блоками матрицы А.
Напоминаем, что бинарное отношение р £ Вп называется частичным
порядком, если оно рефлексивно ((10 € р VI € Мп), транзитивно (из
(У), (],к) Е р следует (1 к) £ р У1],к £ Ып) и антисимметрично (из
(У), (X 0 ^ Р следует ¡ = ] Оказывается, что при выше
определённом действии группы §п на Ш!п каждое из этих трёх свойств
сохраняется. В частности, р - частичный порядок на Мп тогда и только
тогда, когда "р - частичный порядок на Ып (со Е §п). Имеют место
утверждения 1-3, доказательство которых мы не приводим в силу их непосредственного следования из введённых выше определений.
Утверждение 1. Если блок к-го порядка матрицы изМп(п,к€Ии
) имеет полные столбцы (строки), то дополнительный к нему блок
-го порядка имеет полные строки (столбцы).
Утверждение 2. Пусть А Е Мп, со Е и к < п, где пДёМ. Если
блок [з^—,Це1д имеет полные столбцы (строки), то блок
тоже имеет полные столбцы (строки).
Утверждение 3. Пусть А £ Мп, I < п, где п, 1 Е N. Если
' = ^ - блок с полными столбцами (строками), то существует
подстановка у £ такая, что матрица УА представима в виде УА = [
/ гв' *1\ ,
[ : А = ), где В - дополнительный блок к блоку В в А и О - нулевая
матрица подходящих размеров.
Отметим, что у получается так: возьмём наборы ^...Д и ^)п_ь
которые удовлетворяют условиям {¿ц,---Д} = {з11..Э!}, где ^ < ■■■ < и
йи—ли-ч) = где ]1<— <ь-ь а затем положим
В *
1-0 в'
= ([1 - * ь ... ¡.-л/(к
Ч ... 1 1+1 ... п / 1
Зп-1 11 - V 1 1+1 ... п;
Далее, согласно [5] перестановку ... 1п символов из называют нумерацией частичного упорядоченного множества Ып с частичным порядком р, если из (1,0 £ р следует ^ < ^ для всех 1, ] £ Мп. Число
нумераций такого частично упорядочиваемого множества обозначают ::1л0.}. Понятно, что нумерацией этого частично упорядоченного множества
также можно назвать
- п\ ,,
подстановку со = ^ ^ Другими словами,
подстановку со £ назовём нумерацией для частичного порядка р на Мп, если из 0,0 е Р следует со(0 < со(]} для всех 1,] £ Ып. Имеет место
Утверждение 4. Пусть а, (3 £ и р - частичный порядок на Мп. Если а является нумерацией для р, то ар-1 является нумерацией для ^р.
Доказательство. Предположим, что для некоторых 1, ] £ имеем
(р-10), (З-10)) £ р. Так как а - нумерация для р, то а(р_1(0) ^ 0))
и (ар-1)© < (ар"1)^). Последнее и означает, что а(3-1 - нумерация для .
Утверждение 5. Подстановка ей Е является нумерацией для
частичного порядка р £ Вп тогда и только тогда, когда матрица 10 [р] имеет
верхнетреугольный вид.
Доказательство. Допустим что со - нумерация для р и (м[р])у = 1,
'ч
где 1] £ Ип. Тогда = 1 и поэтому 0,0 £ "р. По утверждению 4
•ч
£ = со ■ <о-1 является нумерацией для 10р, а, значит, 1 = е(0 < =
Следовательно, единицы матрицы 10 [р] не могут располагаться под главной диагональю, то есть ы[р] - матрица верхнетреугольного вида.
Теперь докажем достаточность. Допустим, что "[р] имеет верхнетреугольный вид и 0*0 Е р при Тогда
есть ло - нумерация для р.
Утверждение 6. Пусть р Е Вп - частичный порядок и [р] = А. Тогда для любого блока В к-го порядка (1<к<п) матрицы А, имеющего полные столбцы или полные строки, бинарное отношение т| Е для которого [т|] = В, тоже является частичным порядком.
Доказательство. Пусть В = [¡ь — ИкЗл ~ блок с полными столбцами. Согласно утверждению 3 существует перестановка у такая, что
[В *
, . Так как у[р] = Рр] и ур - тоже частичный порядок на Ы
п?
то на главной диагонали матрицы [ур] стоят единицы (рефлексивность) и
недиагональные симметричные относительно неё элементы в произведении дают нуль (антисимметричность). Ясно, что тогда матрица В
тоже удовлетворяет этим условиям. Поэтому отношение г| на с
матрицей [т|] = В является рефлексивным и антисимметричным. Далее,
замечаем, что [ур12 =
Б
2
. Так как ур - транзитивное и
рефлексивное отношение, то места расположения нулей у матриц [ур] и
[гр]2 одни и те же, а, значит, у матриц Б и Б2 также выполнено это
условие. Поэтому т| - тоже транзитивное отношение, т.е., окончательно, г|
- частичный порядок на Мк.
Аналогично доказывается в случае, когда Б - блок с полными
строками. Утверждение доказано.
Отметим, что если В - блок к-го порядка матрицы частичного
порядка р Е 1ВП, имеющий полные столбцы, то по утверждению 1
дополнительный блок Б' (п — к)-го порядка имеет полные строки, причём
по утверждению 6 существуют частичные порядки ц Е Вк и х ь Ш!п_ к,
матрицы которых соответственно равны Б и Б . Имеет место
Утверждение 7. Пусть р - частичный порядок на Мп, [р В = [и,— Ль]а - блок с полными столбцами, В' = ...,]п_ь
= А.
дополнительный блок к Б в А, \г< ■■ ■ < ^ < ■ ■ ■ < г| и х -частичные порядки соответственно на Мк и Мп_к с матрицами Б и В'. Если
1 ... к
подстановка
а (хх ... хк)
подстановка |3 =
подстановка ы
Е является нумерацией для т| и
п.—к /
п-к У:
... ...
ь
, + к .
нумерацией для Х-, т0
! Е является
■■ Уп-к "г" К/
нумерацией для р.
Доказательство. Пусть для некоторых Мп имеем (зД) Е р, т.е. А^ = 1. Так как — Ль ¿и — * Лп-к) = ^гъ т0 рассмотрим случаи:
1) зДЕО^.-Л};
2)
3) з Е {^.....уи г ЕЙ!,...^„-к];
4) зЕ01,...,)п_11}и1Е{111...1у.
В случае 1) найдутся и,уЕЫь такие, что в = 1ц и 1 = ^. Тогда 1 = А[ц1 ^ = В илг = [л]^. Но а - нумерация для г\, поэтому а (и) < а (у) и
В случае 2) найдём и,у Е для которых Б = )и и I = Тогда
|ЦЛ"
Т.к. (3 - нумерация для то
и
уи < yv. Откуда получаем со(з) = со0и) < со(]т) = В случае 3) при з Е {¿1,-..,1к} имеем <
а при
1 Е Ои—,]п_к} имеем со(1;} Е {к -Ь 1,...,п}, то есть, как и в случаях 1) и 2)
Оказывается, последний случай 4), когда з £ и I Е {[1г¡к)
ввиду А3л = 1 невозможен, т.к. все единицы в столбце под номером t в матрице А в силу полноты столбцов блока В могут располагаться только на местах [1г..а не на месте з. Утверждение доказано.
Основным результатом статьи является следующая
Теорема. Пусть р - отношение частичного порядка на множестве
Мп(п Е К и п > 2); ВьВг - все блоки к-го порядка (к, г Е М и к < п) матрицы [р], имеющие полные столбцы, и В^ В^ - их соответствующие
дополнения. Если ...,Т|Г и Х11— ~ отношения частичных порядков соответственно на множествах Мк и к такие, что [т|4] = и [&] = Б ^ при t Е Мг, то
г
t=l
Прежде, чем перейти к доказательству теоремы, сделаем некоторые замечания к её формулировке.
В формулировке теоремы условие полноты столбцов для блоков В -.... Вв силу утверждения 1 можно заменить на условие полноты их
строк.
Существование для любого к € И и к < п хотя бы одного блока к-го
порядка матрицы [р] с полными столбцами будет показано в начале
доказательства теоремы.
Существование отношений частичного порядка т^ на и & на
Мп_ для которых Ы = В4 и = Б(ХЕ Мг) следует из рассуждений,
проведённых перед формулировкой утверждения 7.
Если использовать ранее введённое понятие "пустого блока" (блока нулевого порядка), считая, что он имеет полные столбцы и полные строки, а также число нумераций соответствующего ему частичного порядка равно 1, то в формулировке теоремы очевидно можно было бы снять ограничения п > 2 и к < п (просто положить, что пЛк£^ик<п).
Доказательство теоремы. Так как р - частичный порядок на Ып, то
по известной теореме [2, теорема 4, стр. 49] существует нумерация со Е §п
для р. Согласно утверждению 5, матрица 10 [р] имеет верхнетреугольный
вид. Блок матрицы 10 [р] = [ыр], стоящий на рядах имеет полные
столбцы, а значит блок В = [со-1(1},...,со_1(к)]А матрицы А=[р]
согласно утверждению 2 тоже имеет полные столбцы. Мы показали, что матрица [р] имеет блок к-го порядка с полными столбцами, что и
аргументирует ранее сделанное замечание 2. Продолжаем свои рассуждения относительно произвольной нумерации со для р. Пусть В' -
дополнительный блок к В в А. Ясно, что Вг = [со-1(к + 1},...,со" 1(п)]А.
Согласно замечанию 3 существуют частичные порядки т| и ^
соответственно на 1УЬ и на такие, что [т|] = В и [х] = В . Далее,
существуют такие перестановки ^...х^ символов из Мк и ...уп_ь
символов из что со-3 (х±)<---< со-1 (хк) и
оГ1^! + к} < ■■ ■ < ш_1(уп_ь + к). Теперь положим ш" 1(х3) = ¡£ при
з € Мк и со" 1(у4 4- к) = ^ при I е Мп_к. Тогда В = 1к]А и
= Di.-Ji.-klA В силу того, что со(15)=х3 и со(^3=У4 + к
(зеМь1еМп_]Е) имеем у +к уТакая
запись нумерации для р совпадает с записью в формулировке утверждения
/1 к \
7. Покажем, что подстановки а = { "" 1 Е £§к и
\Х1 ■■■ хк/
„ /1 ... п-к^
р = С I Е эп_к являются нумерациями для Т| и для х \?1 ■■■ Уп-к/
соответственно. Действительно, если (р,ч) Е т|, где % то в силу
[т|] = В = имеем 1 = [т|]р ч = А^^ (учитываем, что
ii < -■■<iis), а, значит, (ipJiq)Ep. Но со - нумерация для р, поэтому co(ip) < co(iq), т.е. хр < xq и Gi(p) < a(q). Это и означает, что a -нумерация для т|. Аналогично показывается, что Р - нумерация для х
Итак, мы показали, что для любой нумерации to частичного порядка р найдётся такой блок k-го порядка В с полными столбцами, что со может
быть "собрана" по правилу из утверждения 7 с помощью некоторой нумерации a для т|, где [т|] = В, и некоторой нумерации (3 для х, где
Далее, по условию имеем к частичных порядков т^,...,т|к на Мк и г
частичных порядков Xii на У которых [ï|.t] = Bt и = BI.
Согласно утверждению 7, для каждой пары 0lt, ;<t}, где 1Е Мг, с помощью
произвольной нумерации а для T|t и произвольной нумерации (3 для %t мы
можем "собрать" нумерацию со для р, причём для различных пар (ос, (3) по
указанному в утверждении 7 правилу "собираются" различные нумерации со. Это означает, что для каждой пары (ï|tJ xt) при 1Е Мг мы можем
"собрать" по указанному правилу ровно m(r|t}m(xt) различных
нумераций. Замечаем, что "собирание" нумераций cos и cot с помощью
различных пар нумераций (as, (3S) и (at, (3t), где as - нумерация для T|s, |3S -
нумерация для Xs и at ~ нумерация для T|t, (3t - нумерация для Xt ПРИ s t
(5.r Е тоже будут различными. Это связано с тем, что набор номеров
рядов Шд на которых стоит блок В5, отличается от набора
номеров рядов 1(к), на которых стоит блок В*.
Таким образом, "собрать" нумерации для р с помощью нумераций,
соответствующим всем парам (т^, ^ при 1Е Мг, по правилу из
утверждения 7 мы можем ш = 5*=1тСп*)'111 (&) способами, причём
"собираемые" нами нумерации будут попарно различными. Откуда следует, что т(р} > ш. С другой стороны, мы показали, что всякая
нумерация для р может быть "собрана" указанным способом с помощью
конкретных нумераций, соответствующих какой-то конкретной паре (гь Это означает, что ш( р} < ш. Поэтому, окончательно получаем, что
^(о) = Теорема доказана.
В статье Кислицына С. С. [5] приводится формула, позволяющая
находить число нумерации частично упорядоченного множества (X, pj (р -некоторый частичный порядок на конечном множестве X):
где Xmiri - множество минимальных элементов в X, ш(Х) и т(Х\х) - в наших терминах число нумераций частичного порядка р на X и число нумераций ограничения частичного порядка р на Х\{х}. Ясно, что при X = Мп мы получаем эту формулу из теоремы при Ь = 1. Аналогичная двойственная формула, упоминаемая в [5], вида
где Хтях - множество максимальных элементов в X, следует из доказанной
теоремы при к = п — 1.
Таким образом, теорема обобщает указанные формулы (2) и (3) из [5]. Скажем несколько слов о возможных обозначениях числа частично упорядоченного множества (Х,р). В [5] используется обозначение гп(Х),
хотя понятно, что строже было бы обозначение, например, т(Х,р). У нас в
работе X - это одно из множеств Н^ = для некоторых 1 £ М. На
этом множестве М] может быть определён и другой частичный порядок,
например ф. Тогда имеем два частично упорядоченных множества ( р) и
(М^ ф), различающиеся не основным множеством X = Н|, а р и ф. Вот
почему, по-видимому, обозначения ш(р) и ш(ф) для числа нумераций
этих частично упорядоченных множеств являются более строгими (хотя не обязательно более удобными). С учётом определённости вида множества можно ввести ещё одно удобное обозначение числа нумераций
частично упорядоченного множества (га^р) - это т(А), где А - матрица
отношения р. Используя такое обозначение, мы можем
переформулировать доказанную выше теорему более кратко.
Теорема (вторая формулировка). Пусть р - частичный порядок на
Мп с матрицей А (п Е М и п > 2); В1,...,ВГ - все блоки к-го порядка
(к,г ёМи к< п) матрицы А с полными столбцами и В^, - их
соответствующие дополнения. Тогда
г
В работе [5], также как и в нашей работе, используются различные обозначения для числа нумераций. Например, для числа нумераций частично упорядоченного множества - обозначения с изображением его диаграммы.
В заключение отметим, что теорема во второй формулировке достаточно легко позволяет с использованием формулы (4) построить алгоритм расчёта числа ш(А), где А - матрица некоторого частичного
порядка на Мп. Используя такой алгоритм, нам до доказательства теоремы
удалось компьютерно проверить истинность соответствующей гипотезы при п < 5.
Литература
1. Белоусов А. И., Ткачёв С. Б. Дискретная математика / под редакцией В. С. Зарубина, А. П. Крищенко, М., 2001.
2. Биркгоф Г., Барти Т. Современная прикладная алгебра. М., 1976.
3. Каргополов М. И., Мерзляков Ю. И. Основы теории групп. Спб., 2009.
4. Кислицын С. С. Частично упорядоченные множества и k-расщепляемость / Сибирский математический журнал, Т. 8, №5, 1967, с. 1197-1201.
5. Кислицын С. С. Конечные частично упорядоченные множества и соответствующие им множества перестановок / Математические заметки, т. 4, №5, 1968, с. 511-518.
6. Roy T. Search and learning for the linear ordering problem with an application to machine translation / PhD thesis, Johns Hopkins University, 2009.
7. Титов Г. Н. О некоторых критериях триангулируемости матрицы / Вестник Армавирской государственной педагогической академии. Естественные и технические науки, №5, 2011, с. 89-92.
8. Титов Г. Н. Критерий принадлежности бинарного отношения отношению частичного порядка / Известия Кубанского государственного университета. Естественные науки, В. 1, 2012, с. 2-6.
References
1. Belousov A. I., Tkachjov S. B. Diskretnaja matematika / pod redakciej V. S. Zarubina, A. P. Krishhenko, M., 2001.
2. Birkgof G., Barti T. Sovremennaja prikladnaja algebra. M., 1976.
3. Kargopolov M. I., Merzljakov Ju. I. Osnovy teorii grupp. Spb., 2009.
4. Kislicyn S. S. Chastichno uporjadochennye mnozhestva i k-rasshhepljaemost' / Sibirskij matematicheskij zhurnal, T. 8, №5, 1967, s. 1197-1201.
5. Kislicyn S. S. Konechnye chastichno uporjadochennye mnozhestva i sootvetstvujushhie im mnozhestva perestanovok / Matematicheskie zametki, t. 4, №5, 1968, s. 511-518.
6. Roy T. Search and learning for the linear ordering problem with an application to machine translation / PhD thesis, Johns Hopkins University, 2009.
7. Titov G. N. O nekotoryh kriterijah trianguliruemosti matricy / Vestnik Armavirskoj gosudarstvennoj pedagogicheskoj akademii. Estestvennye i tehnicheskie nauki, №5, 2011, s. 89-92.
8. Titov G. N. Kriterij prinadlezhnosti binarnogo otnoshenija otnosheniju chastichnogo porjadka / Izvestija Kubanskogo gosudarstvennogo universiteta. Estestvennye nauki, V. 1, 2012, s. 2-6.
