Понятия со словом «опишу»
Связанные понятия
В теории графов порождённым путём в неориентированном графе G называется путь, являющийся порождённым подграфом G. Таким образом, это последовательность вершин в G такая, что любые две смежные вершины в последовательности соединены ребром в G, и любые две несмежные вершины последовательности не соединены ребром G. Порождённый путь иногда называют змеёй и задача поиска самого длинного порождённого пути в графах гиперкубов известна как задача о змее в коробке.
Подробнее: Порождённый путь
Граф циклов группы иллюстрирует различные циклы в группе и, в частности, используется для визуализации структуры малых конечных групп.
Правильный многогранник или плато́ново тело — это выпуклый многогранник, состоящий из одинаковых правильных многоугольников и обладающий пространственной симметрией.
Вписанная сфера — сфера, находящаяся внутри многогранника и касающаяся каждой его грани. Является наибольшей сферой, полностью содержащейся внутри многогранника. Двойственна описанной сфере двойственному данному многогранника.
Симплициальная (или комбинаторная) d-сфера — это симплициальный комплекс, гомеоморфный d-мерной сфере. Некоторые симплициальные сферы появляются как границы выпуклого многогранника, однако в более высоких размерностях большинство симплициальных сфер не может быть получено таким образом.
Три вектора (или большее число) называются компланарными, если они, будучи приведёнными к общему началу, лежат в одной плоскости.
Подробнее: Компланарность
Говорят, что ориентированный
граф апериодичен, если нет целого числа k > 1, делящего длину любого цикла графа. Эквивалентно, граф апериодичен, если наибольший общий делитель длин его циклов равен единице. Этот наибольший общий делитель для графа G называется периодом графа G.
Описанная сфера — сфера, содержащая внутри себя многогранник, все вершины которого лежат на сфере. В двумерном случае описанная сфера представляет собой описанную окружность.
В теории вероятностей говорят, что событие почти достоверно или что оно произойдет почти наверняка, если это произойдет с вероятностью 1. Понятие является аналогом понятия «почти всюду» в теории меры. В то время, как во многих основных вероятностных экспериментах нет никакой разницы между «почти достоверно» и «достоверно», (то есть, событие произойдет совершенно точно), это различие важно в более сложных случаях, относящихся к случаям рассмотрения какой-либо бесконечности. Например, термин часто...
Подробнее: Почти достоверное событие
Плана́рный граф — граф, который может быть изображён на плоскости без пересечения рёбер. Иначе говоря, граф планарен, если он изоморфен некоторому плоскому графу, то есть графу, изображённому на плоскости так, что его вершины — это точки плоскости, а рёбра — непересекающиеся кривые на ней. Области, на которые граф разбивает плоскость, называются его гранями. Неограниченная часть плоскости — тоже грань, так называемая внешняя грань.
Вырожденными называют математические объекты, обладающие принципиально более простой структурой и смыслом по сравнению с остальными объектами в своём классе, то есть такие, которые, даже будучи взятыми вместе, не дают полного представления о всём классе. Предельно простые объекты называют тривиальными.
Подробнее: Вырождение (математика)
В геометрии
теорема Декарта утверждает, что для любых трёх взаимно касающихся окружностей радиусы окружностей удовлетворяют некоторому квадратному уравнению. Решив это уравнение, можно построить четвёртую окружность, касающуюся остальных трёх заданных окружностей. Теорема названа в честь Рене Декарта, который сформулировал её в 1643 году.
Нигде не нулевой поток в теории графов — специальный вид сетевого потока, который связан (двойственностью) с раскраской планарных графов.
Те́ло геометри́ческое — «то, что имеет длину, ширину и глубину» в «Началах» Евклида, в учебниках элементарной геометрии ко всему «часть пространства, ограниченная своей образуемой формой».
Задача со счастливым концом — утверждение о том, что любое множество из пяти точек на плоскости в общем положении имеет подмножество из четырёх точек, которые являются вершинами выпуклого четырёхугольника.
В теории графов графом единичных расстояний называется граф, образованный точками на евклидовой плоскости, при этом две вершины соединяются ребром если расстояние между ними равно в точности единице. Рёбра графа единичных расстояний иногда пересекаются, так что они не всегда планарны. Граф единичных расстояний без пересечений называется спичечным графом.
Подробнее: Граф единичных расстояний
В теории графов графом без клешней называется граф, который не содержит порождённых подграфов, изоморфных K1,3 (клешней).
Подробнее: Граф без клешней
Парадокс Берри — парадокс самореференции, заключённый во фразе «наименьшее натуральное число, которое нельзя описать менее чем заданным количеством слов» (англ. «the smallest possible integer not definable by a given number of words»). Впервые парадокс опубликован Бертраном Расселлом, приписав его авторство Дж. Дж. Берри (1867—1928), младшему библиотекарю Бодлианской библиотеки в Оксфорде. Считается, что Берри нашёл лишь частный случай парадокса — «первое неопределяемое порядковое» (англ. the first...
В математике
абстрактный многогранник, неформально говоря, это структура, которая учитывает только комбинаторные свойства традиционных многогранников и игнорирует много других их свойств, таких как углы, длины рёбер и т. д. При этом не требуется наличие какого-либо содержащего многогранник пространства, такого как евклидово пространство. Абстрактная формулировка реализует комбинаторные свойства как частично упорядоченное множество («посет»).
Универсальное множество точек порядка n — это множество S точек евклидовой плоскости со свойством, что любой планарный граф с n вершинами имеет рисунок с прямыми рёбрами, в котором все вершины располагаются в точках множества S.
В геометрии правильный косой многогранник — это обобщение множества правильных многогранников, которое включает возможность непланарных граней или вершинных фигур. Коксетер рассматривал косые вершинные фигуры, которые создавали новые четырёхмерные правильные многогранники, а много позднее Бранко Грюнбаум рассматривал правильные косые грани.
Общее знание (англ. common knowledge) имеет место в ситуации, когда каждому индивиду из некоторой группы известно о наступлении некого события, о наличии этого знания у других представителей группы, о наличии знания о наличии знания и так далее ad infinitum. Концепция общего знания впервые возникла в философской литературе у Дэвида Келлогга Льюиса (1969). Определение общего знания было дано тогда же социологом Моррисом Фриделлом. Математическая (теоретико-множественная) интерпретация осуществлена...
Ехидна́эдр (англ. echidnahedron) — последняя звёздчатая форма икосаэдра, также называют полной или завершающей формой икосаэдра, так как она включает в себя все ячейки звёздчатой диаграммы икосаэдра.
Почти многоугольник — это геометрия инцидентности, предложенная Эрнестом Е. Шультом и Артуром Янушкой в 1980. Шульт и Янушка показали связь между так называемыми тетраэдрально замкнутыми системами прямых в евклидовых пространствах и классом геометрий точка/прямая, которые они назвали почти многоугольниками. Эти структуры обобщают нотацию обобщённых многоугольников, поскольку любой обобщённый 2n-угольник является почти 2n-угольником определённого вида. Почти многоугольники интенсивно изучались, а...
Красота математики — восприятие математики как объекта эстетического наслаждения, схожего с музыкой и поэзией.
Центр подобия (или центр гомотетии) — это точка, из которой по меньшей мере две геометрически подобные фигуры можно видеть как масштабирование (растяжение/сжатие) друг друга. Если центр внешний, две фигуры похожи друг на друга прямо — их углы одни и те же в смысле вращения. Если центр внутренний, две фигуры являются изменёнными в размерах отражениями друг друга — их углы противоположны.
Многомерное время — гипотезы существования времени с размерностью T > 1. Эти гипотезы имеют определённое распространение в физике, философии и фантастике.
Икосианы — это некоммутативная алгебраическая система, обнаруженная ирландским математиком Уильямом Роуэном Гамильтоном в 1856 году. В современной терминологии он нашёл задание группы вращений икосаэдра с помощью генераторов и связей.
Задача Рамсея, задача о знакомствах среди шести человек — это математическая теорема в теории Рамсея, частный случай теоремы Рамсея.
Гамильто́нов граф — математический объект теории графов. Представляет собой граф (набор точек и соединяющих их линий), который содержит гамильтонов цикл. При этом гамильтоновым циклом является такой цикл (замкнутый путь), который проходит через каждую вершину данного графа ровно по одному разу.
В теории графов графом пересечений называется граф, представляющий схему пересечений семейства множеств. Любой граф можно представить как граф пересечений, но некоторые важные специальные классы можно определить посредством типов множеств, используемых для представления в виде пересечений множеств.
Подробнее: Граф пересечений
Выворачивание сферы — процесс перемены местами внешней и внутренней поверхностей сферы в трёхмерном пространстве в рамках условий дифференциальной топологии. Допускается самопересечение поверхностей, но в каждый момент времени она не имеет разрывов и сохраняет гладкость. Другими словами, образ сферы в каждый момент деформации должен оставаться дифференцируемым.
Бесконечно малая — числовая функция или последовательность, которая стремится к нулю.
Группа классов идеалов дедекиндова кольца — это, грубо говоря, группа, позволяющая сказать, насколько сильно в данном кольце нарушается свойство факториальности. Эта группа тривиальна тогда и только тогда, когда дедекиндово кольцо является факториальным. Свойства дедекиндова кольца, касающиеся умножения его элементов, тесно связаны с устройством этой группы.
Гипотеза Тэйта утверждает, что любой 3-связный планарный кубический граф имеет гамильтонов цикл, проходящий через все его вершины. Гипотезу высказал в 1884 году П.Г. Тэйт и опровёрг в 1946 году У.Т. Татт, построив контрпример с 25 гранями, 69 рёбрами и 46 вершинами. Позднее, в 1988, Холтон и Маккей нашли меньший по размеру контрпример с 21 гранями, 57 рёбрами и 38 вершинами и показали, что этот граф минимален.
Тессера́кт (от др.-греч. τέσσαρες ἀκτῖνες «четыре луча») — четырёхмерный гиперкуб — куб в четырёхмерном пространстве. Другие названия: 4-куб, тетраку́б (от др.-греч. τέτταρες «четыре»), восьмияче́йник, октахо́р (от др.-греч. οκτώ «восемь» + χώρος «место, пространство»), гиперкуб (если число измерений не оговаривается).
Экстремальная теория графов — это ветвь теории графов. Экстремальная теория графов изучает экстремальные (максимальные или минимальные) свойства графов, удовлетворяющих определённым условиям. Экстремальность может относиться к различным инвариантам графов, таким как порядок, размер или обхват. В более абстрактном смысле теория изучает, как глобальные свойства графа влияют на локальные подструктуры графа.
Задача о змее в коробке в теории графов и информатике имеет дело с поиском определённого вида пути вдоль рёбер гиперкуба. Этот путь начинается с одного угла и проходит вдоль рёбер столько углов, сколько он может достичь. После того как достигается новый угол, предыдущий угол и все его соседи делаются недопустимыми для использования. Путь никогда не должен проходить через угол после того, как он помечен как недопустимый.
Матрица расстояний — это квадратная матрица типа «объект-объект» (порядка n), содержащая в качестве элементов расстояния между объектами в метрическом пространстве.
Эйлеров цикл — эйлеров путь, являющийся циклом, то есть замкнутый путь, проходящий через каждое ребро графа ровно по одному разу.
Структурная теорема графов — это главный результат в области теории графов. Результат устанавливает глубокую и фундаментальную связь между теорией миноров графов и топологическими вложениями. Теорема была сформулирована в семнадцати статьях из серии из 23 статей Нейла Робертсона и Пола Сеймура. Доказательство теоремы очень длинно и запутано. Каварабайаши и Мохар и Ловаш провели обзор теоремы в доступном для неспециалистов виде, описав теорему и её следствия.
Бутылка Клейна (или Кляйна) — неориентируемая (односторонняя) поверхность, впервые описанная в 1882 году немецким математиком Ф. Клейном. Она тесно связана с лентой Мёбиуса и проективной плоскостью.
В теории графов говорят, что граф G гипогамильтонов, если сам по себе граф не имеет гамильтонова цикла, но любой граф, полученный удалением одной вершины из G, является гамильтоновым.
Подробнее: Гипогамильтонов граф
Гипотеза Хивуда, или теорема Рингеля — Янгса даёт нижнюю границу для числа цветов, которые необходимы для раскраски графа на поверхности с заданным родом. Эта граница называется хроматическим числом поверхности или числом Хивуда. Для поверхностей рода 0, 1, 2, 3, 4, 5, 6, 7, ..., требуемое число цветов равно 4, 7, 8, 9, 10, 11, 12, 12, ....
Многогранник размерности 3 и выше называется изоэдральным или гране транзитивным, если все его грани одинаковы. Точнее сказать, все грани должны быть не просто конгруэнтны, а должны быть транзитивны, то есть должны прилежать в одной и той же орбите симметрии. Другими словами, для любых граней A и B должна существовать симметрия всего тела (состоящая из вращений и отражений), которая отображает A в B. По этой причине выпуклые изоэдральные многогранники имеют формы правильных игральных костей.
Подробнее: Изоэдральное тело
Снарк в теории графов — связный кубический граф без мостов c хроматическим индексом 4. Другими словами, это граф, в котором каждая вершина имеет три соседние вершины и рёбра нельзя выкрасить только в три цвета, так чтобы два ребра одного цвета не сходились в одной вершине. (По теореме Визинга хроматический индекс кубического графа равен 3 или 4.) Чтобы избежать тривиальных случаев, снарками часто не считают графы, имеющие обхват меньше 5.