Brute Force Approaches • Techniques for finding optimal solutions to hard problems “relatively” quickly • Backtracking • Branch and Bound • Combining efficient solutions with brute force approaches • Other issues The Knapsack Problem • Input – Capacity K – n items with weights wi and values vi • Goal – Output a set of items S such that • the sum of weights of items in S is at most K • and the sum of values of items in S is maximized Greedy Does Not Work • What are possible greedy strategies? – Highest Density First – Highest Value First – Lowest Weight First • Prove these are not optimal for the 0-1 knapsack problem. Multi-constraint Knapsack • Input – Capacity K1 and K2 – n items with integer weights wi, size si, and values vi • Goal – Output a set of items S such that • the sum of weights of items in S is at most K1 • the sum of sizes of items in S is at most K2 • and the sum of values of items in S is maximized • Can we use dynamic programming? Situation where dynamic programming does not work What if our problem can’t be described with integers? wA = 2 vA = $40 wB = vB = $50 wC = 1.98 vC = $100 wD = 5 vD = $95 wE = 3 vE = $30 We have to resort to brute force…. Brute Force • Generate all possible solutions – With n items, there are 2n solutions to be generated – Check each to see if they satisfy the constraint – Save maximum solution that satisfies constraint • Can be represented as a tree Brute Force: Branching A In Out B B C C D E D E E C D E Weight = 15.12 Value = $315 E D E E C D E Weight = 8.98 Value = $235 E D E E D E E D E E Weight = 9.98 Value = $225 E Backtracking • In the tree representation, we can think of the previous algorithm doing a DFS in the tree • If we reach a point where a solution no longer is feasible, there is no need to continue exploring • We can “backtrack” from this point and potentially cut off much of the tree and many of the solutions • In the given example, backtracking would be much more effective if we had even more items or a smaller knapsack capacity 2, $40 , $50 Backtracking 1.98, $100 5, $95 A In 3, $30 Out B B C C D E D E E C D E E D E E C D E Weight = 8.98 Value = $235 E D E E D E E D E E Weight = 9.98 Value = $225 E Branch and Bound • We can backtrack if we know the best possible solution in current subtree is worse than current best solution obtained so far. • Estimates for improvement given current ordering – – – – – A down can give $315 B down -> $275 C down -> $225 D down -> $125 E down -> $30 2, $40 , $50 Branch and Bound 1.98, $100 5, $95 A In Out B B C C D E D E E D E E Weight = 7.12 Value = $190 3, $30 C D E Weight = 8.98 Value = $235 D E C D E Generating a good bound • The key to branch and bound is having a good initial bound. • How might we generate a good initial bound? 2, $40 , $50 Order of items 1.98, $100 5, $95 3, $30 • Since there is no fixed ordering of items, is there a better way to order the input items? – Highest weight first • Generate infeasible solutions quickly – Highest density first • Generate good solution quickly – Which is better depends on input D: 5, $95 B: , $50 Heaviest on Top E: 3, $30 A: 2, $40 D In B C: 1.98, $100 Out B (Max remaining = $220) E E A A C Weight = 8.14 Value = $145 A C C A C Weight = 10.0 Value = $165 C C Weight = 9.98 Value = $225 Weight = 8.98 Value = $235 C: 1.98, $100 A: 2, $40 Best Density on Top C In A B E D B E B E Weight = 8.98 Value = $235 B E B: , $50 E: 3, $30 Out A D D: 5, $95 Greedy and Brute Force • Suppose half the inputs to our knapsack problem all have the same weight. – If all inputs had the same weight, we could implement a greedy solution – However, since half do not, we cannot use greedy alone to find optimal solution • Combine brute-force approach with greedy to find optimal solution more quickly. The Breakdown... F1 In Out F2 F2 F3 F4 F3 F4 F5 F5 F5 F5 F4 F3 F4 F4 F5 F5 F5 F5 F3 F4 Greedy on half! F4 F5 F5 F4 Algorithm • Backtrack on half the inputs • At leafs, apply greedy strategy on the other half of the inputs • Comparison – Pure brute force: O(2n) – Combination: O(n2n/2) How much better? • Assumptions – Suppose n=50 – We can test 1,000,000 solutions/second. • 250 would take over 35 years • 225 can be generated in half an hour – Plus marginal time to generate greedy solution for each of the 225 solutions Another combination • Suppose half the inputs to our knapsack problem have small integral weights/values while the other half have real weights/values. • How can we combine approaches to solve this efficiently? The n-Queens Problem • Input – Positive integer n • Task – Place n queens on an n by n chessboard so that no two queens attack each other (on same row, column, diagonal), or report that this is impossible • Solve the n-queens problem for n = 1, 2, 3 n=4 • Pure brute force search – 16 squares on a 4 by 4 chessboard – Leads to 16 * 15 * 14 * 13 = 43,680 possible solutions • Improvements – At most one queen per row: 44 = 256 possible solutions – Backtracking: If two queens already attack before final queen placed, backtrack Larger values of n • n=8 – At most one queen per row: 88 = 16,777,216 – Early backtracking: 2057 nodes total – Time to find first solution: 114 nodes • n=12 – At most one queen per row: 1212 – Early backtracking: 856,189 nodes total – Time to find first solution: 262 nodes The Problem In the U.S. navy, the SEALS are each specially trained in a wide variety of skills so that small teams can handle a multitude of missions. If there are k different skills needed for a mission, and n SEAL members that can be assigned to the team, find the smallest team that will cover all of the required skills. Andersen knows hand-to-hand, first aid, and camouflage Butler knows hand-to-hand and snares Cunningham knows hand-to-hand Douglas knows hand-to-hand, sniping, diplomacy, and snares Eckers knows first-aid, sniping, and diplomacy Greedy Algorithm • What is the obvious greedy algorithm for this problem? • Find a counter-example to the optimality of greedy for this problem. Brute Force Approach • What is the brute-force approach? • How can we simplify the problem as far as possible in polynomial time? • How can we set bounds on the solutions? • When will we need to do backtracking? • What order should we test the potential members in when branching?