2021-11-27-TIL

2021-11-27-TIL

Today I Learned

무한루프의 검증이 가능한가?

코딩테스트 문제를 풀다보면 가끔씩 무한루프가 발생할 수 있는 문제가 있다. 그런 경우, 대부분 문제에서 특정 조건으로 무한루프를 돌지 않도록 제한할 수 있다. 하지만 만약 정확한 조건을 제한할 수 없다면 어떠한 근거로 무한루프라고 판단할 수 있는가?

• https://en.wikipedia.org/wiki/Loop_invariant