門松列の中心となる頂点を決めて, その頂点につながっている頂点の中に中心の頂点より大きい相異なる数値が2つ以上, または小さい相異なる数値が2つ以上あれば門松パスは存在する.