來嚴格證明一下
就是證明每一次操作中，中間的牛一定至少有一頭牛的身高與兩端相等，所以每次都要進行操作
假設這次操作是說\(l\)和\(r\)可以互相看見，那麼我們就要將\([l+1,r-1]\)的身高減一
從最開始，\([l,r]\)的身高都是相同的。在這次操作之前，由於是不會出現矛盾的，所以影響只有四種操作會影響這個區間（下面區間都是我們要減一的區間，兩端點不是可以互相看到的牛，左端點減一，右端點加一才是可以互相看到的牛）
第一種為\([k,r-1]\)，其中\(k≤l\)
第二種為\([l+1,k]\)，其中\(k≥r\)
第三種為\([p,q]\)，其中\(p≤l,q≥r\)
第四種為\([p,q]\)，這個區間就是被包含在\([l+1,r-1]\)中的。注意到這種區間一定不會出現相交，實際上，這四種區間都不會出現相交
我們從最開始的操作只經過這四種操作達到現在的狀態，用數學歸納法不難證明結論