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

Литература / Дополнительная литература / 24_В.В.Аниськов, И.В.Близнец - Дискретная математика. Курс лекций

.pdf
Скачиваний:
38
Добавлен:
29.02.2016
Размер:
659.25 Кб
Скачать

БеларусьеспубликиобразованияобразованияУчреждениеМинистерство

госуомельский

университет

СкориныдарственныйФранцискимени

БЛИЗНЕЦВ.И.АНИСЬКОВ,В.В. МАТЕМАТИКАЕТНАЯДИСК ЛЕКЦИЙСКУ

2006омель,

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

 

ВалерьевичВалерийАниськов

ВасильевичИгорьБлизнец

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

ЛЕКЦИЙСКУ

 

нтостуля

êóðñ

020103311стильцисп

 

тикмтМ

льность)ятяскичоп-учно(н

редакцииавторскойВ

По1дписа.• арíоитуравпечатьОтпечатомельскийТаймс26аноимени.10учреждения. .У2006соригиналалгосу.Францискпг..дарственный(72)л. 6,3образованияФормат-макУчСк.ет-издориныуниверситетна.л.ризогра60×844,91/16Тираж. Бумаге25аэкзписчая. 246019, г. омель, ул. Советская, 104

1

.,Карпов.В.

 

Литература

 

 

-дискретилогикаМатематическаяВ.А.й

1977.шк.,Выш..:ощенскÌматематика.ная

Ó,ÁÌí.:å.

2

Â.À.

Лекции

логойматематическпо

3

А.В.,Мощенский

 

 

-ориносновыМатематическиеВ.А.

.1973

 

 

 

 

 

2002.У,БМн.:матики.

 

 

 

и.кибернетивопросыматематическиеМощенскийматематикаДискретная4

М.:Лупанова.О.Б.огоЯблонскС.В.редакциейобщейПод

.51979

Наука,М.:математику.дискретнуювдениеВвС.В.Яблонский

4

1972.Наука,М.:задачах.вгикилАлгебра.С.индикин

6

7

дискретнойпозадачСборникА.А.îСапоженк.П.,аврилов

1977.Наука,М.:.тематик

 

 

 

1984.Наука,М.:алгоритмов.теорииилогикеойматическ

8

-матемножеств,теориипоЗадачиЛ.Л.МаксимоваИ.А.,Лавров

108

БеларусьеспубликиобразованияобразованияУчреждениеМинистерство

госуомельский

университет

СкориныдарственныйФранцискимени

БЛИЗНЕЦВ.И.АНИСЬКОВ,В.В.

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

ЛЕКЦИЙСКУ

студентовдля

êóðñ

020103311остиспециаль

Математика

деятельность)педагогическая-(научно

2006омель,

 

 

ББКУДК

.8)173ÿ1(075..17451922

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

674A

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ецензенты:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

наук;математических-зикодокторСеменчук,Н.В.

 

 

 

 

 

 

 

 

 

 

 

государственный

СкориныобразованияФранцискимениуниверситет

 

 

 

 

 

 

 

 

 

 

алгебрыедрака

учреждениягеометрии

 

омельский

 

 

 

 

 

 

 

 

 

екомендовано

учреждесоветомметодическим-научноизданию

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

í

ÿ

 

 

-Франимениуниверситетгосударственныйомельский

 

 

 

 

 

 

 

Скориныобразованияскèö

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

В.В.Аниськов

 

 

êóð

 

 

 

 

 

 

 

674A

1студентовдлялекцийкурсматематика:Дискретная

 

 

 

 

 

 

 

-(научноМатематика020103311специальностиса

 

 

 

 

 

 

 

 

 

 

Близнец;В.И.Аниськов,В.В./деятельность)педагогическая

 

 

 

 

 

 

 

 

 

 

ственныйгосудаомельскийБ,.обрво-Мин

 

 

 

 

 

 

 

 

 

 

 

 

. 108 университет 2006. . орины Ф.Ск им. У УО . орины Ф.Ск им.

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

курса1студентамначенпредналекцийКурс

атематического

 

 

 

 

 

 

 

 

Математик020103311специальностиультета

-(научно

 

 

 

 

 

 

 

 

 

 

-педагогиматематДискретнаядисциплинуизучающим,деятельность)ая

 

 

 

 

 

 

 

изучения.самостоятельногодляиспользованбытьМожет.аческ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

519.1(075.8)ÓÄÊ

 

 

 

 

 

 

 

 

 

 

 

 

 

173ÿ22.174ÁÁÊ

 

 

 

 

 

 

 

 

 

 

 

 

В. В. Аниськов, И. В. Близ ец,

 

 

 

 

 

 

 

 

 

 

 

 

 

УО У им. Ф. Скорины

2006

 

 

 

 

 

 

 

ÐÈÑ. 32

107

ÐÈÑ. 31106

Введение

 

 

Содержание

 

1

Элементы

 

.сочетания

 

 

 

1

ановкиерест

 

 

 

2

 

исключениявключенияомбинаторикиинцип

 

 

41.

....................ункциидящиеПроизво

2

3

соотношенияекуррентные

 

 

ûðà

 

 

 

 

 

 

1

понятияНачальные

 

 

 

2

Степень

вершины

 

 

 

3

...................циклыиПути

3

42.

.......циклыэйлеровыиыградвудольныеДеревья,

свойстваихиункцииБулевы

 

 

 

1

ункциибулевырныеЭлемент

 

 

 

2

ункцийбулевыхэлементарныхСвойства

 

3

...двойственностиПринцип

................

4

43.

ункцийбулевыхазложения

ункцийбулевыхормынормальныеДизъюнктивные

 

1

нормальныхдизъюнктивныхминимизацииПроблема

 

2

..............ункцийбулевых

 

Упрощение

-ормТупикорм.нормальных

 

3

....ормегеометрическойчидизъюнктивныхзастановкП

 

44.

âûå

 

.ормынормальные

5

îÑ

.....орманормальнаяизъюнктивнаядизъюнктивные

кращеннаяПолнот

бусистем

ункций

 

2

ункцийлевыхбуклассытыеВажнейшиезамкнутость

 

1

Полные

ункцийбулевыхстемы

 

 

35.

Êð

полнтерии

.......................òû

6

Функции1 ПонятиеK-знаункциичной логики

 

 

 

26.

еализации

êöèék-значной логики . . . . . . . . . . . . .

 

 

ные равносильности k.-зна. . чной.3. . логики. . .

-Основормулами.

5 6 12 15 18 25 27 28 31 34 37 38 45 47 49 53 56 57 66

70 74

7

. . . . . .элементов..ункциональных..изементовьныхý.åì..ñ..элементов..синтезаиз..ды.ункциональныхемс..емы.метоиз.преобразователисинтеза.мысункциональныхарныеòíûåятиеакизментовроблемаîíМетоэЭлементÏКДискреемы54321Сх

92078

 

6

Шеннонад

0

 

77.

.......................сумматораСинтез

310

Литература

108

4

ассмотрим хорошо известныйy =алгоритмy y . . . сложенияy .

чисел

 

 

 

 

 

 

 

n

n−1

1

 

 

 

 

 

êîì":

 

 

 

 

 

 

 

 

= 0).

 

 

 

 

 

 

x è y "столби-

 

 

 

 

 

 

(q1

чтоОчевидно,

 

 

 

 

 

qn+1

qn . .

 

q1

 

 

 

 

 

 

 

+

 

xn . . .

 

x1

 

 

 

 

 

 

 

 

 

 

 

yn . . . y1

 

 

 

 

числаЗдесь

 

 

zn+1

zn . . .

 

z1

 

 

 

 

 

qn+1, qn . . . , q1

 

 

 

 

 

 

 

 

 

 

 

 

-перепредыдущихрезультатыразрядовобозначаютпредыдущихизносов

 

 

 

zi = xi + yi + qi(mod2),

 

 

тождествомвоспользоватьсяЕсли

 

 

 

 

 

 

 

 

 

qi+1

= (xi yi) (xi qi) (yi qi).

 

xi, yi,

qi

 

 

 

zi

 

qn+1

 

 

 

31)

 

 

 

 

 

 

xi + yi + qi

=

 

 

 

 

 

соединенияn-разрядныхблокпреобразованиечисел,

лучаетс

последовательногопутем

 

 

 

(xi yi) (xi

qi) (yi

qi

 

 

величинто легк получить двоичныхсему,реализующуюxi yi qi (xсоответствующееi yi qi),

преобразование

осуществляет

 

Bi

(ñì. ðèñ.

32). Â ýòîé õåìå zn+1 = qn+1 è áëîê B1

чим Обозна

 

величины

 

 

 

 

 

 

 

 

 

 

 

 

тольк

через. построенную(смпредст.хрисему. что

 

с нами искомая Тогда

åìà

 

 

 

 

 

 

 

 

 

 

 

Bi (1 < i 6 n).

äâóõ

 

 

Σn

которая

 

 

длясумматорсобойавляет

 

 

z1 = x1 + y1 =

 

(x1 y1),

 

 

 

x1 y1

 

чтоОчевидно,

 

 

 

 

q2 = x1 y1.

 

 

 

 

è

 

 

 

 

L(B1) = 4

 

 

 

 

Таким образом, получаемL(следующуюBi) = 9 (1 оценку:< i 6 n).

 

 

 

Ln) 6 9 · (n − 1)105+ 4 = 9n − 5 < 9n.

 

акПонятиероком,

"Дискретная

рассматриватьа"можноВведение

-шивак

смыслеширокомВсмысле.узкомв

 

аматематик

ометрия,гская

а,математикомбинат

смыслеузкомВ.логикдискретнаяая

разделынекоторыетнаянепрерывности

математики

широкомвак

ýòî

частьа

 

 

 

неоторая

ëüçó

ипределапонятия

ñêðä

 

матемаприложенияразличныеакматематическмаетсяпреждематематики,математ

 

 

 

 

 

.

Ýòî

 

 

аналитичечисел,теорияиспоалгебравсего

-рассмалекцийкурсенастоящемВЭВМ.ункционированиядляки

акриваютссмысле,

 

 

 

"Булевыы",ра"омбинаторики",дискретной"Элементыузком:

ункции",

 

 

 

 

нормальные"Дизъюнктивныелогики",значной-k

улевыхбуормы

Этиэлементов".ункциональныхиз"Схемыкций",

матесовременногообразованиячастьюеобходимой"Функцииявляютсязделыр

 

 

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

методовдискретныхматик

.ышления

 

спепланомучебным

 

скретная"ДКурс

а"предуматематик

 

ятельность)"и

èçó÷

íàñÿ

курснастоящийэтимсмотренсвязиВкурсе.1

öèà

 

îñòè

1

02-010331

 

-депедагогическая-(научно

"Математикомбинаторики","Элементыразделамполекций

"Функцииы",ра"

логики"даетзначной-k

указанныепосколькупонятия,основныетолько

курсах.старшихнаизучаютсяразделы

 

 

 

 

ÐÈÑ.30104

 

 

 

 

 

 

 

 

5

 

 

 

 

Элементы1.

 

 

сочетанияановкиомбинаторикиПерест1.1.

,

изстоящее

множествнекотороеданоПусть1.1.

элемэn Определениементов(. Выб рем из A некоторое подмножест ыборкойî, ñîñò ÿùåå èç m

точно, выборкойm > 1из). Такое подмножество называется â

болееили,

Например,

n элементов по m элементов.

 

равнымиэченством5,лементов6.ОпределениеЕсэлилементов,резуполученоразличающиесль1,àòå2,îíåê14тговор.ак2оторое.оготр¼хэВыборятвыборая,лементнаячтолишьмноназываетсжсделанвыборки,ествопорядквыборквыборомнеупорядоченнымборок,состоих.изсящиеледовансмнодинакизжестваèдниховымя,,счес1,ликт2,техоаютсполиче3,луж4,яе-

неупорядоченныминазываютсявыборкиТакие.

-обозначают

чае,борки,пообпНапример,Определезнаогяпоäчаютскулученониихясостоí[1ледованияыие, 4,ÿò1.3]ðå3=.çуВыборль.динакТт[4, 3àêèå,теназываетсового.аквыборкоговыбора,л1] èячестваназываютсупорядоченнымравныэлементовяупорядоченнымильк,есливдинактомдвесовылу-

эдыйлементНапример,Например,Определениеэлементможетвыбираетсбыть(1, 311., 5)выбран.54.6=.яВыборВыбортольксконазываетсоназываетсльо.динугораздноя.яраз(5, 3, 1) с безвозвр. возвращениемащения, ес,лиесликждыйкаж-

ñÿ [r1 r2 . . . , rt

].

 

(r1, r2, . . , rt).

ем. Определение(1, 1,1.63),.(3Упорядоченная,, 1, 1) [3, 3, 4, 4,выборк4, 5] авыборкииз с возвращени-

перестановкойназываетсяэлементов

 

n элементов по n

возможныхвсехЧисло

 

nок-элементного множества.

обозначаетсявозвращения

 

 

n-

ентного

 

безества

 

 

,

ращениââîç

˜

 

 

Определение 1.7. УпорядоченнаяP (n)

выборка изP (n).

 

 

иззмещениемтсяназываэлементов

 

n элементов по m

(

 

 

 

n элементов по

m элементов

0 6Числоm 6 nразлич).

изразмещений ых

 

 

 

 

ачаетсяíобозвозвращения

 

n

элементов по m

безэлементов

 

Anm.

Счит6ается, что если m > n,

Anm =

различныхКоличество

лькупоскдно.нетрулитьвычисункцийаких

классам:двумпервыматпринадлежнеоторыекункции,теэто

 

 

 

 

2n

 

2n−1

 

 

енизображнейНа30.

многопоассмотримлюсниктеперь схему,2 изображенную− 2 · (2 − 1)íàðèñ.1.

числами

 

Un. Здесь вых ды многополюсника

Un

1

занумерованы

ременныхствииконстантсразбиением0.Выходымномногопо,причемжествалюсниквсехсчитаетсбулевыхразбитыя,чтоn−1

 

 

 

 

 

 

 

 

1, 2, . . . , 22

 

 

 

 

 

-ункций,нанавыхтриоклассазависде1реализуящихсоответетспея

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1)

 

x1, x2, . . . , xn.

содержит:многополюсникДанный

 

 

подсхему

 

 

 

 

 

 

 

 

 

 

 

 

 

 

áà2

 

 

Un−1

подсхемы:

 

 

 

 

 

 

 

 

 

 

 

 

кромедининвентор;указанной

 

 

 

 

 

 

 

 

 

 

 

 

 

 

)â

2(22n−1

1) конъюнкторов;

 

 

 

 

 

 

 

 

 

 

 

 

2n

 

2n−1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Поэтому2 − 2(2мы получаем− 1) − 1окдизъюнкторовончательноследующую. оценку

 

L(Un) = L(Un−1) + 1 + 2 · (22n−1 − 1) + 22n − 2 · (22n−1 − 1) − 1 =

 

 

 

L(Un−1) + 2

2n

6 2 · 2

2n−1

+ 2

2n

 

 

2n

.

 

 

(приприводит

 

 

 

 

 

6 2 · 2

 

 

 

лементовункцийэбулевыхсумматораункциональныхембоизльшинствоСинтезсх.что7.7скуюважноОбщаяТеоремаутеориявыводокдуазанаточкисинтезатом,.

 

n

дельнызабуункцию)левых(метоценность)∞ хмимеетдами,клас.уункцийнеобхкцийслоамсоторыежные..димобуПоэтомулевыхминимальныезренияпозвоиметьнарункций,ляютсинтезаметоядустроитьдыпоуниверсальнымипредстемысинтеза,лнее.Этохучитывающиеавляетемы,ознаприспособленныереализующиевесьмачаетмето,чтосвойствадамиузкийпрактичелюбуюсинтекласскот-

Одной

элементов,ункциональныхизхем

подля

 

ункций,булевыхклассаотдельного

многополюсник,применяемых

ализующий

счиссистемедвоичнойявляетсзаданныхчисел,двухсложение

.строениял

 

 

 

счисления:системедвоичнойвзаданныхчисла,дваданыПусть

 

 

x = xnxn−1 . . . x1

 

 

 

103

 

щихассмотримпеременныхn

x1, x2, . . . , xn−1

этомприипостроенуже

 

 

разложение

L(Un−1) 6 2 · 221 .

 

 

 

 

 

 

 

 

f (x1, x2, . . . , xn−1) =

 

 

 

 

 

(xn f (x1, x2, . . . , xn−1, 1)) (

 

 

f (x1, x2, . . . , xn−1, 0)) =

 

 

x

 

выше,икакгде,

 

 

(xn f ) (

 

n f ′′),

 

 

 

 

 

 

x

 

 

 

 

è

 

 

f = f (x1, x2, . . , xn−1, 1)

 

 

 

унхвсМножество

f

′′ = f (x , x , .

îò. , xпеременных, 0).

 

 

 

 

 

зависящихций,

 

 

 

n−1

 

 

 

 

 

 

 

 

 

1

 

2

 

 

 

 

 

 

 

класса.яающихнепересектрина1бьем

 

 

x1, x2, . . . , xn ðàçî-

.2

f âíîf ′′îäíà0.изЭтотункцийкласс содержит толькждественнодну ункцию f

0.

классе со≡ ≡

ункции

 

 

 

 

 

 

 

 

 

 

равна 0. Вýòîì

 

держатся

 

 

 

f

èëè f ′′

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f

âèäà

 

 

 

 

 

 

 

 

 

ãäå

 

 

 

 

f = xn f ,

 

 

 

 

èëè

 

 

 

 

 

f 6≡0

 

 

 

 

ãäå

 

 

 

 

f =

 

n f ′′,

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

f ′′

 

0.

 

 

 

 

 

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

 

 

 

 

 

 

 

 

 

 

 

 

6≡

 

 

 

 

булевыхвсехло

 

 

îò

 

 

 

 

 

 

2 (22n−1

1). Действительно, чис-

 

 

посклученноелькуточислькло дна·

 

2n−1

 

умножить1, люжноиíó

 

 

n−1

 

 

 

 

 

 

равнчисла ждественноункция.Изэтого 2,ункцияпосциялькуто

 

 

 

 

переменных равно 2

 

 

конъюнкциювляет

переменной

 

 

 

 

 

 

 

 

f ñ

-ñò

овых динактрицаниематьееункциинемогуткоторыхсодерэтихункции,онъюнкцийт.е.Все.мноостальныеества3.эилементовпоэтому

 

 

 

 

 

 

 

xn,

 

 

 

 

 

f ′′

 

 

è

f 6≡0

f ′′1026≡0.

=возвращени0. Число мразличныхобозначаетсразмещенийя

из элементовповторениямиэлементовn m

ñ

1.8.Определение

 

˜m

 

извыборка

 

 

 

An

 

 

 

 

 

 

 

 

 

 

 

ядоченная.Неупор

 

 

 

 

изсочетаниемназываетсяэлементов

 

n ý

ïî m

без повторенийазличают сочетобознааниячаетсповторениямибезповторенийn

(число различныхm

сочетаний.

ссочетанийразличных

 

Cnm)

сочетобознааниячаетсявляетс

(число

утверждениеикиломледующеесуммы:правомбинатояобъектЕслиДляназываетскторая

Hnm). аксиомой, к -

жет быть выбранA может быть выбран m способами, а объект B ìî

осуществлен

 

 

 

nспособами,омбинаториквыбор"или A

èëè B"может быть

ваетсЕслия правиломобъектдно mó +верпждениеоизведения:кn .

 

-назыиаксиомойсчитаетсяе

таких выборов объA можеткт быть выбран m способамиспособами,длякаждого из

 

 

 

 

 

 

 

B может быть выбран n

 

выборто

AB Тв еоремаэтом порядк1.1. åÈìожетеютместобытьследующиеосуществленравенства:mn

.

 

1) Anm =

 

n!

 

;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(n m)!

 

 

 

 

 

 

 

2) P (n) = n!;

 

 

 

 

 

 

 

 

 

3) Cm

=

 

 

n!

 

;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

!(n

 

 

 

 

 

 

 

 

n

 

m)!

 

 

 

 

 

m

 

mm

 

 

 

 

 

 

4) Hn

= Cn+m−1;

 

 

 

 

 

 

 

˜

 

 

n

;

 

 

 

 

 

 

 

 

 

5) P (n) = n

 

 

 

 

 

 

 

 

 

 

˜m

 

m

 

 

 

 

 

множестводаноПусть

 

 

 

6)Доказательство.A = n .

 

 

 

 

n

 

1)(n 2) . . . (n m + 1) =

акимТ.способами

n(n

 

 

 

 

 

 

 

 

 

 

A

èç n элементов (|A| =

=ìåíò)n

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

тоспособамиледующийповторения,

лемент выбираетсспособамияиз.n

безПоскпроизведения,лькувыбор

åñòü

 

 

 

 

 

 

 

(n − 1)

тоэлементов,

лучаем,(n ÷òî1)

правилоиспользуятомуиз,ýразмещение.Повс¼

-ïî

выбрано

 

 

n элементов по m

бытьможетэлементов

 

 

 

 

 

 

 

n!

 

 

 

.сравенстволедуетнепосредственно1)авенстводоказано2)

 

 

 

т.к.1),равенстваиз

образом

 

(n

m)!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

P (n) =

= Ann =

n!

= n!

7

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(n n)!

 

 

 

 

 

 

 

 

 

 

Из.авенствоемповторенийажбезДок

 

 

 

 

 

 

àíèÿ,

-сочетавитьсостльноеможно2),произвосогласно

íèå

 

 

 

 

 

 

3)этого. Пусочетсть [r1

r2, . . . , rm]

 

 

 

 

 

.динаковые.Предпоперестановкиложим,вторенияîпПухотаниястьбыбездведваизпобы,различныелучитьэлементовоизних.алосьперестдаизвонамокльныеуазановокдîãТчтпр

m!

 

 

 

 

m

 

 

 

 

 

 

 

 

 

 

[r1, r2, . . . , rm] [a1, a2, . . . , am]

 

 

 

 

 

 

 

 

 

÷òî

 

 

 

 

 

 

 

 

произведениямы

пришли

заключениюбы про иворечию с ем,{r1, r2, . . . , rm} = {a1, a2, . . . , am}

аниясоотношение.том,Поэтомучтомонашежносочетсправедливо

именитьедположениеправилоневерноïð

ìû

 

 

[r1, r2, . . . , rm]

[a1, a2

, . . . , amïðèõ] .различЗнаодимчитк-

 

 

 

 

 

 

 

 

Anm = P (m)Cnm.

Отсюда

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

m

 

 

Anm

 

 

 

 

 

 

 

Теперь, используя 1) и 2) получим:C =

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

P (m)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

m

 

 

 

Anm

 

 

 

 

 

n!

 

отображение

 

 

 

Докажем равенствоC 4)=. Ïîñòðîèì= биективноå.

 

 

 

 

 

 

 

 

 

n

 

 

P (m)

 

 

m!(n m)!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

браноX

 

 

 

 

 

 

 

 

 

 

 

 

 

X = {1, 2, . . . n}. Пусть

f : A

гденекпроизвоотороесочетльномуаниеправилуиз,

-выами

 

 

 

 

÷àëà,

 

 

 

 

m

ожестваíмизповторениямисэлементов

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

g являетсанияинъекцией. Пусть

X.

его Запишем

 

образом: ледующим

[i1, i2, . . . , im],

ãäå i1 6 i2

6

. . . 6

im

 

множество теперь

 

 

 

 

 

 

 

 

 

 

 

 

 

построимС.авим6

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

отображение

 

 

 

 

 

 

˜

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

X = {1, 2, . . . , n, n + 1 . . . , n + m − 1} è

 

 

 

 

 

 

 

 

 

 

 

 

˜

правилу:по

 

 

 

 

 

 

 

 

 

 

 

 

g : X X

 

 

 

 

 

 

 

 

 

ñíà

 

 

отобчто

жение

 

 

 

 

 

 

 

 

 

Убедимсяg([i1

i2, . . . , im]) = [i1, i2

+ 1, . . . , im + m − 1].

 

 

сочетзличныхðàâàíîäтно:быхотясуществуетдатогТ

 

ñ

вторениями.п

[i1, . . . , im] 6= [j1, . . , jm]

 

x2, . . . , xm]

 

 

 

 

 

X

 

 

ãî,

присюръективнымачествепрообраза

[x1

 

 

 

 

 

 

 

 

 

ik + k −1 6= jk + k −1

 

 

 

k

(1

6 k 6 m)

àêîå, ÷òî ik 6= jk . Íî

 

 

поэтому и

[i1, i2 + 1, . . . , im + m −1] 6= [j1 j2 +

 

 

 

 

Следовательно,

Аравно8.

 

àê êàê f биекция,

ðàâí

 

 

 

 

 

 

 

X

 

X

 

+ 1, . . . , jm + m − 1]. Îáð

 

 

 

пусть [i1, i2

+ 1, . . . , im

+ m − 1] 6= [j1, j2 +

+÷òî1, . . . , jm + m −1]. Тогда существует хявляетсотбыодно k

(1 6 k 6 m) такое,

 

ik + k − 1 6= jk + k − 1.

Но тогда ik

6= jk

и поэтому [i1 . . . , im] 6=

6= [j1, . . . , jm]

 

 

 

 

 

 

 

 

 

åíèèg

множества из

˜ ,

Поэтомудлян

 

отображение Знаэлементчит, произвольный.

 

 

 

взять Если инъекцией. я

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

g

íàéä¼òñÿ

множестве X

ìåíò å ë

мно.жествах элементов

.

Ç

 

читоно,отображявляетсениеябиекциейявляетс.

чисжлои

[x1, x2

− 1, . . . , xm m + 1]

 

 

 

 

 

 

 

 

 

 

 

g

 

 

 

 

 

 

 

 

 

 

 

 

 

 

è

 

˜

 

 

 

 

 

 

 

 

 

 

 

 

 

7.11.Определение

 

элеменункциональныхиз

люсниктîв,гоимеющиймножестваnуниверсальноговхункций,довsМногопоесвыхли довдлялюсникназываетсаждого я универсальным для дан-

 

двыхнайдется

 

 

i (1 6 i 6 s) в многопо

 

 

 

τ (i)

чтотакой,

ункцияреализуетсянем

ромПрим

 

 

множествадлямногополюсника

fi(x1, x2, . . . , xn).

 

 

 

 

 

. . . , Ks

 

 

 

 

 

K1, K2, . . .

 

 

любогопостроенная

22.ðèñ.íà

Дляема,.х.4я7ремаявляетсеТ

 

 

 

 

люсникîногоп

 

 

n можно

универсальныйпостроить

енныхì

Un

для множества всех булевых ункций от n ïåðå-

 

x1, x2, . . . , xn è ïðè ýòîì

 

 

L(Un) 6 2 · 22n .

Доказательство. ПостроимÐÈÑ.29многополюсник

 

 

этогожсобоменный.многопоОснованиемнарислюсни.29,индукцииаоторыйполучаемреализумосжледующуюететслужить

Un

 

 

 

-ункциюоценку:многопоот1индуктивнымпеременнойлюсник,изобра.Дляспо

Совершиммногопотеперьлюсникиндуктивный

21

 

 

Предположим,· 2 .

-универсальчто

íûé

L(U1)переход.= 3 < 2

Un−1

зависяункций,булевыхвсехмнож101ествадля