Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

1944

.pdf
Скачиваний:
9
Добавлен:
07.01.2021
Размер:
2.26 Mб
Скачать

Путь

(цикл),

 

Достаточные условия

 

 

 

 

 

 

 

 

 

содержащий

все

 

существования

 

 

 

 

вершины

графа

по

1.

Всякий

полный граф

 

 

 

 

Есть гамильтонов, но

одному

разу,

является гамильтоновым.

называется

 

2.

Если

граф,

помимо

нет эйлерова цикла.

гамильтоновым.

 

простого цикла, содержит и

 

 

 

 

Граф, обладающий

другие ребра, то он также

 

 

 

 

гамильтоновым

 

является гамильтоновым.

 

 

 

 

циклом

(путем),

3.

Если граф имеет гамильнов

 

 

 

 

Нет ни эйлерова, ни

называется

 

цикл, то он

может

иметь и

 

гамильтонова цикла

гамильтоновым

 

другие гамильтоновы циклы

 

 

 

 

 

Операции над графами

Название

 

 

Обозначение

 

 

 

 

 

 

 

Определение

операции

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Дополнение

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x V V;x X

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

X

 

 

 

G (V, X)

 

 

 

 

 

 

 

 

G(V, X)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Объединение

 

G (V , X

1

) G

2

(V

2

, X

2

)

 

 

G(V, X):V V1

V2,

графов

 

1

1

 

 

 

 

 

 

 

 

 

 

 

 

X X1

X2

 

 

 

(V1 V2

,

X1

X2

)

 

 

 

 

Пересечение

 

G1(V1, X1) G2

(V2, X2)

 

G(V, X):V V1

V2,

графов

 

 

X X1

X2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Сумма по

 

G (V , X

1

) G

2

(V

2

, X

2

)

 

G(V, X):V V1

V2,

модулю

 

1

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(V1 V2

,

X1

X2

)

 

X X1

X2

 

 

 

 

 

Cпособы задания графов

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Название

 

 

Способ задания

 

 

 

 

 

 

 

 

 

 

 

П р и м е р

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

V 1,2,3,4

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x, y R "x y"

 

Аналити-

 

Бинарное отношение R на

 

 

v1

 

 

x1

v2

 

 

 

 

 

 

 

 

 

 

 

 

ческий

 

 

множестве

 

 

 

 

 

 

 

 

 

 

 

x4

 

 

 

x2

 

 

 

 

 

V vi ,i 1,n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x5

x6

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

v4

 

 

 

v3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

109

Матрица

 

 

a

a

...

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

смежности

 

 

11

12

 

 

1n

 

 

 

vi

 

1

2

3

 

4

 

 

 

графа

 

 

 

a21

a22 ...

a2n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

0

1

1

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

G(V, X)

 

 

...

... ...

 

...

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

0

0

1

 

1

 

 

 

V v ,...,v

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

an1

an2 ...

ann

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

1,

если (v

,v

 

) X;

 

 

3

 

0

0

0

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

aij

 

 

 

i

 

j

 

 

 

 

4

 

0

0

0

 

0

 

 

 

 

 

 

 

если (v

,v

 

) X

 

 

 

 

 

 

 

 

 

 

 

 

0,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

 

j

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Матрица

 

 

a

a

...

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

инцидент-

 

 

 

11

12

 

 

1m

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ности

 

 

 

a21

a22 ...

a2m

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x1

 

x2

 

x3

 

x4

 

x5

x6

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

орграфа

 

 

 

...

... ...

...

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

1

 

0

 

0

 

1

 

0

1

 

G(V, X)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

an1

an2 ...

anm

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

-1

 

1

 

0

 

0

 

1

0

 

V v1,...,vn

 

 

1, если xj

исходит изvi;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

X x1,...,xm

 

 

 

 

 

 

 

 

 

 

 

3

 

0

 

-1

 

1

 

0

 

0

-1

 

aij

1,если xj заходит в vi

;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

если xj

 

 

 

 

 

 

4

0

 

0

 

-1

-1

-1

0

 

 

 

 

 

 

0,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

не инцидентна vi

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

110

Раздел 21. ЭЛЕМЕНТЫ МАТЕМАТИЧЕСКОЙ ЛОГИКИ

Операции над высказываниями

Высказыванием Р называется предложение, к которому возможно применить понятия истинно И или ложно Л.

П р и м е р. «2+3=5» – И; « Москва – столица Казахстана» – Л.

Название

Определение

 

 

 

 

 

Таблица

операции и

 

 

 

 

 

 

 

 

истинности

обозначение

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Отрицание

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Р

 

Р

Высказывание Р (или Р )

 

 

 

( )

 

 

 

 

И

 

 

Л

 

 

истинно Р ложно

 

 

 

 

 

 

 

 

связка «не»

 

 

 

 

Л

 

 

И

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Конъюнкция

 

 

 

 

 

Р

 

 

Q

 

Р Q

 

Высказывание Р Q истинно

 

И

 

 

И

 

И

 

( или &)

И

 

 

Л

 

Л

 

истинны оба высказывания

 

 

 

 

 

 

связка «и»

 

 

Л

 

 

И

 

Л

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Л

 

 

Л

 

Л

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Дизъюнкция

 

 

 

 

 

Р

 

 

Q

 

Р Q

Высказывание Р Q ложно

 

И

 

 

И

 

И

 

( )

 

 

 

 

 

И

 

 

Л

 

И

связка

ложны оба высказывания

 

 

 

 

 

 

 

 

Л

 

 

И

 

И

 

«или»

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Л

 

 

Л

 

Л

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Импликация

 

 

 

 

 

Р

 

 

Q

 

Р Q

 

Высказывание Р Q ложно

 

 

И

 

 

И

 

И

 

( )

 

 

 

 

 

 

И

 

 

Л

 

Л

 

связка

Р истинно, а Q – ложно

 

 

 

 

 

 

 

 

Л

 

 

И

 

И

 

«если …, то…»

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Л

 

 

Л

 

И

 

 

 

 

 

 

 

 

 

 

 

Эквиваленция

 

 

 

 

 

 

 

 

 

 

 

 

Высказывание Р ~ Q истинно

 

Р

 

 

Q

 

Р ~ Q

(~ или )

 

 

 

 

 

 

 

 

 

 

И

 

 

И

 

И

 

связка

истинности высказываний Р и Q

 

 

 

 

 

 

И

 

 

Л

 

Л

 

«тогда и только

совпадают

 

 

 

 

 

 

 

 

Л

 

 

И

 

Л

 

тогда»

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Л

 

 

Л

 

И

 

 

 

 

 

 

 

 

 

 

 

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

101

Булевы функции

Булева функция f(X1, X2,…,Xn) n-местная функция, аргументы и значения которой принадлежат множеству {0, 1}.

Если логические высказывания могут принимать значения истинно или ложно, то для булевой функции аналогами этих значений будут значения 1 или 0. Для булевых функций справедливы таблицы истинности и основные равносильности алгебры высказываний.

Дополнительно

вводятся операции:

 

Х1 | Х2=Х1 Х2

штрих

Шеффера и Х1 Х2 =

 

 

 

 

 

 

 

стрелка Пирса.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Х1

Х2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

X1

 

X2

 

X1

 

X1 X2

 

X1 X2

 

X1 X2

 

 

X1 X2

 

Х1 | Х2

 

 

Х1 Х2

 

 

1

 

1

 

0

 

1

 

 

 

1

 

 

 

 

 

1

 

 

 

 

 

1

 

 

0

 

 

 

 

 

 

 

 

0

 

 

 

1

 

0

 

0

 

0

 

 

 

1

 

 

 

 

 

0

 

 

 

 

 

0

 

 

1

 

 

 

 

 

 

 

 

0

 

 

 

0

 

1

 

1

 

0

 

 

 

1

 

 

 

 

 

1

 

 

 

 

 

0

 

 

1

 

 

 

 

 

 

 

 

0

 

 

 

0

 

0

 

1

 

0

 

 

 

0

 

 

 

 

 

1

 

 

 

 

 

1

 

 

1

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

Основные законы математической логики

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Название

 

Закон относительно

 

 

 

 

 

Закон относительно

 

 

 

операции конъюнкции

 

 

 

 

операции дизъюнкции

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Тавтология

 

 

 

 

х х х

 

 

 

 

 

 

 

 

 

 

 

х х х

 

 

 

 

Коммутативность

 

 

 

х у у х

 

 

 

 

 

 

 

 

х у у х

 

 

 

 

Ассоциативность

 

(х у) z x (y z)

 

 

 

 

 

(х у) z x (y z)

 

 

Дистрибутив-

 

x (y z) (x y) (x z)

 

 

 

х (у z) (x y) (x z)

 

 

 

 

 

ность

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Законы де

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

х y x y

 

 

 

 

 

 

x y x y

 

 

 

 

 

Моргана

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Законы

 

 

 

x (x y) x

 

 

 

 

 

x (x y) x

 

 

 

 

поглощения

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Операции с 0 и 1

 

х 1 х; х 0 0

 

 

 

 

 

х 1 1; х 0 х

 

 

 

 

Закон

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

дополнитель-

 

 

 

 

x

x

0

 

 

 

 

 

 

 

 

 

 

 

х

х

1

 

 

 

 

 

 

ности

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Закон склеивания

 

(y x) (y

 

 

) y

 

 

 

 

 

(y x) (y

 

 

) y

 

 

 

x

 

 

 

x

 

 

 

Закон

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x (x y) x y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ортогонализации

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Закон

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

х

 

у х y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

импликации

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Инверсия

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

102

П р и м е р. Доказать с помощью таблиц истинности справедливость формул де Моргана x y x y.

 

x

 

 

y

 

 

 

 

 

x y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x y

 

x

 

y

 

x y

 

 

0

 

 

0

 

 

 

 

0

1

 

1

 

1

 

1

 

 

 

 

 

0

 

 

1

 

 

 

 

1

0

 

1

 

0

 

0

 

 

 

 

 

1

 

 

0

 

 

 

 

1

0

 

0

 

1

 

0

 

 

 

 

 

1

 

 

1

 

 

 

 

1

0

 

0

 

0

 

0

 

 

 

 

 

 

Закон

справедлив, так как совпадают столбцы истинности для

формул

 

и

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x y

x

y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Формы представления булевых функций

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

х,если 1

 

 

 

 

 

 

 

 

 

 

 

 

Пусть

x0 x,

x1 x, 0,1 . х

 

 

 

 

 

 

 

 

 

литера.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x, если

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Совершенные формы

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Формула

 

 

 

 

 

 

 

 

 

 

 

 

Совершенная конъюнктивная

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

нормальная форма (СКНФ)–

 

 

 

 

f (x1, x2

,...,xn )

 

 

 

 

 

 

 

i

 

 

 

 

 

 

 

 

xi

 

конъюнкция конституент нуля

 

 

 

 

 

 

 

 

 

 

 

 

 

по всем наборам

i 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

( 1, 2,..., n)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

на которых

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f ( 1, 2,..., n) 0

 

 

 

 

 

 

 

 

 

 

 

Совершенная дизъюнктивная

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

нормальная форма (СДНФ) –

 

 

 

f (x1, x2

,...,xn )

 

 

 

 

 

 

i

 

 

 

 

 

 

xi

 

дизъюнкция конституент

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

по всем наборам i 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

( 1, 2,..., n)

 

 

 

 

 

 

 

 

 

 

 

 

единицы

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

на которых

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f ( 1, 2,..., n) 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

П р и м е р

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

y

 

f (x, y)

 

 

 

 

 

 

 

 

Элементарные

 

Элементарные

 

 

 

 

 

 

 

 

x y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

конъюнкции

 

 

 

 

 

 

 

дизъюнкции

 

 

 

 

 

 

 

 

 

 

 

 

0

0

 

 

 

 

1

 

 

 

 

 

 

 

 

 

x0 y0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

1

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

y1 x1 y0 x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y

 

 

1

0

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x1 y

 

x0 y1

 

 

y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

1

1

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x1 y1 x0 y0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

y

 

 

СДНФ:

 

f (x, y)

 

 

 

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

СКНФ:

 

f (x, y) (x

 

) (

 

y) (

 

 

 

).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y

x

x

y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

103

Раздел 22. ТЕОРИЯ ВЕРОЯТНОСТЕЙ

Случайные события и действия над ними

Событие – явление, которое может произойти или не произойти при осуществлении определенной совокупности условий.

Событие называется достоверным ( ), если оно обязательно произойдет в результате данного опыта. Событие называется невозможным (Ø), если оно заведомо не произойдет в результате данного опыта. Два события называются несовместными, если появление одного из них исключает появление другого события в одном и том же опыте. В противном случае события называются

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

Действия над событиями

Название

Теоретико-

операции

Определение множественная трактовка операций

Сумма

Событие C состоит в наступлении

 

 

 

 

 

 

 

 

 

 

C A B

хотя бы одного из событий (или

A,

A

 

 

 

 

 

 

 

 

 

 

или B, или A и B вместе)

 

 

 

 

 

B

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Произве-

Событие С состоит в совместном

 

 

 

 

 

 

 

 

 

 

 

 

дение

наступлении событий ( A и

B

 

 

 

 

 

 

 

 

 

 

 

С

 

C A B

одновременно)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

A

 

 

 

 

B

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Разность

Событие С означает, что происходит

 

C A B событие

A,

но

не

происходит

С

 

событие B

 

 

 

 

 

 

 

 

 

A

B

 

 

 

 

 

 

Противо-

Событие С происходит тогда и

 

положное

только тогда, когда не происходит

 

 

A

событие

событие A

 

 

 

 

A

 

 

 

 

 

С = A

 

 

 

 

 

 

104

Вероятность события

1) Классическое определение вероятности: Р(А) m,

n

здесь m число случаев, благоприятствующих событию A; n общее число равновозможных и попарно несовместных случаев.

Следствия. 0 Р(А) 1; Р(Ø)=0; Р( ) 1, P A 1 P A .

2) Статистическое определение вероятности.

m относительная частота события, где m число случаев

n

наступления события (частота); n общее число испытаний. Статистической вероятностью события A в данном испытании

называют число Р(А), около которого колеблется относительная частота события A при достаточно большом числе испытаний.

Теоремы сложения и умножения вероятностей

 

 

 

Теоремы сложения

 

Теоремы умножения

1.Если A, B несовместные события,

1.Условная вероятность P (B):

тоP(A B) P(A) P(B)

 

 

 

 

A

 

вероятность события

B при

2. Если A, B совместные события, то

условии, что произошло событие

P(A B) P(A) P(B) P(AB)

 

A

 

 

3. Если A1,A2,...,An

образуют полную

P (B)

P(AB)

 

группу событий, то

 

 

 

 

A

P(A)

 

 

 

 

 

 

 

 

 

 

 

 

2. Если A, B – зависимые

P(A1) P(A2) ... P(An ) 1,

 

4. Если A1,A2,...,An – совместные

 

события, то

 

 

 

P(AB) P(A) PA (B) P(B) PB (A)

события, то

 

 

 

 

3. Если A, B – независимые

P(A1 ... An ) 1 P

 

 

 

 

 

 

A1

... An

 

события, то P(AB) P(A) P(B)

1 P(

 

 

 

...

 

)

 

 

 

 

 

 

 

 

A1

A2

An

 

 

 

 

 

 

 

 

 

 

 

 

Следствия из теорем сложения и умножения

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

Формула полной вероятности

 

 

 

 

 

 

 

 

 

 

 

 

 

 

P(A) P(Hi ) PHi (A) P(H1) PH1 (A) ... P(Hn ) PHn (A),

 

 

 

 

i 1

 

 

 

 

 

 

 

 

где H1,H2,...,Hn

 

гипотезы

(попарно несовместные

события,

 

 

 

 

 

 

 

 

 

n

, Hi H j Ø i j).

 

образующие полную группу, т.е. Hi

 

i 1

Формула Байеса PA(Hi ) P(Hi ) PHi (A)

P(A)

105

Последовательность независимых испытаний

Pn(k) вероятность появления события A k раз в n независимых испытаниях

Точная формула

 

Локальная формула

 

Формула

 

(формула Бернулли)

 

Муавра–Лапласа

 

Пуассона

 

 

 

 

 

Условия применения формул

 

 

 

 

 

n невелико

 

n велико;

np 10

n велико;

 

 

np невелико

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Формула

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

P (k)

 

 

 

1

 

 

 

x ,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

npq

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Р k Сk рk qn k,

 

где x 1

 

 

 

 

 

 

 

x2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k

 

n

 

n

 

 

 

 

 

 

e 2

 

 

 

где P(A) p,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

P (k)

 

e

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

функция Гаусса,

n

 

k!

 

 

 

 

 

 

 

 

 

q 1 p,

 

 

где

 

 

значения которой

 

 

k

 

n!

 

табулированы (прил. 1),

 

np

 

Cn

 

 

 

 

 

( x) (x),

 

 

 

 

 

k! n k !

 

 

 

 

 

 

 

 

 

 

 

 

 

x

k

np

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

npq

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Интегральная теорема Лапласа

Вероятность того, что в n независимых испытаниях, в каждом из которых вероятность появления события равна p (0< p<1), событие наступит не менее k1 раз и не более k2 раз, приближённо равна

P(k1,k2) Ф(x ) Ф(x ),

 

1

 

x

 

z2

 

 

 

здесь

Ф(x)

 

 

 

e

2

 

 

 

2

 

 

 

 

 

0

 

 

dz функция Лапласа, значения которой

табулированы (прил. 2), Ф( x) Ф(x); x k1 np, x k2 np. npq npq

Вероятность отклонения относительной частоты от постоянной вероятности в схеме независимых испытаниях:

 

 

m

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

P

 

 

p

 

 

 

 

0.

 

 

 

2Ф

 

,

 

 

n

 

 

 

 

 

pq

 

 

 

 

 

106

Формы закона распределения случайной величины

Случайная величина (СВ) – величина, которая в результате испытания может принимать то или иное значение, заранее неизвестное. Дискретная случайная величина (ДСВ) принимает конечное или счетное множество значений, непрерывная случайная величина (НСВ) принимает значения из некоторого конечного или бесконечного промежутка.

Закон распределения СВ – любое правило (таблица, функция, график), позволяющее находить вероятности произвольных событий.

СВ

 

 

 

 

 

 

Форма закона распределения СВ

 

 

 

 

Ряд распределения

 

Функция распределения

 

 

 

 

 

 

 

 

 

 

 

F x P X x , x .

 

 

x1

 

 

x2

 

xn

 

 

 

 

 

 

 

 

 

 

 

 

Геометрическая

ДСВ

 

p1

 

 

p2

 

pn

 

 

 

 

 

 

 

 

интерпретация

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

где pi P X xi ; pi 1

 

 

X<x

 

 

 

 

 

 

 

i 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

X

x

 

 

Плотность распределения

 

 

 

 

Свойства F(x)

 

 

 

 

 

вероятностей

 

 

 

 

 

 

1. F 0;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f (x) F (x)

2. F 1;

 

 

 

 

 

Свойства f(x):

3. 0 F x 1, x ;

 

 

1. Неотрицательность:

f x 0

4. F x – неубывающая

 

 

 

 

 

 

 

 

 

 

функция, т.е.

 

 

2.Условие нормировки: f x dx 1

x1, x2 : x1

x2 F x1 F x2

 

 

 

 

 

 

 

b

 

5. P(a x b) F(b) F(a)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

График F(x) для НСВ

 

 

3. P(a x b) f (x)dx

 

 

 

 

 

 

 

 

a

 

 

F(x)

 

НСВ

 

4. Связь с функцией распределения:

1

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

F(x)

 

f (x)dx.

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f(x)

 

 

 

 

 

 

График F(x) для ДСВ

 

 

F(x)

 

 

 

 

 

P(a<x<b)

F(x)

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

a b

 

x

 

 

 

 

 

 

 

x1

x2

x3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

107

Числовые характеристики случайной величины

Числовые

 

 

 

 

 

 

Дискретная

 

 

 

 

 

 

 

 

Непрерывная

 

 

 

характерис-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

случайная величина

 

 

 

 

 

 

случайная величина

 

 

 

тики

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Матема-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

MX

x f x dx,

 

 

 

 

 

 

 

 

MX xi pi,

 

 

 

 

 

 

 

 

 

 

 

тическое

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

где f x – функция

 

 

ожидание

 

 

 

 

 

где pi P X xi

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

плотности

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

DX M X MX 2 или DX MX2

MX 2.

 

 

 

Дисперсия

 

 

 

 

 

n

 

 

n

 

2

 

DX

 

x2 f x dx

 

f

x dx

2

 

 

 

 

DX x2 p

x p

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i i

 

i i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i 1

i 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Среднее

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

квадратичес-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

DX

 

 

 

 

 

 

 

 

 

кое откло-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

нение

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Свойства числовых характеристик

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Математическое ожидание

 

 

 

 

 

 

 

 

 

 

 

Дисперсия

 

 

 

 

 

 

1.

MC C,

где С – константа;

 

 

1.

DC 0, где С – константа;

 

 

 

 

2.

M CX CMX;

 

 

 

 

 

2.

D CX С2DX ;

 

 

 

 

 

 

 

3. M X Y MX MY;

 

 

3.

D X Y DX DY для

 

 

 

 

4.

M X Y MX MY для

 

 

 

независимых случайных величин.

 

 

независимых случайных величин.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Моменты случайных величин

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Моменты

 

 

 

 

 

 

 

ДСВ

 

 

 

 

 

 

 

 

 

 

 

 

НСВ

 

 

 

 

Начальный

 

 

 

 

 

 

 

 

 

 

 

k M(X k )

 

 

 

 

 

 

 

 

 

момент

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k xik

pi

 

 

 

 

 

 

 

 

k

 

k

f (x)dx

 

 

порядка k

 

 

 

 

 

 

 

i

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Цент-

 

k

M(X MX)k ,A

3

– коэффициент асимметрии

 

 

ральный

 

 

 

 

 

 

 

 

 

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

момент

 

E

 

4

3

– коэффициент эксцесса («островершинности»)

 

 

порядка k

 

 

 

 

 

 

4

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(xi MX)k pi

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k

 

 

k (x MX)k f (x)dx

 

 

 

 

 

 

 

 

 

 

 

i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

108

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]