서지주요정보
(A) study for the solvability of Fiver by a linear algebraic approach = 선형 대수적 접근을 통한 Fiver의 해법 연구
서명 / 저자 (A) study for the solvability of Fiver by a linear algebraic approach = 선형 대수적 접근을 통한 Fiver의 해법 연구 / Sun-Hae Kim.
발행사항 [대전 : 한국과학기술원, 2007].
Online Access 원문보기 원문인쇄

소장정보

등록번호

8018226

소장위치/청구기호

학술문화관(문화관) 보존서고

MIE 07007

휴대폰 전송

도서상태

이용가능(대출불가)

사유안내

반납예정일

리뷰정보

초록정보

There is an interesting board game named Fiver. In this thesis, we prove that Fiver is always solvable in general width m, height n situation and find a polynomial-time algorithm giving a solution. Moreover, we investigate the reversibility of Fiver and also find a polynomial-time algorithm which determines whether it is reversible or not for given m, n. For a construction of algorithms and a proof of validity of algorithms, we use basic linear algebra facts in binary field. In our construction, we think imaginary width m, height infinity board. In addition, we investigate some properties of Fiver including inductive properties.

Fiver를 연구하는데 두 가지 방법을 사용하였다. 정리 2.4에서, Fiver가 임의의 $m \times n$ 의 경우에 성립함을 보였다. 즉, 모든 m, n에 대하여 $\O_{m,n}$ = true 임을 선형대수를 이용하여 증명하였다. 4장에서는, 일반적인 m, n의 경우에 Fiver의 reversibility와 solvability를 판별하는 polynomial-time 알고리즘을 제시하였다. 5장에서는, Fiver와 관련된 몇 가지 성질들을 찾았고, 정리 5.7과 5.9는 Fiver의 reversibility를 귀납적으로 알아낼 수 있는 방법을 제시한다. 이 논문에서는 $Z_2$ 상에서의 Fiver에 대해서 다루었고, 일반적인 $Z_\lota$ 의 경우는 [1]을 참고하라.

서지기타정보

서지기타정보
청구기호 {MIE 07007
형태사항 23 p. : 삽화 ; 26 cm
언어 영어
일반주기 저자명의 한글표기 : 김선해
지도교수의 영문표기 : Sung-Soo Park
지도교수의 한글표기 : 박성수
학위논문 학위논문(석사) - 한국과학기술원 : 산업공학과,
서지주기 Includes reference
QR CODE

책소개

전체보기

목차

전체보기

이 주제의 인기대출도서