APT 求解器改进：巧妙解决手动安装包的删除问题

本文介绍了作者改进 APT 包管理器求解器的方法。最初，手动安装的包被视为固定事实，自动安装的包为可选单元子句。然而，允许删除手动安装包后，求解器出现错误：它可能不必要地删除手动安装的包。作者通过在求解前假设所有可选单元子句，然后在求解过程中逐步撤销假设来解决此问题。这种方法虽然不是全局最优解，但在实践中能有效解决依赖性问题，避免了指数级复杂度的全局搜索。