Single-entry single-exit - Single-entry single-exit

tento článek poskytuje nedostatečný kontext pro ty, kteří danému tématu nejsou obeznámeni. Prosím pomozte vylepšit článek podle poskytuje čtenáři více kontextu. (Únor 2011) (Zjistěte, jak a kdy odstranit tuto zprávu šablony)

v teorie grafů, a single-entry single-exit (SESE) regionu v daném graf je objednaný pár hran (A, b) zřetelného regulační tok hrany A a b kde:

1. A dominuje b
   
2. b postdomináty A
   
3. Každý cyklus obsahuje A také obsahuje b a naopak.

kde uzel X říká se ovládat uzel y v řízený graf pokud každá cesta od začátku do y zahrnuje X. Uzel X říká se postdominovat uzel y pokud každá cesta z y do konce zahrnuje X.

Tak, A a b viz vstupní a výstupní hrana. První podmínka zajišťuje, že každá cesta od začátku do oblasti prochází vstupní hranou oblasti, A. Druhá podmínka zajišťuje, že každá cesta zevnitř regionu na konec prochází výstupní hranou regionu, b. První dvě podmínky jsou nezbytné, ale nestačí k charakterizaci regionů SESE: protože backgrany nemění vztahy dominance ani postdominance, první dvě podmínky samy o sobě nezakazují backgrany vstupující do regionu nebo z něj vystupující. Třetí podmínka kóduje dvě omezení: každou cestu zevnitř regionu do bodu „nad“ A prošel ba každá cesta z bodu „dole“ b prochází bod uvnitř oblasti A.^[1]

Reference

Tento článek týkající se matematiky je pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to.

Tento programování související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to.