Program Listing for File EasyCases.h

↰ Return to documentation for file (ADS/complexity/EasyCases.h)

/*--------------------------------------------------------------------------*/
/*---------------------------- File EasyCases.h ----------------------------*/
/*--------------------------------------------------------------------------*/
/*--------------------------------------------------------------------------*/
/*----------------------------- DEFINITIONS --------------------------------*/
/*--------------------------------------------------------------------------*/

#ifndef __ADS_EasyCases
 #define __ADS_EasyCases
                      /* self-identification: #endif constant */

/*--------------------------------------------------------------------------*/
/*------------------------------ INCLUDES ----------------------------------*/
/*--------------------------------------------------------------------------*/

#include "ADS/Contract.h"
#include "ADS/complexity/Problems.h"
#include "ADS/graph/ListGraph.h"
#include "ADS/graph/MaxFlow.h"
#include "ADS/graph/Visit.h"
#include "ADS/queue/ArrayQueue.h"

#include <algorithm>
#include <cstdlib>
#include <optional>
#include <set>
#include <utility>
#include <vector>

/*--------------------------------------------------------------------------*/
/*--------------------------- NAMESPACE ------------------------------------*/
/*--------------------------------------------------------------------------*/

namespace ADS {

inline int literalNode( int l );

inline std::optional< std::vector< bool > > twoSat( const Cnf & F , int n );

inline std::optional< std::vector< int > > twoColoring( const Adjacency & G );

inline std::vector< std::pair< int , int > > bipartiteMatching(
                        int p , int q ,
                        const std::vector< std::pair< int , int > > & E );

inline Adjacency intervalGraph(
                        const std::vector< std::pair< long , long > > & I );

inline int intervalClique( const std::vector< std::pair< long , long > > & I );

/*--------------------------------------------------------------------------*/

}  // end( namespace ADS )

/*--------------------------------------------------------------------------*/
/*-------------------------- IMPLEMENTATION --------------------------------*/
/*--------------------------------------------------------------------------*/

#include "ADS/complexity/impl/EasyCases.tpp"

/*--------------------------------------------------------------------------*/

#endif  /* EasyCases.h included */

/*--------------------------------------------------------------------------*/
/*-------------------------- End File EasyCases.h --------------------------*/
/*--------------------------------------------------------------------------*/