На множестве
из
элементов дано бинарное ассиметричное отношение
, включающее
пар.
1) При каком
отношение является отношением линейного порядка на
?
2) Отношение
получено из отношения
симметричным, а затем рефлексивным замыканиями. При этом полученное отношение оказалось отношением эквивалентности. Нарисуйте граф возможного отношения
с такими свойствами.
3) В условиях предыдущего пункта: чему равно
? Перечислите все возможные значения.
1) Ввиду того, что нам нужна рефлексивность, заполняем диагональ матрицы единицами (то есть минимум семь элементов). Ясно, что при
отношение будет симметричным, потому нам не подходит этот вариант. Понятно, что
вполне может быть. Достаточно взять любой внедиагональный элемент матрицы.
Чтобы получить остальные возможные значения
(при которых возможен линейный порядок), можно взять единичную матрицу и заполнять элементы над диагональю, при этом будут получаться антисимметричные отношения.
При этом максимальное
будет равно
. При этом
может принимать все промежуточные целые значения между
u
.
Но не все из этих отношений будут транзитивны. Как посчитать количество транизитвных? Или проще просто в лоб выписать для каждого
из указанного целочисленного диапазона?
2) Что-то я не понял, нужно просто просто на каждом элементе петлю нарисовать, да и использовать ориентированные ребра для зарисовки?
3) А разве не для всех целочисленных
из диапазона
до
это возможно?