Министерство образования и науки Российской Федерации

Федеральное агентство по образованию

КАЗАНСКИЙ ГОСУДАРСТВЕННЫЙ
ТЕХНИЧЕСКИЙ УНИВЕРСИТЕТ
им. А. Н. ТУПОЛЕВА

ГЛОССАРИЙ ПО ДИСЦИПЛИНЕ

«ДИСКРЕТНАЯ МАТЕМАТИКА»

Казань 2009
 2

УДК 510.61(075.8)

Глоссарий по дисциплине «Дискретная математика». Галиев Ш. И. Казань: КГТУ им. А.

Н. Туполева, 2009. 23 с.

В работе приведены термины встречающиеся в дисциплине «Дискретная математика» и

их пояснение (определение).
Предназначено для студентов, обучающихся по направлению «Информатика и
вычислительная техника» и по специальностям: 220100 – «Вычислительные машины,
комплексы, системы и сети», 220200 – «Автоматизированные системы обработки
информации и управления» и 230105 - «Программное обеспечение вычислительной
техники и автоматизированных систем».
 3

Автоморфизм - изоморфизм алгебры на себя.

Аддитивная группа – группа, в которой операция считается сложением.
Алгебра – непустое множество А, на котором задана совокупность
операций, переводящих элементы из А в А.
Алгебраическая система - непустое множество А с введенными на этом
множестве операциями и предикатами.
Антирефлексивное (иррефлексивное) бинарное отношение –
отношение R если для ∀а∈А 〈а,а〉 ∉ R.
Антисимметричное бинарное отношение – отношение R если из
〈x,y〉 ∈ R и 〈y,x〉 ∈ R следует, что х=у.
Базис - система булевых функций, которая является полной системой
функций, но никакая ее собственная часть не образует полную систему
функций.
Беспорядки – такие перестановки, что ни один элемент не сохранил
своего первоначального места: ai ≠ i, i=1,2,...,n.
Биективная функция – инъективная и сюръективная функция.
Бинарное ордерево – ордерево, если полустепень исхода любой его
вершины не больше двух.
Бинарное отношение на (двух) множествах А и В - подмножество R
декартового произведения А× В.
Биноминальная теорема - для произвольных чисел а, b и целого

n
положительного n имеет место соотношение: (а+b)n= ∑Ñ in a n −i bi .
i =0

Булева алгебра - дистрибутивная ограниченная решетка, в которой для

каждого элемента существует дополнение.
Булева переменная - переменная, имеющая только два возможных
значения.
Булева (переключательная) функция - функция f(x1,x2,…,xn) если она
может принимать только одно из двух возможных значений 0 или 1 в
 4
зависимости от значений своих аргументов x1,x2,…,xn, каждая из которых
тоже принимает одно из значений 0 или 1.
Вершина графа достижимая из вершины u - вершина v, для которой
существует цепь Z(v,u), соединяющая v и u.
Вершина инцидентная ребру - вершина vi образующее ребро x = (vi,vj).
Вершина орграфа достижимая из вершины u - вершина v, для которой
существует путь Р(u, v), идущий из u в v.
Верхняя грань решетки – элемент решетки 1, что для ∀а: 1∪а=1.
Ветвь дерева - путь из корня в лист.
Вполне упорядоченное множество - линейное упорядоченное
множество А в котором всякое непустое подмножество В множества А имеет
наименьший элемент.
Второй закон дистрибутивности: x∨y&z ~ (x∨y)&(x∨z) - ти;
Выполнимая формула - формула принимающая значения 1 хотя бы для
одной совокупности значений переменных, в нее входящих.
называют законом двойного отрицания -  ( x) ~ x.
Высота ветви дерева - длина наибольшей ветви ордерева.
Гамильтоновый граф - граф, содержащий гамильтонов цикл.
Гамильтонова цепь - простая цепь, проходящая через каждую вершину
графа один и только один раз.
Гамильтоновый орцикл - орцикл орграфа, проходящий через каждую
его вершину в точности один раз.
Гамильтоновый цикл – цикл, который проходит через каждую вершину
графа один и только один раз.
Гиперграф Н(V,X) – совокупность, состоящая из множество V вершин и
множество X «ребер», которые являются некоторыми подмножествами
множества V, эти подмножества могут содержать произвольное число
элементов из V.
 5
Гомеоморфные графы – два графа гомеоморфны, если они оба могут
быть получены из одного и того же графа включением в его ребра новых
вершин степени 2.
Гомоморфизм алгебры А =〈A; F1, F2, …, Fn〉 в(на) однотипную алгебру
В =〈B; G1, G2, …, Gn〉 - отображение ϕ множества А в(на) множество В,
сохраняющее главные операции алгебры.
Граф - совокупность, состоящая из конечного множества V точек,
называемых вершинами, и множества неупорядоченных пар различных
вершин из V, называемых ребрами.
Группа – моноид, в котором для любого элемента существует обратный
элемент.
Группоид - множество с одной двуместной операцией.
Двудольный граф – граф G=(V,X), если существует разбиение
множества его вершин на два непересекающихся подмножества V1 и V2 так,
что V=V1∪V2 и каждое ребро графа G соединяет вершины из разных
множеств.
Декартово (прямое) произведение двух множеств А и В - множество
упорядоченных пар 〈a,b〉 , таких, что а∈А и b∈B.
Декартово произведение множеств A1,А2,…,Аn - множество
упорядоченных n-ок.
Дерево - связный граф без циклов.
Взвешенный граф (орграф) - граф (орграф), для каждого ребра (дуги)
которого определена длина (вес).
Дизъюнктивная нормальная форма (д.н.ф.) - дизъюнкция
элементарных произведений или одно элементарное произведение.
Дизъюнкция x и y - функция (x∨ y) принимающая значение 0 тогда и
только тогда когда x и y оба принимают значение 0.
Дополнение множества А: A =СА={x: x∉A}.
 6
Дополнение элемента а в решетке - элемент а' такой, что а∩а' =0 и
а∪а' =1.
Двойственная связка к связке & - связка ∨.
Двойственная связка к связке ∨- связка &.
Двойственные формулы - формулы называются двойственными, если
одна получается из другой заменой каждой связки & и ∨ на двойственную.
Декомпозиция булевой функции f(Х) - представление ее в виде f(Х) =
g0(Х0,g1(Х 1),...,gk(Хm)), где k≥ 1, m≥ 1, Хi - некоторое подмножество множества
переменных Х, т.е. Хi = ( xi1 , xi 2 ,..., xik ( i ) ) , 1≤ ij≤ n, , 1≤ j≤ k(i), 1≤ k(i)≤ n, 1≤
i≤ m; gl(Хi) - некоторая булева функция, зависящая от множества переменных
Х i, 1≤ l≤ k, 1≤ i≤ m.
Диаметр графа G - наибольший из эксцентриситетов вершин графа G.
Длина (вес) дуги - число µ (v,u), которое приписывается дуге х=〈v,u〉 .
Длина конечного пути Р(v, u) – сумма длин дуг в Р(v, u).

Длина конечной цепи Z(v, u) - сумма длин всех ребер из Z(v, u).

Длина (вес) ребра - число µ (v,u), которое приписывается ребру х=(v,u).

Дополнение графа (орграфа) G=(V,X) - граф (орграф) G =( V , X ) с тем
же множеством вершин V, а X является дополнением множества Х до
множества всех неупорядоченных (упорядоченных) пар вершин из V.
Дуга - упорядоченная пара вершин x = 〈vi,vj〉 или xij (i,j=1,2,…,n).
графа G.
Дуга инцидентная вершине – дуга которая заходит в эту вершину или
исходит из нее.
Единичное отношение Е (или I) - бинарное отношение на множестве А
такое, что Е={〈a,a〉 : a∈A}.
Закон двойственности - если формулы А и В равносильны, то и
двойственные им формулы А* и В* также равносильны.
Законы ассоциативности:
 7
(x & y) & z ~ x & (y & z); (x ∨ y) ∨ z ~ x ∨ ( y ∨ z ).

Законы де Моргана:  (x&y) ~ x∨ y,  (x∨y) ~  x& y.

Законы идемпотентности: x&x ~ x, x∨x ~ x.
Закон исключенного третьего x∨ x ~ Т.
Законы коммутативности (перестановочности):
x & y ~ y & x; x ∨ y ~ y ∨ x .

Закон контрапозиции: x⇒y ~ y⇒  x.

Законы поглощения: x∨x&y ~ x; x&(x∨y) ~ x.
Закон противоречия; x& x ~ П.
Замкнутое относительно операции Fi подмножество В множества А
– подмножество В если каждое Fi (1≤ i≤ n) переводит элементы из В в В.
Замкнутый путь - путь, первая и последняя вершины которого
совпадают.

Изолированная вершина - вершина v локальная степень которой равна

нулю.
Изоморфизм алгебры А =〈A; F1, F2, …, Fn〉 в(на) однотипную алгебру
В =〈B; G1, G2, …, Gn〉 - взаимно однозначное (биективное) отображение ϕ
множества А в(на) В, сохраняющее главные операции алгебры.
Изоморфные графы - графы G1=(V1,X1) и G2=(V2,X2) если между их
множествами вершин существует взаимно однозначное соответствие,
сохраняющее смежность.
Импликация - функция (x⇒ y), принимающая значение 0 тогда и только
тогда когда посылка x принимает значение 1, а заключение y принимает
значение 0.
Импликанта булевой функции f - булева функция ϕ , которая
обращается в нуль на всех тех наборах значений аргументов, на которых
равна нулю функция f.
Инъективная функция – функция, для которой для ∀x1,x2 из f(x1)=f(x2)
следует, что x1=x2 (иными словами из x1≠ x2 следует, что f(x1)≠ f(x2)).
 8
Класс эквивалентности (класс смежности), порожденное элементом а
при данном отношении эквивалентности R - подмножество тех х∈А, которые
находятся в отношении R с а.
Кольцо - непустое множество R, на котором введены две бинарные
операции + и °, называемые сложением и умножением такие, что:

1) 〈R; +〉 является абелевой группой;

2) умножение ассоциативно, т.е. для ∀a,b,c∈R: (a°b°)°c=a°(b°c);

3) умножение дистрибутивно относительно сложения, т.е. для

∀a,b,c∈R: a°(b+c)=(a°b)+(а°c) и (а+b)°c= (a°c)+(b°c).

Коммутативная или абелева группа – группа в которой для ∀a,b∈G:

a°b=b°a.

Композиция отношений R (на множествах А и В) и S (на множествах В

и С) - отношение (обозначаемое R°S) на множествах А и С такое, что:

〈a,c〉 ∈(R°S)⇔ ∃ b(b∈B и 〈a,b〉 ∈R и 〈b,c〉 ∈S).

Компонента связности (компонента) ориентированного графа -

максимальный связный подграф данного орграфа.
Конечное множество - множество, состоящее из конечного числа
элементов.
Коммутативное кольцо – кольцо, в котором для ∀a,b∈R: a°b=b°a.

Конечная вершина цепи – вершина в цепи, если нет других вершин

цепи последующих за этой вершиной.
Компонента связности (компонента) графа – связный подграф графа,
который (подграф) максимален.
Конституента нуля переменных x1,x2,...,xn - элементарная сумма, в
которой каждая из булевых переменных x1,x2,...,xn входит один и только один
раз либо без знака отрицания, либо со знаком отрицания.
 9
Конституента единицы переменных x1,x2,...,xn – элементарное
произведение, в которой каждая из булевых переменных x1,x2,...,xn входит
один и только один раз либо без знака отрицания, либо со знаком отрицания.
Контур – нетривиальный замкнутый путь, у которого все вершины
различны за исключением первой и последней.

Концевая (висящая) вершина - вершина v локальная степень которой

равна единице.
Конъюнкция x и y - функция (x&y) принимающая значение 1 тогда и
только тогда когда x и y оба принимают значение 1.
Конъюнктивная нормальная форма (к.н.ф.) - конъюнкция
элементарных сумм или одна элементарная сумма.
Кубический граф – регулярный граф, степени три.
Левый делитель нуля – элемент кольца а, такой, что a°b=0.

Лес - граф без циклов.

Линейная функция - функция f(x1,x2, ...,xn), такая, что f(x1,x2, ...,xn) =
c0+c1&x1+c2&x2+…+cn&xn, где ci - константы (единица или нуль), 0≤ i≤ n.
Линейно упорядоченное множество - частично упорядоченное
множество, в котором любые два элемента сравнимы.
Лист - концевая вершина ордерева.
Логическая матрица смежности графа с n вершинами с данной
нумерацией вершин v1, v2,…, vn - матрица A=(aij) размером n× n, в которой
элемент aij равен И (истине) если вершины vi и vj соединены ребром и равен Л
(ложь) если не соединены ребром.
Логическая матрица смежности орграфа с n вершинами с данной
нумерацией вершин v1, v2,…, vn - матрица A=(aij) размером n× n, в которой
элемент aij равен И (истине) если из vi идет дуга в vj и Л (ложь) если из vi не
идет дуга в vj.
Локальная степень вершины (степень вершины) графа deg(v) - число
ребер инцидентных вершине v.
 10
Матрица достижимости орграфа G - матрица L* = L ∨ L2 ∨ L3 ∨ …∨ Ln
где L логическая матрица смежности орграфа G с n вершинами.
Матрица инциденций графа G с множеством вершин V={v1,v2,…,vn} и
множеством ребер X={x1,x2,…,xm} - n× m матрица А= (aij) элемент aij которой
равен единице, если i-я вершина инцидентна j-у ребру и нулю если i-я
вершина не инцидентна j-у ребру.
Матрица инциденций орграфа G с множеством вершин V={v1,v2,…,vn} и
множеством дуг X={x1,x2,…,xm} - n× m матрица А= (aij) элемент aij которой
равен единице, если из i–й вершины исходит j-я дуга, равна -1 если в i–ю
вершину входит j-я дуга и равна 0 если i–я вершина не инцидентна j-й
дуге.
Матрица смежности графа, мультиграфа или псевдографа G с данной
нумерацией вершин v1, v2,…, vn - матрица A=(aij) размером n× n, в которой
элемент aij равен числу ребер в G, соединяющих vi c vj.
Матрица смежности орграфа G - n× n матрица А =(aij), где aij – число
дуг, идущих из vi в vj.
Матроид - конечное множество Е,  Е = n, и семейство его
подмножеств Х, Х ⊆ 2Е, такое, что выполняются следующие три аксиомы:
М1: ∅∈Х;
М2: если А∈Х и В⊆ А, то В∈Х;
М3: если А,В∈Х и  В = А +1, то ∃ е, е∈В\А, такой, что А∪
{e}∈Х.
Минимальная д.н.ф. булевой функции - д.н.ф., равносильная этой
функции и содержащая наименьшее возможное число вхождений
переменных с отрицанием или без отрицания.
Минимальная к.н.ф. булевой функции f - к.н.ф., равносильная f, которая
содержит наименьшее число вхождений переменных.
Минимальный разрез - разрез с минимальной пропускной
способностью.
 11
Максимальный поток – поток, величина которого принимает
максимальное значение по сравнению с другими допустимыми потоками в
данной сети.
Минимальный (наименьший) элемент - элемент а частично
упорядоченного множества А для которого не существует элементов х, х ≠ а,
предшествующих ему, т.е. не существует х, х ≠ а, такого, что х≼а.
Множество - собрание определенных и различных между собой
объектов, мыслимое как единое целое.
Модель (реляционная система) - алгебраическая система 〈A;Ω F,Ω P〉
для которой Ω F = ∅ и Ω P ≠ ∅.
Моноид – полугруппа с единицей.
Монотонная функция – функция, для которой для любых наборов
значений ее аргументов (а1,а2, ...,аn) и (b1,b2, ...,bn) таких, что (а1,а2, ...,аn) ≥
(b1,b2, ...,bn), имеет место f(а1,а2, ...,аn) ≥ f(b1,b2, ...,bn).
Мультиграф - граф, в котором вершины могут соединяться более чем
одним ребром.
Мультипликативная группа – группа, в которой операция считается
умножением.
Направленный орграф - орграф, не имеющий симметричных дуг.
Насыщенная дуга – дуга, поток по которой равен её пропускной
способности.
Начальная вершина цепи – вершина в цепи, если нет других вершин
цепи предшествующих этой вершине.
Неполностью определенная булева функция - булева функция, значение
которой не определено (не задано) хотя бы для одного набора значений ее
аргументов.
Непомеченный граф – граф, в котором вершины не различаются (не
отмечены).
Нетривиальная цепь – цепь, содержащая хотя бы одно ребро.
 12
Нечетная вершина v, вершина, локальная степень которой deg(v)
нечетное число.
Нижняя грань решетки – элемент решетки 0, такой, что для ∀а:
0∩а=0.
Нуль - граф - граф G=(V,X), состоящий только из вершин.
Нуль-цепь – цепь, не содержащая никаких ребер.
Область определения бинарного отношения R - множество DR={x∈А:
существует такое y∈B, что xRy}.
Область значений бинарного отношения R - множество ImR={y∈B:
существует такое x∈A, что xRy}.
Обобщенное правило произведения: n(А1× А2× …× Ак)=n(А1) n(А2) …
n(Ак).
Образ элемента х∈А при отношении R - множество ImR(x) элементов
y∈B таких, что xRy.
Обратное к R отношение R-1={〈b,a〉 : 〈а,b〉 ∈R}.
Обход графа по глубине – обход, при котором после очередной
рассмотренной вершины k-го этажа выбирается смежная с ней вершина
следующего k+1-го этажа. Если очередная рассмотренная вершина висячая и
её достижение не даёт желаемого решения задачи, то возвращаются до
ближайшей вершины, откуда можно пройти до новой непросмотренной
вершины и т. д.
Обход графа по ширине – обход, при котором просмотр вершин дерева
ведётся по этажам (начиная с корня дерева). Переход от вершин k-го этажа к
вершинам следующего k+1-го этажа производится только после просмотра
всех вершин k-го этажа.
Объединение графов G1=(V1,X1) и G2=(V2,X2) - граф, множеством
вершин которого является V=V1∪V2, а множеством рёбер является X=X1∪ X2.
Объединение множеств А и В - множество А∪ В, каждый элемент
которого является элементом множества А или множества В.
Ограниченная решетка - решетка с верхней и нижней гранями.
 13
Операция поглощения - x ∨x&y ~ x.
Операция склеивания (полного) - x&y ∨x& y ~ x.
Орграф или ориентированный граф - совокупность, состоящая из
конечного множества V точек, называемых вершинами, и множества
упорядоченных пар различных вершин из V, называемых дугами.
Ориентированное дерево (ордерево, или корневое дерево) - орграф со
следующими свойствами:
1) существует единственная вершина, полустепень захода которой
равна 0. Она называется корнем ордерева;
2) полустепень захода всех остальных вершин равна 1;
3) каждая вершина достижима из корня.
Остовный подграф графа G=(V,X) - граф G=(V,X*), X*⊆ X,
содержащий все вершины графа G=(V,X), но возможно не содержащий
некоторых ребер из X.
Отец (родитель) для вершины v - предок u для вершины v, при условии,
что v и u смежные вершины.
Отношение строгого порядка - бинарное отношение R на множестве А
которое антирефлексивно, антисимметрично и транзитивно.
Отношение частичного порядка - бинарное отношение R на множестве
А, если R рефлексивно, антисимметрично и транзитивно.
Отношение эквивалентности - бинарное отношение R на множестве А
которое рефлексивно, симметрично и транзитивно.
Отображение алгебры А в(на) алгебру В - всякое отображение ϕ
основного множества А алгебры А в(на) основное множество В алгебры В.
Первый закон дистрибутивности: x&(y∨z) ~ x&y∨x&z.
Пересечение множеств А и В - множество А∩ В, элементы которого
являются элементами обоих множеств А и В.
Планарный граф - граф изоморфный плоскому графу.
 14
Плоский граф - граф, изображенный на плоскости так, что никакие два
его ребра (или, вернее, представляющие их линии) не пересекаются нигде,
кроме инцидентной или обоим вершины
Подалгебра 〈B; Ω F〉 алгебры 〈A; Ω F〉 если подмножество В (В ⊆ А)
замкнуто относительно всех операций алгебры 〈A; Ω F〉 .
Подграф графа (орграфа) G=(V,X) - граф (орграф) G = (V′ ,X′ ),
множество вершин V′ которого является подмножеством вершин V графа G,
а ребрами (дугами) - часть ребер (дуг) графа G, оба конца которых лежат в
множестве V′ .
Поле - коммутативное кольцо, у которого ненулевые элементы
образуют коммутативную группу относительно умножения.
Полугруппа – множество G, на котором введена одна ассоциативная
двуместная (бинарная) операция.
Полный граф - граф G=(V,X), в котором любые две вершины соединены
ребром.
Полиномиальная теорема:
n! n1 n2 nk
∑ x x . .x.
(x1+x2+…+xk)n= n ≥ 0 ,n ≥ 0, . .n. ,≥ 0 n ! n ! .n. !. 1 2 k .
1 2 k 1 2 k
n1 + n2 + . .+ .nk = n

Полное бинарное ордерево – ордерево, если из любой его вершины, не

являющейся листом, исходят ровно две дуги, а ярусы (уровни) всех листьев
совпадают.
Полный двудольный граф - двудольный граф G=( V1∪ V2, X), если любая
вершина из V1 соединена ребром с каждой вершиной из V2.
Полустепень исхода deg -(v) вершины v - число выходящих дуг из
вершины v.
Полустепень захода deg+(v) вершины v - число входящих дуг в вершину
v.
Помеченный граф – граф, в котором его вершины отличаются одна от
другой какими-либо пометками, например v1, v2,…, vn .
 15
Порождающая процедура – процедура, которая, будучи запущенной,
порождает некоторые объекты по заданным правилам.
Порядок элемента а - наименьшее целое положительное n такое, что
an=e.
Потомок вершины u - вершина v, достижимая из вершины u.
Предок для вершины v – вершина u, из которой достижима v.
Правило суммы - число элементов объединения непересекающихся
конечных множеств А и В равно сумме числа элементов этих множеств.
Правило произведения - если объект А может быть выбран n способами
и после каждого из таких выборов объект В в свою очередь может быть
выбран m способами, то выбор «А и В» в указанном порядке может быть
осуществлен nm способами.
Правый делитель нуля – элемент кольца b, такой, что a°b=0.

Предикат – некоторое условие, выраженное в форме логического

утверждения, которое истинно тогда и только тогда, когда указанные
переменные (указанная переменная) удовлетворяют заданному условию.
Предикат от n аргументов (n - местный предикат) - функция с
областью определения С n, n≥ 1, и областью значений, равной множеству
{И, Л}; здесь И – истина, Л – ложь.
ϕvk = ∑ϕ( x )
Притоком на выходе vk сети называется величина x∈U v−k .

Промежуточная вершина - любая вершина принадлежащая двум

соседним ребрам цепи.
Прообраз элемента y∈B при отношении R - множество kerR(y)
элементов x∈A таких, что xRy.
Противоречие - формула тождественно равная нулю.
Промежуточные вершины транспортной сети - Вершины в
транспортной сети S, отличные от источника и стока.
Пропускная способность разреза U A− - число, равное сумме
пропускных способностей дуг разреза U A− .
 16
Поток ϕ в сети - действительнозначная функция ϕ , определенная на
множестве дуг графа и удовлетворяющая следующим свойствам:
1) для любой дуги х, ϕ (х)≥ 0;
2) ϕ (х)≤ ψ (х) – поток по любой дуге х не превосходит ее пропускной
способности;
3) для любой промежуточной вершины v выполняется равенство:

∑ ϕ( x ) − ∑ ϕ( x ) = 0 U v− ,U v+
x∈U v− x∈U v+
, где - множество дуг графа,

соответственно заходящих в промежуточную вершину v и выходящих

из нее.
Простой путь в орграфе – путь, все вершины которого, кроме, быть
может, первой и последней, попарно различны.

Простая импликанта булевой функции f - элементарное произведение,

которые сами являются импликантами функции f, но никакая собственная
часть этих произведений не является импликантой этой функции.
Простая цепь – цепь, все вершины которой, кроме, быть может, первой
и последней, попарно различны и все ребра попарно различны.
Простой цикл – цикл если все его n вершин различны и n ≥ 3.
Псевдограф - граф, в котором есть дополнительные кратные ребра и
петли.
Пустое отношение – отношение, определяемое пустым
подмножеством.
Путь в орграфе – конечная или бесконечная чередующаяся
последовательность вершин и дуг v0, х1, v1, х2, v2,…, vn-1, хn, vn,…, в которой
каждая дуга хi есть 〈vi-1, vi 〉 .

Равносильные формулы - формулы, которые при каждой совокупности

значений всех переменных, входящих в них, принимают одинаковые
значения.
 17
Разбиение множества - подмножества В1, В2,…, Вk, (Вi ⊂ А, 1≤ i≤ k)
образуют разбиение множества А с n элементами, если выполняются
условия:
Вi≠ ∅, 1≤ i≤ k;
Вi∩Вj=∅, если i ≠ j;
А=В1∪В2∪ …∪ Вk.
Радиус графа G - наименьший из эксцентриситетов вершин графа G.
Разность множеств А и В: A\B={x: x∈A и x∉B}.
Разрез сети U A− относительно множества вершин А - множество дуг,
исходящих из вершин, не принадлежащих А, и заходящих в вершины А.
Расстояние d(v,u) между вершинами v и u взвешенного графа
(орграфа) G - длина кратчайшей простой цепи (кратчайшего простого пути),
идущей (идущего) из вершины v до вершины u; если же вершина u не
достижима из v, то полагаем d(v,u)=∞ .
Расстояние d(v,u) между вершинами v и u графа G - длина кратчайшей
простой цепи, соединяющей их, если же вершины v и u не соединены, то
полагают d(v,u)=∞ .

Расширение графа - операция включения в ребра графа новых вершин

со степенями 2.
Ребро графа - неупорядоченная пара вершин x = (vi,vj) графа G.
Ребро инцидентное вершине – ребро x = (vi,vj) инцидентно каждой
вершине vi и vj.
Регулярный (однородный) граф – граф, все вершины которого имеют
одинаковую локальную степень.
Решетка – множество М с двумя бинарными операциями ∪ и ∩,
такими, что для ∀a, b, c∈M выполнены аксиомы решетки:
1) идемпотентность: a∪a=a, a∩a=a;
2) коммутативность: a∪b=b∪a, a∩b=b∩a;
3) ассоциативность: (a∪b)∪c=a∪(b∪c) (a∩b) ∩c=a∩(b∩c);
 18
4) поглощение: (a∩b)∪a=a, (a∪b)∩a=a;
5) решетка называется дистрибутивной, если:
a∩(b∪c)=(a∩b)∪(a∩c), a∪(b∩c)=(a∪b)∩(a∪c).
Рефлекcивное бинарное отношение – отношение R если для ∀а∈А
〈а,а〉 ∈ R.
r-выборка - некоторая совокупность r элементов множества: (а1, а2,…,
аr), где аi∈А, i=1,2,…,r, r ≤ n.
r-сочетание - неупорядоченная r-выборка из n-множества А, если все r
элементов различны.
r-сочетание с повторениями - неупорядоченные r-выборки из n-
множества А, при наличии одинаковых элементов.
r-перестановка - упорядоченная r-выборка из n-множества А, если все
r элементов различны.
r-перестановка с повторениями - упорядоченная r-выборка из n-
множества А, если среди r элементов имеются одинаковые (равные).
Самодвойственная функция - функция f(x1,x2, ...,xn), такая, что  f(x1,x2,
...,xn) = f( x1, x2, ..., xn).
Связанные вершины – вершины, для которых существуют
соединяющая эти вершины.
Связный граф – граф, в котором любая пара вершин связана (соединена
простой цепью).
Связный ориентированный граф – орграф в котором для любых двух
его вершин v и u вершина u достижима из вершины v или вершина v
достижима из вершины u.
Сеть S (транспортная сеть) - орграф, обладающий следующими
свойствами:
1) существует единственная вершина v0, называемая входом или
источником, в которую не заходит ни одна дуга (полустепень
захода вершины v0 равна нулю);
 19
2) существует единственная вершина vk, называемая выходом или
стоком, из которой не исходит никакая дуга (полустепень исхода
вершины vk равна нулю);
3) каждой дуге х поставлено в соответствие неотрицательное
действительное число ψ (х), называемое пропускной способностью
дуги.
Симметричные дуги - дуги 〈v,u〉 и 〈u,v〉 .
Симметричное бинарное отношение – отношение R если из 〈x,y〉 ∈ R
следует, что 〈y,x〉 ∈ R.
Симметричная разность множеств А и В: A∆B=(A∪B)\(A∩ B).
Сложение по модулю два - функция (x+y) принимающая значение 1
тогда и только тогда когда x и y принимают различные значения.
Сложность (размер) схемы из функциональных элементов – число
функциональных элементов в этой схеме.
Смежные вершины – вершины vi и vj образующие ребро x = (vi,vj).
Смежные ребра – ребра, имеющие общую вершину.
Смешанный граф - граф, в котором имеются и дуги, и рёбра.
Собственное подмножество В множества А если В⊂ А и В≠ А.
Сокращенная д.н.ф. для булевой функции f(x1, x2, ..., xn) - дизъюнкция
всех простых импликант этой функции.
Сравнимые (конгруэнтные) по модулю m числа - два целых числа а и b
если m делитель числа a-b, т. е. если имеем: a=b+km, k=…, -2, -1, 0, 1, 2, ….
Сравнимые элементы х, у∈ А - если для х, у∈ А имеем х≼ у или у≼ х.
Cовершенная дизъюнктивная нормальная форма (с.д.н.ф.) для функции
f, (с.д.н.ф.) - д.н.ф. этой функции, удовлетворяющая следующим условиям:
- нет одинаковых слагаемых;
- в каждое слагаемое входят все переменные x1,x2,…,xn один и только
один раз (и только они) с отрицанием либо без отрицания.
Совершенная конъюнктивная нормальная форма (с.к.н.ф.) для функции
f - к.н.ф. этой функции, удовлетворяющая следующим условиям:
 20
-нет одинаковых множителей;
-в каждый множитель входят все переменные x1,x2,…,xn один и только
один раз (и только они) с отрицанием, либо без отрицания.
Степень графа – локальная степень вершин однородного графа.
Стрелка Пирса – функция (x↓ y) принимающая значение 1 тогда и
только тогда когда x и y оба принимают значение 1.
Стягиваемые графы - граф G стягивается к графу H, если H можно
получить из G с помощью некоторой последовательности элементарных
стягиваний.
Сын (дитё) для вершины v - потомок u для вершины v, при условии, что
v и u смежные вершины.
Сюръективная функция – функция для которой для любого у∈В
существует х∈А такой, что y=f(x).
Тавтология - формула тождественно равная единице.
Тип алгебры с n операциями - вектор τ = (m1, m2,…, mn), где mi –число
аргументов операции Fi (1≤ i≤ n).
Транзитивное бинарное отношение – отношение R если из 〈x,y〉 ∈ R и
〈y,z〉 ∈ R следует, что 〈x,z〉 ∈ R.
Тривиальный делитель нуля - элемент 0 кольца.
Тупиковая д.н.ф. булевой функции f - дизъюнкция простых импликант
функции f, ни одну из которых исключить нельзя, и указанная дизъюнкция
равносильна функции f.
Тривиальный граф - (1,0) граф.
Толщина графа G - наименьшее число планарных графов, объединение
которых даёт G.
Универсальное отношение U на множествах А и В совпадает с А× В:
U={〈a,b〉 : a∈A и b∈B}.
 21
Упорядоченная n-ка элементов a1, a2,…, an, a1∈A1, a2∈A2,…,an∈An -
объект 〈a1,a2,…,an〉 , такой что 〈a1,a2,…,an〉 =〈b1,b2,…,bn〉 , b1∈A1, b2∈A2,
…,bn∈An, тогда и только тогда, когда a1=b1, a2=b2, …, an=bn.
Упорядоченная пара - объект 〈a,b〉 такой, что 〈a,b〉 =〈c,d〉 тогда и
только тогда, когда а=с и b=d.
Уровень вершины ордерева – расстояние от корня до выбранной
вершины (если все дуги имеют единичную длину).
Функция, сохраняющая нуль - функция f(x1,x2, ...,xn), такая, что
f(0,0,...,0)=0.
Функция, сохраняющая единицу - функция f(x1,x2, ...,xn), такая, что
f(1,1,...,1)=1.
Фактор-множество - совокупность всех классов смежности
множества А по данному отношению эквивалентности R.
Фиктивная или несущественная переменная - переменная xk (1≤ k≤ n)
функции f(x1,x2,...,xn), если значение этой функции не меняются при
изменении значений xk.
Формула вводится индуктивным образом:
1) каждая булева переменная (x,y,z,…,x1,x2,…) является формулой;
2) если А и В формулы, то ( А), (А&В), (А∨В), (А⇒В), (А≡ В), (А В)
и (А↓ В) тоже формулы;
3) только те выражения являются формулами, для которых это
следует из пп. 1) и 2).
Функционально полная система функций – такая система
Ф={ϕ 1,ϕ 2,...,ϕ k} что всякая булева функция представима посредством
суперпозиции функций из системы Ф.
Функция - бинарное отношение f на множествах А и В для которого
образ каждого элемента (при этом отношении) единственен.
Характеристическая функция подмножества А – функция равная 1,
если х∈А и равная 0 если х∉ А.
 22
1, если x ∈A
µA ( x) =  x ∈U.
0, если x ∉A,

Частично упорядоченное множество - множество А с заданным на нем

отношением частичного порядка.
Четная вершина v, вершина, локальная степень которой deg(v) четное
число.
Целостное кольцо или область целостности - коммутативное кольцо
без делителей нуля, отличных от тривиального делителя нуля.
Центр графа G – множество всех центральных вершин.
Центральная вершина графа G – вершина v, эксцентриситет которой
равен радиусу графа: e(v)= r(G).
Цепь в графе G - конечная или бесконечная чередующаяся
последовательность вершин и ребер v0, х1, v1, х2, v2,…, vn-1, хn, vn,…, в которой
каждое ребро хi есть (vi-1, vi ); одно и то же ребро может встречаться в цепи
несколько раз.
Циклическая группа – группа с одной образующей.
Циклическая (замкнутая) цепь – цепь начало и конец которой
совпадают.
Штрих Шеффера - функции (x y) принимающая значение 0 тогда и
только тогда когда x и y оба принимают значение 1.
Эйлеровый цикл - цикл, содержащий все ребра графа в точности по
одному разу.
Эйлеровый граф - граф, обладающий эйлеровым циклом.
Эйлеровая цепь - простая цепь, проходящая через каждое ребро графа
один и только один раз.
Эквивалентность - функция (x ≡ y) принимающая значение 1 тогда и
только тогда когда x и y оба принимают одинаковые значения.
Эксцентриситет е(v) вершины v – максимальная длина цепи d(v,u) от v
до любой другой вершины u графа, при условии, что каждое ребро графа G
имеет единичную длину.
 23
Элементарное стягивание – процедура, при которой удаляется ребро
х= (v,u), отождествляя вершину v с вершиной u, отбрасываются все петли
графа и отождествляются кратные рёбра.
Элементы множества – объекты, из которых составлено множество.
Элементарная сумма - дизъюнкция (конъюнкцию) булевых
переменных либо их отрицаний. Одну переменную с отрицанием или без
отрицания тоже считают элементарной суммой.
Элементарное произведение - конъюнкция булевых переменных либо их
отрицаний. Одну переменную с отрицанием или без отрицания тоже считают
элементарным произведением.
Ярус дерева - вершины одного уровня.
n-арная (n-местная) операция на С - функция отображающая
множество С n в(на) С.
(n,m)-граф - граф с n вершинами и m ребрами.
Р0- класс функций, сохраняющих нуль,
Р1- класс функций, сохраняющих единицу,
S - класс самодвойственных функций,
М - класс монотонных функций,
L - класс линейных функций.