Перевод lemma с английского на русский

• лемма
• глосса
• аннотация
• рукопожатиях
• цветковая

Лемма (примеров 44)

Lemma 5 cannot be generalized to arbitrary artinian rings.
Лемма 5 не обобщается на случай произвольных артиновых колец.

The forking lemma has been used to prove the security of a variety of digital signature schemes and other random-oracle based cryptographic constructions.
На практике, лемма разветвления широко используется для доказательства безопасности различных схем цифровой подписи и других криптографических конструкций на основе случайного оракула.

The expander mixing lemma states that, for any two subsets of the vertices S, T ⊆ V, the number of edges between S and T is approximately what you would expect in a random d-regular graph.
Лемма о перемешивании утверждает, что для любых двух подмножеств вершин S, T ⊆ V {\displaystyle S, T\subseteq V} число рёбер между S и T примерно равно числу рёбер в случайном d-регулярном графе.

To prove Berge's lemma, we first need another lemma.
Для доказательства леммы Берж нам сначала нужна другая лемма.

The handshaking lemma is also used in proofs of Sperner's lemma and of the piecewise linear case of the mountain climbing problem.
Лемма о рукопожатиях также использована в одном из доказательств леммы Шпернера, а также задачи «о восхождении на гору».

Рукопожатиях (примеров 6)

On the other hand, if every vertex has at most two neighbors, then by the handshaking lemma the number of edges is at most the number of vertices.
С другой стороны, если любая вершина имеет максимум два соседа, то по лемме о рукопожатиях число рёбер не превосходит числа вершин.

It follows from the handshaking lemma, proven by Leonhard Euler in 1736 as part of the first paper on graph theory, that every cubic graph has an even number of vertices.
Из леммы о рукопожатиях, доказанной Эйлером в 1736 году, как части его первой работы по теории графов, следует, что любой кубический граф имеет чётное число вершин.

If a 3-regular graph is Hamiltonian, its edges can be colored with three colors: use alternating colors for the edges on the Hamiltonian cycle (which must have even length by the handshaking lemma) and a third color for all remaining edges.
Если З-однородный граф гамильтонов, его рёбра могут быть выкрашены в три цвета - используем поочерёдную раскраску рёбер двумя цветами вдоль гамильтонова цикла (который должен иметь чётную длину по лемме о рукопожатиях), а третьим цветом выкрашиваем все оставшиеся рёбра.

In graphs in which all vertices have odd degree, an argument related to the handshaking lemma shows that the number of Hamiltonian cycles through any fixed edge is always even, so if one Hamiltonian cycle is given, then a second one must also exist.
В графах, в которых все вершины имеют нечётную степень, довод, связанный с леммой о рукопожатиях, показывает, что число гамильтоновых циклов через фиксированное ребро всегда чётно, так что если дан один гамильтонов цикл, то и другой должен существовать.

The handshaking lemma is also used in proofs of Sperner's lemma and of the piecewise linear case of the mountain climbing problem.
Лемма о рукопожатиях также использована в одном из доказательств леммы Шпернера, а также задачи «о восхождении на гору».