-
Notifications
You must be signed in to change notification settings - Fork 0
/
index.html
60 lines (46 loc) · 3.58 KB
/
index.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
<!DOCTYPE html>
<html lang="en-us">
<head>
<meta charset="UTF-8">
<title>Solving-sudokus-with-extended-constraints</title>
<meta name="viewport" content="width=device-width, initial-scale=1">
<link rel="stylesheet" type="text/css" href="stylesheets/normalize.css" media="screen">
<link href='https://fonts.googleapis.com/css?family=Open+Sans:400,700' rel='stylesheet' type='text/css'>
<link rel="stylesheet" type="text/css" href="stylesheets/stylesheet.css" media="screen">
<link rel="stylesheet" type="text/css" href="stylesheets/github-light.css" media="screen">
</head>
<body>
<section class="page-header">
<h1 class="project-name">Solving-sudokus-with-extended-constraints</h1>
<h2 class="project-tagline">Simone van Bruggen and Mark Romme</h2>
<a href="https://github.com/hahamark1/KRthelastkillersamurai" class="btn">View on GitHub</a>
<a href="https://github.com/hahamark1/KRthelastkillersamurai/zipball/master" class="btn">Download .zip</a>
<a href="https://github.com/hahamark1/KRthelastkillersamurai/tarball/master" class="btn">Download .tar.gz</a>
</section>
<section class="main-content">
<h3>
<a id="solving-sudokus-with-extended-constraints" class="anchor" href="#solving-sudokus-with-extended-constraints" aria-hidden="true"><span aria-hidden="true" class="octicon octicon-link"></span></a>Solving sudokus with extended constraints</h3>
<p>Sudoku's can be solved efficiently by converting them to a SAT problem and solving them using one of the existing SAT solvers.
Next to regular Sudoku's, it is interesting to look into Sudoku's where more constraints need to be satisfied.
One example of such a Sudoku would be the coloured Sudoku, where the cells of the same colour also need to have unique numbers.
Another variation on Sudoku's which adds constraints to the regular Sudoku is the greater-than Sudoku. Now, no numbers are pre-filled but greater-than and smaller-than signs indicate the values a cell can have.
In this project, we investigated whether the adding of constraints makes Sudoku's easier to solve. </p>
<!-- <h2>Spectacular Mountain</h3> -->
<img src="coloured.png" style="width:400px;height:400px;">
<img src="greaterthan.png" style="width:400px;height:400px;">
<h3>
<a id="creating-pages-manually" class="anchor" href="#creating-pages-manually" aria-hidden="true"><span aria-hidden="true" class="octicon octicon-link"></span></a>The Solver, Encoding and Performance</h3>
<p>In this project zChaff was used as a solver. This gave efficient results with extensive statistics. Details on the encoding and metrics can be found in our report: <a href="./SudokuProject.pdf">download</a>.
Furthermore you can download the slidedeck: <a href="./slides.pdf">download</a>.
<h3>
<a id="creating-pages-manually" class="anchor" href="#creating-pages-manually" aria-hidden="true"><span aria-hidden="true" class="octicon octicon-link"></span></a>A Killer Sudoku Database</h3>
<p>The Sudoku's generated for this project can be found on our page.</p>
<h3>
<a id="authors-and-contributors" class="anchor" href="#authors-and-contributors" aria-hidden="true"><span aria-hidden="true" class="octicon octicon-link"></span></a>Authors</h3>
<p>The project was developed by Mark Romme and Simone van Bruggen.</p>
<footer class="site-footer">
<span class="site-footer-credits">This page was generated by <a href="https://pages.github.com">GitHub Pages</a> using the <a href="https://github.com/jasonlong/cayman-theme">Cayman theme</a> by <a href="https://twitter.com/jasonlong">Jason Long</a>.</span>
</footer>
</section>
</body>
</html>