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

Multigraphs do not in general obey Vizing's theorem.

Для мультиграфов, в общем случае, теорема Визинга не выполняется.

Obviously, the theorem is true for finite sets.

Очевидно, теорема верна для конечных множеств.

At first blush, the theorem appears quite convincing.

На первый взгляд, теорема выглядит вполне убедительной...

'One can conjecture' or 'Fermat's last theorem'.

"Единая гипотеза" или "последняя теорема Ферма".

If the given graph G has small treewidth, Courcelle's theorem can be applied directly to this problem.

Если данный граф G имеет малую древесную ширину, теорема Курселя может быть применена к этой проблеме непосредственно.

The Robertson-Seymour theorem has an important consequence in computational complexity, due to the proof by Robertson and Seymour that, for each fixed graph G, there is a polynomial time algorithm for testing whether larger graphs have G as a minor.

Теорема Робертсона - Сеймура имеет важное следствие в теории вычислительной сложности, поскольку Робертсон и Сеймур доказали, что для каждого фиксированного графа G существует алгоритм полиномиального времени для проверки, имеет ли больший граф G в качестве минора.

The Robertson-Seymour theorem proves that, for the particular case of graph minors, a family that is closed under minors always has a finite obstruction set.

Теорема Робертсона - Сеймура доказывает, что в определённых случаях миноров графа, семейство, замкнутое по минорам, всегда имеет конечное препятствующее множество.

Although the Robertson-Seymour theorem extends these results to arbitrary minor-closed graph families, it is not a complete substitute for these results, because it does not provide an explicit description of the obstruction set for any family.

Хотя теорема Робертсона - Сеймура распространяет эти результаты на произвольные замкнутые по минорам семейства графов, она не подменяет эти результаты, поскольку не даёт явного описания препятствующего множества для любого семейства.

The Robertson-Seymour theorem is named after mathematicians Neil Robertson and Paul D. Seymour, who proved it in a series of twenty papers spanning over 500 pages from 1983 to 2004.

Теорема Робертсона - Сеймура названа именами математиков Нейла Робертсона и Пола Сеймура, которые доказали её в серии из двадцати статей общим объёмом в 500 страниц, вышедших с 1983 по 2004 годы.

Notably, Seymour's decomposition theorem characterizes the regular matroids (the matroids representable by totally unimodular matrices) as the 3-sums of graphic matroids (the matroids representing spanning trees in a graph), cographic matroids, and a certain 10-element matroid.

Теорема разложения Сеймура описывает регулярные матроиды (матроиды, представляющие вполне унимодулярные матрицы) как З-суммы графических матроидов (матроиды, представляющие остовные деревья), кографические матроиды и некоторые 10-элементные матроиды.

The De Bruijn-Erdős theorem also applies directly to hypergraph coloring problems, where one requires that each hyperedge have vertices of more than one color.

Теорема де Брёйна - Эрдёша также применима прямо к задачам раскраски гиперграфов, где требуется, чтобы каждое гиперребро имело вершины более одного цвета.

The original De Bruijn-Erdős theorem is the case k = ℵ0 of this generalization, since a set is finite if and only if its cardinality is less than ℵ0.

Оригинальная теорема де Брёйна - Эрдёша является частным случаем к = ℵ0 этого обобщения, поскольку множество конечно тогда и только тогда, когда его мощность меньше ℵ0.

The De Bruijn-Erdős theorem shows that, for this problem, there exists a finite unit distance graph with the same chromatic number as the whole plane, so if the chromatic number is greater than five then this fact can be proved by a finite calculation.

Теорема де Брёйна - Эрдёша показывает, что для этой задачи существует конечный граф единичных расстояний с тем же хроматическим числом, что и вся плоскость целиком, так что если хроматическое число больше четырёх, то этот факт может быть доказан конечными вычислениями.

Elekes and Csaba Toth noted that the Erdős-Beck theorem does not easily extend to higher dimensions.

Элекеш и Чаба Тоз заметили, что теорема Эрдёша - Бека не распространяется легко на более высокие размерности.

If a graph does not have finite chromatic number, then the De Bruijn-Erdős theorem implies that it must contain finite subgraphs of every possible finite chromatic number.

Если граф не имеет конечного хроматического числа, тогда из теоремы де Брёйна - Эрдёша следует, что граф должен содержать конечные подграфы для каждого возможного хроматического числа.

Hall (2015, Theorem 4.34 and following discussion.)

Hall, 2015, с. Theorem 4.34 и последующее обсуждение.

A proof of this fact can be found in (Hörmander 1990, pp. 25), Theorem 1.4.1.

Доказательство этого факта можно найти в статье Хёрмандера (Hörmander 1990, С. 25), Theorem 1.4.1.

It is a specific instance of the far more general shape discussed in Blaise Pascal's 1639 Hexagrammum Mysticum Theorem.

Уникурсальная гексаграмма является специфичным видом более общей формы, которую обсуждал Блез Паскаль в теореме 1639-го года Hexagrammum Mysticum Theorem.

Two of Kripke's earlier works, A Completeness Theorem in Modal Logic and Semantical Considerations on Modal Logic, the former written when he was a teenager, were on modal logic.

Две первые работы Крипке - А Completeness Theorem in Modal Logic и Semantical Considerations on Modal Logic (написанная еще в школе) - посвящены модальной логике.

This is due to the alternate segment theorem, which states that the angle between the tangent and chord equals the angle in the alternate segment.

Это связано с теоремой об отрезке круга, дополнительном данному (the alternate segment theorem,), в которой говорится, что угол между касательной и хордой равен вписанному в окружность углу, опирающемуся на эту хорду.

Noether's formula is the first case of the Riemann-Roch theorem for surfaces.

Формула Нётера была первым случаем теоремы Римана - Роха для поверхностей.

Actually, his proof of the Riemann-Roch theorem works for arbitrary perfect base fields, not necessarily finite.

Фактически, его доказательство теоремы Римана - Роха работает для произвольных совершенных базовых полей, не обязательно конечных.

For comparison, the Riemann-Roch theorem for a curve states that χ(D) = χ(0) + deg(D).

Для сравнения, теорема Римана - Роха для кривой утверждает, что χ (D) = χ (0) + d e g (D) {\displaystyle \chi (D)=\chi (0)+deg(D)}.

The latter condition allows one to transfer the notions and methods of complex analysis dealing with holomorphic and meromorphic functions on C to the surface X. For the purposes of the Riemann-Roch theorem, the surface X is always assumed to be compact.

Последнее условие позволяет перенести термины и методы комплексного анализа, имеющие дело с голоморфными и мероморфными функциями на С, на поверхность Х. Для целей теоремы Римана - Роха, поверхность Х всегда предполагается компактной.

The form of the Riemann-Roch theorem on a surface was also worked out.

Версия теоремы Римана - Роха для поверхностей также была получена.