编写一个C#程序，实现一个支持通配符匹配的函数，满足以下条件：

- 函数签名：`bool IsMatch(string s, string p)`
- 支持以下规则：
- `'?'` 匹配任意单个字符
- `'*'` 匹配任意字符序列（包括空序列）
- 匹配必须覆盖整个字符串 `s`，不能部分匹配。

例如：
- `IsMatch("aa", "a")` → `false`
- `IsMatch("aa", "*")` → `true`
- `IsMatch("ab", "?*")` → `true`
- `IsMatch("aab", "c*a*b")` → `false`

要求使用动态规划实现，并分析其时间复杂度和空间复杂度。