在大小上按字法排列的最小排列，具有大于所有先前整数的B个整数

这个问题可以被理解为：给定一个已有序的整数序列S和一个正整数B，找到一个最小的排列P，使得P中任意一个数都大于S中任意一个数，且P中包含B个元素。

以下是一个可能的解决方案：

思路

1. 从序列S中取出一个最大的数字M。
2. 构造一个长度为B的排列P，其中前B-1个元素都等于M。
3. 考虑最后一个元素N，如果N比M大，则P就是一个合法的排列；如果N比M小，则我们需要继续调整N的值。
4. 我们会发现，只要把N设置为M+1，那么它就一定比M大。但是，这样可能造成P中有重复元素，因此需要将N的值尽可能地减小，直至P中没有重复元素。
5. 重复步骤4和步骤5，直到找到一个符合要求的排列P。

需要注意的是，在步骤4中，我们需要使用二分查找来减小N的值，以保证效率。

代码

以下是一个可能的Python实现：

def find_smallest_permutation(S, B):
    P = [max(S)] * (B - 1)
    low, high = P[-1], float('inf')
    while True:
        mid = (low + high) // 2
        N = mid + 1
        if N in P:
            high = mid - 1
        else:
            P.append(N)
            if len(P) == B:
                return P
            low = P[-1]

示例

假设S为[1, 3, 4]，B为4，那么根据上述算法，可以得到如下排列：

[4, 4, 4, 5]

这是一个符合要求的排列，其中第4个元素5比S中任意一个数都大。