학부생을 위한 이 강연에서는 고전적 튜링 기계의 기본적 정의로부터 시작하여
• 튜링기계를 비롯한 다양한 컴퓨터 모델의 복잡도 개념;
• 계산(불)가능성 – 특히 디오판틴 방정식의 알고리즘적 해결법 (힐버트의 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 |