给定字符串 s， 其特征子序列 t 满足： 子序列中的字符各不相同； s 中的各种字符都能在 t 中找到； 对于一个字符串 s，可能会对应多个特征子序列，其中字典序最小的特征序列称为“最优特征子序列”。 请写一个程序，返回字符串的最优特征子序列。要求时间复杂度不超过 O(N)。要求输入一行长度为N。然后输入一行长度为N的s字符串。输出要求的最优特征子序列。

我们可以用贪心算法来解决这个问题。我们从左到右遍历字符串 s，对于每一个字符，如果它在特征子序列 t 中出现过，我们就跳过它；否则，我们将它加入到特征子序列 t 中，并将 t 中所有比它大的字符都从 t 中删除。

具体来说，我们可以用一个桶来记录每个字符是否在 t 中出现过。对于每个字符，我们检查它是否在桶中出现过，如果出现过，我们就跳过它；否则，我们将它加入到 t 的末尾，并从 t 的末尾开始删除所有比它大的字符。

时间复杂度为 O(N)，因为我们只需要遍历一遍字符串 s，并且桶的大小是固定的，与字符串长度无关。

以下是 Python 代码实现：

n = int(input())
s = input()

t = []
seen = [False] * 26
for c in s:
    idx = ord(c) - ord('a')
    if not seen[idx]:
        while t and t[-1] > c and s.find(t[-1], s.find(c)+1) != -1:
            seen[ord(t[-1]) - ord('a')] = False
            t.pop()
        t.append(c)
        seen[idx] = True

print(''.join(t))