刘汝佳紫书中一直用的是BF的队列优化，然后我也知道一个BF的队列优化是SPFA，我看了一下代码感觉写的是一个东西，所以刘汝佳那个时候SPFA这个概念没被提出吗？那如果那个时候就已经有这种写法，SPFA为什么还会被提出？