Ključne besede: graph planarity, planarity testing, Boyer–Myrvold algorithm, Kuratowski/Wagner theorem, depth-first search (DFS), lowpoint values, articulation points, biconnected components, graph embedding, graph6 formatObjavljeno v RUP: 04.10.2025; Ogledov: 622; Prenosov: 0