编写一个C#程序，实现一个支持通配符匹配的函数 `IsMatch`，用于判断字符串 `s` 是否完全匹配模式字符串 `p`。
模式字符串 `p` 中可能包含以下字符：

- `'?'` 匹配任意单个字符；
- `'*'` 匹配任意字符串（包括空字符串）；
例如：

- `"ab"` 匹配 `"a?"`；
- `"adceb"` 匹配 `"*a*b"`；
- `"aab"` 不匹配 `"aaa"`；

函数签名如下：

```csharp
bool IsMatch(string s, string p)
```

要求：

1. 实现该函数，不允许使用 `System.Text.RegularExpressions` 或其他正则库；
2. 时间复杂度尽可能优化，尽量达到动态规划的高效解法；
3. 能处理大规模输入，不超出内存限制。