如果一个图论问题说：
有一个n个点， m条边的带权有向连通图，保证图中没有负环，所有边权都是正数
且n，m的大小（1e5~1e6左右）限定了只能用邻接表
如果出题人卡spfa，那么是不是就意味着这道题不能AC？如果可以AC的话，是不是只能用堆优化的dijkstra？
（毕竟一般情况下spfa(一般的时间复杂度：o(m)，最坏o(nm))的时间复杂度要好于dijkstra(朴素n^2，堆优化(nlogn)),bellman_ford(nm),floyd(n^3))