Support: UCARE grant awarded to Chris Reeson & CAREER Award #0133568 from the National Science Foundation. To the public: –Illustrate the power of CP For.

Slides:



Advertisements
Similar presentations
Constraint Systems Laboratory February 18, 2009 CSP Modeling Examples CSP: Examples Industrial applications: scheduling, resource allocation, product configuration,
Advertisements

1 Constraint Satisfaction Problems A Quick Overview (based on AIMA book slides)
ICS-271:Notes 5: 1 Lecture 5: Constraint Satisfaction Problems ICS 271 Fall 2008.
Optimal Rectangle Packing: A Meta-CSP Approach Chris Reeson Advanced Constraint Processing Fall 2009 By Michael D. Moffitt and Martha E. Pollack, AAAI.
Foundations of Constraint Processing More on Constraint Consistency 1 Foundations of Constraint Processing CSCE421/821, Spring
Review: Constraint Satisfaction Problems How is a CSP defined? How do we solve CSPs?
Computational Methods for Management and Economics Carla Gomes Module 8b The transportation simplex method.
A First Practical Algorithm for High Levels of Relational Consistency Shant Karakashian, Robert Woodward, Christopher Reeson, Berthe Y. Choueiry & Christian.
Constraint Processing Techniques for Improving Join Computation: A Proof of Concept Anagh Lal & Berthe Y. Choueiry Constraint Systems Laboratory Department.
4 Feb 2004CS Constraint Satisfaction1 Constraint Satisfaction Problems Chapter 5 Section 1 – 3.
An Approximation of Generalized Arc-Consistency for Temporal CSPs Lin Xu and Berthe Y. Choueiry Constraint Systems Laboratory Department of Computer Science.
A Constraint Satisfaction Problem (CSP) is a combinatorial decision problem defined by a set of variables, a set of domain values for these variables,
Foundations of Constraint Processing, Fall 2005 November 16, 2005nFCi1 Foundations of Constraint Processing CSCE421/821, Fall 2005:
 i may require adding new constraints, except for… o i =1  domain filtering o i =   constraint filtering Robert Woodward & Berthe Y. Choueiry Constraint.
Solvable problem Deviation from best known solution [%] Percentage of test runs ERA RDGR RGR LS Over-constrained.
A Constraint Satisfaction Problem (CSP) is a combinatorial decision problem defined by a set of variables, a set of domain values for these variables,
Reformulating Constraint Models Using Input Data Martin Michalowski 1, Craig A. Knoblock 1 and Berthe Y. Choueiry 1,2 1 Information Sciences Institute,
Constraint Systems Laboratory March 26, 2007Reeson–Undergraduate Thesis1 Using Constraint Processing to Model, Solve, and Support Interactive Solving of.
Sudoku as a Constraint Problem H. Simonis IC Parc.
A game of logic where the player must assign the numbers 1..9 to cells on a 9x9 grid. The placement of the numbers must be such that every number must.
Ken Bayer, Josh Snyder, and Berthe Y. Choueiry Constraint Systems Laboratory University of Nebraska-Lincoln A Constraint-Based Approach to Solving Minesweeper.
CS194 Project: Sudoku Difficulty Kha Chu Advisor: Professor Sahai.
SOLVING SUDOKU WITH MATLAB VERIFICATION FUNCTION correctness verification of the puzzle: checks if the current element appears twice in the same line,
SUDOKU Via Relaxation Labeling
Constraint Satisfaction Problems
CP Summer School Modelling for Constraint Programming Barbara Smith 1.Definitions, Viewpoints, Constraints 2.Implied Constraints, Optimization,
Constraint Satisfaction Problem:  Used to model constrained combinatorial problems  Important real-world applications: hardware & software verification,
SOLVING SUDOKU WITH MATLAB Raluca Marinescu, Andrea Garcia, Ivan Castro, Eduard Enoiu Mälardalen University, Västerås,
Exploiting Automatically Inferred Constraint-Models for Building Identification in Satellite Imagery Research funded by the AFSOR, grant numbers FA
I am Patrick Prosser I am a senior lecturer at Glasgow (and Strathclyde till mid April) I teach algorithms & data structures in java I am a member of.
Motivation & Goal SAT and Constraint Processing (CP) are fundamental areas of Computer Science that address the same computational questions. Compare SAT.
Modelling for Constraint Programming Barbara Smith CP 2010 Doctoral Programme.
On Algorithms for Decomposable Constraints Kostas Stergiou Ian Gent, Patrick Prosser, Toby Walsh A.P.E.S. Research Group.
Whiteboardmaths.com © 2008 All rights reserved
Constraint Satisfaction CPSC 386 Artificial Intelligence Ellen Walker Hiram College.
Artificial Intelligence CS482, CS682, MW 1 – 2:15, SEM 201, MS 227 Prerequisites: 302, 365 Instructor: Sushil Louis,
Chapter 5: Constraint Satisfaction ICS 171 Fall 2006.
CP Summer School Modelling for Constraint Programming Barbara Smith 4. Combining Viewpoints, Modelling Advice.
Constraint Systems Laboratory 11/26/2015Zhang: MS Project Defense1 OPRAM: An Online System for Assigning Capstone Course Students to Sponsored Projects.
Constraint Systems Laboratory Presented by: Robert J. Woodward, Amanda Swearngin 1 Berthe Y. Choueiry 2 Eugene C. Freuder 3 1 ESQuaReD Laboratory, University.
Constraint Systems Laboratory R.J. Woodward 1, S. Karakashian 1, B.Y. Choueiry 1 & C. Bessiere 2 1 Constraint Systems Laboratory, University of Nebraska-Lincoln.
CP Summer School Modelling for Constraint Programming Barbara Smith 3. Symmetry, Viewpoints.
CHAPTER 5 SECTION 1 – 3 4 Feb 2004 CS Constraint Satisfaction 1 Constraint Satisfaction Problems.
Foundations of Constraint Processing, Fall 2004 October 3, 2004Interchangeability in CSPs1 Foundations of Constraint Processing CSCE421/821, Fall 2004:
Robust Planning using Constraint Satisfaction Techniques Daniel Buettner and Berthe Y. Choueiry Constraint Systems Laboratory Department of Computer Science.
Monster (“Mega”) Sudoku
At the beginning of each semester, CSE hires a number of Graduate Teaching Assistants (GTAs) as graders, lab supervisors, and instructors. The department.
Chapter 5 Team Teaching AI (created by Dewi Liliana) PTIIK Constraint Satisfaction Problems.
Maintaining Consistency in Resource Allocation Trevor Janke & Berthe Y. Choueiry Goals  Study & refine the constraint model of the existing Graduate TAs.
CompSci Problem Solving: Sudoku  Rules of the Game Sudoku is played with a 9 by 9 "board" consisting of nine 3 by 3 sub-boards. The symbols 1 -
CS 171: Intro to AI Discussion Week 2 Jan 15 th 2016.
ERA on an over-constrained problem A Constraint-Based System for Hiring & Managing Graduate Teaching Assistants Ryan Lim, Praveen Venkata Guddeti, and.
Shortcomings of Traditional Backtrack Search on Large, Tight CSPs: A Real-world Example Venkata Praveen Guddeti and Berthe Y. Choueiry The combination.
Constraint Satisfaction Problems/Programming ZUI 2012/2013.
1 Constraint Satisfaction Problems (CSP). Announcements Second Test Wednesday, April 27.
CS 561, Session 8 1 This time: constraint satisfaction - Constraint Satisfaction Problems (CSP) - Backtracking search for CSPs - Local search for CSPs.
CSPs: Search and Arc Consistency Computer Science cpsc322, Lecture 12
Monster (“Mega”) Sudoku
A First Practical Algorithm for High Levels of Relational Consistency
CSPs: Search and Arc Consistency Computer Science cpsc322, Lecture 12
Robert Glaubius and Berthe Y. Choueiry
Modeling Sudoku as a CNF Formula
CSP Search Techniques Backtracking Forward checking
Modeling Sudoku as a CNF Formula
More on Constraint Consistency
Sudoku.
Modeling Sudoku as a CNF Formula
Solving Sudoku with Consistency: A Visual and Interactive Approach
Constraint Satisfaction Problems (CSP)
Presentation transcript:

Support: UCARE grant awarded to Chris Reeson & CAREER Award # from the National Science Foundation. To the public: –Illustrate the power of CP For the research: –Investigate the use of CP to interactively support & guide human players For education: –Teach basic and advanced CP techniques For insight into human reasoning: –Understand how it differs from algorithmic approaches Each cell is a variable whose domain is set of numbers 1…9. The constraints are ‘all-different’ constraints on each row, column, and block. We can model each all-diff constraint either as a set of binary mutex constraints... We implement both models to allow the player to compare and understand the effectiveness of constraint propagation operating on each model. Solver is a Java applet that uses CP techniques to support the user to play Sudoku. The player can… …undo/redo any action Goals Sudoku is well posed if it has a single solution is minimal if removing any ‘given’ yields more than one solution is symmetric if the filled cells on the grid exhibit some axial symmetry A Sudoku… #15 on Royle’s web site 1 References CSP Models Constraint Propagation Constructor Solver …assign all cells whose domains have a single value …check the number of solutions left …assign values to cells and play the game without aid …display the remaining values in the domain of each cell Solver displays the number of hints. The user can iterate through them. Solver detects errors and highlights the variables in the broken constraint… 2 types of hints: Singleton & Vital 8 levels: FC, AC, Single GAC, GAC, Single SAC, SAC, Single SGAC, SGAC Hint highlights the cell that the player needs to think about.. 1.Gordon Royle. Minimum Sudoku. people.csse.uwa.edu.au/gordon/sudokumin.php, Helmut Simonis. Sudoku as a Constraint Problem. Workshop on Modeling and Refomulating CSPs, 2005 FC AC GAC Supports entering & storing instances Counts & displays all solutions SAC SGAC Conjectures: 1.SGAC solves well-posed 9x9 Sudoku 2.SGAC  relation (1,2)consistency An Interactive Constraint-Based Approach to Sudoku Christopher G. Reeson 1 Kai-Chen Huang 2 Kenneth M. Bayer 1 Berthe Y. Choueiry 1,2 1 Constraint Systems Laboratory, University of Nebraska-Lincoln 2 Information Sciences Institute, University of Southern California Solver : sudoku.unl.edu/Solver Constructor : sudoku.unl.edu/Constructor …or as a single non-binary alldiff constraint of arity 9. FC AC SAC GAC SGAC … cannot remove more values than.. Observations: Observations: Human players… … can do GAC after some training … cannot mentally do shaving (i.e., SAC, SGAC) … solve Sudoku using convoluted patterns with imaginative names. Often, several patterns correspond to the same propagation mechanism …apply a variety of CP techniques …load an instance from the online library The user can choose the type of hint & the level of consistency:

Support: UCARE grant awarded to Chris Reeson & CAREER Award # from the National Science Foundation. To the public: –Illustrate the power of CP For the research: –Investigate the use of CP to interactively support & guide human players For education: –Teach basic and advanced CP techniques For insight in human reasoning: –Understand how it differs from algorithmic approaches Each cell is a variable whose domain is set of numbers 1…9. The constraints are ‘all-different’ constraints on each row, column, and block. We can model each all-diff constraint either as a set of binary mutex constraints... We implement both models to allow the player to compare and understand the effectiveness of constraint propagation operating on each model. Solver is a Java applet that uses CP techniques to support the user to play Sudoku. The player can… …undo/redo any action Goals Sudoku is well posed if it has a single solution is minimal if removing any ‘given’ yields more than one solution is symmetric if the filled cells on the grid exhibit some axial symmetry A Sudoku… #15 on Royle’s web site 1 References CSP Models Constraint Propagation Constructor Solver …assign all cells whose domains have a single value …check the number of solutions left …assign values to cells and play the game without aid …display the remaining values in the domain of each cell Solver displays the number of hints. The user can iterate through them. Solver detects errors and highlights the variables in the broken constraint… 2 types of hints: Singleton & Vital 8 levels: FC, AC, Single GAC, GAC, Single SAC, SAC, Single SGAC, SGAC Hint highlights the cell that the player needs to think about.. 1.Gordon Royle. Minimum Sudoku. people.csse.uwa.edu.au/gordon/sudokumin.php, Helmut Simonis. Sudoku as a Constraint Problem. Workshop on Modeling and Reformulating CSPs, 2005 FC AC GAC Supports entering & storing instances Counts & displays all solutions SAC SGA C Conjectures: 1.SGAC solves well-posed 9x9 Sudoku 2.SGAC  relation (1,2)consistency An Interactive Constraint-Based Approach to Sudoku Christopher G. Reeson 1 Kai-Chen Huang 2 Kenneth M. Bayer 1 Berthe Y. Choueiry 1,2 1 Constraint Systems Laboratory, University of Nebraska-Lincoln 2 Information Sciences Institute, University of Southern California Solver : sudoku.unl.edu/Solver Constructor : sudoku.unl.edu/Constructor …or as a single non-binary alldiff constraint of arity 9. FC AC SAC GAC SGAC … cannot remove more values than.. Observations: Observations: Human players… … can do GAC after some training … cannot mentally do shaving (i.e., SAC, SGAC) … solve Sudoku using convoluted patterns with imaginative names. Often, several patterns correspond to the same propagation mechanism …apply a variety of CP techniques …load an instance from the online library The user can choose the type of hint & the level of consistency: