00001
00004
00005
00006
00014
00015
00016
00017
00018 class CliqueProblem : public BinaryCSProblem
00019 { public :
00021
00022 int cliquesize;
00024
00025 int* clique(Configuration* configuration);
00027
00028 int* remainvariables(Configuration* configuration);
00029 CliqueProblem(int nvar, int nconst, int clsize);
00030 int config_evaluation(Configuration* configuration);
00031 int config_evaluation_verif(Configuration* configuration);
00032 int move_evaluation (Configuration* configuration, Move* move);
00033 void incr_update_conflicts(IncrCSPConfiguration* configuration,Move* move);
00034 void fullincr_update_conflicts(FullincrCSPConfiguration* configuration,Move* move);
00035 void init_domains(int nbvar);
00036
00037
00038 void random_configuration(Configuration* configuration);
00039 void move_execution(Configuration* configuration,Move* move);
00040 void solution_write();
00041 void next_move (Configuration* configuration, Move* move, NeighborhoodSearch* nbhs);
00042 Move* create_move();
00043 Configuration* create_configuration();
00044 int minconflict_invariable(Configuration* configuration);
00045 };
00046
00047 CliqueProblem* probleme_maxclique(int nbvar,int nbconst,int clsize,int** constraint1);
00048 CliqueProblem* clique_problem_creation (int clsize,ifstream & file);
00049 void lire_debut_fichier_clique(ifstream & file, int& nbvar, int& nbconst);
00050 void lire_fichier_clique (ifstream& file, vector<int>* connexions,int ** constraint1);
00051
00059
00060
00061
00062
00063 class CliqueConfiguration: public FullincrCSPConfiguration
00064 { public :
00065 int cliquesize;
00067
00068
00069 int* clique;
00071
00072 int* remainvariables;
00073 CliqueConfiguration(int nbvar,int cliquesize);
00074 ~CliqueConfiguration();
00075 void copy_element (Configuration* config2);
00076 };