Video - <학부생을 위한 ɛ 강연> Geometry and algebra of computational complexity

Extra Form
Lecturer	현동훈
Dept.	서울대학교
date	May 09, 2019

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 $file$	송용수	<학부생을 위한 ɛ 강연> Secure computation: Promise and challenges
Math Colloquia	Fano manifolds of Calabi-Yau Type $file$	서울대학교	Atanas Iliev
Math Colloquia	Sums of squares in quadratic number rings $file$	Univ. of Kentucky	David Leep
Math Colloquia	Entropies on covers of compact manifolds $file$	CNRS (France)	François Ledrappier
Math Colloquia	Quantum Dynamics in the Mean-Field and Semiclassical Regime $file$	Ecole Polytechnique	Francoise Golse
Math Colloquia	Random walks in spaces of negative curvature $file$	Yale Univ.	Giulio Tiozzo
Math Colloquia	The Shape of Data $file$	Stanford University	Gunnar E. Carlsson
Math Colloquia	The significance of dimensions in mathematics $file$	Kyoto Univ./서울대학교	Heisuke Hironaka
Math Colloquia	Topological aspects in the theory of aperiodic solids and tiling spaces $file$	Georgia Institute of Technology, School of Mathematics and School of Physics	Jean V. Bellissard
Math Colloquia	Noncommutative Surfaces $file$	서강대학교	Jens Hoppe
Math Colloquia	Conformal field theory and noncommutative geometry $file$	동경대학교	Kawahigashi
Math Colloquia	Faithful representations of Chevalley groups over quotient rings of non-Archimedean local fields $file$	Univ. Bremen	Keivan Mallahi-Karai
Math Colloquia	Analytic torsion and mirror symmetry $file$	Kyoto University	Ken-ichi Yoshikawa
Math Colloquia	Deformation spaces of Kleinian groups and beyond $file$	Osaka University	Kenichi Ohshika
Math Colloquia	A-infinity functor and topological field theory $file$	Simons Center for Geometry and Physics	Kenji Fukaya
Math Colloquia	Number theoretic results in a family $file$	Univ. of Toronto / KIAS	Kim, Henry
Math Colloquia	Quasi-homomorphisms into non-commutative groups $file$	Kyoto Univ.	Koji Fujiwara
Math Colloquia	Conservation laws and differential geometry $file$	Univ. of Wisconsin	Marshall Slemrod
Math Colloquia	The classification of fusion categories and operator algebras $file$	Kyoto University	Masaki Izumi
Math Colloquia	Sheaf quantization of Hamiltonian isotopies and non-displacability problems $file$	Kyoto Univ./서울대학교	Masaki Kashiwara