小明可以使用回溯法来解决这个问题。回溯法是一种穷举搜索的方法，通过逐步构建解空间树，并在搜索过程中剪枝，找到满足条件的解。

下面是使用回溯法解决这个问题的伪代码：

function findNumbers(nums, target):
    result = []  # 存储结果的列表
    path = []  # 存储当前路径的列表

    def backtrack(nums, target, start):
        if target == 0:  # 找到满足条件的解
            result.append(path[:])  # 将当前路径加入结果列表
            return
        if target < 0:  # 当前路径和已经超过目标值，不再继续搜索
            return
        for i in range(start, len(nums)):
            path.append(nums[i])  # 将当前数加入路径
            backtrack(nums, target - nums[i], i)  # 递归搜索下一个数
            path.pop()  # 回溯，将当前数从路径中移除

    backtrack(nums, target, 0)  # 从第一个数开始搜索
    return result

使用上述函数，可以找到满足条件的解。其中，nums是存储N个正整数的列表，target是目标和M。函数返回一个列表，包含所有满足条件的解。

例如，如果N=5，nums=[1, 2, 3, 4, 5]，M=7，调用findNumbers(nums, M)将返回[[2, 5], [3, 4]]，表示从[1, 2, 3, 4, 5]中选取若干个数，使得它们的和等于7的解有两个，分别是[2, 5]和[3, 4]。

希望以上回答对您有帮助。如果您有任何其他问题，请随时提问。