Здесь собраны определения терминов из теории графов. Курсивом выделены ссылки на термины в этом словаре.
Случайный граф — общий термин для обозначения вероятностного распределения графов. Случайные графы можно описать просто распределением вероятности или случайным процессом, создающим эти графы. Теория случайных графов находится на стыке теории графов и теории вероятностей. С математической точки зрения случайные графы необходимы для ответа на вопрос о свойствах типичных графов. Случайные графы нашли практическое применение во всех областях, где нужно смоделировать сложные сети — известно большое число случайных моделей графов, отражающих разнообразные типы сложных сетей в различных областях. В математическом контексте термин случайный граф означает почти всегда модель случайных графов Эрдёша — Реньи. В других контекстах любая модель графов означает случайный граф.
Случайное блуждание — математический объект, известный как стохастический или случайный процесс, который описывает путь, состоящий из последовательности случайных шагов в каком-нибудь математическом пространстве.
Спектральная теорема — класс теорем о матрицах линейных операторов, дающих условия, при которых такие матрицы могут быть диагонализированы, то есть представлены в виде диагональной матрицы в некотором базисе. Эти теоремы позволяют свести вычисления, включающие диагонализируемые матрицы к гораздо более простым вычислениям, использующим соответствующие диагональные матрицы.
В математике дискретный оператор Лапласа — аналог непрерывного оператора Лапласа, определяемого как отношения на графе или дискретной сетке. В случае конечномерного графа дискретный оператор Лапласа имеет более общее название: матрица Лапласа.
Хроматический многочлен — многочлен, изучаемый в алгебраической теории графов, представляющий число раскрасок графа как функцию от числа цветов. Первоначально определён Джорджем Биркгофов для попытки решения на проблемы четырёх красок. Обобщен и систематически изучен Хасслером Уитни, Татт обобщил хроматический многочлен до многочлена Татта, связав его с моделью Поттса статистической физики.
Спонта́нное наруше́ние симме́три́и — способ нарушения симметрии физической системы, при котором исходное состояние и уравнения движения системы инвариантны относительно некоторых преобразований симметрии, но в процессе эволюции система переходит в состояние, для которого инвариантность относительно некоторых преобразований начальной симметрии нарушается. Спонтанное нарушение симметрии всегда связано с вырождением состояния с минимальной энергией, называемого вакуумом. Множество всех вакуумов имеет начальную симметрию, однако каждый вакуум в отдельности — нет. Например, шарик в жёлобе с двумя ямами скатывается из неустойчивого симметричного состояния в устойчивое состояние с минимальной энергией либо влево, либо вправо, разрушая при этом симметрию относительно изменения левого на правое.
Экспандер — сильносвязный разреженный граф, при этом связность может определяться по вершинам, дугам или спектру.
Дистанционно-транзитивный граф — граф, в котором любая упорядоченная пара вершин переводится в любую другую упорядоченную пару вершин с тем же расстоянием между вершинами одним из автоморфизмов графа.
Сильно регулярный граф — вариация понятия регулярный граф.
В математике два-граф это (неупорядоченное) множество троек, выбранных из конечного множества вершин X таким образом, что любая (неупорядоченная) четвёрка из X содержит чётное число выбранных троек два-графа. В регулярном (однородном) два-графе любая пара вершин лежит в одном и том же числе троек два-графа. Два-графы изучаются ввиду их связи с равноугольными прямыми, связи регулярных два-графов с сильно регулярными графами, а также ввиду связи регулярных два-графов с конечными группами, поскольку многие из этих графов имеют интересные группы автоморфизмов.
Число Ловаса графа — вещественное число, которое является верхней границей ёмкости Шеннона этого графа. Число Ловаса известно также под именем тета-функция Ловаса и обычно обозначается как . Это число впервые ввёл Ласло Ловас в статье 1979 года «On the Shannon Capacity of a Graph».
Лемма регулярности Семереди — лемма из общей теории графов, утверждающая, что вершины любого достаточно большого графа можно разбить на конечное число групп таких, что почти во всех двудольных графах, соединяющих вершины из двух разных групп, рёбра распределены между вершинами почти равномерно. При этом минимальное требуемое количество групп, на которые нужно разбить множество вершин графа, может быть сколь угодно большим, но количество групп в разбиении всегда ограничено сверху.
В спектральной теории графов граф Рамануджана, названный по имени индийского математика Рамануджана, — это регулярный граф, спектральная щель которого почти настолько велика, насколько это возможно. Такие графы являются прекрасными спектральными экспандерами.
Квантовый граф — граф, в котором каждому ребру назначена длина и на каждом ребре задано дифференциальное или псевдодифференциальное уравнение.