| Algorithmically, the problem of recognizing linkless and flat embeddable graphs was settled once the forbidden minor characterization was proven: an algorithm of Robertson & Seymour (1995) can be used to test in polynomial time whether a given graph contains any of the seven forbidden minors. |
Алгоритмически задача распознавания вложимых без зацеплений и плоско вложимых графов была решена, когда была доказана характеризация запрещёнными минорами - алгоритм Робертсона и Сеймура может быть использован для проверки за полиномиальное время, содержит ли заданный граф любой из семи запрещённых миноров. |
| In turn, imposing restrictions on the available resources is what distinguishes computational complexity from computability theory: the latter theory asks what kind of problems can, in principle, be solved algorithmically. |
Сильное ограничение доступных ресурсов отличает теорию вычислительной сложности от вычислительной теории, последняя отвечает на вопрос какие задачи, в принципе, могут быть решены алгоритмически. |
| The song's popularity has been attributed to the Elsagate phenomenon of potentially disturbing or absurd YouTube videos being algorithmically shown to children through the YouTube website and the YouTube Kids app. |
Популярность песни объясняется феноменом Эльзагата, который может привести видео на YouTube к потенциальному беспорядку или абсурду, если алгоритмически показывать их детям через сайт YouTube и через приложение YouTube Kids. |
| The news of the protests was all over my algorithmically unfiltered Twitter feed, but nowhere on my Facebook. Was it my Facebook friends? |
Новости о протестах заполонили мой алгоритмически нефильтрованный Twitter, но в моём Facebook их не было. Может, это из-за моих друзей в Facebook? |
| He went on to prove that there was no solution to the Entscheidungsproblem by first showing that the halting problem for Turing machines is undecidable: in general, it is not possible to decide algorithmically whether a given Turing machine will ever halt. |
Далее Тьюринг показал, что не существует решения Entscheidungsproblem, сперва доказав, что Проблема остановки для машины Тьюринга неразрешима: в общем случае невозможно алгоритмически определить, остановится ли когда-нибудь данная машина Тьюринга. |