Browse
Recent Submissions
Now showing 1 - 5 of 7
- ItemВолодимир Васильович Кириченко(2019) Олійник, Андрій; Олійник, БогданаСтаттю присвячено пам’ятi видатного українського математика i педагога, одного iз засновникiв київської школи теорiї зображень i теорiї кiлець, професора Київського нацiонального унiверситету iменi Тараса Шевченка Володимира Васильовича Кириченка.
- ItemSolvable Lie algebras of derviations of rank one(2019) Petravchuk, Anatolii; Sysak, KaterynaLet K be a field of characteristic zero, A = K[x1,...,xn] the polynomial ring and R = K(x1,...,xn) the field of rational functions in n variables over K. The Lie algebra Wn(K) of all K-derivations on A is of great interest since its elements may be considered as vector fields on Kn with polynomial coefficients. If L is a subalgebra of Wn(K), then one can define the rank rkAL of L over A as the dimension of the vector space RL over the field R. Finite dimensional (over K) subalgebras of Wn(K) of rank 1 over A were studied by the first author jointly with I. Arzhantsev and E. Makedonskiy. We study solvable subalgebras L of Wn(K) with rkAL = 1, without restrictions on dimension over K. Such Lie algebras are described in terms of Darboux polynomials.
- ItemComputing the Moore-Penrose inverse for bidiagonal matrices(2019) Hakopian, YuriThe Moore-Penrose inverse is the most popular type of matrix generalized inverses which has many applications both in matrix theory and numerical linear algebra. It is well known that the Moore-Penrose inverse can be found via singular value decomposition. In this regard, there is the most effective algorithm which consists of two stages. In the first stage, through the use of the Householder reflections, an initial matrix is reduced to the upper bidiagonal form (the Golub-Kahan bidiagonalization algorithm). The second stage is known in scientific literature as the Golub-Reinsch algorithm. This is an iterative procedure which with the help of the Givens rotations generates a sequence of bidiagonal matrices converging to a diagonal form. This allows to obtain an iterative approximation to the singular value decomposition of the bidiagonal matrix. The principal intention of the present paper is to develop a method which can be considered as an alternative to the Golub-Reinsch iterative algorithm. Realizing the approach proposed in the study, the following two main results have been achieved. First, we obtain explicit expressions for the entries of the Moore-Penrose inverse of bidigonal matrices. Secondly, based on the closed form formulas, we get a finite recursive numerical algorithm of optimal computational complexity. Thus, we can compute the Moore-Penrose inverse of bidiagonal matrices without using the singular value decomposition.
- ItemНеперервнi частковi вiдображення на блок-схемах(2019) Кочубiнська, Євгенія; Челнокова, ГаннаУ роботi розглядаються неповнi збалансованi блок-схеми – системи k-елементних пiдмножин (блокiв) деякої скiнченної множини елементiв, таких, що кожний елемент мiститься в r блоках та кожна пара елементiв мiститься в λ блоках. Блок-схеми були введенi для планування статистичних дослiджень та згодом отримали багато iнших використань. На блок-схемi можна визначити частковi неперервнi вiдображення, тобто такi частковi вiдображення, при яких прообразом кожного блоку є блок або пуста множина. Наведено основнi вiдомi властивостi часткових неперервних вiдображень на блок-схемах. Однiєю з важливих властивостей, що, зокрема, дає необхiдну умову iснування неперервних часткових вiдображень на данiй блок-схемi, є лема однорiдностi: для непустого неперервного часткового вiдображення на блок-схемi кiлькiсть елементiв у (непустому) прообразi кожного елемента фiксована i дорiвнює числу d, що дiлить розмiр блокiв k. Дуальна гiпотеза однорiдностi припускає, що кожен блок, що є прообразом якогось iншого блоку, має бути прообразом фiксованого числа блокiв. Виконання цiєї гiпотези дозволило б отримати не менш важливу властивiсть блок-схем i неперервних вiдображень на них та отримати новий спосiб побудови блок-схем, як образiв блок-схем при неперервних вiдображеннях. Основним новим результатом роботи є контрприклад до дуальної гiпотези однорiдностi, який був побудований як складена блок-схема – блок-схема, множина блокiв якої розбивається на групи блокiв, кожна з яких утворює блоксхему на тiй самiй множинi елементiв. В останньому роздiлi отримано двi необхiднi умови складеностi блок-схеми. Також у роботi наводиться спосiб зведення задачi пошуку блок-схеми з заданими параметрами до задачi булевої або псевдобулевої виконуваностi. Наведено явний алгоритм побудови систем булевих або псевдобулевих виразiв еквiвалентних задачi пошуку блок-схеми та продемонстровано результати застосування до вiдповiдних задач iснуючих програм для їх розв’язку.
- ItemМетрична розмiрнiсть кiстякових дерев унiциклiчних графiв(2019) Дуденко, МаргаритаНайменшу за потужнiстю множину M ∈ V скiнченного графа G = (V,E) таку, що для будьякої пари вершин u,v ∈ V iснує принаймнi одна вершина t ∈ M, для якої має мiсце нерiвнiсть dG(t,v) 6= dG(t,u), називають метричним базисом, а потужнiсть множини M – метричною розмiрнiстю. Оскiльки, як вiдомо, пошук метричної розмiрностi для довiльного графа є NP-важкою проблемою, то пошук метричної розмiрностi графiв обмежують пошуком для певних родин графiв. Для унiциклiчних графiв, тобто графiв, що мiстять рiвно один цикл, пiсля вилучення ребра можна отримати дерево. Метою статтi є встановлення зв’язку мiж унiциклiчним графом, що має метричну розмiрнiсть 2, та метричними розмiрностями його кiстякових дерев залежно вiд способу вилучення ребра