| Conversely, Kőnig's theorem proves the perfection of the complements of bipartite graphs, a result proven in a more explicit form by Gallai (1958). | Следовательно, теорема Кёнига доказывает совершенство дополнений двудольных графов, то есть результат, выраженный в более явной форме у Галаи (Gallai, 1958). |
| Discharging is most well known for its central role in the proof of the Four Color Theorem. | Гипотеза была значимой, поскольку из её верности следовала бы теорема четырёх красок. |
| The Kővári-Sós-Turán theorem, named after Tamás Kővári, Vera T. Sós, and Pál Turán, provides an upper bound on the solution to the Zarankiewicz problem. | Теорема Ковари-Сос-Турана, названная именами Тамаса Ковари, Веры Т.Сос и Пала Турана, даёт верхнюю границу для задачи Заранкиевича. |
| The first theorem considers any four circles passing through a common point M and otherwise in general position, meaning that there are six additional points where exactly two of the circles cross and that no three of these crossing points are collinear. | Первая теорема рассматривает любые четыре окружности, проходящие через общую точку М, а в остальном находящиеся в общем положении, что значит, имеется шесть дополнительных точек пересечения этих окружностей, и пусть никакие три из этих точек пересечения не коллинеарны. |
| Theorem (Hopf) Let A {\displaystyle A} be a finite-dimensional, graded commutative, graded cocommutative Hopf algebra over a field of characteristic 0. | Теорема Хопфа Пусть А конечномерная, суперкоммутативная, кокоммутативная алгебра Хопфа над полем характеристики 0. |
| 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. | Теорема Робертсона - Сеймура доказывает, что в определённых случаях миноров графа, семейство, замкнутое по минорам, всегда имеет конечное препятствующее множество. |
| 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 годы. |
| The proof is based on a theorem of Robertson and Seymour that the families of graphs with unbounded treewidth have arbitrarily large grid minors. | Доказательство опирается на теорему Робертсона и Сеймура о том, что семейства графов с неограниченной древесной шириной имеют произвольно большие миноры-решётки. |
| Some examples of finite obstruction sets were already known for specific classes of graphs before the Robertson-Seymour theorem was proved. | Некоторые примеры конечных препятствующих множеств были уже известны для некоторых классов ещё до доказательства теоремы Робертсона - Сеймура. |
| The existence of forbidden minor characterizations for all minor-closed graph families is an equivalent way of stating the Robertson-Seymour theorem. | Существование характеризаций запрещёнными минорами для всех минорно замкнутых семейств графов является эквивалентной формулировкой теоремы Робертсона - Сеймура. |
| 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. | Теорема де Брёйна - Эрдёша также применима прямо к задачам раскраски гиперграфов, где требуется, чтобы каждое гиперребро имело вершины более одного цвета. |
| Elekes and Csaba Toth noted that the Erdős-Beck theorem does not easily extend to higher dimensions. | Элекеш и Чаба Тоз заметили, что теорема Эрдёша - Бека не распространяется легко на более высокие размерности. |
| Instead of cliques, if the same question is asked for complete multi-partite graphs, the answer is given by the Erdős-Stone theorem. | Если вместо клик в аналогичном вопросе спрашиваются о полных многодольных графах, ответ даёт теорема Эрдёша - Стоуна. |
| The Erdős-Szekeres theorem on monotone subsequences can be interpreted as an application of Dilworth's theorem to partial orders of order dimension two (Steele 1995). | Теорему Эрдёша - Секереша о монотонных подпоследовательностях можно интерпретировать как приложение теоремы Дилуорса к частичным порядкам размерности два (Steele 1995). |
| Beck's Theorem can be derived by letting k = n(1 - 1/C) and applying the Erdős-Beck theorem. | Теорема Бека получается, если положить к = n(1 - 1/C) и применить теорему Эрдёша - Бека. |
| 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. |
| 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 (написанная еще в школе) - посвящены модальной логике. |
| The tweakable narrow-block encryption (LRW) is an instantiation of the mode of operations introduced by Liskov, Rivest, and Wagner (see Theorem 2). | Настраиваемое узкоблочное шифрование (LRW) представляет собой экземпляр режима операций, введенного Лисковым, Ривестом и Вагнером (see Theorem 2). |
| If r < n, then it is possible to append n - r rows to an r× n Latin rectangle to form a Latin square, using Hall's marriage theorem. | Если г < n, то можно добавить n - r строк к латинскому прямоугольнику с размерами r× n, чтобы сформировать латинский квадрат, используя теорему Холла о свадьбах theorem. |
| 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 earliest forms of the Riemann-Roch theorem for surfaces were often stated as an inequality rather than an equality, because there was no direct geometric description of first cohomology groups. | Наиболее ранние формы теоремы Римана - Роха для поверхностей часто формулировались в виде неравенств, а не равенств, поскольку не было прямого геометрического описания групп первой когомологии. |
| Under the hand of Peter Roquette: The first main achievement of F. K. Schmidt is the discovery that the classical theorem of Riemann-Roch on compact Riemann surfaces can be transferred to function fields with finite base field. | Согласно Петру Рокетту: Первое большое достижение Ф. К. Шмидта - открытие факта, что классическая теорема Римана - Роха на компактных римановых поверхностях может быть перенесена на поле функций с конечным базовым полем. |
| His work reinterprets Riemann-Roch not as a theorem about a variety, but about a morphism between two varieties. | Его работа даёт другое толкование теоремы Римана - Роха, не как теоремы о многообразии, а как теоремы о морфизме между двумя многообразиями. |
| Many earlier results such as the Riemann-Roch theorem and the Hodge theorem have been generalized or understood better using sheaf cohomology. | Многие более ранние результаты, такие как теорема Римана - Роха и теорема Ходжа были обобщены и лучше поняты благадаря когомологиям пучков. |