본뭄에서 f>=r_1이어야 하는 것 아닌가요? f=r_1인 경우는 V 자체가 cyclic인 경우 밖에 없지 않나요? 물론 표기가 아예 말이 안되는 건 아니지만...이 표기대로라면 V가 cyclic 이 아닐 때 r_2부터 시작해야 하므로 이상해 지는 것 같습니다