Diszjunkt szettek

A készletek vagy a családok diszjunktivitása kereszteződésekben fejezhető ki.

Két A és B csoport csak akkor diszjunktív, ha az A ∩ B metszéspontja üres szett [1]. Ez a definíció magában, hogy minden olyan diszjunkt az üres halmaz, és az üres halmaz az egyetlen készülék, különálló magát. [4]

A halmazok F családja páros módon diszjunktív, ha a család bármely két csoportjában a kereszteződésük üres [1]. Ha egy család több mint egy készletet tartalmaz, akkor a család összes készletének metszéspontja üres. Azonban egy család, amely egy sor, definíció szerint „diszjunkt” és természetesen lehet egy nem üres kereszteződés. Ezenkívül a készletcsalád üres kereszteződéssel is rendelkezhet, de nem páros módon diszjunktív [5]. Például három készlet <, ,> van egy üres kereszteződésük, de nem párosan diszjunktívak. Valójában nincs két diszjunkt szett ebben a sorozatban. A készletek egy üres családja is páratlanul diszjunktív [6].

Helly család [en] - egy olyan rendszer csoportokra, amelyekben csak az alcsalád üres kereszteződés diszjunktak. Például zárt intervallumok a valós tengelyen alkotnak egy családot Helly - ha a család zárt intervallumok üres kereszteződés és a minimális (azaz nincs alcsalád nincs üres kereszteződés), meg kell páronként diszjunktak. [7]

Diszjunktúra és partíciók

Az X halmaz egy partíciója olyan kölcsönösen diszjunkt szettek bármelyike, amelyeknek az egyenlõdése X [8]. Bármilyen bomlást egyenértékűségi összefüggéssel lehet egyenértékűen leírni. bináris kapcsolat. meghatározza, hogy két elem azonos-e a dekompozícióba, vagy sem [8]. Systems diszjunkt [9] és csiszolás partíció [en] [10] - két technika számítógépes hatékonyan dolgozni megosztjuk sor tárgyak, illetve az egyesítés művelet, mely egyesíti együtt két, és az őrlés, mely elválasztja az egyik sor két .

A diszjunktúra két dolgot jelenthet. A legegyszerűbb esetben ez a diszjunkt szekvenciák egyesülését jelenti [11]. De ha két vagy több nem diszjunkt, és az uniót diszjunkt képezhető módosításával készlet [12] [13]. Például, két sor kikötések tehető helyett az elemek rendezett párokat elem indexet, és meghatározza, hogy mely elemet tartozik a beállított - az első vagy a második [14]. Ugyanez a technika alkalmazható több mint két készlet családjára [15].

Kapcsolódó cikkek