C语言实现：满足特异条件的数列

以下是使用C语言实现的搜索/回溯/剪枝解法，用于求解满足特异条件的数列：

#include <stdio.h>

void dfs(int m, int n, int seq[], int len, int start, int prod){
    if(len == n){
        if(m == 0 && prod == 1){
            for(int i = 0; i < n; i++){
                printf("%d ", seq[i]);
            }
            printf("\n");
        }
        return;
    }
    for(int i = start; i <= m; i++){
        if(i * prod > n){
            break;
        }
        if(m - i < (n - len + 1) * i){
            break;
        }
        seq[len] = i;
        dfs(m - i, n, seq, len + 1, i, prod * i);
    }
}

int main(){
    int m, n;
    scanf("%d %d", &m, &n);
    int seq[n];
    dfs(m, n, seq, 0, 1, 1);
    return 0;
}

使用示例：

输入：10 3
输出：
8 1 1 
7 2 1 
6 3 1 
6 2 2 
5 4 1 
5 3 2 
4 4 2 

解析：

该算法使用深度优先搜索，在每一层递归中选择一个数加入当前数列中，并将m减去该数，同时更新乘积prod。当数列中元素个数等于n时，判断它们的和是否等于m，乘积是否等于1。如果满足条件，则输出这个数列。如果不满足条件，则回溯到上一层，并尝试选择其他的数。

为了减少搜索空间，该算法使用了剪枝技巧。例如，如果当前数列的乘积已经大于1，则不需要继续搜索；如果当前数列中剩下的元素无法填满m，则也可以直接回溯。此外，由于要求i1>=i2...>=in，因此在递归中，下一层只能从当前层选择的数之后的数开始搜索。