Batman 네모네모 로직에 대하여 '경우의 수가 존재하지 않는데, [경우의수]로 표시되어 있다'는 신고가 있었습니다.

검증 시스템에 버그가 있는건가 싶어 열심히 풀어보니,

입 부분에서 하나의 경우만 가능하다는 것을 귀류법으로 쉽게 알 수 있었습니다.

사람은 한눈에 쉽게 알 수 있는 것도 컴퓨터는 귀류법 문제를 풀기위해서는 경우의 수를 탐색해야 합니다.

경우의수 탐색이 필요한 로직은 [경우의수] 태그가 붙습니다

자유게시판에서 귀류법이 논리인가? 라는 글에 대하여 우리 회원분들의 심도 깊은 대화가 오고간적이 있습니다.

http://nemonemologic.com/article.php?bid=597

안보신 분들은 들어가셔서 보시길 추천드립니다.

* 경우의수 태그가 붙은 로직은 난이도를 같이 봐주세요. 적당한 난이도의 [경우의수] 로직은 매우 재밌는 로직일 수 있습니다 :)