๐ Major Study (Bachelor)/๐ข Discrete Mathematics9 HW4 (Drawing "Hasse Diagram") Hasse Diagram with C Language 2022. 1. 2. HW3 (Implementation with Recursive) Palindrome Well-Balanced and Properly nested parenthesis Postfix Arithmetic Expression 2022. 1. 2. Dijkstra's Algorithm Shortest Path Problem Weight graph๋ Node ์ Edge ๊ทธ๋ฆฌ๊ณ weight๊ฐ ์๋ ๊ทธ๋ํ๋ฅผ ์๋ฏธํ๋ค. (V, E, W) Node ๊ฐ์ ์ฐ๊ฒฐ์ฑ๊ณผ ํน์ง์ ๋ณด์ฌ์ฃผ๋ ๊ฒ์ด W์ด๋ค. Path = sequence of edge length of path ๋ number of edge ๊ฐ ๋๋ค. Q) What is shortest path? Boston ์์ LA๋ก ๊ฐ๋ ๊ฐ์ฅ ์งง์ ๊ธธ์ ์ด๋ค ์กฐํฉ์ด ๋ ๊น..? Positive weight๋ฅผ ๊ฐ์ง๊ณ ์์์ ๊ฐ์ ํ๋ค. a์์ z ๋ก ๊ฐ๋ Shortest Path๋ฅผ ์ฐพ๋๋ค. : ํด๋น ๋ ธ๋์ ์ฃผ๋ณ๋ง์ ํ์ธํ๋ฉด์ ์์ ๋ ธ๋๋ก ๋ถํฐ ์ด๋ ๊ธธ์ด ๊ฐ์ฅ ์งง์ ๊ธธ์ด ๋๋์ง๋ฅผ ํ์ธํ๋ค. ๋ชจ๋ ๊ณผ์ ์ ํ ํ์์์ด ์ด์์ผ๋ก ๋ถํฐ Path์ ๊ธธ์ด๊ฐ ์ผ๋ง์๋์ง๋ง .. 2021. 12. 10. ์ค์ผ๋ฌ ํ๋ก (Euler's Path), ์ค์ผ๋ฌ ์ํท(Euler's Circuit) Introduction "๋น๋ฐ์ด ๋ญ๋๋ฉด... ๋ํ์ํ์ด ๋๋๋ฉด ๋ฐฉํ์ด ์์ด์ ธ์... ๋ฌด์ธ๊ฐ๋ฅผ ํ ์ ์๋ ๋ด ์๊ฐ์ด ์์ด์ง๋ค... ๋ํ์์ ์ ๋ฐฉํ์ '๊ธ'๊ณผ ๊ฐ์ ๊ฒ ํ์ง๋ง ์ฌ๋์ ๊ทธ๋ ๊ฒ ์ํ๋ค. ๋ถ์ํ๋ค. ๋ฌธ์ ์์ง๋ง ๋ถ์ํ๋ค. ๊ธธ๊ฒ ์ฐ๋ค๋ ๊ฒ ํ๋ค๊ณ , ๋ถ๊ฐํผํ๊ฒ ์ฌ๋ ๊ฒ์ ํธํ์ง ์๋ค... * ๋ ธ๋ ๊ฒ ๋ถํฐ ์ฑ์๋ผ * 11์ฃผ ์ ๋์ ๋ฐฉํ๊ธฐ๊ฐ. ๋ฐ์ ๋์๋ผ ๋ถ๋ ์๋ฐ์ ์ผ๋ก ํ ์ ์๋ ๊ฒ์ ํ๋ฉด์ ๋์๋ผ. ์ฆ, ๋์ง ๋ง๋ผ. ๋ ธ๋ ๋ฏํ์ง๋ง ๋์ง ๋ง๋ผ" HW4 ํญ๊ณผ ๋์ด๋ฅผ ๋จผ์ ๊ตฌํด์ผ ๋๋ค. Visual ํ๊ธฐ ์ ์ Hasse Diagram์ Excel ๋ก ๊ทธ๋ ค๋ด๋ผ -> Coordination์ ๋ํ ๊ฐ๊ฐ Grid๋ฅผ ํ์ฅํ๊ณ Node๋ฅผ ๋ถ์ฌ๋ฃ๋ ๋ฐฉ์ Graph Isomorphism of Graph iso ==.. 2021. 12. 7. Hall's Marriage Theorem, Isomorphism of Graph Hall's Marriage Theorem ๊ทธ๋ํ๊ฐ Hall's condition์ ์๋ค๋ ๊ฒ์ Matching ์ด ์๋ค๋ ๊ฒ์ ์๊ธฐํ๋ค.(if and only if) If there is Matching there is Hall's Condition satisfied If Hall's Condition is satisfied, There is a matching. ๋งค์นญํ๋ค๋ ๊ฒ์ด ๋ณด์ฅ๋๋ฉด Correspondence ํ Super Graph. => Matching ํ ๊ฒ์ด Hall's Condition์ ๋ง์กฑํ๋ค๋ ๊ฒ์ด ์ ๋ฆฌ Induction Basis V1 Perfect Matching์ด Induction basis์ ๋ค์ด๊ฐ๋ค. (๋จ๋ ์ง์์ ํ๋ฉด ๋น์ฐํ ์ด๋ ๊ณณ์ด๋ ๋ค์ด๊ฐ ์ ์๋ค๋ผ๊ณ ์๊ฐํ๋ฉด ๋จ) .. 2021. 12. 3. Discrete Mathematics 10Week HW3 : ์ผ์ชฝ์๋ Single symbol : ์ค๋ฅธ์ชฝ์ set of sequence๊ฐ ์ฃผ์ด์ง๋ค. : symbol abstract thing์ด์ฌ์ Concrete ํ๊ฒ ํํํ ํ์๊ฐ ์๋ค. --> ์ฆ p, q , True false ๋ก ํํํด์ผ ํ๋ค. ์ด๋ป๊ฒ ๋ชจ๋ String์ ํํํ ์ ์์๊น? Explore all possible replacement!!!!!! : limit the maximum bound of the string : ๊ทธ๋ฅ ํ๋ฉด ๋ผ์ : ๊ฐ์ sequence๋ฅผ ๋ง๋๋๋ฐ ๋ค๋ฅธ ๊ณผ์ ์ด ์กด์ฌํ๋ค 2021. 11. 2. 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. ์ด์ 1 ๋ค์