package nl.hiddewieringa.logicsolver

import org.junit.Assert.assertEquals
import org.junit.Test

class SudokuIntegrationTest {

    @Test
    fun solveAlreadySolvedSudoku() {
        val coordinates = (1..9).flatMap { i ->
            (1..9).map { j ->
                Coordinate(i, j)
            }
        }
        val valueMap = coordinates.map { coordinate ->
            coordinate to (1 + ((coordinate.a - 1) + (coordinate.b - 1)) % 9)
        }.toMap()

        val input = Sudoku(valueMap)
        val solver = SudokuSolver()
        val output = solver.solve(input)

        val expected = SudokuOutput(coordinates, valueMap)
        assertEquals(true, output.isLeft())
        assertEquals(expected, output.left())
    }

    @Test
    fun solveSudoku() {
        val input = Sudoku.readFromString("""
 . . . . 4 5 . . 9
 9 5 . . . 7 3 2 .
 . 8 2 . 6 . 1 . .
 6 7 . 4 . 8 9 . 2
 . 1 5 6 . 9 4 . .
 . . . . . . . . 8
 . 3 . . 7 . . . 1
 . . 7 8 . . . 4 .
 . 4 6 3 . 2 7 . 5
""")

        val solver = SudokuSolver()
        val output = solver.solve(input)

        val expected = """
3 6 1 2 4 5 8 7 9
9 5 4 1 8 7 3 2 6
7 8 2 9 6 3 1 5 4
6 7 3 4 5 8 9 1 2
8 1 5 6 2 9 4 3 7
4 2 9 7 3 1 5 6 8
2 3 8 5 7 4 6 9 1
5 9 7 8 1 6 2 4 3
1 4 6 3 9 2 7 8 5
"""

        assertEquals(true, output.isLeft())
        assertEquals(expected.trim(), output.left().toString().trim())
    }

    @Test
    fun solveSudokuX() {
        val input = SudokuX.readFromString("""
 . 3 . . 8 . . . .
 9 . 6 5 3 7 . . .
 2 . . . 9 . . . 5
 . . 3 . . . 1 . 8
 . . 9 8 . 6 3 . .
 8 . 5 . . . 6 . .
 1 . . . 6 . . . 4
 . . . 1 5 8 7 . 2
 . . . . 2 . . 1 .
""")

        val solver = SudokuSolver()
        val output = solver.solve(input)

        val expected = """
5 3 1 2 8 4 9 7 6
9 4 6 5 3 7 2 8 1
2 8 7 6 9 1 4 3 5
6 7 3 9 4 5 1 2 8
4 2 9 8 1 6 3 5 7
8 1 5 3 7 2 6 4 9
1 5 2 7 6 3 8 9 4
3 9 4 1 5 8 7 6 2
7 6 8 4 2 9 5 1 3
"""

        assertEquals(true, output.isLeft())
        assertEquals(expected.trim(), output.left().toString().trim())
    }

    @Test
    fun solveSudokuHyper() {
        val input = SudokuHyper.readFromString("""
 7 . 3 . . 8 5 . .
 . . . . . 5 1 . 9
 5 . . . . . . 7 .
 . . 4 . . . . 3 8
 . . 6 . 5 . 7 . .
 8 3 . . . . 2 . .
 . 1 . . . . . . 4
 6 . 9 2 . . . . .
 . . 5 4 . . 9 . 2
""")

        val solver = SudokuSolver()
        val output = solver.solve(input)

        val expected = """
7 9 3 1 4 8 5 2 6
4 6 2 3 7 5 1 8 9
5 8 1 9 6 2 4 7 3
1 5 4 7 2 9 6 3 8
9 2 6 8 5 3 7 4 1
8 3 7 6 1 4 2 9 5
2 1 8 5 9 7 3 6 4
6 4 9 2 3 1 8 5 7
3 7 5 4 8 6 9 1 2
"""

        assertEquals(true, output.isLeft())
        assertEquals(expected.trim(), output.left().toString().trim())
    }

    @Test
    fun solveSudokuDouble() {
        val input = SudokuDouble.readFromString("""
 . 8 1 . 4 . 7 3 .
 . 4 9 . . . 8 1 .
 . . . . 5 . . . .
 6 . 4 . . . 9 . 7
 . . . . . . . . .
 7 . . 5 9 4 . . 3
 . . . 6 . 5 . . .
 . . . . 1 . . . .
 . . . 4 . 8 . . .
 6 . . 3 7 2 . . 5
 . . . . . . . . .
 8 . 3 . . . 6 . 1
 . . . . 6 . . . .
 . 4 6 . . . 8 3 .
 . 8 1 . 5 . 2 9 .
""")

        val solver = SudokuSolver()
        val output = solver.solve(input)

        val expected = """
5 8 1 2 4 9 7 3 6
2 4 9 3 7 6 8 1 5
3 7 6 8 5 1 2 9 4
6 5 4 1 8 3 9 2 7
8 9 3 7 6 2 5 4 1
7 1 2 5 9 4 6 8 3
1 3 8 6 2 5 4 7 9
4 2 5 9 1 7 3 6 8
9 6 7 4 3 8 1 5 2
6 1 4 3 7 2 9 8 5
2 5 9 1 8 6 7 4 3
8 7 3 5 4 9 6 2 1
7 9 2 8 6 3 5 1 4
5 4 6 2 9 1 8 3 7
3 8 1 7 5 4 2 9 6
"""

        assertEquals(true, output.isLeft())
        assertEquals(expected.trim(), output.left().toString().trim())
    }

    @Test
    fun solveSudokuSamurai() {
        val input = SudokuSamurai.readFromString("""
. 4 9 . . . . 7 3       3 9 . . . . 8 2 .
2 . 8 . . . 1 . 5       2 . 8 . . . 6 . 9
5 6 . . . . 4 8 .       . 6 7 . . . . 1 3
. . . . 9 5 . . .       . . . 3 6 . . . .
. . . 8 . 1 . . .       . . . 5 . 2 . . .
. . . 7 6 . . . .       . . . . 7 9 . . .
. 2 5 . . . . 6 7 . . . 8 4 . . . . 7 3 .
8 . 6 . . . 3 . 4 . 7 . 9 . 6 . . . 2 . 4
7 3 . . . . 5 2 . . . . . 3 1 . . . . 5 6
            . . . 1 . 4 . . .
            . 8 . . . . . 1 .
            . . . 5 . 7 . . .
5 1 . . . . 6 9 . . . . . 2 7 . . . . 9 8
3 . 8 . . . 4 . 1 . 6 . 3 . 5 . . . 4 . 2
. 4 7 . . . . 5 2 . . . 4 6 . . . . 7 1 .
. . . 1 5 . . . .       . . . . 4 1 . . .
. . . 6 . 8 . . .       . . . 3 . 5 . . .
. . . . 9 4 . . .       . . . 6 9 . . . .
1 6 . . . . 2 8 .       . 9 1 . . . . 4 3
2 . 9 . . . 1 . 4       2 . 4 . . . 6 . 1
. 5 4 . . . . 3 7       5 7 . . . . 8 2 .
""")
        val solver = SudokuSolver()
        val output = solver.solve(input)

        val expected = """
1 4 9 2 5 8 6 7 3       3 9 5 4 1 6 8 2 7
2 7 8 4 3 6 1 9 5       2 1 8 7 5 3 6 4 9
5 6 3 9 1 7 4 8 2       4 6 7 9 2 8 5 1 3
6 8 7 3 9 5 2 4 1       5 8 9 3 6 1 4 7 2
9 5 4 8 2 1 7 3 6       6 7 3 5 4 2 1 9 8
3 1 2 7 6 4 8 5 9       1 2 4 8 7 9 3 6 5
4 2 5 1 8 3 9 6 7 3 1 5 8 4 2 6 9 5 7 3 1
8 9 6 5 7 2 3 1 4 8 7 2 9 5 6 1 3 7 2 8 4
7 3 1 6 4 9 5 2 8 9 4 6 7 3 1 2 8 4 9 5 6
            2 3 5 1 9 4 6 7 8            .
            7 8 9 6 2 3 5 1 4            .
            1 4 6 5 8 7 2 9 3            .
5 1 2 4 8 7 6 9 3 4 5 8 1 2 7 4 5 6 3 9 8
3 9 8 5 2 6 4 7 1 2 6 9 3 8 5 9 1 7 4 6 2
6 4 7 9 1 3 8 5 2 7 3 1 4 6 9 8 2 3 7 1 5
9 3 6 1 5 2 7 4 8       6 5 8 2 4 1 9 3 7
4 2 5 6 7 8 3 1 9       9 4 2 3 7 5 1 8 6
7 8 1 3 9 4 5 2 6       7 1 3 6 9 8 2 5 4
1 6 3 7 4 9 2 8 5       8 9 1 7 6 2 5 4 3
2 7 9 8 3 5 1 6 4       2 3 4 5 8 9 6 7 1
8 5 4 2 6 1 9 3 7       5 7 6 1 3 4 8 2 9
"""

        assertEquals(true, output.isLeft())
        assertEquals(expected.replace(".", "").trim(), output.left().toString().trim())
    }

    @Test
    fun solveSudokuTiny() {
        val input = SudokuTiny.readFromString("""
. . . 6 4 2
. . . . . .
. . . . . 6
. . . . 3 .
4 . 5 . . .
2 . 6 5 . .
""")
        val solver = SudokuSolver()
        val output = solver.solve(input)

        val expected = """
3 5 1 6 4 2
6 2 4 3 5 1
5 4 3 1 2 6
1 6 2 4 3 5
4 1 5 2 6 3
2 3 6 5 1 4
"""

        assertEquals(true, output.isLeft())
        assertEquals(expected.trim(), output.left().toString().trim())
    }

    @Test
    fun failToSolveUnsolvableSudoku() {
        val valueMap = mapOf(
                Coordinate(1, 1) to 1
        )

        val input = Sudoku(valueMap)
        val solver = SudokuSolver()
        val output = solver.solve(input)

        val expected = listOf(
                LogicSolveError("No more conclusions, cannot solve")
        )
        assertEquals(true, output.isRight())
        assertEquals(expected, output.right())
    }
}

package nl.hiddewieringa.logicsolver

import org.junit.Assert.assertEquals
import org.junit.Test

class SudokuIntegrationTest {

    @Test
    fun solveAlreadySolvedSudoku() {
        val coordinates = (1..9).flatMap { i ->
            (1..9).map { j ->
                Coordinate(i, j)
            }
        }
        val valueMap = coordinates.map { coordinate ->
            coordinate to (1 + ((coordinate.a - 1) + (coordinate.b - 1)) % 9)
        }.toMap()

        val input = Sudoku(valueMap)
        val solver = SudokuSolver()
        val output = solver.solve(input)

        val expected = SudokuOutput(coordinates, valueMap)
        assertEquals(true, output.isLeft())
        assertEquals(expected, output.left())
    }

    @Test
    fun solveSudoku() {
        val input = Sudoku.readFromString("""
 . . . . 4 5 . . 9
 9 5 . . . 7 3 2 .
 . 8 2 . 6 . 1 . .
 6 7 . 4 . 8 9 . 2
 . 1 5 6 . 9 4 . .
 . . . . . . . . 8
 . 3 . . 7 . . . 1
 . . 7 8 . . . 4 .
 . 4 6 3 . 2 7 . 5
""")

        val solver = SudokuSolver()
        val output = solver.solve(input)

        val expected = """
3 6 1 2 4 5 8 7 9
9 5 4 1 8 7 3 2 6
7 8 2 9 6 3 1 5 4
6 7 3 4 5 8 9 1 2
8 1 5 6 2 9 4 3 7
4 2 9 7 3 1 5 6 8
2 3 8 5 7 4 6 9 1
5 9 7 8 1 6 2 4 3
1 4 6 3 9 2 7 8 5
"""

        assertEquals(true, output.isLeft())
        assertEquals(expected.trim(), output.left().toString().trim())
    }

    @Test
    fun solveSudokuX() {
        val input = SudokuX.readFromString("""
 . 3 . . 8 . . . .
 9 . 6 5 3 7 . . .
 2 . . . 9 . . . 5
 . . 3 . . . 1 . 8
 . . 9 8 . 6 3 . .
 8 . 5 . . . 6 . .
 1 . . . 6 . . . 4
 . . . 1 5 8 7 . 2
 . . . . 2 . . 1 .
""")

        val solver = SudokuSolver()
        val output = solver.solve(input)

        val expected = """
5 3 1 2 8 4 9 7 6
9 4 6 5 3 7 2 8 1
2 8 7 6 9 1 4 3 5
6 7 3 9 4 5 1 2 8
4 2 9 8 1 6 3 5 7
8 1 5 3 7 2 6 4 9
1 5 2 7 6 3 8 9 4
3 9 4 1 5 8 7 6 2
7 6 8 4 2 9 5 1 3
"""

        assertEquals(true, output.isLeft())
        assertEquals(expected.trim(), output.left().toString().trim())
    }

    @Test
    fun solveSudokuHyper() {
        val input = SudokuHyper.readFromString("""
 7 . 3 . . 8 5 . .
 . . . . . 5 1 . 9
 5 . . . . . . 7 .
 . . 4 . . . . 3 8
 . . 6 . 5 . 7 . .
 8 3 . . . . 2 . .
 . 1 . . . . . . 4
 6 . 9 2 . . . . .
 . . 5 4 . . 9 . 2
""")

        val solver = SudokuSolver()
        val output = solver.solve(input)

        val expected = """
7 9 3 1 4 8 5 2 6
4 6 2 3 7 5 1 8 9
5 8 1 9 6 2 4 7 3
1 5 4 7 2 9 6 3 8
9 2 6 8 5 3 7 4 1
8 3 7 6 1 4 2 9 5
2 1 8 5 9 7 3 6 4
6 4 9 2 3 1 8 5 7
3 7 5 4 8 6 9 1 2
"""

        assertEquals(true, output.isLeft())
        assertEquals(expected.trim(), output.left().toString().trim())
    }

    @Test
    fun solveSudokuDouble() {
        val input = SudokuDouble.readFromString("""
 . 8 1 . 4 . 7 3 .
 . 4 9 . . . 8 1 .
 . . . . 5 . . . .
 6 . 4 . . . 9 . 7
 . . . . . . . . .
 7 . . 5 9 4 . . 3
 . . . 6 . 5 . . .
 . . . . 1 . . . .
 . . . 4 . 8 . . .
 6 . . 3 7 2 . . 5
 . . . . . . . . .
 8 . 3 . . . 6 . 1
 . . . . 6 . . . .
 . 4 6 . . . 8 3 .
 . 8 1 . 5 . 2 9 .
""")

        val solver = SudokuSolver()
        val output = solver.solve(input)

        val expected = """
5 8 1 2 4 9 7 3 6
2 4 9 3 7 6 8 1 5
3 7 6 8 5 1 2 9 4
6 5 4 1 8 3 9 2 7
8 9 3 7 6 2 5 4 1
7 1 2 5 9 4 6 8 3
1 3 8 6 2 5 4 7 9
4 2 5 9 1 7 3 6 8
9 6 7 4 3 8 1 5 2
6 1 4 3 7 2 9 8 5
2 5 9 1 8 6 7 4 3
8 7 3 5 4 9 6 2 1
7 9 2 8 6 3 5 1 4
5 4 6 2 9 1 8 3 7
3 8 1 7 5 4 2 9 6
"""

        assertEquals(true, output.isLeft())
        assertEquals(expected.trim(), output.left().toString().trim())
    }

    @Test
    fun solveSudokuSamurai() {
        val input = SudokuSamurai.readFromString("""
. 4 9 . . . . 7 3       3 9 . . . . 8 2 .
2 . 8 . . . 1 . 5       2 . 8 . . . 6 . 9
5 6 . . . . 4 8 .       . 6 7 . . . . 1 3
. . . . 9 5 . . .       . . . 3 6 . . . .
. . . 8 . 1 . . .       . . . 5 . 2 . . .
. . . 7 6 . . . .       . . . . 7 9 . . .
. 2 5 . . . . 6 7 . . . 8 4 . . . . 7 3 .
8 . 6 . . . 3 . 4 . 7 . 9 . 6 . . . 2 . 4
7 3 . . . . 5 2 . . . . . 3 1 . . . . 5 6
            . . . 1 . 4 . . .
            . 8 . . . . . 1 .
            . . . 5 . 7 . . .
5 1 . . . . 6 9 . . . . . 2 7 . . . . 9 8
3 . 8 . . . 4 . 1 . 6 . 3 . 5 . . . 4 . 2
. 4 7 . . . . 5 2 . . . 4 6 . . . . 7 1 .
. . . 1 5 . . . .       . . . . 4 1 . . .
. . . 6 . 8 . . .       . . . 3 . 5 . . .
. . . . 9 4 . . .       . . . 6 9 . . . .
1 6 . . . . 2 8 .       . 9 1 . . . . 4 3
2 . 9 . . . 1 . 4       2 . 4 . . . 6 . 1
. 5 4 . . . . 3 7       5 7 . . . . 8 2 .
""")
        val solver = SudokuSolver()
        val output = solver.solve(input)

        val expected = """
1 4 9 2 5 8 6 7 3       3 9 5 4 1 6 8 2 7
2 7 8 4 3 6 1 9 5       2 1 8 7 5 3 6 4 9
5 6 3 9 1 7 4 8 2       4 6 7 9 2 8 5 1 3
6 8 7 3 9 5 2 4 1       5 8 9 3 6 1 4 7 2
9 5 4 8 2 1 7 3 6       6 7 3 5 4 2 1 9 8
3 1 2 7 6 4 8 5 9       1 2 4 8 7 9 3 6 5
4 2 5 1 8 3 9 6 7 3 1 5 8 4 2 6 9 5 7 3 1
8 9 6 5 7 2 3 1 4 8 7 2 9 5 6 1 3 7 2 8 4
7 3 1 6 4 9 5 2 8 9 4 6 7 3 1 2 8 4 9 5 6
            2 3 5 1 9 4 6 7 8            .
            7 8 9 6 2 3 5 1 4            .
            1 4 6 5 8 7 2 9 3            .
5 1 2 4 8 7 6 9 3 4 5 8 1 2 7 4 5 6 3 9 8
3 9 8 5 2 6 4 7 1 2 6 9 3 8 5 9 1 7 4 6 2
6 4 7 9 1 3 8 5 2 7 3 1 4 6 9 8 2 3 7 1 5
9 3 6 1 5 2 7 4 8       6 5 8 2 4 1 9 3 7
4 2 5 6 7 8 3 1 9       9 4 2 3 7 5 1 8 6
7 8 1 3 9 4 5 2 6       7 1 3 6 9 8 2 5 4
1 6 3 7 4 9 2 8 5       8 9 1 7 6 2 5 4 3
2 7 9 8 3 5 1 6 4       2 3 4 5 8 9 6 7 1
8 5 4 2 6 1 9 3 7       5 7 6 1 3 4 8 2 9
"""

        assertEquals(true, output.isLeft())
        assertEquals(expected.replace(".", "").trim(), output.left().toString().trim())
    }

    @Test
    fun solveSudokuTiny() {
        val input = SudokuTiny.readFromString("""
. . . 6 4 2
. . . . . .
. . . . . 6
. . . . 3 .
4 . 5 . . .
2 . 6 5 . .
""")
        val solver = SudokuSolver()
        val output = solver.solve(input)

        val expected = """
3 5 1 6 4 2
6 2 4 3 5 1
5 4 3 1 2 6
1 6 2 4 3 5
4 1 5 2 6 3
2 3 6 5 1 4
"""

        assertEquals(true, output.isLeft())
        assertEquals(expected.trim(), output.left().toString().trim())
    }

    @Test
    fun failToSolveUnsolvableSudoku() {
        val valueMap = mapOf(
                Coordinate(1, 1) to 1
        )

        val input = Sudoku(valueMap)
        val solver = SudokuSolver()
        val output = solver.solve(input)

        val expected = listOf(
                LogicSolveError("No more conclusions, cannot solve")
        )
        assertEquals(true, output.isRight())
        assertEquals(expected, output.right())
    }
}
