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

模式匹配规则如下：
- `'?'` 可以匹配任意单个字符；
- `'*'` 可以匹配任意字符（包括零个或多个字符）；
- 其他字符必须与字符串中对应位置的字符相同。

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

要求：
1. 实现该函数，并确保其在最坏情况下的时间复杂度尽可能优化；
2. 请不要使用正则表达式库；
3. 需要考虑边界情况和性能优化。

示例：
```csharp
IsMatch("aa", "a") // false
IsMatch("aa", "*") // true
IsMatch("cb", "?a") // false
IsMatch("ab", "?*") // true
IsMatch("acdcb", "a*c?b") // false
```