Ich schreibe eine kleine Funktion, um ein Diagramm auf eine bestimmte Weise zu ändern, und habe mich gefragt, ob es einen formalen Namen für die Operation gibt. Die Operation verwendet zwei unterschiedliche Kanten, fügt einen neuen Knoten zwischen die vorhandenen Knoten jeder Kante ein und fügt dann eine Kante zwischen den beiden neuen Knoten hinzu. Zum Beispiel:
add new nodes a and b to the graph
let edge1 = (x,y), let edge2 = (u,v)
delete edge (x,y)
create edges (x,a), (a,y)
delete edge(u,v)
create edges(u,b), (b,v)
create edge (a,b)