问一下，dijkstra的证明和贪心选择性质的证明面试会问吗，算法里的抽象部分好难啊