Large-scale Knowledge Processing: Lecture 12
2025.1.15 (Wed) 2nd period
Today's Lecture: Graph Calculus and NP vs. coNP (Advanced Topic)
Note: Today's lecture is an advanced topic. Hence, if you don't learn today's lecture, you will still have no problem writing your report.
- Graph Calculus
- Hajós Calculus
- Hajós number and NP vs. coNP
- Hajós number and Proof Complexity
Materials
Slide
Video
2025.1.8 Constructed. Lecturer:Kazuhisa Seto
seto @ ist.hokudai.ac.jp