학부생을 위한 이 강연에서는 고전적 튜링 기계의 기본적 정의로부터 시작하여
• 튜링기계를 비롯한 다양한 컴퓨터 모델의 복잡도 개념;
• 계산(불)가능성 – 특히 디오판틴 방정식의 알고리즘적 해결법 (힐버트의 10번째 문제);
• Non-deterministic 튜링 기계, NP 완정성과 P vs NP;
• 다른 컴퓨터 모델에 입각한 P vs NP 문제;
• P vs NP를 해결하기 위한 대수/대수기하학적 접근법
에 대하여 설명할 것이다.
Lecturer | 현동훈 |
---|---|
Dept. | 서울대학교 |
date | May 09, 2019 |
학부생을 위한 이 강연에서는 고전적 튜링 기계의 기본적 정의로부터 시작하여
• 튜링기계를 비롯한 다양한 컴퓨터 모델의 복잡도 개념;
• 계산(불)가능성 – 특히 디오판틴 방정식의 알고리즘적 해결법 (힐버트의 10번째 문제);
• Non-deterministic 튜링 기계, NP 완정성과 P vs NP;
• 다른 컴퓨터 모델에 입각한 P vs NP 문제;
• P vs NP를 해결하기 위한 대수/대수기하학적 접근법
에 대하여 설명할 것이다.
Category | Subject | Dept. | Lecturer |
---|---|---|---|
Math Colloquia | Codimension Three Conjecture | 교토대학교/서울대학교 | Masaki Kashiwara |
Math Colloquia | Categorical representation theory, Categorification and Khovanov-Lauda-Rouquier algebras | Kyoto University/서울대학교 | Masaki Kashiwara |
Math Colloquia | Riemann-Hilbert correspondence for irregular holonomic D-modules | 서울대학교/RIMS | Masaki Kashiwara |
Math Colloquia | The classification of fusion categories and operator algebras | Kyoto University | Masaki Izumi |
Math Colloquia | Conservation laws and differential geometry | Univ. of Wisconsin | Marshall Slemrod |
Math Colloquia | Quasi-homomorphisms into non-commutative groups | Kyoto Univ. | Koji Fujiwara |
Math Colloquia | Number theoretic results in a family | Univ. of Toronto / KIAS | Kim, Henry |
Math Colloquia | A-infinity functor and topological field theory | Simons Center for Geometry and Physics | Kenji Fukaya |
Math Colloquia | Deformation spaces of Kleinian groups and beyond | Osaka University | Kenichi Ohshika |
Math Colloquia | Analytic torsion and mirror symmetry | Kyoto University | Ken-ichi Yoshikawa |
Math Colloquia | Faithful representations of Chevalley groups over quotient rings of non-Archimedean local fields | Univ. Bremen | Keivan Mallahi-Karai |
Math Colloquia | Conformal field theory and noncommutative geometry | 동경대학교 | Kawahigashi |
Math Colloquia | Noncommutative Surfaces | 서강대학교 | Jens Hoppe |
Math Colloquia | Topological aspects in the theory of aperiodic solids and tiling spaces | Georgia Institute of Technology, School of Mathematics and School of Physics | Jean V. Bellissard |
Math Colloquia | The significance of dimensions in mathematics | Kyoto Univ./서울대학교 | Heisuke Hironaka |
Math Colloquia | The Shape of Data | Stanford University | Gunnar E. Carlsson |
Math Colloquia | Random walks in spaces of negative curvature | Yale Univ. | Giulio Tiozzo |
Math Colloquia | Quantum Dynamics in the Mean-Field and Semiclassical Regime | Ecole Polytechnique | Francoise Golse |
Math Colloquia | Entropies on covers of compact manifolds | CNRS (France) | François Ledrappier |
Math Colloquia | Sums of squares in quadratic number rings | Univ. of Kentucky | David Leep |