Udpakning af graf
En graf, der udfolder sig , er en funktion defineret over hjørnerne af en rettet graf og opfylder en række betingelser.
Definition. En funktion kaldes en generaliseret ( streng ) udfoldelse af en rettet graf, hvis uligheden , der løber fra til , er sand .
En interessant egenskab ved en streng udfoldning er, at den definerer en tiered-parallel form af grafen , og niveauerne i en sådan NPF er de plane overflader af udfoldningen.
Det er kendt, at ethvert fragment af algoritmen har mindst én stykkevis lineær generaliseret udfoldelse .
Strenge og generaliserede udfoldelser af algoritmegrafen bruges til effektiv parallelisering af algoritmen ifølge metoden fra V. V. Voevodin .