Водещ връх -Голямата енциклопедия на нефта и газа, статия, страница 1
Водещ връх
Водещият връх се задава по следния начин. [1]
Всеки водещ връх доминира над всички добавени преди това. [2]
Затворете връх 3 и намерете нов водещ връх. [3]
Според част 2 на лемата, дъгите назад влизат във водещи върхове от всички добавени преди това върхове. [4]
От доказателството на лема 30 (част 2) следва, че всяка задна дъга влиза във водещия връх . Съгласно лема 31, втората дъга назад влиза във връх, който доминира началото h на предишната дъга назад. По силата на лема 30 (част 3), приложена към u, главният връх в G не може да бъде достигнат без обратно преминаване на A. Следователно частта от пътя p преди връщането към G е подпоследователност на ABB. В този случай p изобщо не може да се върне към G, тъй като тогава ще трябва да премине през два водещи върха, които доминират над главния връх на G, което е невъзможно. Така пътят p е подпоследователност от ABBAB. [5]
Но това е невъзможно, тъй като p(x, y) 0 и d(x) d(y) няма дефиниция на водещия връх. [6]
От доказателството на лема 30 (част 2) следва, че всяка задна дъга влиза във водещ връх. Съгласно лема 31, втората дъга назад влиза във връх, който доминира началото h на предишната дъга назад. По силата на лема 30 (част 3), приложена към u, главният връх в G не може да бъде достигнат без обратно преминаване на A. Следователно частта от пътя p преди връщането към G е подпоследователност на ABB. В този случай p изобщо не може да се върне към G, тъй като тогава ще трябва да премине през два водещи върха, които доминират над главния връх на G, което е невъзможно. Така пътят p е подпоследователност от ABBAB. [7]