text: Лемпель, Эвен и Цедербаум сформулировали st-нумерации как часть алгоритма проверки планарности, а Розенштиль и Тарьян сформулировали биполярную ориентацию как часть алгоритма построения мозаичного представления планарных графов.