{[ promptMessage ]}

Bookmark it

{[ promptMessage ]}

# hw4 - CSCI-561 Fall 2010 Homework 4 Student name Macskassy...

This preview shows pages 1–2. Sign up to view the full content.

CSCI-561 Fall 2010 Macskassy Homework 4 Due Nov. 17, 2010 Student name: _____________________________ Student ID: _________________ Question 1 [30 points] Sudoku problem can be as general with size n 2 x n 2 . The rules are: (1) Each row contains unique number from 1 to n 2 . (2) Each column contains unique number from 1 to n 2. (3) Each n x n box contains unique number from 1 to n 2 . Consider n = 2, below shows a 4 x 4 problem instance (left) and solution (right), Convert this problem into a SAT problem. Consider the WalkSAT algorithm in the text book, a. [15 points] Can you suggest an alternate flipping strategy to that described in the book to get WalkSat to converge to a result faster? b . [15 points] Implement your strategy and compare your strategy with the one in the book. Explain why your data exhibit a better convergence time and how it is related to the Sudoku problem. (Your result should average at least 100 runs of at least 5 puzzles and set maxflip as high as it resolves the puzzle.) The names of input and output file are input_x.txt and output_x.txt respectively, where x is an integer. The file format will be the same as project2. You are required to submit a

This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document
This is the end of the preview. Sign up to access the rest of the document.

{[ snackBarMessage ]}

### What students are saying

• As a current student on this bumpy collegiate pathway, I stumbled upon Course Hero, where I can find study resources for nearly all my courses, get online help from tutors 24/7, and even share my old projects, papers, and lecture notes with other students.

Kiran Temple University Fox School of Business ‘17, Course Hero Intern

• I cannot even describe how much Course Hero helped me this summer. It’s truly become something I can always rely on and help me. In the end, I was not only able to survive summer classes, but I was able to thrive thanks to Course Hero.

Dana University of Pennsylvania ‘17, Course Hero Intern

• The ability to access any university’s resources through Course Hero proved invaluable in my case. I was behind on Tulane coursework and actually used UCLA’s materials to help me move forward and get everything together on time.

Jill Tulane University ‘16, Course Hero Intern