CSP Activity

Project Description

• Complete the Commuting Exercise from the AISpace CSP page.
• Formulate the following problem as a CSP using the AISpace CSP tool:

  Virginia, West Virginia, North Carolina, and Maryland have seceded from the Union to create a new country: Midadlantia. According to the new constitution all four states must have between 1 and 3 representatives. No two neighboring states may have the same number of representatives. Both West Virginia and North Carolina must have more representatives than Virginia.

• Use the AISpace tool to run the arc-consistency algorithm on the resulting graph, then run a depth-first search (by-hand) on the arc consistent version of the problem to find at least one satisfying assignment.