1. Exploring the Use of Fuzzy Constraint Satisfaction Problems to Evaluate the Happiness of Society. Peter Ballen Computer Systems Lab, 2009-2010

2. Hard Constraint Satisfaction All constraints are imperative and inflexible. A solution is only valid if all tuples are satisfied. Ex: 4-Colored Map Problem, N-Queens, Sudoku Map Source:math.utah.edu Sudoku: topnews.in

3. Hard Constraint Satisfaction The problem: Real life doesn't give easy constraints with perfect solutions. Hard Constraint Satisfaction cannot “compromise”. It can find only a perfect solution, not an optimal one. True/False Source: fredmckinnon.com

4. Soft Constraint Satisfaction Tuples receive values between 0 (fully violated) and 1 (fully satisfied). Solutions are rated on how many tuples are satisfied. Optimal solution is solution that most satisfied tuples, not necessarily all of them. VS

5. Society Model Black “Voters” are placed randomly on a 1x1 square. A white “Proposal” dot is placed on the square. Voters' satisfaction is a function of the distance between that Voter and the white dot. Less distance = Greater Satisfaction = Green Rated between 0 and 1. Independent of other voters End satisfaction is average of Voters' satisfaction.

6. Democracy of One The Voter V is black, the two proposals are in white. Green = Happier Proposal A is rated at 85.8% satisfaction. Proposal B is rated at 27.9% satisfaction.

7. Actual Democracy Four Voters (V1-V4) Proposal A makes V1 very happy, but V2, V3, & V4 unsatisfied. Proposal B makes V2 and V3 happy, but V1 and V4 unsatisfied. Proposal O is optimal solution. (72%) Everyone sacrifices.

8. Sympathy Tuples are sympathetic if increasing one's satisfaction increases the other's. A & B are sympathetic. Tuples are antagonistic if increasing one's satisfaction decreases the other. A & C are antagonistic.

9. Sympathetic Society In Society example, sympathetic Voters are Voters close to one another, so that moving the white dot towards one by necessity moves it towards another. More sympathetic Voters will translate into a happier society. By adjusting the range Voters are allowed to be placed in, we can force sympathy into society.

10. Sympathetic Societies Range [.45,.55] Satisfaction = 96.12% Range [.3,.7] Satisfaction = 84.44%

11. Antagonistic Societies Range [.1,.9] Satisfaction = 69.36% Range [0,1] Satisfaction = 57.57%

12. Finding the Solution Previous pictures were generated with brute force. Look at every possible solution, the pick out the best one. Why are we wasting time looking at the lower-left corner?

13. Finding the Solution Instead, we use pruning. First, find the optimal x-value, ignoring the y- values. Then, prune away all the other x- values. Finally, look at what's left to find the best solution. Notice that we never actually look most of the values.

14. Process at Work Find optimal x- values, ignoring y- values (draw the black and blue lines) Prune away the waste (everything in gray) Look at what's remaining to find best solution (the blue dot)

15. Comparison of Methods Blue line (Brute) is growing linearly. Red line (Pruning) grows, but at substantially slower rate. Difference becomes more pronounced as population size gets larger.

16. Prioritization Not all constants are given same level of importance. In the model, this means not all Voters get the same number of Votes. Each Voter gets a different proportion of the total vote. Scales Source: http://commons.wikimedia.org/wiki/File:Unbalanced _scales.svg

17. Prioritized Society The left Voter (the larger dot) is four times as important as the right Voter. Optimal solution (white dot) is slanted towards the left as a result.

18. Changing Priorities As the priority assigned to each dot changes, the optimal solution reacts. – Green: Both equal priority. – Pink: Right 60%; Left 40% – Blue: Right 80%, Left 20% (as seen on last slide) – Yellow: Right 95%, Left 5% (notice that left Voter is almost completely ignored)

19. Priority at the Fringe Voter in lower right corner is given large priority. Observe how much this shifts optimal result towards the edge.