Принцип укључења и искључења
![](http://upload.wikimedia.org/wikipedia/commons/thumb/3/39/%D0%92%D0%B5%D0%BD%D0%BE%D0%B2_%D0%B4%D0%B8%D1%98%D0%B0%D0%B3%D1%80%D0%B0%D0%BC.svg/220px-%D0%92%D0%B5%D0%BD%D0%BE%D0%B2_%D0%B4%D0%B8%D1%98%D0%B0%D0%B3%D1%80%D0%B0%D0%BC.svg.png)
У комбинаторици (комбинаторна математика), принцип укључења и искључења је техника бројања која генерализује познати метод добијања броја елемената у унији два коначна скупа; симболично изражена као
где су А и В два коначна комплета скупа и |S| указује на кардиналност скупа S (који се може сматрати као број елемената скупа, ако је скуп коначан). Формула изражава чињеницу да збир величине два скупа може бити превелики, јер неки елементи могу да се два пута броје. Двоструко-рачунати елементи су они на пресеку два скупа, а датотека се коригује одузимањем величине пресека.
Принцип се јасније види у случају три скупа, који за скупове А, B и C је дат
Ова формула се може потврдити бројањем, колико пута сваки регион у Венов дијаграм на слици је укључен у десну страну формуле. У овом случају, када се уклоне доприноси над-пребројаних елемената, број елемената у међусобном пресеку три скупа се одузима сувише често, тако да мора да се дода назад да се добије тачна сума.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/9/94/Inclusion-exclusion_2.png/220px-Inclusion-exclusion_2.png)
Генерализација резултата ових примера даје принцип укључивања и искључивања. Да бисте пронашли кардиналност уједињења n сетова:
- Укључити кардиналности тих скупова.
- Искључује кардиналности тих парова пресека.
- Укључити кардиналности троструко-мудрих пресека.
- Искључује кардиналности четвороструко-мудрих пресека.
- Укључити кардиналности петостуко-мудрих пресека.
- Наставите, док кардиналност на n-торка-мудром пресеку је укључена (ако је n непаран) или искључена (чак и n).
Назив потиче од идеје да се принцип заснива на преко-великодушном укључивању, а затим и на компензацији искључивања. Овај концепт се приписује Абрахаму де Моавру (1718); али се први пут појављује у новинама Даниела да Силве (1854), а касније у раду Џ.Ј. Силвестера (1883). Понекад принцип се назива формула Да Силве, или Силвестера због ових публикација. Принцип је пример методе сито која се користи у теорији бројева и понекад назива сита формула, иако Легендре већ користи сличан уређај у сито контексту у 1808.
Као коначна вероватноћа рачунају се бројања у односу на кардиналности вероватноће простора, формуле за принцип укључивања-искључивања остају на снази када се кардиналности сетова замени коначном вероватноћом. Уопштено говорећи, обе верзије принципа могу се ставити под заједничким називом теорије мере.
У веома апстрактаном окружењу, принципима укључења-искључења може се изразити као обрачун инверзије матрице.[1] Ова инверзна има посебну структуру, што је изузетно вредна техника у комбинаторици и сродним областима математике. Ђан Карло Рота је рекао:[2]
"Један од најкориснијих принципа набрајања у дискретној вероватноћи и теорији комбинаторике је прослављени принцип укључивања-искључивања. Када се вешто примењује, овај принцип је дао решење за многе комбинаторијалне проблеме"
Изјава
[уреди | уреди извор]У свом општем облику, принцип укључивања и искључивања тврди да за коначне скупове A1, ..., An, има идентитет
![](http://upload.wikimedia.org/wikipedia/commons/thumb/3/3d/Inclusion-exclusion-3sets.png/220px-Inclusion-exclusion-3sets.png)
Ово се компактно може написати као
Речима, да би се рачунао број елемената уније коначних скупова, прво сабрати кардиналности појединачних сетова, а затим одузети број елемената који се појављују у више од једног скупа, затим вратити број елемената који се појављују у више од два скупа, а затим одузети број елемената који се јављају у више од три скупа, и тако даље. Овај процес се завршава природно, јер не може бити елемената који се појављују у више скупова него што има у унији.
У апликацијама је уобичајено да се види принцип изражен у својом комплементарном облику. То јест, остављајући S као коначан универзални скуп који садржи све из Ai , и допуштајући да означава комплементно Ai у S, по Де Моргановим законима
Као још један варијанта изјаве, нека П1, П2, ..., пн бити листа некретнина које елементи скупа С може или не може имати, онда је принцип укључивања и искључивања обезбеђује начин за израчунавање броја елемената од С који имају ништа од имовине. Само нека Ај бити подскуп елемената С који имају имовину Пи и користе принцип у комплементарном облику. Ова варијанта је због Џ.Ј. Силвесте.[3]
Примери
[уреди | уреди извор]Бројање целих бројева
[уреди | уреди извор]Као једноставан пример употребе принципа укључивања-искључивања, размотрити питање:[4]
- Колико има целих бројева у {1,...,100} који нису дељиви 2, 3 или 5?
S = {1,...,100} и P1 вредност која је цео број дељив са 3, P2 вредност која је цео број дељив са 3 и P3 вредност која је цео број дељив са 5. Нека је Ai подскуп од S чији су елементи вредности Pi за које имамо |A1| = 50, |A2| = 33, и |A3| = 20. Постоји 16 природних бројева који су дељиви са 6, 10 дељив са 10 и 6 дељив са 15. Коначно, постоје само 3 цела броја дељива са 30, тако да је број целих бројева који нису дељиви са 2, 3 или 5:
- 100 − (50 + 33 + 20) + (16 + 10 + 6) − 3 = 26.
Бројање пермутација
[уреди | уреди извор]Следећи пример је мало сложенији.
Претпоставимо да је шпил n карата са бројевима од 1 до n. Претпоставимо да картица нумерисана м је у исправном положају ако је мј картицу у палуби. На колико начина В се може карта измешати са најмање 1 картом да буде у правилном положају?
Почните са дефинисањем скупа АМ, који је све налоге карата са m картом исправио. Онда је број налога, W, са најмање једном картом која је у правилном положају, m је
Примени принцип укључивања-искључивања,
Свака вредност представља скуп мешања који има најмање р вредности m1, ..., mp у правилном положају. Имајте на уму да је број мешања са најмање р вредностима коректним зависимо од р, а не на конкретним вредностима m. На пример, број мешања имају 1., 3. и 17. карте у исправном положају је исти као и број мешања који имају 2., 5. и 13. карте у исправном положају. Једино што је важно да од n карата, 3 буду изабране у правилном положају. Дакле постоје једнаких услова при p сабирању (види комбинације).
је број наредби које имају р елементе у правилном положају, који је једнак броју начина наредби преосталих n − p елемената (n − p)!. Тако смо коначно добили:
Констатујући да , ово се смањује на:
Пермутација где нема карти у исправном положају се зове поремећај. Узимајући n! да је укупан број пермутација, вероватноћа Q насумично производи пермутације
скраћивање за n+1 смислу Тејлорове експанзије e−1. Тако је вероватноћа погађања за мешање шпила карата или била нетачна где је свакој карти 1/е или 37%.
Посебан случај
[уреди | уреди извор]Ситуација која се појављује у поремећење примеру изнад јавља довољно често да заслужује посебну пажњу. Наиме, када је величина пресек скупова који се појављују у формулама принципа укључивања-искључивања зависи само од броја скупова у пресецима, а не на којем поставља се појављују. Више формално, ако пресек
има исти кардиналност, кажу αk = |AJ|, за свако k-елемент подгрупа J of {1, ..., n}, а затим
Или, у комплементарне облику, где универзалног скупа С има кардиналност α0,
Генерализација
[уреди | уреди извор]С обзиром на породицу (понављања дозвољено) подскупова A1, A2, ..., An о универзалној скупу С, принцип укључивања и искључивања израчунава број елемената С у једној од ових подскуповима. Генерализација овог концепта би израчунати број елемената С које се појављују у тачно неки фиксни м ових скупова.
Нека је N = [n] = {1,2,...,n}. Ако дефинишемо , онда је принцип укључивања и искључивања може бити написан као, користећи нотацију на претходном одељку; број елемената С садржан у једној од Ai је:
Ако је фиксна подскуп скупа индекса Н, онда је број елемената који припадају Ai за све и у И и без других вредности је:[5]
Дефинисати скупове
- for k in .
Тражимо број елемената у једном од БК који, по принципу укључивања-искључивања (са ), је
Кореспонденција K ↔ J = I ∪ K имеђу подскупа N \ I подскупа N који садржи I је бијекција и ако Ј и К одговарају по овој једнјој карти онда BK = AJ, показује да је резултат важећи
У вероватноћи
[уреди | уреди извор]У вероватноћи, за догађаје A1, ..., An у вероватноћи простора , Принцип укључивања-искључивања постаје за n = 2
за n = 3
што може бити написано у затвореној форми као
Када је последњи сума иде преко свих подгрупе индекса сам 1, ..., нк који садрже елементе тачно, и
означава пресек свих Ai са индексом I.
Према Бонферонијевој неједнакости, збир првих услова у формули је горња граница Алтернативно и доње границе за LHS. Ово се може користити у случајевима када је пуна формула превише гломазна.
За опште мере простори (S,Σ,μ) и мерљиве подгрупе A1, ..., An коначне мере, изнад дна идентитета такође се налази вероватноћа мера која је замењена мером μ.
Посебан случај
[уреди | уреди извор]Ако се у пробабилистичкој верзији принципа укључивање и искључивања, вероватноћа пресека AI само зависи од I, што значи да за свако k у {1, ..., n} постоји неко ak такво да
тада горња формула поједностављује то
због комбинаторног тумачењу биномних коефицијента .
Аналогно поједностављење је могуће у случају општа мера простора (S,Σ,μ) и мерљиве подгрупе A1, ..., An крајње мере.
Други облици
[уреди | уреди извор]Принцип понекад остаје у форми[6] која каже да ако је
онда је
- Сада показати штету и вероватноће комбинаторни верзију за инклузију искључености принципу су случајеви (**). Узети , , и
- респективно за две скупове са . Онда мењамо
- респективно за све скупове са . То је зато што елементи од могу бити укључени у други ( са ) тако да формула Управо пролази кроз сва могућа продужења скупова са другим , бројањем само за скупове који утичу на члан , ако пролази кроз све подскупове (као у дефиницји ).
- Пошто је , мењамо из (**) са тако да
- и преплићу се стране, комбинаторна и пробабилистичка верзија прати принцип укључивања и искључивања.
Ако се посматра број као скуп својих главних фактора, а затим (**) је генерализација Мобиус инверзије формуле за природне бесквадратне бројеве. Дакле, (**) види као Мобиус инверзија формуле за учесталост алгебре делимично одређеног скупа свих подскупова А.
За генерализација пуној верзији Мобиус инверзија формуле, (**) мора бити генерализована. За више скупова уместо скупова, (**) постаје
где је виши скуп за свако, и
- μ(S) = 1 ако је S скуп (скуп без дуплих елемената) парне кардиналности.
- μ(S) = −1 ако је S скуп (скуп без дуплих елемената) непарне кардиналности.
- μ(S) = 0 ако је S прави (S има дупле елементе).
Узети да је једнако of (**) у случају када је скуп.
Доказ (***): Замена
на десној страни (***). Приметити да се појављује на обе стране (***). Морамо показати да за свако са , завршава се на десној страни (***). Тако препорављено тако да и узима прозвољно тако да.
Приметити да мора да буде скуп за свако позитивно или негативно појављивање на десној страни (***) које се добија од тако да је . Сада за свако појављивање на десној страни (***) добија се од тако да је скуп који укључује поништава са оним што се добија путем одговарајуће тако да је скуп који не укључује . Ово ће дати жељени резултат.
Апликације
[уреди | уреди извор]Принцип укључивања и искључивање је у широкој употреби и овде се само неколико апликација помиње.
Бројање пермутација елемената скупа
[уреди | уреди извор]Позната примена принципа укључивања и искључивања је комбинаторни проблем рачунајући све поремећаје о коначном скупу. Бројање пермутација елемената скупа А је бијекција из А која нема фиксних тачака. Преко принципа укључивања и искључивања може се показати да ако је кардиналност А једнака n, онда је број поремећајима је [n! / e] где [k] означава најближи цео број x; детаљан доказ је доступан овде и видети одељак примери горе.
Прво појављивање проблема бројање пермутација елемената скупа у раној књизи о играма на срећу: Essai d'analyse sur les jeux de hazard П. Р. де Монтморта (1678 – 1719) он је био познат као "Монтмортов проблем" или по имену које му је дао "problème des rencontres."[7] Проблем је такође познат као hatcheck проблем.
Број пермутација елемената скупа је познат као субфакторијал од n, написан !n. Из тога следи да ако су све бијекције додељене истој вероватноћи онда је вероватноћа случајне бијекције представља пермутација елемената скупа који приближно као 1/e расте ка n.
Бројање пресека
[уреди | уреди извор]Принцип укључења и искључења комбинован са Де Моргановим законима, може се користити да се изброји кардиналност пресека скупова. Нека представља допуну Ak у односу на неки универзални скуп А тако да је за свако k. Затим имамо
окретање проблема проналажења пресека у проблем проналажења уније.
Граф колорита
[уреди | уреди извор]Принцип искључења укључења чини основу алгоритама за бројне НП-тешке графове преградних проблема, као што су графови колорита.[8]
Добро позната примена принципа је изградња хроматског полинома графа. [9]
Бипартициони график савршених поклапања
[уреди | уреди извор]Број савршених поклапања бипартиционог графика може бити израчунат користећи овај принцип.[10]
Број "на" функције
[уреди | уреди извор]С обзиром на коначне скупове А и В, колико сирјективних функција (на функцијама) постоји од А до Б? Без икаквог губитка општости можемо узети А = {1,2, ..., k} и В = {1,2, ..., n}, јер је само кардиналности скупова битна. Коришћењем S као скупа свих функција од А до B, и дефинисање, за свако i у B, Pi као "функција којој недостаје елемент i у B" ( i није у слици функције), принцип укључивања и искључивања даје број "на" функција између А и B као:[11]
Пермутације са забрањеним позицијама
[уреди | уреди извор]Пермутација скупа S = {1,2, ..., n} где је сваки елемент S ограничен да не буде у одређеним позицијама (овде пермутација се сматра наручивање од елемената S) назива се пермутација са забрањеним местима. На пример, са S = {1,2,3,4}, пермутације уз ограничење да елемент 1 не може бити на позицијама 1 или 3, и елемент 2 не може бити на позицији 4 су: 2134, 2143, 3124, 4123, 2341, 2431, 3241, 3421, 4231 и 4321. Дајући да Аi буде скуп ставова који елементу i нису дозвољени да буду у скупу, а Pi да је имовина која пермутација ставља елемент сам у позицију Ai, принцип укључивања и искључивања може да се користи да рачунају број пермутација које задовољавају сва ограничења.[12]
У датом примеру, дато је 12 = 2(3!) пермутација са P1, 6 = 3! пермутација са P2 и нема пермутација за P3 илиP4 јер не постоје ограничења за ова два елемента. Број пермутација задовољавају ограничења је овако:
- 4! − (12 + 6 + 0 + 0) + (4) = 24 − 18 + 4 = 10.
Коначно 4 у овој компилацији је број пермутација које имају оба својства P1 i P2. Нема других не-нула доприноса формули.
Стирлинг бројеви друге врсте
[уреди | уреди извор]Стирлинг бројеви друге врсте, S (n, k) израчуна број партиција скупа n елемената у k непразним подскуповима (неразазнатљиве кутије). Експлицитна формула за њих се може добити применом принципа укључивања-искључивања у веома блиско повезаном проблем, наиме, рачунајући број партиција од n-скупа у k непразном али се разликују кутије (уређеним непразним подскуповима). Коришћење универзалног скупа који се састоји од свих партиција на n-скупу у k(вероватно празан) препознатљиве кутије, A1, A2, ..., Ak, и својства Pi што значи да партиција има кутију Ai празан, принцип укључивања и искључивања даје одговор за који се односи резултат. Подела од k! да уклони вештачку редослед даје Stirling број друге врсте:[13]
Топ полиноми
[уреди | уреди извор]Топ полином је генерисање функција на више начина да се пласирају у не-напад топова на табли В која изгледа као подскуп квадрата са шаховске табле; то јест, не постоје два топа која могу бити у истом реду или колони. Одбор В је било који подскуп од квадрата правоугаоног одбора са n редова и колона n; ми мислимо о томе као о квадрату у којем је једном дозвољено да стави топа. Коефицијент, rk(B) од xk у топу полиномаRB(x) је број начина k топова, од којих ниједан не напада другог, да се могу организовати у трговима B. За било који одбора B, постоји комплементарни одбор B "који се састоји од квадрата правоугаоног одбора који нису у B, ова комплементарна плоча има топа полинома RB' (x) са коефицијентима rk(B').
Понекад је згодно да би могао да израчуна највиши коефицијент топа полинома у смислу коефицијената полинома топа комплементарног одбора. Без губитка општости можемо претпоставити да је n ≤ m, па је коефицијент rn(B). Број начина да поставите n који не нападају топове на n × m табли (без обзира о томе да ли су смештени у топу квадрата на плочи Б) је дат као факторијелски пад:
Пустити да Pi има задатак n не напада топова на комплетној табли има топа у колумни i која није у квадрату табле Б, онда по принципу укључивања и искључивања имамо:[14]
Ојлерова фи функција
[уреди | уреди извор]Ојлерова фи функција, φ(n) је аритметичка функција која пребројава позитивне целе бројеве мање или једнаке n који су релативно прост са n. То јест, ако је n позитиван број, онда φ(n) је број бројева k у домену 1 ≤ k ≤ n које немају заједнички фактор са n осим 1. Принцип укључивања и искључивања се користи за добијање формуле φ(n). Нека је S скуп {1,2,...,n} и дефинише Pi као број у скупу S који је дељив са простим бројем pi, за 1 ≤ i ≤ r, где је растављање на факторе од
Онда,[15]
Ублажени принцип укључења и искључења
[уреди | уреди извор]У многим случајевима где би принцип могао дати тачну формулу (посебно, рачунајући просте бројеве користећи Ератостеново сито), формула која произилази не нуди корисне садржаје јер је број термина у њој претеран. Ако се сваки термин појединачно може прецизно проценити, акумулација грешака може да имплицира да формула укључивања и искључивања није директно примењива. У теорији бројева, ову тешкоћу разматрао је Виго Бран. Након спорог почетка, његове идеје су предузете од стране других, и метода сита је развијена. На пример може покушати да нађе горњу границу за "прошаране" скупове, а не тачну формулу.
Нека су A1, ..., An произвољни скупови и p1, ..., pn реални бројеви у затвореном интервалу [0,1]. Онда за сваки паран број k у {0, ..., n}, индикатор функције задовољава неједнакост:[16]
Ако је k паран, заменити "≥" са "≤".
Доказ главне изјаве
[уреди | уреди извор]Изаберите елемент садржан у уједињење свих скупова и нека бити индивидуални сетови који га садрже. (Имајте на уму да Т> 0.) Пошто је елемент броји управо једном од левој страни једначине (1), морамо да покажемо да се рачуна управо једном од десне стране. Са десне стране, једини не-зеро доприноси јављају када су све Подскупови у одређеном року садрже изабрани елемент, то јест, сви подскупови су одабрана од. Допринос је један за сваки од ових сетова (плус или минус у зависности од термина) и зато је само (потписао) број ових подскупова који се користе у року. Онда имамо:
По биномној теореми,
- .
Користећи се чињеницом да је и преуређењем услова, имамо
and so, the chosen element is counted only once by the right-hand side of equation (1).
Алгебарски доказ
[уреди | уреди извор]Алгебарски доказ може се добити помоћу функције индикатора (карактеристичне функције подскупова скупа). Индикатор функција подскупа S скупа X је функција
дефинисано као
Писање слагања два индикатора функције као производа, имамо да, ако су и подскупови , онда је
Нека А означава унију скупова A1, ..., An. Да би се доказао принцип укључења и искључења у потпуности, прво се провери идентитет
за индикатор функције, где је
Следећа функција је једнака нули
јер: ако је х није у А, онда сви су фактори 0 - 0 = 0; и на други начин, ако х не припада неком Am онда одговарајући m фактор је 1 - 1 = 0. проширење производа на левој страни, једначина (*) следи.
Да би доказао принцип укључења и искључења за кардиналност скупова, сумирамо једначине (*) над свим х у унији A1, ..., An. За извођење верзије коришћене у вероватноћи, узми очекивања у (*). У принципу, интегришите једначину (*) у односу на μ. Увек користите линеарност у овим извођењима.
Види још
[уреди | уреди извор]- Принципи комбинаторике
- Булова неједнакост
- Проблем огрлице
- Schuette–Nesbitt формула
- Идентитети максимум и минимум
Референце
[уреди | уреди извор]- ^ Stanley 1986, стр. 3
- ^ Rota, Gian-Carlo (1964), "On the foundations of combinatoial theory I. Theory of Möbius functions", Zeitschrift fur Wahrscheinlichkeitstheorie 2: 340–368
- ^ Roberts & Tesman 2009. стр. 405.
- ^ Mazur 2010, стр. 3–4, 88
- ^ Cameron 1994, стр. 3.
- ^ Graham, Grötschel & Lovász 1995. стр. 1049.
- ^ van Lint & Wilson 1992. стр. 77-8
- ^ Björklund, Husfeldt & Koivisto 2009
- ^ Gross 2008, стр. 3–13
- ^ Gross 2008, стр. 3–10
- ^ Mazur 2008, стр. 3.
- ^ Brualdi 2010, стр. 3–81
- ^ Brualdi 2010, стр. 3–7
- ^ Roberts & Tesman 2009, стр. 419.
- ^ van Lint & Wilson 1992. стр. 73.
- ^ (Fernández, Fröhlich & Alan D. 1992, Proposition 12.6)
Литература
[уреди | уреди извор]- Allenby, R.B.J.T.; Slomson, Alan . How to Count: An Introduction to Combinatorics, Discrete Mathematics and Its Applications (2 ed.). . CRC Press. 2010. pp. 51–60. ISBN 978-1-4200-8260-9.
- Björklund, Andreas; Husfeldt, Thore; Koivisto, Mikko (2009). „Set Partitioning via Inclusion-Exclusion”. SIAM Journal on Computing. 39 (2): 546—563. doi:10.1137/070683933.
- Brualdi, Richard A. (2010). Introductory Combinatorics (5th изд.). Prentice–Hall. ISBN 978-0-13-602040-0.
- Cameron, Peter J. (1994). Combinatorics: Topics, Techniques, Algorithms. Cambridge University Press. ISBN 978-0-521-45761-3.
- Fernández, Roberto; Fröhlich, Jürg; Alan D., Sokal (1992). Random Walks, Critical Phenomena, and Triviality in Quantum Field Theory. Texts an Monographs in Physics, Berlin: Springer-Verlag. ISBN 978-3-540-54358-9. MR 1219313, Zbl 0761.60061
- Graham, R.L.; Grötschel, M.; Lovász, L. (1995). Hand Book of Combinatorics. 2. MIT Press – North Holland. ISBN 978-0-262-07171-0.
- Gross, Jonathan L. (2008). Combinatorial Methods with Computer Applications. Chapman&Hall/CRC. ISBN 978-1-58488-743-0.
- Hazewinkel, Michiel , "Inclusion-and-exclusion principle", ур. (2001). Encyclopedia of Mathematics. Springer. ISBN 978-1-55608-010-4.
- Mazur, David R. (2010). Combinatorics A Guided Tour. The Mathematical Association of America. ISBN 978-0-88385-762-5.
- Roberts, Fred S.; Tesman, Barry (2009). Applied Combinatorics (2nd изд.). CRC Press. ISBN 978-1-4200-9982-9.
- {{Cite book| ref=harv|last=Stanley|first=Richard P.|title=Enumerative Combinatorics Volume I|location=|publisher=Wadsworth & Brooks/Cole|year=1986|isbn=978-0-534-06546-1|pages=}
- van Lint, J.H.; Wilson, R. M. (1992). A Course in Combinatorics. Cambridge University Press. ISBN 978-0-521-42260-4.
This article incorporates material from principle of inclusion–exclusion on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License.