//文件node.h
#pragma once
struct CNode
{
CNode* Left; //左节点指针
CNode* Right; //右节点指针
CNode* Up; //上节点指针,对列节点，则为本列最后一个元素的指针
CNode* Down; //下节点指针,对列节点，则为本列第一个元素的指针
int name; //对普通节点，为所在子集的编号,即行号;
//对列节点，为列编号
};
struct CColumnHead:public CNode
{
int size; //本列元素的个数
};
struct CGrid:public CNode
{
CColumnHead* columnHead; //列头节点的指针
};
//文件ExactCover.h
#pragma once
#include
#include
#include
#include
using namespace std;
#include "node.h"
class CExactCover
{
public:
CExactCover(const vector >& matrix); //从矩阵中读入数据，建立链表
~CExactCover(void);
private:
const CColumnHead* getColumn(int name)const;
const CColumnHead* selectColumn()const; //选择含1个数最少的列
void cover(const CColumnHead *c); //将某一列及其相关的节点从矩阵中删除
void uncover(const CColumnHead *c); //将某一列及其相关的节点重新加入到矩阵中
void CreateHead(const vector >& matrix); //建立头节点链表
void CreateRows(const vector >& matrix); //建立数据节点
bool search(); //求解算法
void print(const vector >& matrix,ostream &os) const; //输出可行解private:setm_solution; //解集
CColumnHead* m_master; //列头链表的头节点
};
//文件ExactCover.cpp
#include
#include
#include
//文件main.cpp
#include "ExactCover.h"
const int ELEMENT_NUM=7 ; //元素的个数
const int SUBSET_NUM=6; //子集的个数
const int U[ELEMENT_NUM]={1,2,3,4,5,6,7}; //全集
const char NAMES[SUBSET_NUM]={'A','B','C','D','E','F'}; //各子集的名字
//0-1矩阵
const int Matrix[SUBSET_NUM][ELEMENT_NUM]={
{1,0,0,1,0,0,1}
,{1,0,0,1,0,0,0}
,{0,0,0,1,1,0,1}
,{0,0,1,0,1,1,0}
,{0,1,1,0,0,1,1}
,{0,1,0,0,0,0,1}
};
int main(int argc,char* argv[])
{
vector > M(SUBSET_NUM, vector(ELEMENT_NUM));
for(int i=0;i
运行结果:
B={1 0 0 1 0 0 0 }
D={0 0 1 0 1 1 0 }
F={0 1 0 0 0 0 1 }
