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

- 支持匹配 `?` 字符，表示可匹配任意单个字符。
- 支持匹配 `*` 字符，表示可匹配任意字符序列（包括空序列）。
- 匹配必须覆盖整个字符串，例如 `pattern = "ab*"` 不能匹配 `"ab123a"`。
- 实现匹配函数的算法时间复杂度不得超过 O(n * m)，其中 n 和 m 分别是字符串和模式的长度。

函数签名如下：
```csharp
bool IsMatch(string s, string p)
```

要求：
1. 不能使用正则表达式库（如 `System.Text.RegularExpressions`）。
2. 给出递归和动态规划两种实现方式，并分析其时间与空间复杂度。
3. 优化空间复杂度至 O(n)。