hst_swordfish_test.go

package sudoku

import (
	"testing"
)

//TODO: test a few more puzzles to make sure I'm exercising it correctly.

func swordfishExampleGrid(t *testing.T) MutableGrid {

	puzzleName := "swordfish_example.sdk"

	grid, err := MutableLoadSDKFromFile(puzzlePath(puzzleName))

	if err != nil {
		t.Fatal("Couldn't load puzzle ", puzzleName)
	}

	//Set up the grid correctly for the Swordfish technique to work. The
	//example we use is a grid that has other work done to exclude
	//possibilities from certain cells.

	//TODO: it's a smell that there's no way to serialize and load up a grid
	//with extra excludes set.
	excludedConfig := map[CellRef]IntSlice{
		{0, 0}: {1, 8},
		{1, 3}: {1},
		{1, 4}: {1, 8},
		{2, 3}: {1},
		{2, 5}: {1, 8},
		{3, 0}: {2, 8},
		{4, 0}: {7},
		{4, 1}: {7},
		{7, 3}: {1, 6},
		{7, 5}: {1},
	}

	for ref, ints := range excludedConfig {
		cell := ref.MutableCell(grid)
		for _, exclude := range ints {
			cell.SetExcluded(exclude, true)
		}
	}

	return grid
}

func TestSwordfishCol(t *testing.T) {

	techniqueVariantsTestHelper(t, "Swordfish Col")

	grid := swordfishExampleGrid(t)

	options := solveTechniqueTestHelperOptions{
		targetCells:  []CellRef{{1, 1}, {5, 4}},
		pointerCells: []CellRef{{1, 0}, {1, 5}, {5, 3}, {5, 5}, {8, 0}, {8, 3}},
		targetNums:   IntSlice{1},
		description:  "1 is only possible in two cells each in three different columns, all of which align onto three rows, which means that 1 can't be in any of the other cells in those rows ((1,1) and (5,4))",
	}
	options.stepsToCheck.grid = grid

	//TODO: it's not possible to just pass in an override grid to humanSolveTechniqueTestHelper as
	//is, because we're overloading passing it to stepsToCheck. That's a smell.
	grid, solver, steps := humanSolveTechniqueTestHelperStepGenerator(t, "NOOP", "Swordfish Col", options)

	options.stepsToCheck.grid = grid
	options.stepsToCheck.solver = solver
	options.stepsToCheck.steps = steps

	humanSolveTechniqueTestHelper(t, "NOOP", "Swordfish Col", options)

}

func TestSwordfishRow(t *testing.T) {

	techniqueVariantsTestHelper(t, "Swordfish Row")

	grid := swordfishExampleGrid(t)
	grid = grid.(*mutableGridImpl).transpose()

	options := solveTechniqueTestHelperOptions{
		targetCells:  []CellRef{{1, 1}, {4, 5}},
		pointerCells: []CellRef{{0, 1}, {5, 1}, {3, 5}, {5, 5}, {0, 8}, {3, 8}},
		targetNums:   IntSlice{1},
		description:  "1 is only possible in two cells each in three different rows, all of which align onto three columns, which means that 1 can't be in any of the other cells in those columns ((1,1) and (4,5))",
	}
	options.stepsToCheck.grid = grid

	//TODO: it's not possible to just pass in an override grid to humanSolveTechniqueTestHelper as
	//is, because we're overloading passing it to stepsToCheck. That's a smell.
	grid, solver, steps := humanSolveTechniqueTestHelperStepGenerator(t, "NOOP", "Swordfish Row", options)

	options.stepsToCheck.grid = grid
	options.stepsToCheck.solver = solver
	options.stepsToCheck.steps = steps

	humanSolveTechniqueTestHelper(t, "NOOP", "Swordfish Row", options)

}