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

๐Ÿš— 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.