학부생을 위한 이 강연에서는 고전적 튜링 기계의 기본적 정의로부터 시작하여
• 튜링기계를 비롯한 다양한 컴퓨터 모델의 복잡도 개념;
• 계산(불)가능성 – 특히 디오판틴 방정식의 알고리즘적 해결법 (힐버트의 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 | <학부생을 위한 ɛ 강연> Secure computation: Promise and challenges | 송용수 | <학부생을 위한 ɛ 강연> Secure computation: Promise and challenges |
Special Colloquia | Regularity of solutions of Hamilton-Jacobi equation on a domain | ENS-Lyon | Albert Fathi |
Special Colloquia | What is Weak KAM Theory? | ENS-Lyon | Albert Fathi |
Math Colloquia | Fano manifolds of Calabi-Yau Type | 서울대학교 | Atanas Iliev |
Math Colloquia | Sums of squares in quadratic number rings | Univ. of Kentucky | David Leep |
Special Colloquia | Queer Lie Superalgebras | Univ. of Texas, Arlington | Dimitar Grantcharov |
Math Colloquia | Entropies on covers of compact manifolds | CNRS (France) | François Ledrappier |
Math Colloquia | Quantum Dynamics in the Mean-Field and Semiclassical Regime | Ecole Polytechnique | Francoise Golse |
Math Colloquia | Random walks in spaces of negative curvature | Yale Univ. | Giulio Tiozzo |
Classification of simple amenable operator algebras | Lakehead University | Grazia Viola | |
Special Colloquia | Persistent Homology | Stanford University | Gunnar E. Carlsson |
Special Colloquia | Structures on Persistence Barcodes and Generalized Persistence | Stanford University | Gunnar E. Carlsson |
Special Colloquia | Topological Mapping of Point Cloud Data | Stanford University | Gunnar E. Carlsson |
Math Colloquia | The Shape of Data | Stanford University | Gunnar E. Carlsson |
Math Colloquia | The significance of dimensions in mathematics | Kyoto Univ./서울대학교 | Heisuke Hironaka |
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 | Noncommutative Surfaces | 서강대학교 | Jens Hoppe |
BK21 FOUR Rookies Pitch | 2022-1 Rookies Pitch: Harmonic Analysis (Kalachand Shuin) | BK21 | Kalachand Shuin |
Math Colloquia | Conformal field theory and noncommutative geometry | 동경대학교 | Kawahigashi |
Math Colloquia | Faithful representations of Chevalley groups over quotient rings of non-Archimedean local fields | Univ. Bremen | Keivan Mallahi-Karai |