二叉树和等于某值路径已知二叉树结点为不等于0的整数。给定一个整数K，请编写程序找出以根结点为起点叶结点为终点的所有路径中，结点值之和等于K的所有路径。例如K=15，对于下图所示的二叉树t，满足条件的路径有2条，即8-5-2和8-7。若没有满足条件的路径，则亦能识别。

在计算机科学中，给定一个整数值 K 和一个二叉树，你需要找到从根节点到任意叶子节点的所有路径，这些路径上节点的值之和恰好等于 K。这是一个经典的深度优先搜索 (DFS) 或广度优先搜索 (BFS) 的应用问题，因为我们可以递归地探索左子树和右子树，同时记录路径上的节点值。

算法的基本步骤如下：

1. 对于每个节点：
- 如果当前节点值加上其父节点（如果有的话）的值等于 K，那么就找到了一条符合条件的路径，并将其添加到结果集中。
- 否则，对左右子节点分别进行同样的操作。

2. 要考虑边界情况：
- 当节点是叶子节点并且它的值与 K 相加正好相等，也应该计入结果。
- 如果节点值为 0 并且 K 还未达到目标，那么不需要进一步探索这条路径，因为它无法提供有效的路径贡献。

Python 中的一个伪代码示例可能是这样的：

def find_paths(root, path_sum=0, target=K):
    # 基础情况：到达叶子节点或者路径和等于目标
    if not root or (not root.left and not root.right and path_sum == target):
        return [path_sum] if path_sum else []

    paths = []  # 结果列表

    # 递归遍历左子树和右子树
    paths += find_paths(root.left, path_sum + root.val, target)
    paths += find_paths(root.right, path_sum + root.val, target)

    return paths