On 23.02.2017 at 12:20 in S6, there is the following noon lecture:
Simple realizability of complete abstract topological graphs simplified
An abstract topological graph (briefly an AT-graph) is a pair A=(G,X) where G=(V,E) is a graph and X is a set of pairs of its edges. The AT-graph A is simply realizable if G can be drawn in the plane so that each pair of edges from X crosses exactly once and no other pair crosses. We show that simply realizable complete AT-graphs are characterized by a finite set of forbidden AT-subgraphs, each with at most six vertices. This implies a straightforward polynomial algorithm for testing simple realizability of complete AT-graphs, which simplifies a previous algorithm by the author. We also show an analogous result for independent Z_2-realizability, where only the parity of the number of crossings for each pair of independent edges is specified.
Webmaster: kamweb.mff.cuni.cz Modified: 19. 10. 2010