ACAG 0x02-8 非递归实现组合型枚举

ACAG 0x02-8 非递归实现组合型枚举

之所以专门来写这道题的博客，是因为感觉从最根本处了解到了递归的机器实现。

主要的就是两个指令——Call和Ret。

Call指令会将返回地址入栈（系统栈），然后跳转到$address$位置的语句。

Ret指令就是返回指令(Return)，将返回地址出栈，并跳转到该位置继续执行。

综上，就可以得到组合型枚举的非递归实现了。

#include<bits/stdc++.h>

using namespace std;

int n,m,top,address;
int sta[100010];

vector <int> v;

void Call(int x,int ret_addr) {
	int old_top=top;
	sta[++top]=x;
	sta[++top]=ret_addr;
	sta[++top]=old_top;
	return;
}

int Ret() {
	int ret_addr=sta[top-1];
	top=sta[top];
	return ret_addr;
}

void Recursive() {
	Call(1,0);
	while(top)  {
		int x=sta[top-2];
		switch(address) {
			case 0:
				if(v.size()>m||v.size()+(n-x+1)<m) {
					address=Ret();
					continue;
				}
				if(x==n+1) {
					for(int i=0;i<v.size();i++) {
						printf("%d ",v[i]);
					}
					printf("\n");
					address=Ret();
					continue;
				}
				v.push_back(x);
				Call(x+1,1);
				address=0;
				continue;
			case 1:
				v.pop_back();
				Call(x+1,2);
				address=0;
				continue;
			case 2:
				address=Ret();
				continue;
		}
	}
	return;
}

int main()
{
	scanf("%d%d",&n,&m);
	Recursive();
	return 0;
}