solve-five-colors.cpp

// Copyright 2018 Dennis Nienhüser
//
// Redistribution and use in source and binary forms, with or without
// modification, are permitted provided that the following conditions are met:
//
// 1. Redistributions of source code must retain the above copyright notice,
// this list of conditions and the following disclaimer.
//
// 2. Redistributions in binary form must reproduce the above copyright
// notice, this list of conditions and the following disclaimer in the
// documentation and/or other materials provided with the distribution.
//
// 3. Neither the name of the copyright holder nor the names of its
// contributors may be used to endorse or promote products derived from this
// software without specific prior written permission.
//
// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS AS IS
// AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
// IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
// ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE
// LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
// CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
// SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
// INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
// CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
// ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
// POSSIBILITY OF SUCH DAMAGE.

#include "puzzle.h"

#include <chrono>
#include <iostream>

using namespace std;

class FiveColors
{
public:
    FiveColors()
    {
        Stones stones;
        stones << "DRB" << "RDG" << "GYR" << "YBD" << "BGY" << "BGD" << "RDY";
        stones << "YR" << "GB";

        size_t solution_count = 0;
        for (auto const &layout : LayoutGenerator::findAll(stones)) {
            auto const solutions = Solver(layout, stones).findAssignment();
            for (auto const &solution: solutions) {
                Solver::printSolution(solution);
                Board board(layout.boardSize(), solution);
                board.print();
            }

            solution_count += solutions.size();
        }
        cout << "Found " << solution_count << " solution(s) in total." << endl;
    }
};

int main()
{
    using Time = std::chrono::high_resolution_clock;
    using ms = std::chrono::milliseconds;
    auto const start = Time::now();

    FiveColors();

    auto const end = Time::now();
    auto const duration = std::chrono::duration_cast<ms>(end - start);
    std::cout << "Done after " << duration.count() << " ms." << endl;
}