While there exist two split components that share a linked pair of virtual edges, and both components have type S or both have type P, merge them into a single larger component of the same type.
Пока имеются две компоненты, имеющие общую связанную пару виртуальных рёбер, и обе компоненты имеют тип S или обе компоненты имеют тип P, сливаем эти компоненты в одну бо́льшую компоненту того же типа.