Discrete Mathematics (HW2)

Anti-King sudoku

INPUT Data

OUTPUT data

Anti - king Sudoku 문제

기존의 수도쿠 문제와 동일하면서

연속된 3개의 칸에 겹치는 숫자가 존재하면 안됀다.

즉, 왕이 다닐 수 있는 구역에 동일한 숫자가 존재하면 안됀다. sat - solver를 이용해 propositional logic을 만들고

Quentifier 표현을 통해서 컴퓨터가 원하는 결과값을

즉, 문제를 풀 수 있도록 코드를 구현하는 문제

 

 

 

컴퓨터에게 논리적 연산을 입력시켜 해당 조건에 만족하는 문제를 풀 수 있도록 만들 수 있는 신기한 문제와 접근 방식이었다.