Cтраница 1
Проблема вхождения неразрешима уже в группе Р2 - КРг, а ее разрешимость не следует из условий малого сокращения. [1]
Чеботарева Л К, О проблеме вхождения для свободных и почти свободных структур Сибирск. [2]
Если мы фиксируем некрое п и ограничиваемся рассмотрением проблемы вхождения в М только для первых га натуральных чисел, то мы получаем ограниченную алгоритмическую проблему. Величина К ( М, п) интуитивно выражает количество информации, к-рую надо иметь, чтобы можно было решить данную ограниченную проблему. В частности, множество М рекурсивно тогда и только тогда, когда К ( М, га) ограничено сверху нск-рой константой. [3]
Однако для того чтобы полностью изменить социальный статус, у индивидов часто возникает проблема вхождения в новую субкультуру группы с более высоким статусом, а также связанная с этим проблема взаимодействий с представителями новой социальной среды. Для преодоления культурного барьера и барьера общения существует несколько способов, к которым так или иначе прибегают индивиды в процессе социальной мобильности. [4]
Как отмечалось в 2.2.7 ( а), эта группа есть свободное произведение двух свободных групп с объединенными бесконечными циклическими подгруппами, и, очевидно, условия предложения 2.2.9 выполнены. То же самое относится и к любому свободному произведению двух свободных групп с объединенными конечно порожденными подгруппами, поскольку в силу следствия 2.1.12 проблема вхождения для конечно порожденных подгрупп свободной группы разрешима, а из общих принципов теории вычислимости следует, что любой изоморфизм конечно порожденных групп всегда эффективно вычислим. [5]
Пусть G - конечно определенная группа. Тогда: 1) если G является ФА-группой, то в G разрешима проблема равенства, 2) если G является ФАС-груп-пой, то в G разрешима проблема сопряженности, 3) если G является ФАВК. G разрешима проблема вхождения в конечно порожденные подгруппы. [6]
Множества, для к-рых сформулированная выше проблема разрешима, наз. Одним из инструментов для такой классификации служит понятие сводимости. На интуитивном уровне множество А сводимо к множеству В, если существует алгоритм, к-рый решал бы проблему вхождения элементов для множества А при условии, что есть возможность по мере надобности пользоваться информацией о принадлежности тех или иных натуральных чисел множеству В. В этом случае А оказывается в определенном смысле рекурсивным относительно В, а обычные рекурсивные множества - рекурсивными относительно любого множества. Такая сводимость в самом общем виде ( точная формулировка к-рой достаточно сложна) наз. Накладывая те или иные ограничения на алгоритм, участвующий в понятии сводимости, приходят к определению других сводимостей, напр. [7]
Так, в классе всех полугрупп конечно определенная полугруппа задается ассоциативным исчислением Туэ. В классе всех ассоциативных алгебр конечно определенная алгебра представляется в виде фактор-алгебры свободной ассоциативной алгебры. Однако такое задание вряд ли может быть полезным для эффективных вычислений. Дело в том, что при таком способе задания проблема равенства слов и проблема вхождения в идеал оказываются алгоритмически неразрешимыми. После этого трудно ожидать, что какие-либо разумные свойства алгебраических объектов будут эффективно распознаваемы. Действительно, известны марковские свойства, алгоритмическая нераспознаваемость которых доказана. [8]
Второй чаще избирают студенты тех вузов, где адаптация основана на внутривузовской цели комплексного характера - сформировать образцового студента. Оба пути приводят к созданию из первокурсника благополучного участника учебно-воспитательного процесса. А поскольку проводится усиленная работа по формированию учащегося, возникает проблема последующего вхождения этого ученика в роль профессионала. [9]