USACO-Section2.1 Ordered Fractions【递归算法】

题目描述：

输入一个自然数N,对于一个最简分数a/b（分子和分母互质的分数）,满足1<=b<=N,0<=a/b<=1,请找出所有满足条件的分数。
这有一个例子，当N=5时，所有解为：
0/1 1/5 1/4 1/3 2/5 1/2 3/5 2/3 3/4 4/5 1/1
给定一个自然数N，1<=n<=160，请编程按分数值递增的顺序输出所有解。
注：①0和任意自然数的最大公约数就是那个自然数②互质指最大公约数等于1的两个自然数。（翻译来源：NOCOW）

INPUT FORMAT:

(file frac1.in)
单独的一行　一个自然数N(1..160)

OUTPUT FORMAT:

(file frac1.out)
每个分数单独占一行，按照大小次序排列

---

SAMPLE INPUT

5

---

SAMPLE OUTPUT

0/1
1/5
1/4
1/3
2/5
1/2
3/5
2/3
3/4
4/5
1/1

---

解题思路：

这道题的解法很多，不过我用的是我看到的思想中最具有算法本质的方法。一开始我的思路是暴力枚举，毕竟数据量不大，快排直接解决~。然后想了想其他方法，感觉用链表从小到大插入（0 / i - i / i, i从1到n），插入起始点为0/1之后，插入数据不断与后一位比较，小于后一位就插入，如果大于后一位则移动指针继续判断直到比后一位小，如果等于后一位就继续，直到i/i。这种想法和现在用的有一定相似之处，不过无法避重，而且需要用到链表插入，很麻烦。相比之下，在网上看到了这种解法后简直惊为天人，实在是太过契合算法的本质，简单有效。

下面是Russ解法的介绍。
我们可以把0/1和1/1作为“端点”，通过把两个分数的分子相加、分母相加得到的新分数作为中点来递归（如图）

每一个分数的分子和分母都是由求和得来的，这意味着我们可以通过判断和与N的大小关系来判断递归边界。（解法来源：NOCOW）下面是代码。

#include<stdio.h>
#include<string.h>
#include<math.h>
#include<stdlib.h>
int n;
FILE *fout;
void fun(int a1,int b1,int a2,int b2){//递归
    if(a1+a2>n||b1+b2>n) return ;
    else{
        fun(a1,b1,(a1+a2),(b1+b2));
        fprintf(fout,"%d/%d\n",a1+a2,b1+b2);
        fun((a1+a2),(b1+b2),a2,b2); 
    }   
}
int main() {
    FILE *fin  = fopen ("frac1.in", "r");
    fout = fopen ("frac1.out", "w");
    fscanf(fin,"%d",&n);
    fprintf(fout,"%d/%d\n",0,1);
    fun(0,1,1,1);    
    fprintf(fout,"%d/%d\n",1,1);
    exit(0);
}