source: tspsg/src/tspsolver.h @ fcd8c1e4c1

/*!
 * \file tspsolver.h
 * \author Copyright &copy; 2007-2010 Lёppa <contacts[at]oleksii[dot]name>
 *
 *  $Id$
 *  $URL$
 *
 * \brief Defines #TMatrix typedef, SCandidate and SStep structs and CTSPSolver class.
 *
 *  <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/>.
 */

#ifndef TSPSOLVER_H
#define TSPSOLVER_H

#include "globals.h"

#include "tspmodel.h"

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

/*!
 * \brief A structure that represents a candidate for branching.
 */
struct SCandidate {
        int nRow; //!< A zero-based row number of the candidate
        int nCol; //!< A zero-based column number of the candidate

        //! Assigns default values
        SCandidate() {
                nCol = nRow = -1;
        }
        //! An operator == implementation
        bool operator ==(const SCandidate &cand) const {
                return ((cand.nRow == nRow) && (cand.nCol == nCol));
        }
};

/*!
 * \brief This structure represents one step of solving.
 *
 *  A tree of such elements will represent the solving process.
 */
struct SStep {
        TMatrix matrix; //!< This step's matrix
        qreal price; //!< The price of travel to this step
        SCandidate candidate; //!< A candiadate for branching in the current matrix
        QList<SCandidate> alts; //!< A list of alternative branching candidates
        SStep *plNode; //!< Pointer to the left branch step
        SStep *prNode; //!< Pointer to the right branch step

        //! Assigns default values
        SStep() {
                price = -1;
                plNode = prNode = NULL;
        }
};

/*!
 * \brief This class solves Travelling Salesman Problem task.
 * \author Copyright &copy; 2007-2010 Lёppa <contacts[at]oleksii[dot]name>
 *
 * \todo TODO: Deletion of solution tree on destroy and cleanup.
 */
class CTSPSolver
{
        Q_DECLARE_TR_FUNCTIONS(CTSPSolver)

public:
        CTSPSolver();
        QString getSortedPath() const;
        static QString getVersionId();
        bool isOptimal() const;
        SStep *solve(int numCities, TMatrix task, QWidget *parent = 0);
        ~CTSPSolver();

private:
        bool mayNotBeOptimal;
        int nCities;
        SStep *root;
        QHash<int,int> route;
//      QHash<int,int> forbidden;

        qreal align(TMatrix &matrix);
        void cleanup();
        void deleteNode(SStep *&node);
        QList<SCandidate> findCandidate(const TMatrix &matrix, int &nRow, int &nCol) const;
        qreal findMinInCol(int nCol, const TMatrix &matrix, int exr = -1) const;
        qreal findMinInRow(int nRow, const TMatrix &matrix, int exc = -1) const;
        bool hasSubCycles(int nRow, int nCol) const;
        void subCol(TMatrix &matrix, int nCol, qreal val);
        void subRow(TMatrix &matrix, int nRow, qreal val);
};

#endif // TSPSOLVER_H