| In the language of homomorphisms, Grötzsch's theorem states that every triangle-free planar graph has a homomorphism to K3. | На языке гомоморфизмов теорема Грёча утверждает, что любой свободный от треугольников планарный граф имеет гомоморфизм графу КЗ. |
| In general, S is an antihomomorphism, so S2 is a homomorphism, which is therefore an automorphism if S was invertible (as may be required). | Вообще говоря, S - антигомоморфизм, так S2 - гомоморфизм, который является поэтому автоморфизмом, если S было обратимо (как может требоваться). |
| 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)-раскраска - это локально инъективный гомоморфизм в дополнение пути, что означает, что он должен быть инъективным в окрестности каждой вершины. |
| These are the graphs K such that a product G× H has a homomorphism to K only when one of G or H also does. | Это графы К, такие что произведение G× H {\displaystyle G\times H} имеет гомоморфизм в K только тогда, когда один из графов G или H имеет такой гомоморфизм. |
| A homomorphism between orientations of graphs G and H yields a homomorphism between the undirected graphs G and H, simply by disregarding the orientations. | Гомоморфизм между ориентациями графов G и H даёт гомоморфизм между неориентированными графами G и H, если просто игнорировать ориентации. |
| An oriented coloring of a directed graph is a homomorphism into any oriented 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 является гомоморфизмом. |
| The function mapping v0 and v1 in the cover to v in the original graph is a homomorphism and a covering map. | Функция, отображающая v0 и v1 в v исходного графа является гомоморфизмом и накрывыающим отображением. |
| 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. | Это эквивалентно вышеприведенному понятию, поскольку любой плотный морфизм между двумя абелевыми многообразиями одной и той же размерности является автоматически сюръективным и имеет конечные слои, а если он сохраняет единицы, то он является гомоморфизмом групп. |
| 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} -модулей. |
| 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. |
| 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-полна. |