如题，求@kcn999 的题解（priority_queue+map）的做法的时间复杂度证明。

看起来好像每个人是可以重复入队的，口胡+瞎猜总的入队次数应该是O(n)级别的，但是没法证明，求指导