编写一个C#程序，实现一个支持通配符匹配的正则表达式引擎，支持以下规则：

- 字符 `?` 匹配任意单个字符；
- 字符 `*` 匹配任意字符序列（包括空序列）；
- 匹配应覆盖整个输入字符串；
- 输入字符串和模式串均为ASCII字符，不考虑Unicode；
- 要求使用动态规划实现，且优化空间复杂度。

要求：

1. 实现函数 `bool IsMatch(string s, string p)`；
2. 给出时间与空间复杂度分析；
3. 给出示例输入输出并解释；
4. 保证代码健壮性，考虑边界条件与大输入情况。