| In the language of homomorphisms, Grötzsch's theorem states that every triangle-free planar graph has a homomorphism to K3. | На языке гомоморфизмов теорема Грёча утверждает, что любой свободный от треугольников планарный граф имеет гомоморфизм графу КЗ. |
| 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). |
| Graph C {\displaystyle C} is a core if every homomorphism f: C -> C {\displaystyle f:C\to C} is an isomorphism, that is it is a bijection of vertices of C {\displaystyle C}. | Граф С {\displaystyle C} является ядром, если любой гомоморфизм f: C -> C {\displaystyle f:C\to C} является изоморфизмом, то есть, это биекция вершин C {\displaystyle C}. |
| 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. | В областях математики, где группы снабжаются дополнительными структурами, гомоморфизм иногда понимается как отображение, сохраняющее не только структуру группы (как выше), но и дополнительную структуру. |
| Such an isogeny f then provides a group homomorphism between the groups of k-valued points of A and B, for any field k over which f is defined. | Такая изогения f даёт гомоморфизм групп между группами k-значных точек многообразий A и B для любого поля k, над которым f определено. |
| A circular coloring is then, according to the second definition above, a homomorphism into a circular complete graph. | Цикловая раскраска тогда, согласно второму определению выше, является гомоморфизмом в цикловой полный граф. |
| The map h: Z -> Z/3Z with h(u) = u mod 3 is a group homomorphism. | Отображение h: Z -> Z/3Z с h(u) = u mod 3 является гомоморфизмом. |
| 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. |
| This is equivalent to the above notion, as every dense morphism between two abelian varieties of the same dimension is automatically surjective with finite fibres, and if it preserves identities then it is a homomorphism of groups. | Это эквивалентно вышеприведенному понятию, поскольку любой плотный морфизм между двумя абелевыми многообразиями одной и той же размерности является автоматически сюръективным и имеет конечные слои, а если он сохраняет единицы, то он является гомоморфизмом групп. |
| A function between two cyclically ordered sets, f: X -> Y, is called a monotonic function or a homomorphism if it pulls back the ordering on Y: whenever, one has. | Функция между двумя циклически упорядоченными множествами, f: X -> Y, называется монотонной функцией или гомоморфизмом, если она сохраняет порядок на Y - если, имеем. |
| 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). |
| Let a be a root of f; we can then form the ring Z. There is a unique ring homomorphism φ from Z to Z/nZ that maps a to m. | Пусть а корень f; тогда существует кольцо Z. Тогда существует единственное кольцо гомоморфизма (англ.) φ между Z и Z/nZ, которое отображает a в m. |
| 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. |
| 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 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-полна. |