init

.gitignore

@@ -0,0 +1,76 @@
+*.swp
+*.*~
+project.lock.json
+.DS_Store
+*.pyc
+
+# Visual Studio Code
+.vscode
+
+# User-specific files
+*.suo
+*.user
+*.userosscache
+*.sln.docstates
+
+# Build results
+[Dd]ebug/
+[Dd]ebugPublic/
+[Rr]elease/
+[Rr]eleases/
+x64/
+x86/
+build/
+bld/
+[Bb]in/
+[Oo]bj/
+msbuild.log
+msbuild.err
+msbuild.wrn
+
+# Visual Studio 2015
+.vs/
+
+
+# Covers JetBrains IDEs: IntelliJ, RubyMine, PhpStorm, AppCode, PyCharm, CLion, Android Studio and Webstorm
+# Reference: https://intellij-support.jetbrains.com/hc/en-us/articles/206544839
+
+# User-specific stuff:
+.idea/**/workspace.xml
+.idea/**/tasks.xml
+
+# Sensitive or high-churn files:
+.idea/**/dataSources/
+.idea/**/dataSources.ids
+.idea/**/dataSources.xml
+.idea/**/dataSources.local.xml
+.idea/**/sqlDataSources.xml
+.idea/**/dynamic.xml
+.idea/**/uiDesigner.xml
+
+# Gradle:
+.idea/**/gradle.xml
+.idea/**/libraries
+
+# Mongo Explorer plugin:
+.idea/**/mongoSettings.xml
+
+## File-based project format:
+*.iws
+
+## Plugin-specific files:
+
+# IntelliJ
+/out/
+
+# mpeltonen/sbt-idea plugin
+.idea_modules/
+
+# JIRA plugin
+atlassian-ide-plugin.xml
+
+# Crashlytics plugin (for Android Studio and IntelliJ)
+com_crashlytics_export_strings.xml
+crashlytics.properties
+crashlytics-build.properties
+fabric.properties

.idea/.idea.uqac-ia-sudoku-csp/.idea/contentModel.xml

@@ -0,0 +1,6 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<project version="4">
+  <component name="RiderRiderContentModelStore">
+    <excludedPaths />
+  </component>
+</project>

.idea/.idea.uqac-ia-sudoku-csp/.idea/modules.xml

@@ -0,0 +1,8 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<project version="4">
+  <component name="ProjectModuleManager">
+    <modules>
+      <module fileurl="file://$PROJECT_DIR$/.idea/.idea.uqac-ia-sudoku-csp/riderModule.iml" filepath="$PROJECT_DIR$/.idea/.idea.uqac-ia-sudoku-csp/riderModule.iml" />
+    </modules>
+  </component>
+</project>

.idea/.idea.uqac-ia-sudoku-csp/riderModule.iml

@@ -0,0 +1,12 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<module type="RIDER_MODULE" version="4">
+  <component name="NewModuleRootManager">
+    <content url="file://$MODULE_DIR$/../..">
+      <sourceFolder url="file://$MODULE_DIR$/../../uqac-ia-sudoku-csp" isTestSource="false" />
+      <excludeFolder url="file://$MODULE_DIR$/../../packages" />
+      <excludeFolder url="file://$MODULE_DIR$/../../uqac-ia-sudoku-csp/bin" />
+      <excludeFolder url="file://$MODULE_DIR$/../../uqac-ia-sudoku-csp/obj" />
+    </content>
+    <orderEntry type="sourceFolder" forTests="false" />
+  </component>
+</module>

sample/01.txt

@@ -0,0 +1,9 @@
+003020600
+900305001
+001806400
+008102900
+700000008
+006708200
+002609500
+800203009
+005010300

sample/02.txt

@@ -0,0 +1,9 @@
+200080300
+060070084
+030500209
+000105408
+000000000
+402706000
+301007040
+720040060
+004010003

sample/03.txt

@@ -0,0 +1,9 @@
+000000907
+000420180
+000705026
+100904000
+050000040
+000507009
+920108000
+034059000
+507000000

uqac-ia-sudoku-csp.sln

@@ -0,0 +1,22 @@
+
+Microsoft Visual Studio Solution File, Format Version 12.00
+# Visual Studio 2013
+VisualStudioVersion = 12.0.0.0
+MinimumVisualStudioVersion = 10.0.0.1
+Project("{8BB2217D-0F2D-49D1-97BC-3654ED321F3B}") = "uqac_ia_sudoku_csp", "uqac-ia-sudoku-csp/uqac-ia-sudoku-csp.xproj", "{77FF317D-6818-4E89-9981-919B301FBA76}"
+EndProject
+Global
+	GlobalSection(SolutionConfigurationPlatforms) = preSolution
+		Debug|Any CPU = Debug|Any CPU
+		Release|Any CPU = Release|Any CPU
+	EndGlobalSection
+	GlobalSection(ProjectConfigurationPlatforms) = postSolution
+		{77FF317D-6818-4E89-9981-919B301FBA76}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
+		{77FF317D-6818-4E89-9981-919B301FBA76}.Debug|Any CPU.Build.0 = Debug|Any CPU
+		{77FF317D-6818-4E89-9981-919B301FBA76}.Release|Any CPU.ActiveCfg = Release|Any CPU
+		{77FF317D-6818-4E89-9981-919B301FBA76}.Release|Any CPU.Build.0 = Release|Any CPU
+	EndGlobalSection
+	GlobalSection(SolutionProperties) = preSolution
+		HideSolutionNode = FALSE
+	EndGlobalSection
+EndGlobal

uqac-ia-sudoku-csp/Board.cs

@@ -0,0 +1,113 @@
+using System;
+using System.IO;
+using System.Linq;
+
+namespace uqac_ia_sudoku_csp
+{
+    public class Board
+    {
+        public string Characters { get; }
+
+        public int Size => Game.Length;
+
+        protected int?[][] Game { get; set; }
+
+        public Board(string characters)
+        {
+            Characters = characters;
+            InitGame(characters.Length);
+            Init((x, y) => null);
+        }
+
+        public Board(string characters, Func<int, int, int?> cb)
+        {
+            Characters = characters;
+            InitGame(characters.Length);
+            Init(cb);
+        }
+
+        public Board(Board other)
+        {
+            Characters = other.Characters;
+            InitGame(other.Size);
+            Init(other.GetNumber);
+        }
+
+        public Board Clone()
+        {
+            return new Board(this);
+        }
+
+        protected void InitGame(int size)
+        {
+            Game = new int?[size][];
+            for (var y = 0; y < size; ++y)
+            {
+                Game[y] = new int?[size];
+            }
+        }
+
+        public void Init(Func<int, int, int?> cb)
+        {
+            for (var y = 0; y < Size; ++y)
+            {
+                for (var x = 0; x < Size; ++x)
+                {
+                    SetNumber(x, y, cb(x, y));
+                }
+            }
+        }
+
+        public char? GetCharacter(int? v)
+        {
+            return v == null ? null : (char?)Characters[v.Value];
+        }
+
+        public char? GetCharacter(int x, int y)
+        {
+            return GetCharacter(GetNumber(x, y));
+        }
+
+        public void SetCharacter(int x, int y, char? c)
+        {
+            SetNumber(x, y, c == null ? null : (char?)Characters.IndexOf(c.Value));
+        }
+
+        public int? GetNumber(int x, int y)
+        {
+            return Game[y][x];
+        }
+
+        public void SetNumber(int x, int y, int? value)
+        {
+            Game[y][x] = value;
+        }
+
+        public void ClearNumber(int x, int y)
+        {
+            SetNumber(x, y, null);
+        }
+
+        public bool IsComplete()
+        {
+            return !Game.Any(line => line.Any(cell => cell == null));
+        }
+
+        public void Print(TextWriter stream)
+        {
+            stream.WriteLine(Characters);
+            stream.WriteLine(new string('-', Size + 2));
+            foreach (var line in Game)
+            {
+                stream.Write('|');
+                foreach (var cell in line)
+                {
+                    var c = GetCharacter(cell);
+                    stream.Write(c ?? ' ');
+                }
+                stream.WriteLine('|');
+            }
+            stream.WriteLine(new string('-', Size + 2));
+        }
+    }
+}

uqac-ia-sudoku-csp/Interfaces/IConstraint.cs

@@ -0,0 +1,7 @@
+namespace uqac_ia_sudoku_csp.Interfaces
+{
+    public interface IConstraint
+    {
+        bool Check(Board board, int x, int y);
+    }
+}

uqac-ia-sudoku-csp/Interfaces/IGenerator.cs

@@ -0,0 +1,7 @@
+namespace uqac_ia_sudoku_csp.Interfaces
+{
+    public interface IGenerator
+    {
+        void Generate(Board board, object data);
+    }
+}

uqac-ia-sudoku-csp/Interfaces/INextValueChooser.cs

@@ -0,0 +1,7 @@
+namespace uqac_ia_sudoku_csp.Interfaces
+{
+    public interface INextValueChooser
+    {
+        void SelectVariable(Board board, out int x, out int y);
+    }
+}

uqac-ia-sudoku-csp/Interfaces/ISolver.cs

@@ -0,0 +1,7 @@
+namespace uqac_ia_sudoku_csp.Interfaces
+{
+    public interface ISolver
+    {
+        bool Resolve(Board board);
+    }
+}

uqac-ia-sudoku-csp/Program.cs

@@ -0,0 +1,35 @@
+using System;
+using uqac_ia_sudoku_csp.Solver;
+using uqac_ia_sudoku_csp.Solver.Generators;
+
+namespace uqac_ia_sudoku_csp
+{
+    internal class Program
+    {
+        public static void Main(string[] args)
+        {
+            var board = new Board("123456789");
+
+            var generator = new FileGenerator();
+            generator.Generate(board, new FileGeneratorDbo
+            {
+                EmptyCharacters = "0 ",
+                FilePath = "../sample/03.txt"
+            });
+            board.Print(Console.Out);
+
+            var solver = new BacktrackSearch();
+            var resolved = solver.Resolve(board);
+
+            if (resolved)
+            {
+                Console.WriteLine("Resolved:");
+                board.Print(Console.Out);
+            }
+            else
+            {
+                Console.WriteLine("Not resolved");
+            }
+        }
+    }
+}

uqac-ia-sudoku-csp/Properties/AssemblyInfo.cs

@@ -0,0 +1,26 @@
+using System.Reflection;
+using System.Runtime.CompilerServices;
+using System.Runtime.InteropServices;
+
+// General Information about an assembly is controlled through the following
+// set of attributes. Change these attribute values to modify the information
+// associated with an assembly.
+
+[assembly: AssemblyTitle("uqac_ia_sudoku_csp")]
+[assembly: AssemblyDescription("")]
+[assembly: AssemblyConfiguration("")]
+[assembly: AssemblyCompany("")]
+[assembly: AssemblyProduct("uqac_ia_sudoku_csp")]
+[assembly: AssemblyCopyright("Copyright ©  2017")]
+[assembly: AssemblyTrademark("")]
+[assembly: AssemblyCulture("")]
+
+// Setting ComVisible to false makes the types in this assembly not visible
+// to COM components.  If you need to access a type in this assembly from
+// COM, set the ComVisible attribute to true on that type.
+
+[assembly: ComVisible(false)]
+
+// The following GUID is for the ID of the typelib if this project is exposed to COM
+
+[assembly: Guid("77FF317D-6818-4E89-9981-919B301FBA76")]

uqac-ia-sudoku-csp/Solver/BacktrackSearch.cs

@@ -0,0 +1,79 @@
+using System;
+using System.Collections.Generic;
+using System.Linq;
+using uqac_ia_sudoku_csp.Interfaces;
+using uqac_ia_sudoku_csp.Solver.Constraints;
+
+namespace uqac_ia_sudoku_csp.Solver
+{
+    public class BacktrackSearch : ISolver
+    {
+        protected IList<IConstraint> Constraints;
+
+        public BacktrackSearch()
+        {
+            Constraints = new List<IConstraint>
+            {
+                new LineContraint(),
+                new ColumnConstraint(),
+                new BlockConstraint()
+            };
+        }
+
+        public bool Resolve(Board board)
+        {
+            return RecursiveResolve(board);
+        }
+
+        protected bool RecursiveResolve(Board board)
+        {
+            if (board.IsComplete())
+            {
+                return true;
+            }
+            int x, y;
+            SelectVariable(board, out x, out y);
+            foreach (var value in GetDomainValues(board))
+            {
+                board.SetNumber(x, y, value);
+                if (IsConsistent(board, x, y))
+                {
+                    if (RecursiveResolve(board))
+                    {
+                        return true;
+                    }
+                }
+            }
+            board.ClearNumber(x, y);
+            return false;
+        }
+
+        protected void SelectVariable(Board board, out int x, out int y)
+        {
+            for (var xx = 0; xx < board.Size; ++xx)
+            {
+                for (var yy = 0; yy < board.Size; ++yy)
+                {
+                    if (board.GetNumber(xx, yy) == null)
+                    {
+                        x = xx;
+                        y = yy;
+                        return;
+                    }
+                }
+            }
+            x = -1;
+            y = -1;
+        }
+
+        protected IEnumerable<int> GetDomainValues(Board board)
+        {
+            return Enumerable.Range(0, board.Size);
+        }
+
+        protected bool IsConsistent(Board board, int x, int y)
+        {
+            return Constraints.All(constraint => constraint.Check(board, x, y));
+        }
+    }
+}

uqac-ia-sudoku-csp/Solver/Constraints/BlockConstraint.cs

@@ -0,0 +1,27 @@
+using System;
+using uqac_ia_sudoku_csp.Interfaces;
+
+namespace uqac_ia_sudoku_csp.Solver.Constraints
+{
+    public class BlockConstraint : IConstraint
+    {
+        public bool Check(Board board, int x, int y)
+        {
+            var bs = Math.Sqrt(board.Size);
+            var sx = x / 3 * 3;
+            var sy = y / 3 * 3;
+            var cell = board.GetNumber(x, y).Value;
+            for (var xx = sx; xx < sx + bs; ++xx)
+            {
+                for (var yy = sy; yy < sy + bs; ++yy)
+                {
+                    if (cell == board.GetNumber(xx, yy) && (xx != x || yy != y))
+                    {
+                        return false;
+                    }
+                }
+            }
+            return true;
+        }
+    }
+}

uqac-ia-sudoku-csp/Solver/Constraints/ColumnConstraint.cs

@@ -0,0 +1,20 @@
+using uqac_ia_sudoku_csp.Interfaces;
+
+namespace uqac_ia_sudoku_csp.Solver.Constraints
+{
+    public class ColumnConstraint : IConstraint
+    {
+        public bool Check(Board board, int x, int y)
+        {
+            var cell = board.GetNumber(x, y).Value;
+            for (var yy = 0; yy < board.Size; ++yy)
+            {
+                if (cell == board.GetNumber(x, yy) && yy != y)
+                {
+                    return false;
+                }
+            }
+            return true;
+        }
+    }
+}

uqac-ia-sudoku-csp/Solver/Constraints/LineContraint.cs

@@ -0,0 +1,20 @@
+using uqac_ia_sudoku_csp.Interfaces;
+
+namespace uqac_ia_sudoku_csp.Solver.Constraints
+{
+    public class LineContraint : IConstraint
+    {
+        public bool Check(Board board, int x, int y)
+        {
+            var cell = board.GetNumber(x, y).Value;
+            for (var xx = 0; xx < board.Size; ++xx)
+            {
+                if (cell == board.GetNumber(xx, y) && xx != x)
+                {
+                    return false;
+                }
+            }
+            return true;
+        }
+    }
+}

uqac-ia-sudoku-csp/Solver/Generator.cs

@@ -0,0 +1,10 @@
+namespace uqac_ia_sudoku_csp
+{
+    public class Generator
+    {
+        public void Generate(Board board, object data)
+        {
+//            board.SetNumber(0, 0, 0);
+        }
+    }
+}

uqac-ia-sudoku-csp/Solver/Generators/EmptyGenerator.cs

@@ -0,0 +1,11 @@
+using uqac_ia_sudoku_csp.Interfaces;
+
+namespace uqac_ia_sudoku_csp.Solver.Generators
+{
+    public class EmptyGenerator : IGenerator
+    {
+        public void Generate(Board board, object data)
+        {
+        }
+    }
+}

uqac-ia-sudoku-csp/Solver/Generators/FileGenerator.cs

@@ -0,0 +1,27 @@
+using System.IO;
+
+namespace uqac_ia_sudoku_csp.Solver.Generators
+{
+    public class FileGeneratorDbo
+    {
+        public string FilePath { get; set; }
+
+        public string EmptyCharacters { get; set; }
+    }
+
+    public class FileGenerator : TextReaderGenerator
+    {
+        public override void Generate(Board board, object data)
+        {
+            var dbo = data as FileGeneratorDbo;
+            using (var stream = File.OpenText(dbo.FilePath))
+            {
+                base.Generate(board, new TextReaderGeneratorDbo
+                {
+                    EmptyCharacters = dbo.EmptyCharacters,
+                    Reader = stream
+                });
+            }
+        }
+    }
+}

uqac-ia-sudoku-csp/Solver/Generators/StdInGenerator.cs

@@ -0,0 +1,16 @@
+using System;
+
+namespace uqac_ia_sudoku_csp.Solver.Generators
+{
+    public class StdInGenerator : TextReaderGenerator
+    {
+        public override void Generate(Board board, object data)
+        {
+            base.Generate(board, new TextReaderGeneratorDbo
+            {
+                Reader = Console.In,
+                EmptyCharacters = data as string
+            });
+        }
+    }
+}

uqac-ia-sudoku-csp/Solver/Generators/TextReaderGenerator.cs

@@ -0,0 +1,39 @@
+using System.IO;
+using uqac_ia_sudoku_csp.Interfaces;
+
+namespace uqac_ia_sudoku_csp.Solver.Generators
+{
+    public class TextReaderGeneratorDbo
+    {
+        public TextReader Reader { get; set; }
+
+        public string EmptyCharacters { get; set; }
+    }
+
+    public class TextReaderGenerator : IGenerator
+    {
+        public virtual void Generate(Board board, object data)
+        {
+            var dbo = data as TextReaderGeneratorDbo;
+            for (var y = 0; y < board.Size; ++y)
+            {
+                for (var x = 0; x < board.Size; ++x)
+                {
+                    string c;
+                    do
+                    {
+                        c = $"{(char)dbo.Reader.Read()}";
+                    } while (!dbo.EmptyCharacters.Contains(c) && !board.Characters.Contains(c));
+                    if (dbo.EmptyCharacters.Contains(c))
+                    {
+                        board.ClearNumber(x, y);
+                    }
+                    else if (board.Characters.Contains(c))
+                    {
+                        board.SetCharacter(x, y, c[0]);
+                    }
+                }
+            }
+        }
+    }
+}

uqac-ia-sudoku-csp/project.json

@@ -0,0 +1,19 @@
+{
+  "version": "1.0.0-*",
+  "buildOptions": {
+    "debugType": "portable",
+    "emitEntryPoint": true
+  },
+  "dependencies": {},
+  "frameworks": {
+    "netcoreapp1.0": {
+      "dependencies": {
+        "Microsoft.NETCore.App": {
+          "type": "platform",
+          "version": "1.0.1"
+        }
+      },
+      "imports": "dnxcore50"
+    }
+  }
+}

uqac-ia-sudoku-csp/uqac-ia-sudoku-csp.xproj

@@ -0,0 +1,22 @@
+<?xml version="1.0" encoding="utf-8"?>
+<Project ToolsVersion="14.0" DefaultTargets="Build" xmlns="http://schemas.microsoft.com/developer/msbuild/2003">
+  <PropertyGroup>
+    <VisualStudioVersion Condition="'$(VisualStudioVersion)' == ''">14.0</VisualStudioVersion>
+    <VSToolsPath Condition="'$(VSToolsPath)' == ''">$(MSBuildExtensionsPath32)\Microsoft\VisualStudio\v$(VisualStudioVersion)</VSToolsPath>
+  </PropertyGroup>
+
+  <Import Project="$(VSToolsPath)\DotNet\Microsoft.DotNet.Props" Condition="'$(VSToolsPath)' != ''"  />
+  <PropertyGroup Label="Globals">
+    <ProjectGuid>{77FF317D-6818-4E89-9981-919B301FBA76}</ProjectGuid>
+    <ProjectTypeGuids>{8BB2217D-0F2D-49D1-97BC-3654ED321F3B}</ProjectTypeGuids>
+    <RootNamespace>uqac_ia_sudoku_csp</RootNamespace>
+    <BaseIntermediateOutputPath Condition="'$(BaseIntermediateOutputPath)'=='' ">.\obj</BaseIntermediateOutputPath>
+    <OutputPath Condition="'$(OutputPath)'=='' ">.\bin\</OutputPath>
+    <TargetFrameworkVersion>v4.5.1</TargetFrameworkVersion>
+  </PropertyGroup>
+
+  <PropertyGroup>
+    <SchemaVersion>2.0</SchemaVersion>
+  </PropertyGroup>
+  <Import Project="$(VSToolsPath)\DotNet\Microsoft.DotNet.targets" Condition="'$(VSToolsPath)' != ''" />
+</Project>