用人工智能工具轻松解决爱因斯坦智力题

　　热门推荐：深刻:现在计算机专业学生    编程盗2005版QQ源码

　　现有题号称爱因斯坦出的智力题全世界只有2%能够做出。

　　1、在一条街上，有5座房子，喷了5种颜色。
　　2、每个房里住着不同国籍的人
　　3、每个人喝不同的饮料，抽不同品牌的香烟，养不同的宠物

　　问题是：谁养鱼？
　　提示：
　　1、英国人住红色房子
　　2、瑞典人养狗
　　3、丹麦人喝茶
　　4、绿色房子在白色房子左面
　　5、绿色房子主人喝咖啡
　　6、抽Pall Mall 香烟的人养鸟
　　7、黄色房子主人抽Dunhill 香烟
　　8、住在中间房子的人喝牛奶
　　9、 挪威人住第一间房
　　10、抽Blends香烟的人住在养猫的人隔壁
　　11、养马的人住抽Dunhill 香烟的人隔壁
　　12、抽Blue Master的人喝啤酒
　　13、德国人抽Prince香烟
　　14、挪威人住蓝色房子隔壁
　　15、抽Blends香烟的人有一个喝水的邻居

　　为了便于消除翻译的误差，先将英文版本贴出(点击查看附件)

　　现在请你用c#写出解这个问题的程序！

　　相信不少人对此题的第一个想法是通过暴力算法穷举所有可能让计算机进行求解。如果是这样那么你不用辛苦了，下面早就有人这么干过了：
　　暴力算法解益智题[c#2.0版本](点击查看附件)
　　C#法解决世纪迷题(点击查看附件)

　　这些解法虽然都是对的，但是正如有人评论道：用笔解这题时候可比用程序看起来省力多了...算的上“轻松”吗？在这里向大家推荐人工智能工具NSolver (BY DR.Andy Chun, Hon Wai)。