Problem
Implement wildcard matching: “?” matches any single char, “*” matches any sequence (including empty).
Example
Input: s = "adceb", p = "*a*b"
Output: true
Solution
2D DP. dp[i][j] tells if s[:i] matches p[:j]. Star can match empty (dp[i][j-1]) or extend (dp[i-1][j]).
def is_match(s, p):
m, n = len(s), len(p)
dp = [[False] * (n + 1) for _ in range(m + 1)]
dp[0][0] = True
for j in range(1, n + 1):
if p[j-1] == '*': dp[0][j] = dp[0][j-1]
for i in range(1, m + 1):
for j in range(1, n + 1):
if p[j-1] == '*':
dp[i][j] = dp[i][j-1] or dp[i-1][j]
elif p[j-1] == '?' or p[j-1] == s[i-1]:
dp[i][j] = dp[i-1][j-1]
return dp[m][n]
function isMatch(s, p) {
const m = s.length, n = p.length;
const dp = Array.from({length: m + 1}, () => new Array(n + 1).fill(false));
dp[0][0] = true;
for (let j = 1; j <= n; j++) {
if (p[j-1] === '*') dp[0][j] = dp[0][j-1];
}
for (let i = 1; i <= m; i++) {
for (let j = 1; j <= n; j++) {
if (p[j-1] === '*') dp[i][j] = dp[i][j-1] || dp[i-1][j];
else if (p[j-1] === '?' || p[j-1] === s[i-1]) dp[i][j] = dp[i-1][j-1];
}
}
return dp[m][n];
}
bool isMatch(string s, string p) {
int m = s.size(), n = p.size();
vector<vector<bool>> dp(m + 1, vector<bool>(n + 1, false));
dp[0][0] = true;
for (int j = 1; j <= n; j++) if (p[j-1] == '*') dp[0][j] = dp[0][j-1];
for (int i = 1; i <= m; i++) {
for (int j = 1; j <= n; j++) {
if (p[j-1] == '*') dp[i][j] = dp[i][j-1] || dp[i-1][j];
else if (p[j-1] == '?' || p[j-1] == s[i-1]) dp[i][j] = dp[i-1][j-1];
}
}
return dp[m][n];
}
public boolean isMatch(String s, String p) {
int m = s.length(), n = p.length();
boolean[][] dp = new boolean[m + 1][n + 1];
dp[0][0] = true;
for (int j = 1; j <= n; j++) if (p.charAt(j-1) == '*') dp[0][j] = dp[0][j-1];
for (int i = 1; i <= m; i++) {
for (int j = 1; j <= n; j++) {
char pc = p.charAt(j-1);
if (pc == '*') dp[i][j] = dp[i][j-1] || dp[i-1][j];
else if (pc == '?' || pc == s.charAt(i-1)) dp[i][j] = dp[i-1][j-1];
}
}
return dp[m][n];
}
Complexity
- Time: O(m * n)
- Space: O(m * n)
Explanation
Star is more flexible than regex *: it matches any sequence directly. Either it represents empty (dp[i][j-1]) or extends a previous match (dp[i-1][j]).
Comments
Join the discussion. Got a question, found an issue, or want to share your experience?