Polytree - Polytree

Image
Polytree.

V matematice a konkrétněji v teorii grafů je polytree (nazývaný také směrovaný strom , orientovaný strom nebo jednotlivě připojená síť ) směrovaný acyklický graf, jehož podkladovým neřízeným grafem je strom . Jinými slovy, pokud nahradíme jeho směrované hrany neorientovanými hranami, získáme neorientovaný graf, který je propojený i acyklický .

Polyforest (nebo směřuje lesní nebo orientovaný les ) je orientovaný acyklický graf, jehož základní neorientovaný graf je les . Jinými slovy, pokud nahradíme jeho směrované hrany neorientovanými hranami, získáme neorientovaný graf, který je acyklický.

Polytree je příkladem orientovaného grafu .

Termín polytree byl vytvořen v roce 1987 Rebane a Pearl .

Související struktury

  • Stromová je zaměřen kořeny stromů , tj orientovaný acyklický graf , ve kterém existuje jediný zdrojový uzel, který má jedinečnou cestu ke každému jinému uzlu. Každý arborescence je polytree, ale ne každý polytree je arborescence.
  • Multitree je orientovaný acyklický graf, ve kterém je subgraph dosažitelný z kteréhokoliv uzlu tvoří strom. Každý polytree je multitree .
  • Vztah dosažitelnosti mezi uzly polytree tvoří částečný řád, který má dimenzi řádu nejvýše tři. Pokud je dimenze řádu tři, musí existovat podmnožina sedmi prvků x , y i a z i (pro i = 0, 1, 2 ) tak, aby pro každé i buď xy iz i , nebo xy iz i , přičemž těchto šest nerovností definuje strukturu polytree na těchto sedmi prvcích.
  • Plot nebo cik-cak poset je zvláštní případ polytree ve kterém je základní strom je cesta a hrany mají směry, které se střídají podél cesty. Dosažitelnost uspořádání v polytree byl také nazýván zobecněný plot .

Výčet

Počet odlišných polytromů na n neoznačených uzlech pro n = 1, 2, 3, ... je

1, 1, 3, 8, 27, 91, 350, 1376, 5743, 24635, 108968, 492180, ... (sekvence A000238 v OEIS ).

Sumnerova domněnka

Sumnerova domněnka , pojmenovaná po Davidovi Sumnerovi, uvádí, že turnaje jsou univerzální grafy pro polytromy, v tom smyslu, že každý turnaj s 2 n  - 2 vrcholy obsahuje každý polytree s n vrcholů jako podgraf. Přestože zůstává nevyřešen, bylo prokázáno pro všechny dostatečně velké hodnoty n .

Aplikace

Polytromy byly použity jako grafický model pro pravděpodobnostní uvažování . Pokud má Bayesiánská síť strukturu polystromu, pak lze použít šíření víry k účinnému provedení závěru na ní.

Obrys strom z funkce skutečný-cenil na vektorový prostor je polytree který popisuje sady úrovně funkce. Uzly stromu obrysu jsou sady úrovní, které procházejí kritickým bodem funkce a hrany popisují souvislé sady sad úrovní bez kritického bodu. Orientace hrany je určena porovnáním hodnot funkcí na odpovídajících dvou úrovních.

Viz také

Poznámky

Reference