
Truth-table Unoids Satisfying the Urzyczyn's Conditions
Author(s) -
Дмитрий Ольгердович Дадеркин
Publication year - 2021
Publication title -
vestnik tverskogo gosudarstvennogo universiteta. seriâ prikladnaâ matematika
Language(s) - English
Resource type - Journals
ISSN - 1995-0136
DOI - 10.26456/vtpmk609
Subject(s) - table (database) , truth table , verifiable secret sharing , property (philosophy) , set (abstract data type) , mathematics , algebraic number , basis (linear algebra) , computer science , arithmetic , calculus (dental) , algorithm , epistemology , programming language , data mining , geometry , mathematical analysis , philosophy , medicine , dentistry
В работах П. Ужичина [1-3] были предложены достаточные условия табличности уноидов,однако эти алгебраические условия Ужичина трудно проверяемы на практике и не дают возможности строить нетривиальные примеры табличных уноидов.В данной работе вводятся понятия локально-заданных и разделённых уноидов и доказывается, что разделённые уноиды удовлетворяют условиям Ужичина. Таким образом, получены просто проверяемые достаточные условия, при выполнении которых уноид, в том числе и с достаточно сложно заданным связным множеством, является табличным. In the works of P. Urzyczyn [1-3] were suggested sufficient conditions of truth-table property of unoids, however, these algebraic conditions of Urzyczyn are difficult to be checked in practice and leave no possibilities to build non-trivial examplesof truth-table unoids.In this work concepts of locally-given and divided unoids are proposed, and it is proved that divided unoids satisfy the conditions of Urzyczyn. Thus, simply verifiable sufficient conditions are achieved, on the basis of which unoid, including with enough complicated specified connected underlying set, is truth-table.