编写一个C#程序，实现一个支持通配符匹配的函数，匹配规则如下：

- 输入字符串只包含小写英文字母（a-z），而模式串可能包含小写英文字母和通配符，其中：
- `'?'` 可以匹配任意单个小写字母；
- `'*'` 可以匹配任意字符串（包括空字符串，即不匹配任何字符）。

例如：
- `"ab"` 应该与模式 `"a?"` 匹配；
- `"abcde"` 应该与模式 `"a*e"` 匹配；
- `"acd"` 不应与模式 `"ab*c"` 匹配。

请使用动态规划的方式实现该函数，并要求时间复杂度尽可能优化。在实现过程中，请考虑以下要求：

1. 编写一个方法 `bool IsMatch(string s, string p)`，其中 `s` 是输入字符串，`p` 是模式串。
2. 不使用任何正则表达式库或内置匹配函数。
3. 请在函数中添加详细注释说明动态规划状态定义和状态转移逻辑。

请根据上述要求写出完整的可运行代码，并提供测试用例验证你的实现。