下列四種排程演算法，理論上哪一種可得到最短的平均等待時間？

最短工作優先（SJF）優先執行預估執行時間最短的行程，能最快釋放處理器資源給後續行程，理論上被證明可得到最小的平均等待時間。