학부생을 위한 이 강연에서는 고전적 튜링 기계의 기본적 정의로부터 시작하여
• 튜링기계를 비롯한 다양한 컴퓨터 모델의 복잡도 개념;
• 계산(불)가능성 – 특히 디오판틴 방정식의 알고리즘적 해결법 (힐버트의 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를 해결하기 위한 대수/대수기하학적 접근법
에 대하여 설명할 것이다.
곡선의 정의란 무엇인가?
Fano manifolds of Calabi-Yau Type
젊은과학자상 수상기념강연: From particle to kinetic and hydrodynamic descriptions to flocking and synchronization
Noncommutative Geometry. Quantum Space-Time and Diffeomorphism Invariant Geometry
정년퇴임 기념강연회: 숙제
Randomness of prime numbers
Non-commutative Lp-spaces and analysis on quantum spaces
학부생을 위한 ε 강연회: Sir Isaac Newton and scientific computing
학부생을 위한 ε 강연회: Mathematics from the theory of entanglement
Combinatorial Laplacians on Acyclic Complexes
정년퇴임 기념강연: Volume Conjecture
Fefferman's program and Green functions in conformal geometry
Subgroups of Mapping Class Groups
Categorification of Donaldson-Thomas invariants
Random conformal geometry of Coulomb gas formalism
Brownian motion and energy minimizing measure in negative curvature
Seeded Ising Model for Human Iris Templates and Secure Distributed Iris Recognition
<학부생을 위한 ɛ 강연> 기하와 대수의 거울대칭
W-algebras and related topics
<학부생을 위한 ɛ 강연> Geometry and algebra of computational complexity