TY - JOUR AU - Бондаренко, В. М. AU - Стойка, М. В. AU - Стьопочкіна, М. В. PY - 2022/05/12 Y2 - 2024/03/29 TI - Коефіцієнти транзитивності частково впорядкованих множин найвищого суперкритичного MM-типу JF - Науковий вісник Ужгородського університету. Серія «Математика і інформатика» JA - Sci. Bull. of Uzhhorod Univ. Ser. of Math. and Inf. VL - 40 IS - 1 SE - Математика та статистика DO - 10.24144/2616-7700.2022.40(1).11-18 UR - http://visnyk-math.uzhnu.edu.ua/article/view/256816 SP - 11-18 AB - <p>Зображення частково впорядкованих (скорочено ч. в.) множин, які введені Л. А. Назаровою і А. В. Ройтером (в матричній формі) в 1972 р., відіграють важливу роль в сучасній теорії зображень. У своїй першій праці за цією тематикою М. М. Клейнер довів, що ч. в. множина <em>S</em> має скінченний зображувальний тип (тобто має скінченне число нерозкладних зображень, з точністю до еквівалентності) тоді і лише тоді, коли вона не містить ч. в. підмножин вигляду <em>K</em><sub>1</sub><em>= </em>(1, 1, 1, 1), <em>K</em><sub>2</sub> <em>=</em> (2, 2, 2), <em>K</em><sub>3</sub><em> =</em> (1, 3, 3), <em>K</em><sub>4</sub> <em>=</em> (1, 2, 5) і <em>K</em><sub>5</sub><em> =</em> (N, 4). Вказані ч. в. множини називаються критичними ч. в. множин щодо скінченності типу (тобто вони є мінімальними ч. в. множинами з нескінченним числом нерозкладних зображень, з точністю до еквівалентності). Їх також називають (критичними) ч. в. множинами Клейнера. У 1974 р. Ю. А. Дрозд довів, що ч. в. множина <em>S</em> має скінченний зображувальний тип тоді і лише тоді, коли її квадратична форма Тітса</p><p><img src="https://drive.google.com/uc?export=view&amp;id=18wAtq7FHjbHThEPTfzwtO3J46vrlTbpD" /></p><p>є слабко додатною (тобто додатною на множині невід'ємних векторів). Таким чином, ч. в. множини Клейнера є критичними щодо слабкої додатності квадратичної форми Тітса, і інших таких ч. в. множин немає (з точністю до ізоморфізму). У 2005 р. автори довели що ч. в. множина є критичною щодо додатності квадратичної форми Титса тоді і лише тоді, коли вона мінімаксно ізоморфна деякій ч. в. множині Клейнера.</p><p>Подібну ситуацію маємо з ч. в. множинами ручного зображувального типу. У 1975 р. Л. А. Назарова довела, що ч. в. множина <em>S</em> є ручною тоді і лише тоді, коли вона не містить ч. в. підмножин вигляду <em>N</em><sub>1</sub> <em>=</em> (1, 1, 1, 1, 1), <em>N</em><sub>2</sub> <em>=</em> (1, 1, 1, 2), <em>N</em><sub>3</sub> <em>=</em> (2, 2, 3), <em>N</em><sub>4</sub><em> =</em> (1, 3, 4), <em>N</em><sub>5</sub> <em>=</em> (1, 2, 6) і (N, 5). Вона назвала ці ч. в. множини суперкритичними; вони є також критичними щодо слабкої невід'ємності квадратичної форми Тітса. У 2009 році автори довели, що ч. в. множина є критичною щодо невід'ємності квадратичної форми Тітса тоді і лише тоді, коли вона мінімаксно ізоморфна деякій суперкритичній ч. в. множині.</p><p>У цій статті вивчаються комбінаторні властивості ч. в. множин, мінімаксно ізоморфних суперкритичній ч. в. множині найбільшої висоти, тобто (1, 2, 6). Важливість вивчення мінімаксно ізоморфних ч. в. множин визначається тим фактом, що їх квадратичні форми Тітса ℤ-еквівалентні, а сам мінімаксний ізоморфізм є досить загальною конструктивно визначеною ℤ-еквівалентністю для квадратичних форм Тітса ч. в. множин.</p> ER -