컴퓨터 과학자가 노동조합 파업을 분석하는 방법
Fixed Points and Strike Mandates
컴파일러와 프로그램 분석에서 고정점을 찾을 때, 우리는 종종 최소 또는 최대 고정점 중 하나를 무의식적으로 선택한다. 이 글은 데드 코드 제거와 같은 예시를 통해 이러한 경향을 설명하고, 퀘벡의 학생 노동조합 파업 투표에 동일한 원리를 적용한다. 파업 조건이 단조 함수일 때, 최대 고정점을 찾아야 모든 조합이 동시에 파업에 돌입할 수 있다. 저자는 추상 수학이 현실 문제를 해석하는 데 도움이 된다고 강조한다.
우리가 어떤 고정점을 찾고 있는지에 주의를 기울이지 않을 때, 인간은 문제에 따라 일관되게 최소 또는 최대 고정점으로 수렴하는 알고리즘을 개발하는 것처럼 보인다.