data created by IT systems” [IBM] Interactive, process-based Business Intelligence Next level of transparency in enterprise process mining http://www.celonis.de Gefei Zhang: Dynamic Programming 3/13
/ ∈ Sn ⇔ Sn = Sn−1 n ∈ Sn ⇔ Sn = Sn−2 ∪ {n} An the sum for optimal Sn n ∈ Sn ⇔ An = An−2 + arrn > An−1 Recursion Ak = max(Ak−1, Ak−2 + arrk) Gefei Zhang: Dynamic Programming 8/13
/ ∈ Sn ⇔ Sn = Sn−1 n ∈ Sn ⇔ Sn = Sn−2 ∪ {n} An the sum for optimal Sn n ∈ Sn ⇔ An = An−2 + arrn > An−1 Recursion Ak = max(Ak−1, Ak−2 + arrk) Bottom up for i in 3..n A[i] = max(A[i-1], A[i-2]+arr[i]) Gefei Zhang: Dynamic Programming 8/13
/ ∈ Sn ⇔ Sn = Sn−1 n ∈ Sn ⇔ Sn = Sn−2 ∪ {n} An the sum for optimal Sn n ∈ Sn ⇔ An = An−2 + arrn > An−1 Recursion Ak = max(Ak−1, Ak−2 + arrk) Bottom up for i in 3..n A[i] = max(A[i-1], A[i-2]+arr[i]) Backtracking: from A to S Ai > Ai−1 ⇒ i ∈ S and i − 1 / ∈ S Ai < Ai−1 ⇒ i / ∈ S Gefei Zhang: Dynamic Programming 8/13