Tags

25 pages

Mathematics

[Algorithm] C++/Python 백준 9244번: 핀볼 - 스위프 라인

선분이 서로 교차하지 않는 핀볼 보드에서 x=x0로 공을 떨어뜨릴 때, 선분을 만난 뒤에는 더 낮은 끝점으로 흘러 다시 수직 낙하합니다. 스위프 라인과 활성 집합으로 각 선분 하단에서 바로 아래 선분을 연결해 흐름 그래프를 만든 뒤, 시작 x에서 최상단 선분부터 따라 내려가 O(N log N)으로 최종 x좌표를 구합니다. 정수 기하 비교로 오차 없이 안전하게 구현합니다.
[Algorithm] C++/Python 백준 9244번: 핀볼 - 스위프 라인

[ComputerScience] 알론조 처치: 컴퓨터 과학의 숨은 거장

알론조 처치는 람다 계산법, 처치-튜링 논제, 결정문제 연구 등 컴퓨터 과학과 논리학의 토대를 마련한 천재 수학자입니다. 그는 튜링, 괴델, 폰 노이만 등과의 교류, 그리고 소박한 삶에도 불구하고 남긴 이론적 업적을 통해 계산 이론, 인공지능, 프로그래밍 언어 연구 등 다양한 분야에 깊은 영향을 끼쳤으며, 그의 조용한 천재성은 오늘날까지 이어지고 있습니다.
[ComputerScience] 알론조 처치: 컴퓨터 과학의 숨은 거장