[javelinsman]

아이디가 실명이 아닌 점 죄송합니다.
2013-11434 최길웅입니다.


스펙을 더 자세히 알아보려고 지난 학기 게시판을 참조해 보았는데,
아래와 같이 상반된 두 정보가 있었습니다.

2012년 게시판 (조교님이 직접 올려주신 테스트케이스)

[김윤승]

2012년의 코드는 w가 정의되지도 않았는데 사용되어서 문제가 되는거죠?

엄밀하게는 문제의 스펙이 바뀌었다기보단 채점기준이 완화된 것입니다. 그리고 이번 숙제도 작년과 같은 기준을 따를 것입니다.

이 코드에 대한 정답은 원래는 true가 맞습니다.

하지만 언제나 true를 내야 하는 경우에서 true를 내는 분석기를 만드는 것은 불가능합니다. 그래서 이런 경우 false를 리턴하게 해도 감점하지 않겠다는 것입니다.

즉, 이 문제에 대해서는 100% 완전한 정답은 존재하지 않습니다.

분석 시간과 정확도 사이에 trade-off가 있으므로 기준을 잘 설정하는 게 이 문제의 핵심입니다.

극단적으로 보면,

모든 코드에 대해 false를 내는 것도 올바른 분석기입니다. (점수를 잘 받을 수는 없습니다.)

모든 코드에 true를 내는 건 틀린 분석기입니다. (false를 내야 할 때 true를 내는 건 틀린 분석입니다.)

여기까지는 배경 설명이고,

1. 무한루프를 돌아서 판별이 안 되는 경우라는 것이 무엇인지 모르겠습니다. 무한루프를 도는 코드는 당연히 테스트할 수 있습니다. 주어진 코드가 무한루프를 도는지 안 도는 지에 관계없이 우리가 찾으려는 특성만 찾으면 됩니다. 조금이라도 그런 특성을 가질 가능성이 있으면 false를 리턴하는 것입니다.

2. 지금 하시는 분석도 맞는 방향이지만, 무조건 false라고 구현해야하지 않나요?
그건 그렇고, read 범위를 고려해서 분석하면 더 좋은 분석이 되어 더 좋은 점수를 받을 수 있을 것 같습니다.