๋ณธ๋ฌธ ๋ฐ”๋กœ๊ฐ€๊ธฐ
๐Ÿš— Major Study (Bachelor)/๐ŸŸข Discrete Mathematics

Discrete Mathematics (HW2)

by UKHYUN22 2021. 10. 24.
728x90

Anti-King sudoku

INPUT Data
OUTPUT data

Anti - king Sudoku ๋ฌธ์ œ

๊ธฐ์กด์˜ ์ˆ˜๋„์ฟ  ๋ฌธ์ œ์™€ ๋™์ผํ•˜๋ฉด์„œ

์—ฐ์†๋œ 3๊ฐœ์˜ ์นธ์— ๊ฒน์น˜๋Š” ์ˆซ์ž๊ฐ€ ์กด์žฌํ•˜๋ฉด ์•ˆ๋€๋‹ค.

์ฆ‰, ์™•์ด ๋‹ค๋‹ ์ˆ˜ ์žˆ๋Š” ๊ตฌ์—ญ์— ๋™์ผํ•œ ์ˆซ์ž๊ฐ€ ์กด์žฌํ•˜๋ฉด ์•ˆ๋€๋‹ค. sat - solver๋ฅผ ์ด์šฉํ•ด propositional logic์„ ๋งŒ๋“ค๊ณ 

Quentifier ํ‘œํ˜„์„ ํ†ตํ•ด์„œ ์ปดํ“จํ„ฐ๊ฐ€ ์›ํ•˜๋Š” ๊ฒฐ๊ณผ๊ฐ’์„

์ฆ‰, ๋ฌธ์ œ๋ฅผ ํ’€ ์ˆ˜ ์žˆ๋„๋ก ์ฝ”๋“œ๋ฅผ ๊ตฌํ˜„ํ•˜๋Š” ๋ฌธ์ œ

 

 

 

์ปดํ“จํ„ฐ์—๊ฒŒ ๋…ผ๋ฆฌ์  ์—ฐ์‚ฐ์„ ์ž…๋ ฅ์‹œ์ผœ ํ•ด๋‹น ์กฐ๊ฑด์— ๋งŒ์กฑํ•˜๋Š” ๋ฌธ์ œ๋ฅผ ํ’€ ์ˆ˜ ์žˆ๋„๋ก ๋งŒ๋“ค ์ˆ˜ ์žˆ๋Š” ์‹ ๊ธฐํ•œ ๋ฌธ์ œ์™€ ์ ‘๊ทผ ๋ฐฉ์‹์ด์—ˆ๋‹ค.

์ €์ž‘์žํ‘œ์‹œ

'๐Ÿš— Major Study (Bachelor) > ๐ŸŸข Discrete Mathematics' ์นดํ…Œ๊ณ ๋ฆฌ์˜ ๋‹ค๋ฅธ ๊ธ€

์˜ค์ผ๋Ÿฌ ํšŒ๋กœ (Euler's Path), ์˜ค์ผ๋Ÿฌ ์„œํ‚ท(Euler's Circuit)  (0) 2021.12.07
Hall's Marriage Theorem, Isomorphism of Graph  (0) 2021.12.03
Discrete Mathematics  (0) 2021.11.02
Discrete Mathematics(HW2)  (0) 2021.10.24
Discrete Mathematics(HW2)  (0) 2021.10.24

๊ด€๋ จ๊ธ€

ํ‹ฐ์Šคํ† ๋ฆฌํˆด๋ฐ”