Models and Problem Formulation¶
INFOCOM 这个会，最让我🥚疼的就是看形式化+算法设计这一部分 ...
懒得琢磨了，gemini2.5pro 启动!
-
建模：我们把复杂的卫星网络，通过“时间切片”的方式，简化成了一系列静态的“地图”
-
定目标：我们的目标是让“最后一个包裹”尽快送达，以缩短“总任务时间”
-
定规则：我们采用“拆包+多路径”的策略，但必须遵守“路不能堵”、“包裹不能丢”等规则
-
下结论：我们证明了找到这个问题的完美解是“NP-难”的，计算上行不通。因此，我们必须设计一种聪明的、高效的近似算法来解决它