Файл: Дискретная математика.pdf

ВНИМАНИЕ! Если данный файл нарушает Ваши авторские права, то обязательно сообщите нам.
background image

ГЛОССАРИЙ

Биекция — это отображение, которое является одновременно и сюръективным,

и инъективным. При биективном отображении каждому элементу одного множе-
ства соответствует ровно один элемент другого множества, при этом определено
обратное отображение, которое обладает тем же свойством. Поэтому биективное
отображение называют ещё взаимно-однозначным отображением (соответствием),
одно-однозначным отображением.

Бихроматический граф — граф, у которого

χ

(G) = 2, где χ(G) — хроматическое

число графа G.

Изоморфизм графов G

=

(V

G

U

G

) и = (V

H

U

H

) — это биекция между множе-

ствами вершин графов ∶ V

G

Ð→ V

H

такая, что любые две вершины и графа G

смежны тогда и только тогда, когда вершины f (u) и f (v) смежны в графе H.

Импликанта. Булева функция g

(x

1

. . .x

n

) является импликантой булевой функ-

ции f

(x

1

. . .x

n

), если для любого набора переменных, на котором = 1, справед-

ливо f

= 1.

Инъективность. Функция называется инъективной (или, коротко, инъекция),

если каждому элементу множества сопоставлен один и только один элемент
множества Y.

K-хроматический граф. Граф называется k-хроматическим, если

χ

(G) = k.

Конечный граф — это граф G

=

(X,U), у которого количество его вершин ∣X

конечно.

Конъ ´

юнкция — логическая операция по своему применению максимально при-

ближенная к союзу «и». Синонимы: лог´ическое «И», лог´ическое умнож´ение, ино-
гда просто «И ». Конъюнкция может быть бинарной логической операцией, то есть
иметь два операнда, тернарной операцией, то есть иметь три операнда, или n-ар-
ной 
операцией, то есть иметь операндов. В записи, по аналогии с умножением
в алгебре, знак логического умножения в конъюнкции может быть пропущен: ab.

Метрика — функция, определяющая расстояние в метрическом пространстве.

Метр´ическое простр´анство — множество, в котором определено расстояние

между любой парой элементов.


background image

Глоссарий

97

Минтерм — булева функция, принимающая истинное значение лишь при одной-

единственной комбинации. Последовательность составления формы СНДФ: по
строке таблицы истинности составляют логическое выражение, которое являет-
ся произведением (конъюнкция) всех входных переменных с отрицанием или без
него. Эти элементарные произведения, в которых содержатся все переменные, на-
зываются конституентами или минтермами. Минтермы составляются только для
тех строчек таблицы истинности, в которых выходная переменная принимает зна-
чения логической единицы (или логического нуля).

Паросочетание — двудольный граф, в котором всякие два ребра не являются

смежными.

Плотный граф — это полный граф, у которого при каждой вершине имеется

петля.

Полный граф — это граф, у которого любые две вершины соединены ребром.

Пустой граф — это граф G

=

(X,U), состоящий только из изолированных вер-

шин, т. е. граф, не содержащий ни одного ребра

(∣U∣ = 0).

Сложная система — это собирательное название систем, состоящих из боль-

шого числа взаимосвязанных элементов.

Сюръективность. Функция называется сюръективной (или, коротко, сюръ-

екция), если каждому элементу множества прибытия может быть сопоставлен хотя
бы один элемент области определения.

Т´ождество (в математике) — равенство, выполняющееся на всём множестве

значений входящих в него переменных (равенство, верное при любых значениях
переменных).

Функция. В самом общем виде, функция — это «закон», по которому каждому

элементу одного множества (называемому областью определения) ставится в соот-
ветствие некоторый элемент другого множества (называемого областью значений).

Хроматическое число графа G — минимальное число цветов, в которые мож-

но раскрасить вершины так, чтобы концы любого ребра имели разные цвета.
Обозначается

χ

(G).

Элементарное произведение — конъюнкт, в который любая переменная входит

не более одного раза.


background image

Учебное издание

Жигалова Елена Федоровна

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

Учебное пособие

Корректор Осипова Е. А.

Компьютерная верстка Кузнецова Ю. О.

Подписано в печать 26.08.14. Формат 60х84/8.

Усл. печ. л. 11,63. Тираж 300 экз. Заказ

Издано в ООО «Эль Контент»

634029, г. Томск, ул. Кузнецова д. 11 оф. 17

Отпечатано в Томском государственном университете

систем управления и радиоэлектроники.

634050, г. Томск, пр. Ленина, 40

Тел. (3822) 533018.