| In other words, the group H in some sense has a similar algebraic structure as G and the homomorphism h preserves that. | Другими словами, группа Н в некотором смысле подобна алгебраической структуре G и гомоморфизм h сохраняет её. |
| More precisely, it is graph homomorphism φ from G to itself such that φ(v) = v for each vertex v in the subgraph φ(G). | Точнее, это гомоморфизм φ из G в себя, в котором φ(v) = v для каждой вершины v в подграфе φ(G). |
| The functoriality conjecture states that a suitable homomorphism of L-groups is expected to give a correspondence between automorphic forms (in the global case) or representations (in the local case). | В гипотезе функториальности утверждается, что подходящий гомоморфизм L-групп должен давать соответствие между автоморфными формами (в глобальном случае) или представлениями (в локальном случае). |
| For graphs G and H, the question of whether G has a homomorphism to H corresponds to a CSP instance with only one kind of constraint, as follows. | Для графов G и H вопрос, имеет ли граф G гомоморфизм в граф H, соответствует частному случаю задачи удовлетворения ограничений с только одним видом ограничений. |
| A semigroup homomorphism is a function that preserves semigroup structure. | Гомоморфизм полугрупп - это отображение, сохраняющее структуру полугруппы. |
| The last two staments correspond to the requirement that D is a group homomorphism. | Последние два утверждения соответствуют требованию, чтобы D было гомоморфизмом групп. |
| 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), что он является гомоморфизмом, и что получившаяся последовательность является точной. |
| Thus, a k-coloring of an undirected graph G may be described by a homomorphism from G to the complete graph Kk. | Тогда к-раскраска неориентированного графа G может быть описана гомоморфизмом графа G в полный граф Kk. |
| As with other universal properties, this means that d is the best possible derivation in the sense that any other derivation may be obtained from it by composition with an S-module homomorphism. | Как и с другими универсальными свойствами, это значит, что d - это наилучшее возможное дифференцирование, в том смысле, что любое другое дифференцирование может быть получено из него при помощи композиции с гомоморфизмом S {\displaystyle S} -модулей. |
| An equivalent definition of group homomorphism is: The function h: G -> H is a group homomorphism if whenever a b = c we have h(a) ⋅ h(b) = h(c). | Эквивалентное определение гомоморфизма группы: Функция h: G -> H является гомоморфизмом группы, если из a b = c следует h(a) ⋅ h(b) = h(c). |
| The purpose of defining a group homomorphism is to create functions that preserve the algebraic structure. | Цель определения гомоморфизма группы - создать функции, сохраняющие алгебраическую структуру. |
| 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). |
| This is because every undirected graph can be thought of as a directed graph where every arc (u, v) appears together with its inverse arc (v, u), and this does not change the definition of homomorphism. | Это потому, что любой неориентированный граф можно рассматривать как ориентированный, в котором любая дуга (u, v) появляется вместе с обратной дугой (v, u), а это не меняет определение гомоморфизма. |
| 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-полна. |