Myšlenku bych viděl tak, že když G je rovinný, tak vezmu nějaké jeho nakreslení a nakreslení H = nějaké dělení G dostanu tak, že v nakreslení G rozdělím příslušné hrany. Tím se nic nerozbije. Naopak, když mám rovinné nakreslení nějakého podrozdělení, tak ty extra vrcholy smažu a dostanu nakreslení G.
Precizně to myslím bude ještě jednodušší. Aspoň my jsme si rovinné nakreslení definovali tak, že se tam vrcholy vlastně nevyznačovaly. Takže jde jenom o to dokázat, že každé nakreslení G je zároveň nakreslení nějakého dělení G a taky naopak -- nakreslení libovolného dělení G je zároveň nakreslením G.
Viděl bych to na práci s definicí rovinného nakreslení a dělení grafu.
Offline