๋ณธ๋ฌธ ๋ฐ”๋กœ๊ฐ€๊ธฐ

๐Ÿš— Major Study (Bachelor)164

์ปดํ“จํ„ฐ๊ตฌ์กฐ(์ˆ˜์—… ํ•„๊ธฐ ์ž๋ฃŒ) 2021. 10. 25.
Discrete Mathematics(HW2) ํ’€์ด ๊ณผ์ • 2021. 10. 24.
Discrete Mathematics(HW2) NonDango ๋ฌธ์ œ๋ฅผ ๋…ผ๋ฆฌ์  ์—ฐ์‚ฐ์„ ์ปดํ“จํ„ฐ์—๊ฒŒ ์‹œ์ผœ ํ•ด๋‹น ๋ฌธ์ œ๋ฅผ ํ’€ ์ˆ˜ ์žˆ๋„๋ก ์•Œ๊ณ ๋ฆฌ์ฆ˜์„ ๊ตฌ์„ฑํ•จ ํ•ด๊ฒฐ๊ณผ์ • 2021. 10. 24.
Discrete Mathematics (HW2) Anti-King sudoku Anti - king Sudoku ๋ฌธ์ œ ๊ธฐ์กด์˜ ์ˆ˜๋„์ฟ  ๋ฌธ์ œ์™€ ๋™์ผํ•˜๋ฉด์„œ ์—ฐ์†๋œ 3๊ฐœ์˜ ์นธ์— ๊ฒน์น˜๋Š” ์ˆซ์ž๊ฐ€ ์กด์žฌํ•˜๋ฉด ์•ˆ๋€๋‹ค. ์ฆ‰, ์™•์ด ๋‹ค๋‹ ์ˆ˜ ์žˆ๋Š” ๊ตฌ์—ญ์— ๋™์ผํ•œ ์ˆซ์ž๊ฐ€ ์กด์žฌํ•˜๋ฉด ์•ˆ๋€๋‹ค. sat - solver๋ฅผ ์ด์šฉํ•ด propositional logic์„ ๋งŒ๋“ค๊ณ  Quentifier ํ‘œํ˜„์„ ํ†ตํ•ด์„œ ์ปดํ“จํ„ฐ๊ฐ€ ์›ํ•˜๋Š” ๊ฒฐ๊ณผ๊ฐ’์„ ์ฆ‰, ๋ฌธ์ œ๋ฅผ ํ’€ ์ˆ˜ ์žˆ๋„๋ก ์ฝ”๋“œ๋ฅผ ๊ตฌํ˜„ํ•˜๋Š” ๋ฌธ์ œ ์ปดํ“จํ„ฐ์—๊ฒŒ ๋…ผ๋ฆฌ์  ์—ฐ์‚ฐ์„ ์ž…๋ ฅ์‹œ์ผœ ํ•ด๋‹น ์กฐ๊ฑด์— ๋งŒ์กฑํ•˜๋Š” ๋ฌธ์ œ๋ฅผ ํ’€ ์ˆ˜ ์žˆ๋„๋ก ๋งŒ๋“ค ์ˆ˜ ์žˆ๋Š” ์‹ ๊ธฐํ•œ ๋ฌธ์ œ์™€ ์ ‘๊ทผ ๋ฐฉ์‹์ด์—ˆ๋‹ค. 2021. 10. 24.

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