package com.learn.sudoku

import java.io.File

typealias Board = Array<Array<Int?>> // Row first. For example, b[1][3] means second row forth column.


fun main(args: Array<String>)
{
    val board = Sudoku.read(args[0])
    println(Sudoku.print(board))
    println((1..11).joinToString("") { "=" } )
    if(!Sudoku.solve(board)) println("Unsolvable.")
}


object Sudoku
{
    fun read(filename: String): Board =
            File(filename).useLines { lines ->
                lines.take(9).map { line -> line.map { if (it.isDigit()) it.toString().toInt() else null }.toTypedArray() }
                        .toList().toTypedArray()
            }

    fun print(board: Board): String =
        board.withIndex().joinToString("\n") { (i, r) ->
            val columnString = r.withIndex().joinToString("") { (ci, c) ->
                (if ((ci>0)&&(0==(ci%3))) "|" else "") + (c?.toString()?:" ")
            }
            (if ((i>0)&&(0==(i%3))) (1..11).joinToString("", postfix = "\n") { "-" } else "") + columnString
        }

    fun solve(board: Board): Boolean = solve(board, 0, 0)


    private fun solve(board: Board, row: Int, column: Int): Boolean
    {
        if (board[row][column] == null)
        {
            for (value in 1..9)
            {
                if (!violates(value, row, column, board))
                {
                    board[row][column] = value
                    if ( (row == 8) && (column == 8) )
                    {
                        println(print(board))
                        return true
                    }
                    else
                    {
                        val (nextRow, nextColumn) = next(row, column)
                        if (solve(board, nextRow, nextColumn))
                        {
                            return true
                        }
                    }
                    board[row][column] = null
                }
            }
            return false
        }
        else
        {
            if ( (row == 8) && (column == 8) )
            {
                println(print(board))
                return true
            }
            else
            {
                val (nextRow, nextColumn) = next(row, column)
                return solve(board, nextRow, nextColumn)
            }
        }
    }


    private fun next(row: Int, column: Int): Pair<Int, Int>
    {
        if (column < 8) return Pair(row, column + 1)
        else return Pair(row + 1, 0)
    }



    private fun violates(value: Int, row: Int, column: Int, board: Board): Boolean
    {
        return violatesRow(value, row, column, board) ||
                violatesColumn(value, row, column, board) ||
                violatesSquare(value, row, column, board)
    }

    private fun violatesRow(value: Int, row: Int, column: Int, board: Board): Boolean =
            (0 until 9).any { (it != column) && (board[row][it] == value) }

    private fun violatesColumn(value: Int, row: Int, column: Int, board: Board): Boolean =
            (0 until 9).any { (it != row) && (board[it][column] == value) }

    private fun violatesSquare(value: Int, row: Int, column: Int, board: Board): Boolean
    {
        val rowBegin = (row/3)*3
        val columnBegin = (column/3)*3
        for (r in rowBegin until (rowBegin+3))
        {
            for (c in columnBegin until (columnBegin+3))
            {
                if ( (r != row) && (c != column) )
                {
                    if (board[r][c] == value)
                    {
                        return true
                    }
                }
            }
        }
        return false
    }
}
package com.learn.sudoku

import java.io.File

typealias Board = Array<Array<Int?>> // Row first. For example, b[1][3] means second row forth column.


fun main(args: Array<String>)
{
    val board = Sudoku.read(args[0])
    println(Sudoku.print(board))
    println((1..11).joinToString("") { "=" } )
    if(!Sudoku.solve(board)) println("Unsolvable.")
}


object Sudoku
{
    fun read(filename: String): Board =
            File(filename).useLines { lines ->
                lines.take(9).map { line -> line.map { if (it.isDigit()) it.toString().toInt() else null }.toTypedArray() }
                        .toList().toTypedArray()
            }

    fun print(board: Board): String =
        board.withIndex().joinToString("\n") { (i, r) ->
            val columnString = r.withIndex().joinToString("") { (ci, c) ->
                (if ((ci>0)&&(0==(ci%3))) "|" else "") + (c?.toString()?:" ")
            }
            (if ((i>0)&&(0==(i%3))) (1..11).joinToString("", postfix = "\n") { "-" } else "") + columnString
        }

    fun solve(board: Board): Boolean = solve(board, 0, 0)


    private fun solve(board: Board, row: Int, column: Int): Boolean
    {
        if (board[row][column] == null)
        {
            for (value in 1..9)
            {
                if (!violates(value, row, column, board))
                {
                    board[row][column] = value
                    if ( (row == 8) && (column == 8) )
                    {
                        println(print(board))
                        return true
                    }
                    else
                    {
                        val (nextRow, nextColumn) = next(row, column)
                        if (solve(board, nextRow, nextColumn))
                        {
                            return true
                        }
                    }
                    board[row][column] = null
                }
            }
            return false
        }
        else
        {
            if ( (row == 8) && (column == 8) )
            {
                println(print(board))
                return true
            }
            else
            {
                val (nextRow, nextColumn) = next(row, column)
                return solve(board, nextRow, nextColumn)
            }
        }
    }


    private fun next(row: Int, column: Int): Pair<Int, Int>
    {
        if (column < 8) return Pair(row, column + 1)
        else return Pair(row + 1, 0)
    }



    private fun violates(value: Int, row: Int, column: Int, board: Board): Boolean
    {
        return violatesRow(value, row, column, board) ||
                violatesColumn(value, row, column, board) ||
                violatesSquare(value, row, column, board)
    }

    private fun violatesRow(value: Int, row: Int, column: Int, board: Board): Boolean =
            (0 until 9).any { (it != column) && (board[row][it] == value) }

    private fun violatesColumn(value: Int, row: Int, column: Int, board: Board): Boolean =
            (0 until 9).any { (it != row) && (board[it][column] == value) }

    private fun violatesSquare(value: Int, row: Int, column: Int, board: Board): Boolean
    {
        val rowBegin = (row/3)*3
        val columnBegin = (column/3)*3
        for (r in rowBegin until (rowBegin+3))
        {
            for (c in columnBegin until (columnBegin+3))
            {
                if ( (r != row) && (c != column) )
                {
                    if (board[r][c] == value)
                    {
                        return true
                    }
                }
            }
        }
        return false
    }
}