레오니드 레빈: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
편집 요약 없음 |
편집 요약 없음 |
||
1번째 줄:
[[파일:LeonidLevin2010.jpg|thumb|180px|레오니드 레빈]]
'''레오니드 레빈'''({{lang|en|Leonid Levin}}, [[1948년]] [[11월 2일]] ~ )은 [[소련]]의
[[전산학]]의 이론적 기반을 연구하면서 [[계산이론]], [[정보 이론]] 등에서 많은 업적을 남겼다. 특히 [[스티븐 쿡]]이 발견한 [[NP-완전]]을 1973년에 독자적으로 발견했다. ‘쿡의 정리’ 혹은 ‘쿡-레빈 정리’라고 부르는 이 정리는 [[전산학]] 분야의 획기적 발견이며, [[계산 복잡도 이론]]의 중요한 이론적 기반이다.
|