수학 꼼지락
2008/09/13 19:14
네모네모로직(nonogram)의 해의 개수가 항상 딱 한 개만 있는 지에 대해 궁금해 했던 적이 있었습니다. 블로그에 포스팅도 해 보았었지만 (여기) 정답은 알아낼 수 없었지요. 그런데 문득 그에 대한 답이 떠올랐습니다.
어떤 명제가 참인가를 증명하기는 까다롭습니다. 거짓인 것을 증명하기 위해서는 딱 하나의 반례만 준비하면 되기 때문에 그 증명이 비교적 쉽다고 할 수 있죠.
네모네로로직의 해의 개수가 언제나 단 한 개만 존재하는 것은 아니라는 예가 떠올랐습니다.
위 그림은 2X2 짜리의 로직입니다. 상당히 간단해 보이지만 답이 한 개 가 아닙니다. 아래와 같이 두 개의 답이 있지요.
오래전에 생각해 봤던 것에 대한 답이, 어느날 문득 떠오르는 기분을 간만에 즐길 수 있었네요.
어떤 명제가 참인가를 증명하기는 까다롭습니다. 거짓인 것을 증명하기 위해서는 딱 하나의 반례만 준비하면 되기 때문에 그 증명이 비교적 쉽다고 할 수 있죠.
네모네로로직의 해의 개수가 언제나 단 한 개만 존재하는 것은 아니라는 예가 떠올랐습니다.
위 그림은 2X2 짜리의 로직입니다. 상당히 간단해 보이지만 답이 한 개 가 아닙니다. 아래와 같이 두 개의 답이 있지요.
오래전에 생각해 봤던 것에 대한 답이, 어느날 문득 떠오르는 기분을 간만에 즐길 수 있었네요.
'수학 꼼지락' 카테고리의 다른 글
| 무한급수 문제 (9) | 2008/09/28 |
|---|---|
| 네모네모로직(nonogram)의 해의 개수 (9) | 2008/09/13 |
| 소수가 무한하다는 것에 대한 조금 더 자세한 증명 (3) | 2008/07/06 |
| 소수가 무한하다는 것에 대한 조금 더 뭔가 있어보이는 증명 (3) | 2008/06/28 |
트랙백 주소 :: http://ggomjirak.tistory.com/trackback/223
