APT 솔버 개선: 수동 설치 패키지 제거를 우아하게 처리하기

이 게시글에서는 APT 패키지 매니저 솔버의 개선 사항을 자세히 설명합니다. 처음에는 수동으로 설치된 패키지는 고정된 사실로 처리되었고, 자동으로 설치된 패키지는 선택적 단위 절이었습니다. 하지만 수동으로 설치된 패키지의 제거를 허용하자 솔버가 깨지면서 불필요하게 패키지를 제거할 수 있었습니다. 저자는 처음에 모든 선택적 절을 가정한 다음, 해결 과정에서 이러한 가정을 단계적으로 취소하여 이 문제를 해결했습니다. 이 방법은 전역적으로 최적이 아니지만, 종속성 해결에 있어 실제로 효과적이며 전역 검색의 지수적 복잡성을 피할 수 있습니다.