それぞれの竹の時間 \(t\) における長さは, \(l_i = x_i + y_it\) である.

まず, \(x_i = x_j \land y_i = y_j\ (i \neq j)\) ならば門松列になる瞬間はない.

そうでない場合, \(l_1 \gt l_2\) となる区間および \(l_3 \gt l_2\) となる区間を出す. この区間の AND を取って \(t \gt 0\) でそのような区間があれば門松列になる瞬間は存在する.

不等号を逆転させた場合も調べる.