[Kotlin, S5] 백준 1813번 논리학 교수

출처: unsplash.com

 

논리학 교수(1813번)

Silver 5

#애드 혹

 

문제 내용

 

 

문제 접근

입력받는 숫자가 i이면 i개의 말은 참이다라는 뜻이다.

i개의 말이 참이 되기 위해서는 i가 2라면 2개의 말이 참이 되어 있어야 한다. 그렇지 않으면 이 문장은 거짓이 된다.

다르게 말하면 "정확하게 2개의 문장이 참이다." 라는 말은 입력받은 말들 중에서 2개만 참일 때만 참이 된다.

 

그러므로, 입력값(i)의 빈도 수가 같은 경우는 참이 되게 된다.

하지만 고려해야 할 사항이 있다. 모순(-1)인 경우와 모순이 아니지만 참이 하나도 없어서 0인 경우이다.

-1인 경우는 입력 예제 2의 경우이다.

1
0

위의 경우에는 "정확하게 0개의 문장이 참이다." 라고 말하는 문장이 1개가 있다고 말하기 때문에 모순적이다라고 하는 듯하다.

 

정답이 0인 경우에는 예제 입력 4가 있다.

2
1 1

"정확하게 1개의 문장이 참이다." 라는 문장이 2개 있어서 모순은 아니지만 참인 문장을 하나도 없기 때문에 정답은 0이다.

 

 

문제 해결 코드

import java.io.BufferedReader
import java.io.InputStreamReader
import kotlin.math.max

fun main() = with(BufferedReader(InputStreamReader(System.`in`))) {
    val case = readLine().toInt()
    val bool = readLine().split(" ").map { it.toInt() }
    var max = -1

    for (i in 0 .. case) {
        val cnt = bool.filter { it == i }.size

        if (i == cnt) max = max(max, cnt)
    }

    println(max)
}

 

문제 풀이

초기값을 -1로 가지는 변수 max를 생성한다. 이후에 올 조건들을 모두 만족하지 못하면 모순이 되는 상황이 되기 때문에 자동으로 -1을 출력하기 위함이다.

이제 입력값들의 빈도를 구해야 한다.

빈도는 filter를 이용해 값을 걸러주고 size를 붙여 주면 빈도값이 된다.

그 값이 현재 반복되는 i와 같은 경우는 참이 된다.

최댓값을 구해야 하기 때문에 max()를 사용해 준다. 0인 경우에는 -1이 0보다 작기 때문에 0이 정상적으로 들어갈 것이다.

 

 

문제 해결 과정

문제 이해가 이 문제를 silver에 있게 하는 원인이라 생각한다.

나도 문제가 도저히 이해가 안돼서 입력 예제 3을 보고 힌트를 얻게 되었다. 입력 예제 3을 보고 3이 3개이기 때문에 정답이 3인가?라고 생각했다. 결국에는 정답에 근접하긴 했지만 다른 예제들로는 이 가설이 맞는지 확신할 수가 없어서 풀이를 찾아보았다.

솔직히 지금도 정확히 왜 이런 방식으로 문제가 풀리는지 이해가 안 된다.

입력값을 순서대로 보는 게 아닌 전체를 봐야 문제를 풀 수 있을 것이다.

처음에는 입력값을 순서대로 봐서 예제 입력 3의 경우에는 0부터 "정확히 0개의 문장이 참이다." 이므로 이 문장은 참이다. 그다음은 "3이니까 정확히 3개의 문장이 참이다." 이므로 이 문장은 거짓이다. 이런 방식으로 문제를 접근하는 것은 잘못된 방식이다.