2
Berechnen Sie die relationale Zusammensetzung in
Definitionen: Sei eine DAG ohne Selbstschleifen, und und sind Graphen.G=(V,E)G=(V,E)G=(V,E)X⊆GX⊆GX \subseteq GY⊆GY⊆GY \subseteq G Input: . Ausgabe: Die relationale Zusammensetzung relationale Zusammensetzung in .X,YX,YX,Y X∘YX∘YX \circ YO(|E||V|)O(|E||V|)\mathcal{O}(|E||V|) Fall 1:. Zwei for-Schleifen über und : Runtime .|E|≤|V||E|≤|V||E| \le |V|E(X)E(X)E(X)E(Y)E(Y)E(Y)≤O(|E|2)≤O(|E||V|)≤O(|E|2)≤O(|E||V|) \le \mathcal{O}(|E|^2) \le \mathcal{O}(|E||V|) Fall 2:|V|≤|E||V|≤|E||V| \le |E| Zeichnen Sie den Graphen …