• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2006년도 추계학술발표대회
• /
• pp.55-58
• /
• 2006

This paper presents solving the Sudoku puzzle as a constraint satisfaction problem (CSP). After introducing the rules and characteristics of the puzzle, we formulate the puzzle as a CSP and develop various methods of solving the problem. Blind search, minimum remaining value (MRV) heuristic, and some advanced methods are investigated, and their algorithms are implemented in this undergraduate project. The performance comparisons of these methods are discussed in the paper.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제34권7호
• /
• pp.616-624
• /
• 2007

SAT을 이용해서 수도쿠 퍼즐을 풀기 위해서는 수도쿠를 SAT 처리기의 표준 입력 언어인 CNF 논리식으로 인코딩 해야 한다. 기존에 제시된 인코딩 알고리즘으로 크기가 큰 수도쿠를 인코딩하면 현재 SAT 처리기의 처리 수준을 넘을 정도로 많은 논리식이 생성된다. 본 논문에서는 크기가 큰 수도쿠를 다루기 위해서 수도쿠의 고정 셀을 이용하여 최적화된 CNF 논리식을 생성하는 방법을 제시한다. 고정 셀에 배정된 숫자는 불변이기 때문에 이를 이용해서 일부 변수의 값을 인코딩 단계에서 미리 결정할 수 있고, 이들 변수의 값을 이용해서 SAT 처리에 영향을 주지 않는 절과 리터럴을 인코딩 단계에서 제거할 수 있다. 다양한 크기의 수도쿠 퍼즐에 적용한 결과 기존 인코딩 알고리즘에 비해서 우수한 성능을 보였다.

• 한국인터넷방송통신학회논문지
• /
• 제15권1호
• /
• pp.207-215
• /
• 2015

본 논문은 지금까지 NP-완전 문제로 다항시간 알고리즘이 존재하지 않는 스도쿠 문제의 해를 다항시간으로 구하는 알고리즘을 제안하였다. 제안된 알고리즘은 숫자가 많이 들어 있는 블록 내림차순으로 수행한다. 각 블록에서 빈칸들을 대상으로 행에 들어 갈 수 있는 숫자와 열에 들어갈 수 있는 숫자를 결정한다. 행과 열의 교집합을 구하면 해당 빈칸에 들어갈 수 있는 숫자가 결정된다. 이들 숫자를 대상으로 각 빈칸에 들어 갈 수 있는 숫자를 배정하는 방법을 적용하였다. 제안된 알고리즘은 전통적인 $9{\times}9$ 스도쿠에 적용 결과 블록의 개수인 9회만을 수행하여 해를 구하는데 성공하였다. 또한, 변형 스도쿠인 Jigsaw 스도쿠 (9개 블록)와 Hypersudoku (13개 블록)에 적용 결과 Jigsaw 스도쿠는 9회, Hypersudoku는 13회 수행으로 해를 구하는데 성공하였다. 결국, 제안된 알고리즘은 스도쿠 문제가 P-문제임을 증명하였다.

• 한국인터넷방송통신학회논문지
• /
• 제17권4호
• /
• pp.155-161
• /
• 2017

본 논문은 지금까지 NP-완전 문제로 다항시간 알고리즘이 존재하지 않는 스도쿠 퍼즐 문제의 해를 다항시간으로 구하는 알고리즘을 제안하였다. 제안된 알고리즘은 빈칸들에 [$1,2,{\cdots},9$] 중에서 행, 열과 블록에 존재하는 실마리 숫자를 제외한 후보 집합을 초기치로 설정하였다. 빈칸의 후보 집합에 대해 Stuart이 제시한 기본적인 규칙들과 더불어 2개의 추가 규칙을 제시하고, 마지막으로 이진 역추적 기법(BBT)을 적용하였다. 다양한 부류의 해를 갖는 실험데이터들에 대해 적용한 결과 제안된 BBT 알고리즘은 어떠한 부류의 해를 갖던지에 상관없이 주어진 스도쿠 퍼즐을 풀 수 있음을 보였다.

• 한국멀티미디어학회논문지
• /
• 제20권4호
• /
• pp.696-703
• /
• 2017

In this paper, we show how to design based on solving Sudoku problem that is one of the NP-complete problems like Go. We show how to use greedy method which can minimize depth based on tree expansion and how to apply heuristic algorithm for pruning unnecessary branches. As a result of measuring the performance of the proposed method for solving of Sudoku problems, this method can reduce the number of function call required for solving compared with the method of heuristic algorithm or recursive method, also this method is able to reduce the 46~64 depth rather than simply expanding the tree and is able to pruning unnecessary branches. Therefore, we could see that it can reduce the number of leaf nodes required for the calculation to 6 to 34.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2009년도 정보 및 제어 심포지움 논문집
• /
• pp.103-105
• /
• 2009

This paper presents a pseudorandom tag arrangement for improved RFID based mobile robot localization. First, four repetitive tag arrangements, including square, parallelogram, tilted square, and equilateral triangle, are examined. For each tag arrangement, the difficulty in tag installation and the problem of tag invisibility are discussed. Then, taking into account both tag invisibility and tag installation, a pseudorandom tag arrangement is proposed, which is inspired from a Sudoku puzzle. It is shown that the proposed tag arrangement exhibits spatial randomness quite successively without increased difficulty in installation.