编写一个C#程序，实现一个支持通配符匹配的正则表达式引擎简化版，满足以下要求：

实现函数 `bool IsMatch(string s, string p)`，判断字符串 `s` 是否按照模式 `p` 匹配，其中：

- `s` 为任意有效字符串，仅包含小写字母；
- `p` 为一个模式字符串，包含小写字母和以下两个通配符：
- `.` 匹配任意单个字符；
- `*` 匹配前面一个字符的零次或多次（即 `*` 前面必须有一个字符）；

匹配应当覆盖整个字符串 `s`（即必须完整匹配，不是部分子串匹配）。

例如：

- `IsMatch("aa", "a")` → false；
- `IsMatch("aa", "a*")` → true；
- `:IsMatch("ab", ".*")` → true；
- `IsMatch("aab", "c*a*b")` → true；

要求使用**动态规划**或**回溯法**实现，并优化其性能，避免不必要的重复计算。请分析你所采用算法的时间复杂度和空间复杂度，并指出在哪些情况下可能产生性能瓶颈。