使用C语言实现已知n+1个正数：w i ​ (1<=i<=n)和M，要求找出{w i ​ }的所有子集使得子集中元素之和等于M。解采用可变长的k-元组(x 1 ​ ,...,x k ​ ) 表达，其中：x i ​ ∈{1, ..n}，表示被选中的数值w的下标，1<=i<=k。隐式约束条件是选中的数值和数为M，x i ​ 相互不同，且按取值从小到大顺序排列。 要求利用FIFO分支限界方法解决子集和数问题。 输入格式: 第一行为一个不超过200的正整数n，表示总集规模； 第二行是正整数M，表示子集的和数； 第三行是总集中n个正整数，中间用空格隔开。 输出格式: 如果有答案，则输出所有满足条件的子集（用可变长度数组表示符合条件的一个子集，子集中元素表示被选中的数值的下标）； 如果没有答案，则输出“no solution!”。 输入样例1: 4 31 11 13 24 7 输出样例1: 3 4 1 2 4 输入样例2: 6 30 5 10 12 13 15 18 输出样例2: 3 6 1 2 5 1 3 4

这个问题需要比较详细的代码实现，我这里给你提供一个大致思路：

1. 定义一个结构体 `Node` 用来表示搜索树的节点，包含以下元素：

- `weight_sum` 表示当前节点的权值和；
- `selected` 表示已经选中的元素下标；
- `last_selected` 表示上一个选中的元素下标；
- `selected_num` 表示已经选中的元素个数。

2. 初始化一个队列 `q`，首先将根节点入队，根节点的 `weight_sum` 为 0，`selected` 为空，`last_selected` 为 0，`selected_num` 为 0。

3. 不断从队列中取出节点，对于当前节点，依次考虑选中下标为 `last_selected+1` 到 `n` 的元素，如果选中某个元素可以满足条件，则将其加入队列中。

4. 重复执行步骤 3，直到队列为空或者找到了一个符合条件的子集。

具体实现细节可以参考代码实现，这里就不一一解释了。