에츠허르 다익스트라

프로그램을 실행 요령이 아니라 증명하고 설명할 수 있는 지적 대상으로 만든 컴퓨터 과학자. 다익스트라는 1956년 네덜란드 64개 도시의 최단 경로를 보여 주는 컴퓨터 시연을 위해 알고리즘을 설계했고 1959년 논문으로 발표했다. 카페에서 약혼녀와 쉬며 약 20분 만에 생각했다는 이야기는 그의 후대 회고지만, 냅킨에 적었다는 장식은 근거가 없다. 이 알고리즘은 음수 가중치가 없는 그래프에서 작동하며 GPS나 라우팅 시스템은 여러 알고리즘과 실시간 자료를 함께 쓴다. 1968년 편지는 무제한 goto가 프로그램 이해를 해친다고 주장했고, 편집자가 붙인 제목이 유명해졌다. 그의 더 큰 유산은 동시성·세마포어·정형적 추론과 구조적 프로그래밍에 있다.

아래 내용은 확인된 역사적 사실이 아니라, 이 인물의 영향을 생각해 보는 가정입니다.

다익스트라 알고리즘은 “가장 가까운 미확정 지점을 하나씩 확정한다”는 선택이 왜 되돌릴 필요가 없는지 증명하는 데 재미가 있다. 음수 간선이 생기면 논리가 깨지는 반례에서 중급으로, 우선순위 큐·복잡도·다른 최단경로 알고리즘 비교에서 고급으로 이어진다.