IT/백준 (2) 썸네일형 리스트형 [백준] 27512번 증명 https://www.acmicpc.net/problem/27512 27512번: 스네이크 두 정수 $n$과 $m$이 한 줄에 공백으로 분리되어 주어집니다. ($2 \le n,m \le 200$) www.acmicpc.net 단순히 몇 가지 case를 해보게 되면 규칙을 빠르게 찾을 수 있다. 그러나 증명이 필요해 보여서 증명을 하려고 한다. n,m 격자에서 둘 중 적어도 하나가 짝수인 상황과 둘 다 홀수인 상황을 나눠야 한다. n,m 중 적어도 하나가 짝수일 때는 짝수이기 때문에 3 4 7 8 2 5 6 9 1 12 11 10 여기서 2->3->4->5->6->7->8->9 처럼 왓다갓다 할 수 있기 때문에 존재할 수 밖에 없다. 더 엄밀하게 할려면 귀납법처럼 확장해 가는 식으로 증명할 수도 있긴 하다.. [백준] 2437번 문제 증명 https://www.acmicpc.net/problem/2437 2437번: 저울 하나의 양팔 저울을 이용하여 물건의 무게를 측정하려고 한다. 이 저울의 양 팔의 끝에는 물건이나 추를 올려놓는 접시가 달려 있고, 양팔의 길이는 같다. 또한, 저울의 한쪽에는 저울추들만 놓 www.acmicpc.net 정렬 후 배열은 $a1, a2 ...$라고 했을 때, $a1$이 $1$이 아닐 때와 $a1$일 때 이렇게 두 가지 경우가 있다. 전자에는 바로 $1$로 출력하면 된다. 후자의 경우 논리적 과정을 명확하게 하기 위해 몇 가지를 설명하겠다. 식 $e: a_{n+1}{\leq}sum(n)+1 (sum(n)는 a_1부터 a_n까지의 합)$ 명제 $p: a_1=1$이고, $n$이 $1$ 부터 $k$일 때, 식 $.. 이전 1 다음