Понятия со словом «тогда»
Связанные понятия
Задача Рамсея, задача о знакомствах среди шести человек — это математическая теорема в теории Рамсея, частный случай теоремы Рамсея.
Исчезновение клетки (появление клетки) — известный класс задач (оптических иллюзий) на перестановку фигур, обладающих признаками софизмов: изначально в их условие введена замаскированная ошибка. Некоторые из этих задач тесно связаны со свойствами последовательности чисел Фибоначчи.
Два-графы не являются графами, и их не следует путать с другими объектами, которые называются 2-графами в теории графов, в частности, с 2-регулярными графами. Для их различения используется слово «два», а не цифра «2».
Гамма-алгоритм — это алгоритм плоской укладки графа и попутной проверки его на планарность.
Геометрический остов (англ. geometric spanner) или t-остовной граф, или t-остов первоначально был введён как взвешенный граф на множестве точек в качестве вершин, для которого существует t-путь между любой парой вершин для фиксированного параметра t. t-Путь определяется как путь в графе с весом, не превосходящим в t раз пространственное расстояние между конечными точками. Параметр t называется коэффициентом растяжения остова.
Куб Фибоначчи можно определить в терминах кодов Фибоначчи и расстояния Хэмминга, независимых множеств вершин в путях, или через дистрибутивные решётки.
Британский формат Парламентских дебатов сформировался в начале XX века в Великобритании совершенно обособленно от форматов Линкольна-Дугласа и Полиси-дебатов, которые возникли в США и являются базовыми для всех последующих разновидностей Парламентских дебатов.
Вторая мировая война (1 сентября 1939 — 2 сентября 1945) — война двух мировых военно-политических коалиций, ставшая крупнейшим вооружённым конфликтом в истории человечества.
Пе́рвая мирова́я война́ (28 июля 1914 — 11 ноября 1918) — один из самых широкомасштабных вооружённых конфликтов в истории человечества.
Число пересечений графа — наименьшее число элементов в представлении данного графа как графа пересечений конечных множеств, или, эквивалентно, наименьшее число клик, необходимых для покрытия всех рёбер графа.
Алгоритм Джонсона — позволяет найти кратчайшие пути между всеми парами вершин взвешенного ориентированного графа. Данный алгоритм работает, если в графе содержатся рёбра с положительным или отрицательным весом, но отсутствуют циклы с отрицательным весом.
Лемма о трезубце или теорема трилистника, или лемма Мансиона (жарг. лемма о куриной лапке) — теорема в геометрии треугольника.
Косое разбиение графа — это разбиение его вершин на два подмножества, такое что порождённый подграф, образованный одним из его подмножеств вершин является несвязным, а другой порождённый подграф, образованный другим подмножеством является дополнением несвязного графа. Косые разбиения играют важную роль в теории совершенных графов.
Криптосистема Уильямса (Williams System) — система шифрования с открытым ключом, созданная Хью Коуи Уильямсом (Hugh Cowie Williams) в 1984 году.
Дробная раскраска — это тема молодой области теории графов, известной как теория дробных графов. Дробная раскраска является обобщением обычной раскраски. В традиционной раскраске графа каждой вершине назначается некий цвет, и смежным вершинам — тем, что связаны рёбрами, — должны быть назначены разные цвета. В дробной раскраске каждой вершине назначается набор цветов.
В теории графов пороговый граф — это граф, который может быть построен из одновершинного графа последовательным выполнением следующих двух операций...
Алгоритм Эдмондса или алгоритм Чу — Лью/Эдмондса — это алгоритм поиска остовного ориентированного корневого дерева минимального веса (иногда называемого оптимальным ветвлением).
В геометрии конфигурацией
Мёбиуса или тетраэдрами Мёбиуса называется конфигурация в евклидовом пространстве или проективном пространстве, состоящая из двух взаимно вписанных тетраэдров — каждая вершина одного тетраэдра лежит на плоскости, проходящей через грань другого тетраэдра и наоборот. Таким образом, в результирующей системе восьми точек и восьми плоскостей каждая точка лежит на четырёх плоскостях (три плоскости определяют вершину тетраэдра, а четвёртая плоскость — это плоскость, проходящая...
Связное доминирующее множество и остовное дерево с максимальной листвой являются двумя тесно связанными структурами, определёнными на неориентированном графе.
В теории графов нечётные графы On — это семейство симметричных графов с высоким нечётным обхватом, определённых на некоторых семействах множеств. Они включают и обобщают графы Петерсена.
Подробнее: Нечётный граф
Задача о гамильтоновом пути и задача о гамильтоновом цикле — это задачи определения, существует ли гамильтонов путь (путь в неориентированном или ориентированном графе, который проходит все вершины графа ровно один раз) или гамильтонов цикл в заданном графе (ориентированном или неориентированном). Обе задачи NP-полны.
Кососимметрический граф — это ориентированный граф, который изоморфен своему собственному транспонированному графу, графу, образованному путём обращения всех дуг, с изоморфизмом, который является инволюцией без неподвижных точек. Кососимметрические графы идентичны двойным покрытиям двунаправленных графов.
Ку́бок Луи́ Витто́на — один из самых крупных трофеев в мире парусного спорта. Кубок разыгрывается в серии матчевых гонок. Обладатель кубка Луи Виттона становится претендентом на Кубок Америки и соревнуется за право обладания им с защитником — действующим обладателем кубка.
Театральная техника в эпоху Шекспира — елизаветинской драме несомненно соответствует система спектакля, первоначально устраивавшегося группами бродячих комедиантов на постоялых и гостиничных дворах. Первый публичный стационарный театр был сооружен в Лондоне (вернее за Лондоном, вне городской черты, так как в черте города устройство театров не разрешалось) только в 1576 году актёрской семьей Бэрбеджей. В 1599 году был создан театр «Глобус», с которым связана большая часть творчества Шекспира.
Вполне упорядоченное множество — линейно упорядоченное множество M такое, что в любом его непустом подмножестве есть минимальный элемент, другими словами, это фундированное множество с линейным порядком.
В математике свободная абелева группа (свободный Z-модуль) — это абелева группа, имеющая базис, то есть такое подмножество элементов группы, что для любого её элемента существует единственное его представление в виде линейной комбинации базисных элементов с целыми коэффициентами, из которых только конечное число являются ненулевыми. Элементы свободной абелевой группы с базисом B называют также формальными суммами над B. Свободные абелевы группы и формальные суммы используются в алгебраической топологии...
Венге́рская партия (в западной традиции — венгерская защита, англ. Hungarian Defense) — дебют, начинающийся ходами: 1. e2-e4 e7-e5 2. Kg1-f3 Kb8-c6 3. Cf1-c4 Cf8-е7. Относится к открытым началам.
Двоичный алгоритм поиска подстроки (также bitap algorithm, shift-or algorithm) — алгоритм поиска подстроки, использующий тот факт, что в современных компьютерах битовый сдвиг и побитовое ИЛИ являются атомарными операциями. По сути, это примитивный алгоритм поиска с небольшой оптимизацией, благодаря которой за одну операцию производится до 32 сравнений одновременно (или до 64, в зависимости от разрядности машины). Легко переделывается на приблизительный поиск.
Здесь собраны определения терминов из теории графов. Курсивом выделены ссылки на термины в этом словаре (на этой странице).
Подробнее: Глоссарий теории графов
Разрешимая группа — группа, ряд коммутантов которой заканчивается на тривиальной группе.
Вектор Шепли — принцип оптимальности распределения выигрыша между игроками в задачах теории кооперативных игр. Представляет собой распределение, в котором выигрыш каждого игрока равен его среднему вкладу в благосостояние тотальной коалиции при определенном механизме её формирования.
Зада́ча Гурса́ — это разновидность краевой задачи для гиперболических уравнений и систем 2-го порядка с двумя независимыми переменными по данным на двух выходящих из одной точки характеристических кривых.
Алгоритм для дерева сочленений — это метод, используемый в машинном обучении для извлечения маргинализации в графах общего вида. В сущности, алгоритм осуществляет распространение доверия на модифицированном графе, называемом деревом сочленений. Основная посылка алгоритма — исключить циклы путём кластеризации их в узлы.
Биполярная ориентация или st-ориентация неориентированного графа — это назначение ориентации каждому ребру (ориентации), что превращает граф в направленный ациклический граф с единственным источником s и единственном стоком t, а st-нумерация графа — это топологическая сортировка полученного ориентированного ациклического графа.
В математике деление на два, деление пополам — это математическая операция, частный случай деления. Древние египтяне отличали деление на два от деления на другие числа, поскольку их алгоритм умножения использовал деление на два как один из промежуточных этапов. В XVI веке некоторые математики предложили рассматривать деление на два как операцию, отличающуюся от деления на другие числа. В современном программировании также иногда выделяют деление именно на два.
Парадо́кс Парро́ндо — парадокс в теории игр, который обычно характеризуют как комбинацию проигрышных стратегий, которая выигрывает. Парадокс назван в честь его создателя, Хуана Паррондо, испанского физика. Утверждение парадокса выглядит следующим образом...
Фо́рмула Кирхго́фа — аналитическое выражение для решения гиперболического уравнения в частных производных (т. н. «волнового уравнения») во всём трёхмерном пространстве. Методом спуска (то есть уменьшением размерности) из него можно получить решения двумерного (Формула Пуассона) и одномерного (Формула Д’Аламбера) уравнения.
История чемпионата мира по футболу началась в 1928 году, когда президент ФИФА Жюль Римэ решил провести международный футбольный турнир. Первый чемпионат, который состоялся в Уругвае в 1930 году, был оспорен в качестве финального турнира, так как в нем участвовало только 13 команд. С тех пор чемпионат мира по футболу трансформировался в нынешний финальный турнир, включающий 32 команды, с предшествующим двухлетним отборочным циклом с участием почти 200 команд со всего мира.
Парадокс пари (Парадокс галстуков) — известный парадокс, похожий на задачу о двух конвертах, также демонстрирующий особенности субъективного восприятия теории вероятностей.
«Безымянное поле» — стихотворение из цикла «Война» советского поэта Константина Симонова, написанное в июле 1942 года.
Поезд-призрак — серия городских легенд, повествующих о случаях наблюдения призрачных поездов или локомотивов (чаще всего — паровозов).
Интервальная размерность графа — это минимальная размерность, в которой заданный граф может быть представлен в виде графа пересечений гиперпрямоугольников (то есть многомерных прямоугольных параллелепипедов) с параллельными осям рёбрами. То есть должно существовать один-к-одному соответствие между вершинами графа и множеством гиперпрямоугольников, таких, что прямоугольники пересекаются тогда и только тогда, когда существует ребро, соединяющее соответствующие вершины.
Система Макинтайра, или системы, потому что их было пять, — это система плей-офф, которая даёт преимущество командам или участникам, занявшим более высокие места. Эти системы были разработаны Кеннетом Макинтайром, австралийским юристом, историком и преподавателем английского языка, для Викторианской футбольной лиги в 1931 году.
«Ключ времени» (англ. Doctor Who: The Key to Time) — шестнадцатый сезон британского научно-фантастического телесериала «Доктор Кто», показанный в эфире телеканала BBC со 2 сентября 1978 года по 24 февраля 1979 года. Сезон имеет собственное название и выделен в отдельную сюжетную арку, состоящую из шести сегментов — «Операция Рибос», «Планета пиратов», «Камни крови», «Андроиды Тары», «Сила Кролла» и «Фактор Армагеддона». Идея пришла в голову продюсеру сериала Грэму Уильямсу, который после первого...
Университет Корсики (L’Université de Corse-Pascal-Paoli) - высшее учебное заведение во Франции. Единственный университет на острове Корсика.
Паритет (от лат. paritas «равенство») — равенство взаимоотношений двух или более сторон по каким-либо параметрам. Может означать состояние относительного равновесия сил, равноценности целей, эквивалентности платёжных средств, равенства прав и обязанностей и т. д.Слово является частью терминов...
Мат Диларам — средневековая мансуба (позиция из манускрипта 1140 года, хранящегося в Стамбульском музее) неизвестного автора, в которой мат достигается путём жертвы двух ладей. В ряде изданий авторство приписывается выдающемуся арабскому мастеру шатранджа ас-Сули.
Набор окружностей
Джонсона состоит из трёх окружностей одинакового радиуса r, имеющих одну общую точку пересечения H. В такой конфигурации окружности обычно имеют четыре точки пересечения (точки, через которые проходят по меньшей мере две окружности) — это общая точка пересечения H, через которую проходят все три окружности, и по дополнительной точке для каждой пары окружностей (будем о них говорить как о попарных пересечениях). Если любые две окружности не пересекаются (а только лишь касаются) они...