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