確かにそうですね。
区間jが左向き B(j)> A(j)のケースでは、右側の未定数が左側より2個多く、
次の区間の「同じ側」と「反対側」が入れ替わるので面倒ですね。
というわけで、 「右向き」と「左向き」に戻しましょう^^
j=n-2 の例で考えると、a<b<c<d としたので
A(n-2)< B(n-2):右向きのとき、b <{n,A(j)}< c
A(n-2)> B(n-2):左向きのとき、a <{n,A(j)}< b
(j≦n-2)
このとき A(n-1)= b で、最後の区間nはつねに右向きになります。
・B(n-1)= a なら区間n-1 は左向き、区間nは右向き となります。向きが変わったので支配区間はありません。(頓死)
・B(n-1)= c または d なら区間n-1 〜 区間n で右向きが継続し、支配区間が(1つ以上)あります。