Tags

5 pages

Logic

[Algorithm] C++ 백준 14737번 Dev, Please Add This!

격자에서 공을 상하좌우로 굴려 벽이나 가장자리에 닿을 때까지 이동하는 퍼즐에서, 모든 별을 하나의 플레이 순서로 획득할 수 있는지 판정한다. 단순 커버리지가 아니라 이동 순서 제약이 존재하므로 셀 단위 이동을 단방향 그래프로 모델링하고, 강한 연결 요소(SCC)로 압축한 DAG에서 상호 비가역(서로 도달 불가)한 컴포넌트 쌍의 동시 방문을 금지하는 제약과 각 별이 있는 칸의 행/열 중 하나의 정지 컴포넌트를 반드시 방문해야 한다는 제약을 2-SAT으로 구성해 모순 여부로 YES/NO를 결정한다. Kosaraju로 SCC를 구하고 DAG 도달성은 비트셋 DP로 처리하여 50×50까지 빠르게 동작한다.
[Algorithm] C++ 백준 14737번 Dev, Please Add This!

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

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