22-fnhid

[Fnhid]

🔗 문제 링크

논리학 교수

✔️ 소요된 시간

5m

살짝 쉬어가는 느낌스로 가벼운 문제를 가져와봤습니다.

근데 너무문제가 쉬워서 난이도조절 실패한듯합니다..

논리학 과목이 이런식으로 시험 출제된다면 A+컷 98점 찍을 것 같습니다.

다음에는 불문제 가져오도록 노력하겠습니다 😔

✨ 수도 코드

"정확하게 i개의 말은 참이다"라는 문장이 n개 주어지는데,

n개의 문장 중에서 몇 개의 문장이 참인지 구하는 문제입니다.

스포일러를 열어 보기 전에 혼자 생각해보시면 좋겠습니다.

스포!!!!!!

'정확하게 k개의 말은 참이다'라는 문장이 k개 존재할 때,

이 문장들은 모두 참이 됩니다.

문제에서는 이러한 k가 여러 개일 경우 높은 k를 출력하라고 했으므로,

size 50 리스트에 입력을 받고

50~1까지 반복문을 돌려

list[i] == i인지 체크하면 됩니다.

그리고, 0이 입력에 들어올 경우를 생각해야 합니다.

'정확하게 0개의 말은 참이다'가 1개 이상 있을 경우를 생각해야 한다는 소리인데,

먼저, k>0인 k가 존재하는 경우를 살펴봅시다.
(문장이 참이 되게 하는 i를 k라고 정의해 보았습니다.)
ex)
4
0 0 1 2

위 경우 i=1이 참이고, i=0이 거짓인 경우가 가능합니다.
따라서 문제가 없습니다.

하지만 k>0인 k가 존재하지 않는 경우 문제가 발생합니다.

ex)
5
0 1 1 2 3

i=0이 참이라고 가정해 봅시다.
이 말은 '정확하게 0개의 말은 참이다'라는 문장이 참임을 뜻합니다.
따라서 문장이 모순입니다.

i=0이 거짓이라고 가정해 봅시다.
이 말은 '정확하게 0개의 말은 참이다'라는 문장이 거짓임을 뜻합니다.
그런데 입력이 모두 거짓이므로 문장이 모순입니다.

따라서 0이 입력으로 존재하고, k>0인 k가 존재하지 않는 경우는 모순입니다.

이 케이스까지 고려해서 코드를 작성하면 무난히 문제를 해결할 수 있습니다.

📚 새롭게 알게된 내용

애드혹재밌네용. 쉬워서그런듯

[dohyeondol1]

교육적인 애드혹 같네요 ㅎㅎ
저는 코드 짜는 시간까지 해서 10분은 걸린 것 같습니다..ㅠ

처음엔 upper__bound(), lower_bound()를 사용해서 풀었다가,
유현님의 코드를 보고 저도 코드를 개선시켜보았습니다.

처음 풀이

#include <iostream>
#include <vector>
#include <algorithm>
using namespace std;

int main() {
    cin.tie(nullptr)->sync_with_stdio(false);
    
    int N, answer = -1;
    cin >> N;
    vector<int> arr(N);
    for(int i = 0; i < N; ++i)
        cin >> arr[i];
    
    sort(arr.begin(), arr.end());
    
    for(int k = 0; k <= N; ++k) {
        int cnt = upper_bound(arr.begin(), arr.end(), k) - lower_bound(arr.begin(), arr.end(), k);
        if(cnt == k)
            answer = k;
    }

    cout << answer << '\n';
    return 0;
}

이후 개선한 풀이

#include <iostream>
#include <vector>
using namespace std;

int main() {
    cin.tie(nullptr)->sync_with_stdio(false);
    
    int N; cin >> N;
    vector<int> arr(N);
    for(int& x : arr) cin >> x;

    vector<int> count(N+1, 0);
    for(int x : arr)
        if (x <= N) count[x]++;

    int answer = -1;
    for(int k = 0; k <= N; ++k)
        if(count[k] == k) answer = k;

    cout << answer << '\n';
    return 0;
}

[froglike6]

저도 이 문제 간단히 풀어보았습니다. A개의 말이 참일 때, 그 수가 A개 있어야 함!이라는 아이디어를 떠올리는게 생각보다 어렵네요 ㅎㅎ.

import sys
input = sys.stdin.readline

n = int(input())
charm = list(map(int, input().split()))
ans = -1
for i in range(n+1):
    if charm.count(i) == i:
        ans = i
print(ans)

[hadongun]

k개의 문장이 참이라는 문장이 k개가 있어야 한다는 논리를 중점으로 짜보았습니다.

import sys
input = sys.stdin.readline

i = int(input())
logic = list(map(int, input().split()))
number = [0]*(51)
for j in range(i):
    number[logic[j]] += 1
result = -1

for k in range(len(number)):
    if number[k] == k:
        result = k
print(result)