有 2 排点，左边点向右边点的单向边，问是否存在从第一排的上/下的点出发到最后一排的上/下的点，恰好经过 k 个上的点的路径。输出这条路径经过的点。