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

- 函数签名为 `bool IsMatch(string s, string p)`，其中 `s` 是目标字符串，`p` 是模式字符串。
- 支持 `'?'` 匹配单个任意字符。
- 支持 `'*'` 匹配任意序列（包括空）的字符。
- 匹配应为全字符串匹配，即整个 `s` 必须与 `p` 匹配。
- 要求时间复杂度尽可能高效，并考虑空间复杂度优化。

示例：
```csharp
IsMatch("aa", "a") // 返回 false
IsMatch("aa", "*") // 返回 true
IsMatch("ab", "?*") // 返回 true
IsMatch("aab", "c*a*b") // 返回 false
IsMatch("abc", "a?c") // 返回 true
```

要求：
1. 使用动态规划实现，并分析其时间与空间复杂度。
2. 在不牺牲时间复杂度的前提下，将空间复杂度优化到 O(n)。