CS486 Lecture Notes - Lecture 5: Propositional Formula
26 Oct 2018
School
Department
Course
Professor
Document Summary
Variables: xij is the value in row i and column j where i is in {0, , 8} and j is in {0, , Domains: if the initial value of xij is k, then dom(xij) = {k}. Also could encode the initial value as a constraint. (talk about river crossing. ) Constraints: all the numbers in each row are different. The constraint all numbers in row 0 are different"" can be expressed as follows. alldifferent(x00, x01, x02, x03, x04, x05, x06, x07, x08: all the numbers in each column are different. The constraint all numbers in column 0 are different"" can be expressed as follows. alldifferent(x00, x10, x20, x30, x40, x50, x60, x70, x80: all the numbers in each sub-grid are different. The constraint all numbers in the top left sub-grid are different"" can be expressed as follows. alldifferent(x00, x01, x02, x10, x11, x12, x20, x21, x22)
