| In the language of homomorphisms, Grötzsch's theorem states that every triangle-free planar graph has a homomorphism to K3. | На языке гомоморфизмов теорема Грёча утверждает, что любой свободный от треугольников планарный граф имеет гомоморфизм графу КЗ. |
| Naserasr showed that every triangle-free planar graph also has a homomorphism to the Clebsch graph, a 4-chromatic graph. | Насераср показал, что любой свободный от треугольников планарный граф также имеет гомоморфизм в граф Клебша, 4-хроматический граф. |
| In other words, if a graph H can be colored with k colors, and there is a homomorphism from G to H, then G can also be k-colored. | Другими словами, если граф Н может быть выкрашен в к цветов и существует гомоморфизм G в H, то G может быть также выкрашен в k цветов. |
| An L(2,1)-coloring is a homomorphism into the complement of the path graph that is locally injective, meaning it is required to be injective on the neighbourhood of every vertex. | L(2,1)-раскраска - это локально инъективный гомоморфизм в дополнение пути, что означает, что он должен быть инъективным в окрестности каждой вершины. |
| In areas of mathematics where one considers groups endowed with additional structure, a homomorphism sometimes means a map which respects not only the group structure (as above) but also the extra structure. | В областях математики, где группы снабжаются дополнительными структурами, гомоморфизм иногда понимается как отображение, сохраняющее не только структуру группы (как выше), но и дополнительную структуру. |
| A circular coloring is then, according to the second definition above, a homomorphism into a circular complete graph. | Цикловая раскраска тогда, согласно второму определению выше, является гомоморфизмом в цикловой полный граф. |
| A 3-coloring of a graph G may be described by a graph homomorphism from G to a triangle K3. | Раскраска в З цвета графа G может быть описана гомоморфизмом графов из G в треугольник K3. |
| Now one has to check that d is well-defined (i.e., d(x) only depends on x and not on the choice of y), that it is a homomorphism, and that the resulting long sequence is indeed exact. | Остаётся проверить, что d корректно определён (то есть d(x) зависит только от x, а не от выбора y), что он является гомоморфизмом, и что получившаяся последовательность является точной. |
| The coloring of the graph may then be recovered by composing this homomorphism with the homomorphism from this tensor product to its K3 factor. | Раскраска графа может быть тогда получена путём суперпозиции этого гомоморфизма с гомоморфизмом из их тензорного произведения в их КЗ множитель. |
| The conditions on φ can be rephrased as saying that φ is a ring homomorphism from the cobordism ring of manifolds (with additional structure) to another ring. | Условия на φ можно переформулировать, сказав, что φ является гомоморфизмом кольца кобордизмов многообразий (с учётом структуры) в другое кольцо. |
| Constraint satisfaction problems, which generalize graph homomorphism problems, can express various additional types of conditions (such as individual preferences, or bounds on the number of coinciding assignments). | Задачи удовлетворения ограничений, которые обобщают задачи гомоморфизма графа, могут выражать дополнительные типы условий (такие как индивидуальные предпочтения или ограничения на число совпадающих назначений). |
| In general, the question of finding a homomorphism from one relational structure to another is a constraint satisfaction problem (CSP). | В общем случае вопрос поиска гомоморфизма из одной структуры в другую является задачей удовлетворения ограничений (англ. constraint satisfaction problem, CSP). |
| The computational complexity of finding a homomorphism between given graphs is prohibitive in general, but a lot is known about special cases that are solvable in polynomial time. | Вычислительная сложность поиска гомоморфизма между заданными графами в общем случае запредельная, но известно много частных случаев, когда задача выполнима за полиномиальное время. |
| For each such pair, we can apply the ring homomorphism φ to the factorization of a+ba, and we can apply the canonical ring homomorphism from Z to Z/nZ to the factorization of a+bm. | Для каждой такой пары чисел (а, Ь) мы можем применить кольцо гомоморфизма φ для факторизации a+ba и каноническое кольцо гомоморфизма от Z до Z/nZ для факторизации a+bm. |
| The important statement of the lemma is that a connecting homomorphism d exists which completes the exact sequence. | Важная часть утверждения леммы состоит в существоании связывающего гомоморфизма d, включающегося в точную последовательность. |
| The homomorphism problem with a fixed graph H on the right side of each instance is also called the H-coloring problem. | Задача о гомоморфизме с фиксированным графом Н с правой стороны каждого экземпляра называется задачей Н-раскраски. |
| In the language of parameterized complexity, this formally states that the homomorphism problem in G {\displaystyle {\mathcal {G}}} parameterized by the size (number of edges) of G exhibits a dichotomy. | На языке параметризованной сложности это утверждение формально гласит, что задача о гомоморфизме с графом G {\displaystyle {\mathcal {G}}}, параметризованная по размеру (числу рёбер) графа G, показывает дихотомию. |
| For a graph G of treewidth at most k and a graph H, the homomorphism problem can be solved in time |V(H)|O(k) with a standard dynamic programming approach. | Для графа G с древесной шириной, не превосходящей k, и графа H задача о гомоморфизме может быть решена за время|V(H)|O(k) стандартными методами динамического программирования. |
| In the graph homomorphism problem, an instance is a pair of graphs (G, H) and a solution is a homomorphism from G to H. The general decision problem, asking whether there is any solution, is NP-complete. | В задаче о гомоморфизме графа экземпляр задачи состоит из пары графов (G, H), а решением является гомоморфизм из G в H. Общая задача разрешимости, спрашивающая, имеется ли решение этой задачи, NP-полна. |