OSPF Fast Reroute (LFA) において、バックアップパスとして選択されるための「ループフリー条件」とは何か。

LFAの基本条件は、隣接ノードNから宛先Dへのコストが、自ノードSから宛先Dへのコストよりも小さいことである（不等式は視点により異なるが、一般にループしないことが保証される条件）。