예전에 이산수학/그래프이론 관련 교과목을 정리해서 올린 적이 있었습니다. 타 학과 특강으로 개설된 교과목을 눈여겨 보지 않을 가능성이 있어서 정리해봅니다.
MAS583 Advanced Graph Theory
화목 14:30-15:45 김재훈
Extremal graph theory 최신 연구에 접근할 수 있는 내용을 강의하실 걸로 생각합니다. 2020년 같은 과목 강의하실 때의 강의 노트 및 영상이 김재훈 교수님 홈페이지에 올라와 있습니다만 아마도 강의 내용은 변화가 있지 않을까 추측해봅니다.
CS492C Selected Topics in Computer Science <Graph Classes, Algorithms and Logic>
화목 10:30-11:45, 김은정
그래프이론과 관련이 깊은 finite model theory 관련 내용도 배울 수 있고 sparse graph에 관한 비교적 최신 연구 내용도 소개하시는 것 같습니다. Syllabus에 언급된 주요 내용은 아래와 같습니다.
- Regular language, MSO logic, Büchi’s theorem
- Tree language, tree automata
- Treewidth. Proof of Courcelle’s theorem
- Ehrenfeucht-Fraisse games
- Gaifman’s theorem
- Seese’s theorem
- First-order model checking on classes of graphs of bounded expansion
CS492D Selected Topics in Computer Science <Algorithmic Graph Theory>
화목 13:00-14:15, Sebastian Wiederrecht
그래프군의 구조적 분석, 그래프 판별 알고리듬, 그리고 효율적인 그래프 알고리듬 설계 관련 내용을 다룬다고 합니다. Syllabus에 언급된 주요 내용은 아래와 같습니다.
- Interval graph 및 관련 알고리듬
- Chordal graph 및 관련 알고리듬
- Perfect graph와 circle graph 관련 내용
- 평면 그래프 관련 내용
IE631 Integer Programming정수계획법
월수 14:30-15:45, 이다빈
조합적 최적화, 정수계획법을 다루는 정규 교과목입니다. Matching, Traveling Salesman Problem, Perfect Graph, Ellipsoid Method 등 흥미로운 주제를 접할 수 있습니다.
MAS275 Discrete Mathematics
화목 14:30-15:45, 김동수
매년 봄마다 정기적으로 열리는 이산수학 과목이라서 이 글에서는 뺄까 하다가 넣었습니다. 이 과목을 안 들었다면 앞에서 언급한 고급 과목을 들을 준비가 안 되었을 가능성이 높습니다.