In software engineering, the loop invariant assertion of Floyd is still widely used for proving correctness of programming. But the construction of such assertion is very difficult. This difficulty can be much reduced through the modification of Jensen's idea: extension of Jensen's invariant for co...
Given a cost network, step 2 of elim-opt generates an augmented cost network representation from which the optimal solution can be generated in linear time by a greedy procedure (step 3). (For proofsee Exercise 5.) Incorporating Hard Constraints When a problem involves both hard and soft cons...