본문 바로가기

Algorithm/Implementation

(C++) - 백준(BOJ) 17903 : Counting Clauses

반응형

https://www.acmicpc.net/problem/17903

 

17903번: Counting Clauses

The input is a single instance of the 3-SAT problem. The first line is two space-separated integers: m (1 ≤ m ≤ 20), the number of clauses and n (3 ≤ n ≤ 20), the number of variables. Then m clauses follow, one clause per line. Each clause consists

www.acmicpc.net

if문을 사용해보는 문제였습니다.

 

📕 풀이방법

📔 입력 및 초기화

절의 개수 n, 한 절의 literal의 개수 m, 절과 literal을 입력받을 이차원 배열 query를 선언해줍니다.

 

📔 풀이과정

절의 개수가 8이상이라면 satisfactory, 아니라면 unsatisfactory이므로 n이라는 변수만 비교하면 답이 나옵니다.

 

📔 정답출력

n이 8이상이면 satisfactory 아니라면 unsatisfactory를 출력해줍니다.


📕 Code

#include <bits/stdc++.h>
using namespace std;
int n, m, query[21][21];
int main(){
    cin >> n >> m;
    for(int i = 0; i < n; i++)
        for(int j = 0; j < m; j++)
            cin >> query[i][j];
    if(n >= 8) cout << "satisfactory";
    else cout << "unsatisfactory";
}