2
このグラフ操作に正式な名前はありますか？
ある方法でグラフを変更する小さな関数を書いていて、その操作に正式な名前があるかどうか疑問に思っていました。この操作は2つの異なるエッジを取り、各エッジの既存のノード間に新しいノードを挿入してから、2つの新しいノード間にエッジを追加します。例えば： 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)