Cтраница 1
Проблема равенства разрешима для свободных разрешимых групп, свободных полинильпотентных групп. [1]
Проблема равенства не разрешима в любом надмногообразии многообразия VarS и разрешима в любом собственном многообразии этого многообразия. [2]
Проблема равенства для К состоит в указании алгоритма для распознавания верности любого равенства вида h g в Л, где A, g - многочлены. & hr gr - - / g во всех алгебрах класса К, то из теоремы Мак-Кинси следует ( ср. К финитно аппроксимируемы, то проблема равенства для алгебр класса К, заданных определяющими соотношениями, алгоритмически разрешима. Принимая во внимание теорему 2, видим, что проблема равенства слов, в частности, алгоритмически разрешима для коммутативных полугрупп. [3]
Проблема равенства разрешима для свободных разрешимых групп, свободных полинилъпотентных групп. [4]
Решена проблема равенства для произвольной фундаментальной группы узла. В настоящее время усилиями Терстена и других авторов для широкого класса 3-многообразий также решена проблема равенства. Так как любая конечно определенная группа реализуема как фундаментальная группа 4-многообразия, то проблема стягиваемости для 4-многообразия неразрешима. Проблема гомеоморфизма неразрешима уже в классе триангулируемых 4 - многообразий. Не существует алгоритма, распознающего пятимерную сферу. [5]
Поскольку проблема равенства разрешима в любой конечно определенной финитно аппроксимируемой алгебре, из результатов работы А. [6]
Решена проблема равенства для произвольной фундаментальной группы узла. В настоящее время усилиями Терстена и других авторов для широкого класса 3-многообразий также решена проблема равенства. Так как любая конечно определенная группа реализуема как фундаментальная группа 4-многообразия, то проблема стягиваемости для 4-многообразия неразрешима. Проблема гомеоморфизма неразрешима уже в классе триангулируемых 4-многообразий. Не существует алгоритма, распознающего пятимерную сферу. [7]
При этом проблема равенства их прав до сих пор серьезно не исследо-иалась. В настоящий момент никто не отрицает, что основное право на революцию, в силу ее стихийного начала и. Но существует вторая сторона вопроса - кому отдать первенство в организационно-техническом оформлении революции. И здесь мы видим двух конкурентов - Государственную думу и Петроградский Совет. [8]
Разрешима ли проблема равенства КС-языков, задаваемых детерминированными МП-автоматами. Для детерминированных МП-автоматов, действующих в реальное время ( без е-перехо-дов) и с заключительным опустошением магазина, доказана разрешимость этой проблемы. [9]
Геометрическое решение проблемы равенства для группы кос почти очевидно. Проблема сопряженности для нее также имеет положительное решение. Проблема эквивалентности узлов пока не решена. [10]
Геометрическое решение проблемы равенства для группы кос почти очевидно. Проблема сопряженности для нее также имеет положительное решение. Проблема эквивалентности узлов пока не решена. [11]
В классическом варианте проблема равенства ставится для конечно определенной группы. [12]
В G разрешима проблема равенства. [13]
В классическом варианте проблема равенства ставится для конечно определенной группы. [14]
Мы отказываемся решать проблему равенства для многообразий Vv, которые не допускают таких представлений. [15]