Полумета́лл (металло́ид) — химический элемент, который по своим свойствам занимает промежуточное положение между металлами и неметаллами. Не существует стандартного определения металлоидов и полного согласия относительно того, какие элементы можно считать ими. Несмотря на отсутствие специфики, этот термин всë ещё используется в профильной литературе.
Исаа́к Бо́рухович (Борисович) Берсу́кер — советский, молдавский и американский физикохимик.
Молекулярный граф — связный неориентированный граф, находящийся во взаимно-однозначном соответствии со структурной формулой химического соединения таким образом, что вершинам графа соответствуют атомы молекулы, а рёбрам графа — химические связи между этими атомами. Понятие «молекулярный граф» является базовым для компьютерной химии и хемоинформатики. Как и структурная формула, молекулярный граф является моделью молекулы, и как всякая модель, он отражает далеко не все свойства прототипа. В отличие от структурной формулы, где всегда указывается, к какому химическому элементу относится данный атом, вершины молекулярного графа могут быть непомеченными — в этом случае молекулярный граф будет отражать только структуру, но не состав молекулы. Точно так же рёбра молекулярного графа могут быть непомеченными — в таком случае не будет делаться различие между одинарными и кратными химическими связями. В некоторых случаях может использоваться молекулярный граф, отражающий только углеродный скелет молекулы органического соединения. Такой уровень абстрагирования удобен для вычислительного решения широкого круга химических задач.
Компьютерная химия — сравнительно молодая область химии, основанная на применении компьютерных методов и дискретной математики, прежде всего, теории графов и комбинаторики, к химическим задачам фундаментального и прикладного характера. Исходя из общего определения химии как науки о веществах и превращениях их в друг друга, можно сказать, что вещества (молекулы) моделируются в компьютерной химии молекулярными графами, а превращения веществ — формальными операциями с графами. Такой подход в ряде случаев заметно упрощает алгоритмизацию химических задач, сводя их к типовым задачам комбинаторики и дискретной математики и позволяет искать решения с помощью компьютерных программ. При этом наряду со специальными программами в компьютерной химии могут применяться и универсальные программы: для работы с таблицами, математические программы и т. д.
Математическая химия — раздел теоретической химии, область исследований, посвящённая новым применениям математики к химическим задачам. Основная область интересов — это математическое моделирование гипотетически возможных физико-химических и химических явлений и процессов, а также их зависимость от свойств атомов и структуры молекул. Математическая химия допускает построение моделей без привлечения квантовой механики. Критерием истины в математической химии являются математическое доказательство, вычислительный эксперимент и сравнение результатов с экспериментальными данными. Важнейшую роль в математической химии играет математическое моделирование с использованием компьютеров. В связи с этим математическую химию, в узком смысле, иногда называют компьютерной химией, которую не следует путать с вычислительной химией.
Раскраска графа — теоретико-графовая конструкция, частный случай разметки графа. При раскраске элементам графа ставятся в соответствие метки с учётом определённых ограничений; эти метки традиционно называются «цветами». В простейшем случае такой способ окраски вершин графа, при котором любым двум смежным вершинам соответствуют разные цвета, называется раскраской вершин. Аналогично раскраска рёбер присваивает цвет каждому ребру так, чтобы любые два смежных ребра имели разные цвета. Наконец, раскраска областей планарного графа назначает цвет каждой области, так, что каждые две области, имеющие общую границу, не могут иметь одинаковый цвет.
Фрэнк Харари — американский математик, специализировавшийся в теории графов. Является признанным основателем современной теории графов.
В теории графов графом единичных расстояний называется граф, образованный точками на евклидовой плоскости, при этом две вершины соединяются ребром, если расстояние между ними равно в точности единице. Рёбра графа единичных расстояний иногда пересекаются, так что они не всегда планарны. Граф единичных расстояний без пересечений называется спичечным графом.
Симметричный граф (или транзитивный относительно дуг граф) — граф G, для любых двух пар смежных вершин которого u1—v1 и u2—v2 имеется автоморфизм:
- f : V(G) → V(G)
Ричард Кеннет Гай — британский математик.
Уильям Томас Татт — британский, позднее канадский криптограф и математик.
Характеризация запрещёнными графами — это метод описания семейства графов или гиперграфов путём указания подструктур, которым запрещено появляться внутри любого графа в семействе.
Алгебраическая комбинаторика — это область математики, использующая методы общей алгебры, в особенности теории групп и теории представлений, в различных комбинаторных контекстах и, наоборот, применяющая комбинаторные техники к задачам в алгебре.
Граф циклов группы иллюстрирует различные циклы в группе и, в частности, используется для визуализации структуры малых конечных групп.
Фред Стивен Робертс — американский ученый, профессор математики в Ратгерском университете и бывший директор DIMACS.
Ласло Бабаи — венгерский и американский учёный, профессор математики и информатики в Чикагском университете. Его исследования сосредоточены в следующих отраслях: теория сложности вычислений, теория алгоритмов, комбинаторика, и конечные группы с акцентом на взаимодействие между этими отраслями. Автор более 180 научных трудов.
Разметка графа в математике — это назначение меток, которые традиционно представляются целыми числами, рёбрами, вершинами, или рёбрам, и вершинам графа.
Бела Боллобаш — британский математик венгерского происхождения. Известен работами по функциональному анализу, комбинаторике, теории графов и теории перколяции.