「道が存在する」って、向きは考慮しなくてもいいのかな？ある頂点を起点として任意の頂点に到達できるという意味ではなく？ (edited)

1:02 PM

形式的な定義が載ってなくてよくわからない

1:03 PM

A → B ↓ C の B と C の間にも「道が存在する」と言っていいのかな？

1:04 PM

とりあえず Float や Double の比較は有限半順序集合になりそう。