Un grafic orientat fără cicluri se numește un grafic aciclic orientat. [4]
Schema poate fi reprezentată și ca un grafic aciclic orientat. în care vârfurile puterii de intrare 0 (intrări) sunt etichetate cu variabilele inițiale; celelalte noduri (elementele funcționale) sunt etichetate cu funcții din bază (în acest caz, gradul de vârf de intrare trebuie să coincidă cu numărul de argumente ale marcajului său); Marginile sunt etichetate cu numere care indică numerele de argument; vârfurile de gradul de ieșire 0 (ieșiri) sunt etichetate cu variabile care descriu rezultatul funcționării circuitului. V, de unde marginile duc la un vertex dat v, vârful v obține valoarea y fv (yi.Ykv), unde fv este funcția de bază cu vârful etichetat. Atunci când trecem la graficul schemei, omitem sarcini inesiale care nu sunt folosite niciodată pe calea către vârfurile de ieșire, astfel încât acestea să nu afecteze în vreun fel rezultatul calculului. [5]
Dovedește sau dezaproba faptul că pentru n mari orice graf aciclic orientat cu n surse și n ieșiri care să satisfacă condiția privind capacitatea de la Exerc. [6]
LEMMA 5.12. Fie G (Y, E) un graf acyclic orientat cu rădăcină r, iar S (V, T) să fie arborele spanning pentru acesta cu rădăcina r, construită de căutare în profunzime. [7]
În mod informal, putem spune că construim un copac dominant pentru un grafic aciclic orientat G (V, E) în felul următor. Numerele nodurilor din graficul G sunt modificate la numerele lor generate de căutarea în profunzime. Apoi aplicăm lui G transformările de la Lemmas 5.12 la 5.14. Ele sunt realizate de două subprograme interdependente, dintre care unul procesează marginile drepte, iar celălalt - cele transversale. [8]
Modelul de rețea care exprimă secvența de producție a produselor are forma unui set de grafice aciclice orientate independent. fiecare dintre acestea corespund produsului țintă. Vârfurile graficului reprezintă produsele intermediare și țintă, iar arcele - secvența producției lor. [10]
Construim un algoritm de complexitate O (e log e) care calculează un arbore dominator pentru un graf aciclic orientat pe rădăcină cu marginile e. Scopul nostru principal este de a arăta cum să combinăm tehnica din acest capitol cu cea anterioară. Algoritmul se bazează pe trei lemne. [11]
Cuvintele din alfabetul A vor fi numite texte în alfabetul A, o rețea de texte (T-seto) este un grafic aciclic orientat în legătură cu următorul tip. [12]
Un grafic orientat format din mai mulți copaci se numește o pădure. Pădurile și copacii sunt astfel de cazuri frecvente întâmplătoare ale unor grafice aciclice orientate. că pentru descrierea proprietăților lor este necesar să se introducă o terminologie specială. [13]
În cele din urmă, rețineți că acest program presupune că relația aciclică a fost partajată. Astfel, se presupune că maparea relației de proprietate este de fapt un graf aciclic orientat. De fapt, programul este, de asemenea, corect în cazul constrângerilor mai puțin severe, și anume, în condițiile controlului relației aciclice. Această condiție este directă de cea precedentă. [14]
Metodele dezvoltate în secțiunile anterioare ale acestui capitol sunt aplicabile grafurilor complet arbitrare. Dar, în practică, problema cea mai scurtă a traseului trebuie deseori rezolvată pentru o clasă de grafice aciclice orientate. [15]
Pagini: 1 2