Haskell自我娱乐帖

无心人

前20正整数的4次幂划分
Prelude List> sum (map (^4) n20)
722666
Prelude List> div 722666 2
361333
Prelude List> let f1 x = (sum (map (^4) x)) == 361333
Prelude List> let l4_20 = filter f1 (selectDistinct 10 n20)
Prelude List> l4_20
[[5,7,9,10,12,13,14,16,17,18],[4,5,7,8,12,13,15,16,17,18],[1,4,5,8,10,13,14,16,1
7,19],[2,5,6,7,8,13,14,15,18,19],[1,3,4,9,10,11,12,16,17,20],[2,3,6,7,9,11,12,15
,18,20],[1,2,3,6,9,10,11,14,19,20],[1,2,3,4,6,8,11,15,19,20]]
Prelude List> length l4_20
8
共4组

无心人

同样道理证明16的没4次幂划分

Prelude List> sum (map (^4) n16)
243848
Prelude List> div 243848 2
121924
Prelude List> let f1 x = (sum (map (^4) x)) == 121924
Prelude List> let l4_16= filter f1 (selectDistinct 8 n16)
Prelude List> l4_16
[]
Prelude List> n16
[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16]

无心人

考虑5次幂情况
尝试求和得到下列结果
Prelude List> let n22=[1..22]
Prelude List> let n24=[1..24]
Prelude List> let n26=[1..26]
Prelude List> let n28=[1..28]
Prelude List> let n30=[1..30]
Prelude List> let n32=[1..32]
Prelude List> sum (map (^5) n16)
3347776
Prelude List> sum (map (^5) n20)
12333300
Prelude List> sum (map (^5) n22)
21571033
Prelude List> sum (map (^5) n24)
35970000
Prelude List> sum (map (^5) n26)
57617001
Prelude List> sum (map (^5) n28)
89176276
Prelude List> sum (map (^5) n30)
133987425
Prelude List> sum (map (^5) n32)
196171008
Prelude List> sum (map (^5) n18)
6657201
从16到32，可能数字是16, 20, 24, 28, 32

无心人

5次幂划分
16， 20没找到结果

无心人

24的5次幂划分得到结果！！！！
Prelude List> div 35970000 2
17985000
Prelude List> let f5 x = (sum (map (^5) x)) == 17985000
Prelude List> let l5_24 = filter f5 (selectDistinct 12 n24)
Prelude List> l5_24
[[1,2,5,7,10,13,14,15,19,20,21,23],[3,5,6,7,8,9,12,17,19,20,21,23],[3,4,7,8,9,11
,12,13,17,21,22,23],[1,2,5,6,10,14,15,16,18,19,20,24],[1,2,4,10,11,13,14,15,16,1
8,22,24],[3,4,6,8,9,11,12,16,17,18,22,24]]
Prelude List> length l5_24
6
共三组

无心人

let position=[1,2,3,4,5]
let color=['R', 'B', 'Y', 'W', 'G']
let contnationality=['E','G', 'S', 'D', 'N']
let pet=['D', 'C', 'B', 'H', 'F']
let drink=［'T', 'C', 'M', 'W', 'B']
let cigarette=['P', 'D', 'B', 'R', 'U']


let t6 = [(x1, x2, x3, x4, x5, x6) | x1 <- position, x2 <- color, x3 <- contnationality, x4 <- pet, x5 <- drink, x6 <- cigarette]

[ 本帖最后由 无心人 于 2008-6-20 15:59 编辑 ]

无心人

位置编号：1，2，3，4，5
颜色编号： R, B, Y, W, G
国籍编号：E英国，G德国，S瑞典，D丹麦，N挪威
宠物：D狗，C猫，B鸟，H马，F鱼
饮料：T茶，C咖啡，M牛奶，W矿泉水，B啤酒
香烟：P = PALLMALL
            D = DUNHILL
            B = BULEMASTER
            R=PRINCE
            U=混合

[ 本帖最后由 无心人 于 2008-6-20 11:12 编辑 ]

无心人

相邻的界定
let isNeighbor x y = abs(x-y) == 1

1、英国人住在红房子里
2、瑞典人养了一条狗
3、丹麦人喝茶
4、绿房子在白房子的左边
5、绿房子主人喝咖啡
6、抽PALL MALL 烟的人养了一只鸟
7、黄房子主人抽DUNHILL烟
8、住在中间房子的人喝牛奶
9、挪威人住在第一间房子
10、抽混合烟的人住在养猫人的旁边
11、养马人住在抽DUNHILL烟人的旁边
12、抽BLUE MASTER烟的人喝啤酒
13、德国人抽PRINCE烟
14、挪威人住在蓝房子旁边
15、抽混合烟的人的邻居喝矿泉水

无心人

xor 实现
let xor a b = (a || b)  && (not (a && b))
条件1：
let filter1 (x1, x2, x3, x4, x5, x6) = not (xor (x2 ==  'R') (x3 == 'E'))
条件2：
let filter2 (x1, x2, x3, x4, x5, x6) = not (xor (x4 ==  'D') (x3 == 'S'))
条件3：
let filter3 (x1, x2, x3, x4, x5, x6) = not (xor (x5 ==  'T') (x3 == 'D'))
条件5：
let filter5 (x1, x2, x3, x4, x5, x6) = not (xor (x2 ==  'G') (x5 == 'C'))
条件6
let filter6 (x1, x2, x3, x4, x5, x6) = not (xor (x6 ==  'P') (x4 == 'B'))

[ 本帖最后由 无心人 于 2008-6-20 16:02 编辑 ]

无心人

条件7：
let filter7 (x1, x2, x3, x4, x5, x6) = not （xor (x2 ==  'Y') (x6 == 'D')）
条件8：
let filter8 (x1, x2, x3, x4, x5, x6) = not （xor (x1 ==  3) (x5 == 'M')）
条件9：
let filter9 (x1, x2, x3, x4, x5, x6) = not （xor (x1 ==  1) (x3 == 'N')）

[ 本帖最后由 无心人 于 2008-6-20 11:54 编辑 ]