C++实现离散数学“五个房子，不同颜色，不同国家...”问题

有五座房子，每座房子的颜色不同，里面分别住着不同国家的人，每个人都有自己养的不同宠物、喜欢喝的不同饮料、抽的不同牌子的烟。现已知以下一些信息：
1>英国人住在红色的房子里；


2>西班牙人养了一条狗；


3>挪威人住在左边的第一个房子里；


4>黄房子里的人喜欢抽kools牌的香烟；


5>抽chesterfields牌香烟的人与养狐狸的人是邻居； 


6>挪威人住在蓝色房子旁边；


7>抽winston牌香烟的人养了一个蜗牛；


8>抽lucky strike牌香烟的人喜欢喝橘子汁；M


9>乌克兰人喜欢喝茶；


10>日本人抽parlianments牌的烟；


11>抽kools牌香烟的人与养马的人是邻居；


12>喜欢喝咖啡的人住在绿房子里；


13>绿房子在象牙白房子的右边；


14>中间那个房子里的人喜欢喝牛奶。

根据以上条件，请你判断哪个房子里的人养斑马？哪个房子里的人喜欢喝水？最后把所有的东西对号入座。

我主要是用回溯法求出了其中的所有组合，然后把某些事件做为已知条件经行遍历查找，

唉！虽然这样也能求出最后结果，但我感觉这样的效率还是很低，等以后有时间了再来慢慢拿改进吧！

#include <iostream>
#include<list>
#include<string>
#include<math.h>
using namespace std;
/*参数说明
1  红色、英国人、狗、橙子汁、kool
2  黄色、西班牙人、狐狸、茶、chesterfileds
3  蓝色、挪威人、蜗牛、咖啡、winston
4  绿色、乌克兰人、马、牛奶、lucky strike
5  象牙白色、日本人、斑马、水、parlianment
*/


list<list<int>> ou_quanpailie; //1到5的全排列
list<list<int>> country_list;//国籍排列
list<list<int>> drink_list;//饮料排列
list<list<int>> pet_list;//宠物排列
list<list<int>> smoke_list;//烟牌排列
list<list<int>> color_list;//颜色排列


int  counter = 0;
void swap(int &a, int &b);//交换
void permute(int array[], int begin, int end);
void permute(int array[], int begin, int end)
{
 list<int>  in_quanpailie;
  if (begin == end)
  {

for(int i=0;i<5;i++)
{
in_quanpailie.push_back(array[i]);
}
ou_quanpailie.push_back(in_quanpailie);
  }
  else
  {
    for (int j = begin; j <= end; ++j)
    {
      swap(array[j], array[begin]);
      permute(array, begin+1, end); 
      swap(array[j], array[begin]); 
    }
  }
  return;
}


inline void swap(int &a, int &b)
{
  int temp = a;
  a = b;
  b = temp;
  return;
}
struct People //记录各国人的相关信息
{
int countrty;
int pet;
int drink;
int smoke;
};


struct House//记录各个房子的相关信息
{
int color;
int addr;
    People person;
};
//找出国籍的排序列
void find_country_list()
{  
for(list<list<int>>::const_iterator it = ou_quanpailie.begin();it !=ou_quanpailie.end();it++)
{ 
  list<int>::const_iterator i = (*it).begin();
  if((*i)==3)
  {
country_list.push_back((*it));
  }
}
}
//找出饮料的排序列
void find_drink_list()
{
for(list<list<int>>::const_iterator it = ou_quanpailie.begin();it !=ou_quanpailie.end();it++)
{
 list<int>::const_iterator i = (*it).begin();
 ++i;
 ++i;
 if((*i)==4)
 {
 drink_list.push_back((*it));
 }
}
}
//找出宠物的排序列
void find_pet_list()
{
for(list<list<int>>::const_iterator it = ou_quanpailie.begin();it !=ou_quanpailie.end();it++)
{
  
 pet_list.push_back((*it));
 
}


}
//找出烟牌的排序列
void find_smoke_list()
{
 for(list<list<int>>::const_iterator it = ou_quanpailie.begin();it !=ou_quanpailie.end();it++)
 {
      list<int>::const_iterator i = (*it).begin();
  if((*i)==1)
  {
   smoke_list.push_back((*it));
  }
 
 }


}
//找颜色排列
void find_color()
{
for(list<list<int>>::const_iterator it = ou_quanpailie.begin();it !=ou_quanpailie.end();it++)
 {
     list<int>::const_iterator i = (*it).begin();
if((*i)==2)
{
  ++i;
 if((*i)==3)
 {
 color_list.push_back((*it));
 }
}
 }


}


void per_people(list<list<People>> & allzueh_people)
{
list<People> list_people;
People per1,per2,per3,per4,per5;
list_people.push_back(per1);
list_people.push_back(per2);
list_people.push_back(per3);
list_people.push_back(per4);
list_people.push_back(per5);


//先给国籍赋值
for(list<list<int>>::const_iterator it = country_list.begin();it!=country_list.end();it++)
{
list<People>::iterator iper = list_people.begin();
cout<<"国籍"<<endl;
for(list<int>::const_iterator ii = (*it).begin();ii !=(*it).end();ii++,iper++)
{
(*iper).countrty = (*ii);
}
//给烟牌赋值
for(list<list<int>>::const_iterator is = smoke_list.begin();is!=smoke_list.end();is++)
{
 list<People>::iterator isper = list_people.begin();
  for(list<int>::const_iterator ii = (*is).begin();ii !=(*is).end();ii++,isper++)
{
(*isper).smoke = (*ii);
}
//给饮料赋值
  for(list<list<int>>::const_iterator id = drink_list.begin();id!=drink_list.end();id++)
{
 
 list<People>::iterator idper = list_people.begin();
 for(list<int>::const_iterator ii = (*id).begin();ii !=(*id).end();ii++,idper++)
     {
 (*idper).drink= (*ii);
    }
 
//给宠物赋值
 for(list<list<int>>::const_iterator ip = pet_list.begin() ; ip!=pet_list.end();  ++ip )
 { 
 
  list<People>::iterator ipper = list_people.begin();
for(list<int>::const_iterator ii = (*ip).begin();ii !=(*ip).end();ii++)
       {
(*ipper).pet = (*ii);
ipper++;
       }
allzueh_people.push_back(list_people);
 }
}
}
}
}


//求House的排列组合
void per_house(list<list<House>> & allzuhe_house,list<list<People>> & allzueh_people)
{
  list<House> House_list;
  House house1,house2,house3,house4,house5;
  House_list.push_back(house1);
  House_list.push_back(house2);
  House_list.push_back(house3);
  House_list.push_back(house4);
  Hous