알고리즘/BOJ

백준 17903번 Counting Clauses

꾸준함. 2021. 3. 26. 22:50

문제 링크입니다: 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

간단한 구현 문제였습니다.

 

개발환경:Visual Studio 2017

 

지적, 조언, 질문 환영입니다! 댓글 남겨주세요~

반응형

'알고리즘 > BOJ' 카테고리의 다른 글

백준 18330번 Petrol  (0) 2021.03.27
백준 18005번 Even or Odd?  (0) 2021.03.27
백준 17874번 Piece of Cake!  (0) 2021.03.26
백준 17863번 FYI  (0) 2021.03.26
백준 17388번 와글와글 숭고한  (0) 2021.03.26