• 응용통계연구
• /
• 제24권3호
• /
• pp.505-513
• /
• 2011

스도쿠는 라틴방격법를 기반으로하는 숫자퍼즐로서 전세계적으로 인기있는 숫자퍼즐이다. Mo와 Xu (2008)는 이 스도쿠의 개념을 이용하여 블럭효과를 구별할 수 있는 스도쿠방격법을 제안하였다. 서로 직교하고 블럭효과를 구별할 수 있는 스도쿠방격법들을 이용하면 우리는 블럭효과를 구별할 수 있는 직교스도쿠방격법을 제안할 수 있다.

• EDISON SW 활용 경진대회 논문집
• /
• 제4회(2015년)
• /
• pp.521-526
• /
• 2015

A Sudoku puzzle is a kind of magic square puzzle which requires a non-repeated series of numbers from 1 to 9 in each 9 rows and 9 columns. Furthermore it contains total of 9 small three-by-three matrices, which need non-repeated numbers from 1 to 9 as well. Therefore the total number of possible cases of Sudoku puzzle is finite, even though that of creating nine-by-nine square is exponentially great. Accordingly a certain set of way is need not only for solving the puzzle, but also creating a new one. In this study, the method for creating a Sudoku puzzle applying genetic algorithm is suggested and will be demonstrated. Also, it will be shown that a Sudoku puzzle can be solved by genetic algorithm.

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

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

• 한국CDE학회지
• /
• 제21권2호
• /
• pp.69-74
• /
• 2015

A Sudoku puzzle is a kind of magic square puzzle which requires a non-repeated series of numbers from 1 to 9 in each 9 rows and 9 columns. Furthermore it contains total of 9 small three-by-three matrices, which need non-repeated numbers from 1 to 9 as well. Therefore the total number of possible cases of Sudoku puzzle is finite, even though that of creating nine-by-nine square is exponentially great. Accordingly a certain set of way is need not only for solving the puzzle, but also creating a new one. In this study, the method for creating a Sudoku puzzle applying genetic algorithm is suggested and will be demonstrated. Also, it will be shown that a Sudoku puzzle can be solved by genetic algorithm.

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

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

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 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.

• 한국멀티미디어학회논문지
• /
• 제20권2호
• /
• pp.261-270
• /
• 2017

Data hiding is a way to hide the information in multimedia media such as images or video. The scheme proposed by Nguyen and Chang, was able to embed, extract, and restore the cover image and the secret data using Sudoku. But in the extracting phase, the occurrence of duplicate values in the reference matrix was found to decrease the embedding capacity of secret data. This paper has proposed a reversible data hiding scheme while maintaining the quality of the image to provide high embedding capacity using $7{\times}7$ Sudoku and Shamir's secret sharing scheme.

• 한국멀티미디어학회논문지
• /
• 제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.

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

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

• 한국IT서비스학회지
• /
• 제7권2호
• /
• pp.127-135
• /
• 2008

The concept of preprocessing is widely used in various computer science area such as compiler and software engineering for the purpose of macro processing and optimization. In addition, preprocessing is also used in SAT solvers in order to eliminate redundant literals and clauses to speed up its solving time before searching the state space. However, there is an unexpected run-time error such as stack-overflow during this step, in case the size of a given set of clauses is huge which impedes SAT solvers. In this case, the preprocessing should be applied at the encoding time to optimize its size. In this paper this idea is applied to several Sudoku problems. As a result, significant improvements are obtained with respect to the number of variables and clauses as well as the solving time compared to the previous works.