2734-执行子串操作后的字典序最小字符串

给你一个仅由小写英文字母组成的字符串 s 。在一步操作中，你可以完成以下行为：

• 选择 s 的任一非空子字符串，可能是整个字符串，接着将字符串中的每一个字符替换为英文字母表中的前一个字符。例如，’b’ 用 ‘a’ 替换，’a’ 用 ‘z’ 替换。

返回执行上述操作 恰好一次 后可以获得的 字典序最小 的字符串。

子字符串 是字符串中的一个连续字符序列。

现有长度相同的两个字符串 x 和 字符串 y ，在满足 x[i] != y[i] 的第一个位置 i 上，如果 x[i] 在字母表中先于
y[i] 出现，则认为字符串 x 比字符串 y 字典序更小 。

示例 1：

**输入：** s = "cbabc"
**输出：** "baabc"
**解释：** 我们选择从下标 0 开始、到下标 1 结束的子字符串执行操作。 
可以证明最终得到的字符串是字典序最小的。

示例 2：

**输入：** s = "acbbc"
**输出：** "abaab"
**解释：** 我们选择从下标 1 开始、到下标 4 结束的子字符串执行操作。
可以证明最终得到的字符串是字典序最小的。

示例 3：

**输入：** s = "leetcode"
**输出：** "kddsbncd"
**解释：** 我们选择整个字符串执行操作。
可以证明最终得到的字符串是字典序最小的。

提示：

• 1 <= s.length <= 3 * 105
• s 仅由小写英文字母组成

下午两点【biIibiIi@灵茶山艾府】 直播讲题，记得关注哦~

---

根据题意，把 a 替换成 z 会让字典序变大，所以子串里面是不能包含 a 的。

替换其它字符可以让字典序变小。

那么从左到右找到第一个不等于 a 的字符 s[i]，并向后不断减一，直到 s 末尾或者遇到了 a。

特别地，如果 s 全为 a，由于题目要求选择的子串是非空的，且必须操作一次，那么就把最后一个 a 改成 z。

[sol-Python3]

class Solution:
    def smallestString(self, s: str) -> str:
        t = list(s)
        for i, c in enumerate(t):
            if c != 'a':
                for j in range(i, len(t)):
                    if t[j] == 'a': break
                    t[j] = chr(ord(t[j]) - 1)
                return ''.join(t)
        t[-1] = 'z'
        return ''.join(t)

[sol-Java]

class Solution {
    public String smallestString(String S) {
        var s = S.toCharArray();
        int n = s.length;
        for (int i = 0; i < n; i++) {
            if (s[i] > 'a') {
                for (; i < n && s[i] > 'a'; i++)
                    s[i]--;
                return new String(s);
            }
        }
        s[n - 1] = 'z';
        return new String(s);
    }
}

[sol-C++]

class Solution {
public:
    string smallestString(string s) {
        int n = s.length();
        for (int i = 0; i < n; i++) {
            if (s[i] > 'a') {
                for (; i < n && s[i] > 'a'; i++)
                    s[i]--;
                return s;
            }
        }
        s.back() = 'z';
        return s;
    }
};

[sol-Go]

func smallestString(s string) (ans string) {
	t := []byte(s)
	for i, c := range t {
		if c > 'a' {
			for ; i < len(t) && t[i] > 'a'; i++ {
				t[i]--
			}
			return string(t)
		}
	}
	t[len(t)-1] = 'z'
	return string(t)
}

复杂度分析

• 时间复杂度：\mathcal{O}(n)，其中 n 为 s 的长度。
• 空间复杂度：\mathcal{O}(n) 或 \mathcal{O}(1)，如果可以直接修改 s 则为 \mathcal{O}(1) 空间（C++）。