回溯法是设计递归的一种常用方法,它的求解过程实质上就是一个先序遍历一棵"状态树"的过程,只是这棵树不是遍历前预先建立的而是隐含在遍历过程中的。
拿求解集合幂子集举例:
集合A={ {1,2,3}, {1,2}, {1,3}, {1}, {2,3},{2},{3},{}}; //{}表示空集合
从集合A的每一个元素的角度看,它只有两种状态:或者是属于幂集的元素集,或不属于幂集元素集,则求幂集的过程就可以看成是依次对集合A中的元素进行"取","舍"的过程,并且可以用下图中的二叉树,来表示过程中幂集的变化状态。
树的根节点表示,幂集元素的初始状态,为空集,叶子节点表示他的终极状态,可以看到,叶子节点就是将来要求的幂集。而且当集合的元素个数为n,则状态二叉树的叶子位于第n层(根节点是第0层),并且数目是:2^n,
下面是代码:
void OutPut(char *dest)
{
for(
;
*dest; dest++) cout<<*dest<<" ";
cout<<endl
;
}
![](https://i-blog.csdnimg.cn/blog_migrate/6810355c2f78c12e91b7997a8e8c583a.gif)
void GetPowerSet(int i
,
char A
[]
,
char B
[]
)
{
if( i
==
strlen(A) ) OutPut(B)
;
else
{
char x
=
A
[
i
]
;
//GetElem
int k
=
strlen(B)
;
B
[
k
]
=
x
;
GetPowerSet(i+1, A, B); //左子树
B
[
k
]
=
'
0
'
;
GetPowerSet(i+1, A, B); //右子树
}
}
![](https://i-blog.csdnimg.cn/blog_migrate/6810355c2f78c12e91b7997a8e8c583a.gif)
int main()
{
char A
[]
=
{
"
123
"
}
;
int size_B
=
strlen(A)+
1
;
char* B
=
new char
[
size_B
]
;
memset(B
,
0
,
size_B)
;
GetPowerSet(
0
,
A
,
B)
;
delete B
;
return
0
;
}
运行以后可以看到,输出顺序就是前序遍历二叉树,叶子的输出顺序。