APTソルバーの改良：手動インストールパッケージの削除をエレガントに処理する
2025-05-27
この記事では、APTパッケージマネージャソルバーの改良について説明しています。当初、手動でインストールされたパッケージは固定された事実として扱われ、自動的にインストールされたパッケージはオプションのユニット節でした。しかし、手動でインストールされたパッケージの削除を許可すると、ソルバーが壊れてしまい、不要にパッケージを削除する可能性がありました。著者は、最初にすべてのオプションの節を仮定し、その後、解決プロセス中にこれらの仮定を段階的に取り消すことで、この問題を解決しました。このアプローチは、グローバルに最適ではないものの、依存関係の解決において実践的に効果的であり、グローバル検索の指数関数的な複雑さを回避します。
続きを読む
開発