source: tspsg/src/tspsolver.h @ caef58b531

/*!
 * \class CTSPSolver
 * \author Copyright &copy; 2007-2009 Lёppa <contacts[at]oleksii[dot]name>
 * \brief This class solves Travelling Salesman Problem task.
 *
 *  $Id$
 *  $URL$
 *
 *  <b>TSPSG: TSP Solver and Generator</b>
 *
 *  This file is part of TSPSG.
 *
 *  TSPSG is free software: you can redistribute it and/or modify
 *  it under the terms of the GNU General Public License as published by
 *  the Free Software Foundation, either version 3 of the License, or
 *  (at your option) any later version.
 *
 *  TSPSG is distributed in the hope that it will be useful,
 *  but WITHOUT ANY WARRANTY; without even the implied warranty of
 *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 *  GNU General Public License for more details.
 *
 *  You should have received a copy of the GNU General Public License
 *  along with TSPSG.  If not, see <http://www.gnu.org/licenses/>.
 *
 * \todo TODO: Deletion of solution tree on destroy and cleanup.
 */

#ifndef TSPSOLVER_H
#define TSPSOLVER_H

#include "globals.h"

#include "tspmodel.h"

//! A matrix of city-to-city travel costs.
typedef QList<QList<double> > tMatrix;

/*!
 * \brief This structure represents one step of solving.
 *
 *  A tree of such elements will represent the solving process.
 */
//! \todo TODO: List alternative candidates.
struct sStep {
        tMatrix matrix; //!< This step's matrix
        double price; //!< The price of travel to this step
        struct {
                int nRow; //!< A zero-based row number of the candidate
                int nCol; //!< A zero-based column number of the candidate
        } candidate; //!< A candiadate for branching in the current matrix
        bool alts; //!< Indicates whether or not matrix has alternative candidates
        sStep *plNode; //!< Pointer to the left branch step
        sStep *prNode; //!< Pointer to the right branch step

        //! Assigns default values
        sStep() {
                price = candidate.nRow = candidate.nCol = -1;
                alts = false;
                plNode = prNode = NULL;
        }
};

class CTSPSolver
{
        Q_DECLARE_TR_FUNCTIONS(CTSPSolver)

public:
        CTSPSolver();
        QString getSortedPath() const;
        bool isOptimal() const;
        sStep *solve(int, tMatrix, QWidget *parent = 0);
        static QString getVersionId();

private:
        bool mayNotBeOptimal;
        int nCities;
        sStep *root;
        QHash<int,int> route;
//      QHash<int,int> forbidden;
        double align(tMatrix &);
        void cleanup();
        bool findCandidate(tMatrix, int &, int &);
        double findMinInRow(int, tMatrix, int exc = -1);
        double findMinInCol(int, tMatrix, int exr = -1);
        bool hasSubCycles(int, int);
        void subCol(tMatrix &, int, double);
        void subRow(tMatrix &, int, double);
};

#endif // TSPSOLVER_H