posts - 18,  comments - 104,  trackbacks - 0

了解C++的童鞋都知道algorithm里面有个next_permutation可以求下一个排列数,通过《STL 源码剖析》(或者自己读代码)可以知道其实现,比如:

abcd  next_permutation ->  abdc

那么,为什么abcd的下一个是abdc而不是acbd呢?

说简单一点,用 1,2,3,4 代替 a,b,c,d,可以得到:

原排列                  中间转换                值
1,2,3,4        3,2,1            ((3 * (3) + 2) * (2) + 1) * (1) = 23
1,2,4,3        3,2,0            ((3 * (3) + 2) * (2) + 0) * (1) = 22
1,3,2,4        3,1,1            ((3 * (3) + 1) * (2) + 1) * (1) = 21
1,3,4,2        3,1,0            ((3 * (3) + 1) * (2) + 0) * (1) = 20
1,4,3,2        3,0,1            ((3 * (3) + 0) * (2) + 1) * (1) = 19
.                  .                     .
.                  .                     .
.                  .                     .
4,3,2,1        0,0,0            ((0 * (3) + 0) * (2) + 0) * (1) = 0
                               |      |      |                       |                    |                   |
                               |      |                              |                    |
                               |                                     |


 上面的中间转换指的是:每一个数字后面比当前位数字大的数字的个数。比如:

1,3,4,2  中,1 后面有(3, 4, 2) 他们都大于1,所以第一位是 3
                              3 后面有(4, 2), 但只有4大于3,所以第二位是 1
                              4 后面有(2), 没有比4 大的,所以第三位是 0
                              最后一位后面肯定没有更大的,所以省略了一个0。

经过这种转换以后,就得到了一种表示方式(中间转换),这种表达方式和原排列一一对应,可以相互转化。

仔细观察这种中间表达方式,发现它的第一位只能是(0,1,2,3),第二位只能是(0,1,2),第三位只能是(0,1)。通常,数字是用十进制表示的,计算机中用二进制,但是现在,我用一种特殊的进制来表示数:

第一位用1进制,第二位用2进制。。。

于是就得到了这种中间表示方式的十进制值。如:

                                                              阶                  
                                            |                  |                    |
1,1,0    ---->   ((1 * (3) + 1) * (2) + 0) * (1) = 8

3,1,0    ---->   ((3 * (3) + 1) * (2) + 0) * (1) = 20

这样,就可以得到一个十进制数和一个排列之间的一一对应的关系。
现在排列数和有序的十进制数有了一一对应的关系(通过改变对应关系,可以使十进制数升序)。

到这里已经可以很容易的得到任意一个排列了,但是还没有完,这种不定进制还有其他用处:

在写程序的时候,很容易遇到一种情况就是:有好几种类别的状态需要存储,但是对象的数量过大,需要对这种状态表示方式进行压缩。比如:

enum A{
A_1,
A_2,
A_3,
};

enum B{
B_1,
B_2,
B_3,
B_4,
B_5,
};

struct State{
A a : 2;
B b : 3;
};

其实 a 可以表示4个状态,b可以表示8个状态,因为State总共有3×5=15,也就是说4位就足够了,这里多用了1位(当然有人可能会说,现在内存这么大,谁在乎1bit呀,告诉你,我在乎!),不考虑对齐。

下面用上面介绍的方法来压缩:
A 有3种状态,B有5种状态,那么如果把A放在高位,那么对于一个状态(注意enum从0开始):
(A_3,B_3),就是2×5+3=13
(A_2,B_5),就是1×5+4=9

(A_1,B_1),就是0×5+0=0
(A_3,B_5),就是2×5+4=14

这样就可以节省1bit啦。如果这个State有1M个,那就可以节省1M内存如果有1G呢,就省1G啦,有些时候,这种表示状态的小对象,充斥在程序的各个角落。

从数字到状态也很容易,就像进制转换一样先除,再模,就OK了。

总结下:

    先说了next_permutation的问题,引出排列的另一种表达方式,然后引入了一种不定进制的表示将其转化为十进制数字,从而使的排列数和有序的十进制数一一对应起来。
    从这种不定进制的表示方式,描述一种压缩状态的方法。
posted on 2010-02-24 00:11 尹东斐 阅读(3368) 评论(7)  编辑 收藏 引用

FeedBack:
# re: next_permutation, next, next, next...
2010-02-24 05:23 | 孟布
很好。。。  回复  更多评论
  
# re: next_permutation, next, next, next...
2010-02-24 09:53 | 凡客50元优惠卷
好  回复  更多评论
  
# re: next_permutation, next, next, next...
2010-02-24 18:56 | jimmy
那个括号里面的话很拽诶~~ 哈哈哈~~~  回复  更多评论
  
# re: next_permutation, next, next, next...
2010-02-25 10:05 | 凡客诚品
很好123456  回复  更多评论
  
# re: next_permutation, next, next, next...
2011-08-14 08:58 | leaf
(A_3,B_3),就是2×5+2=12
这里应该是这样  回复  更多评论
  
# re: next_permutation, next, next, next...
2013-11-22 20:51 | 一梦
很好,很强大!  回复  更多评论
  
# re: next_permutation, next, next, next...
2013-11-22 20:55 | 一梦
恩是的 呵呵@leaf
  回复  更多评论
  

只有注册用户登录后才能发表评论。
网站导航: 博客园   IT新闻   BlogJava   知识库   博问   管理


<2009年3月>
22232425262728
1234567
891011121314
15161718192021
22232425262728
2930311234

常用链接

留言簿(4)

随笔档案

文章分类

文章档案

相册

好友博客

搜索

  •  

最新评论

阅读排行榜

评论排行榜