학부생을 위한 이 강연에서는 고전적 튜링 기계의 기본적 정의로부터 시작하여
• 튜링기계를 비롯한 다양한 컴퓨터 모델의 복잡도 개념;
• 계산(불)가능성 – 특히 디오판틴 방정식의 알고리즘적 해결법 (힐버트의 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를 해결하기 위한 대수/대수기하학적 접근법
에 대하여 설명할 것이다.
Partial differential equations with applications to biology
Diophantine equations and moduli spaces with nonlinear symmetry
Symplectic Geometry, Mirror symmetry and Holomorphic Curves
Toward bridging a connection between machine learning and applied mathematics
돈은 어떻게 우리 삶에 돈며들었는가? (불확실성 시대에 부는 선형적으로 증가하는가?)
<학부생을 위한 ɛ 강연> Self-Supervised Learning in Computer Vision
Limit computations in algebraic geometry and their complexity
Geometry, algebra and computation in moduli theory
<학부생을 위한 ɛ 강연> Geometry and algebra of computational complexity
Mechanization of proof: from 4-Color theorem to compiler verification
젊은과학자상 수상기념강연: From particle to kinetic and hydrodynamic descriptions to flocking and synchronization
One and Two dimensional Coulomb Systems
Seeded Ising Model for Human Iris Templates and Secure Distributed Iris Recognition
극소곡면의 등주부등식
원의 유리매개화에 관련된 수학
학부생을 위한 ε 강연회: Constructions by ruler and compass together with a conic
An equivalent condition to Bohr's for Dirichlet series
Birational Geometry of varieties with effective anti-canonical divisors
Fermat´s last theorem
A modified separation method to solve a heat-transfer boundary value problem
