【问题描述】
在SPFA算法中,发现若设置inf=0x7fffffff表示无穷大,则算法输出结果错误。
后来,选择设置inf=0x3f3f3f3f表示无穷大,则算法输出结果正确。
【问题分析】
原因在于选择0x7fffffff作为无穷大,不能满足“无穷大加一个有穷的数依然是无穷大”或“无穷大加无穷大依然是无穷大”的操作。分析问题,发现在使用上述两个操作的环境下,比如各类最短路径算法中常使用的松弛操作,若选择0x7fffffff作为无穷大会溢出,导致操作结果变成一个很小的负数,从而出错。所以,在更多情况下,选择0x7fffffff作为无穷大并不是一个好的选择。
分析大牛代码,发现最精巧的无穷大常量取值是inf=0x3f3f3f3f。
事实上,0x3f3f3f3f+0x3f3f3f3f=2122219134,这非常大但没有超过32-bit int的表示范围。所以0x3f3f3f3f满足了“无穷大加无穷大依然是无穷大”的需求。
【参考文献】
https://blog.csdn.net/L_apple8/article/details/52525752
使用0x3f3f3f3f而不是0x7fffffff表示无穷大
于 2019-11-08 21:15:11 首次发布