编写一个C#程序，实现一个支持通配符匹配的函数，用于判断给定的字符串是否匹配指定模式。模式中支持以下两种通配符：

- `?`：匹配任意单个字符。
- `*`：匹配任意字符序列（包括空序列）。

函数签名如下：

```csharp
bool IsMatch(string input, string pattern)
```

要求：

1. 不能使用正则表达式（Regex）或任何第三方库。
2. 需要高效处理大字符串场景。
3. 给出时间复杂度分析和优化思路。

示例：

```csharp
IsMatch("abcdefg", "a*") // true
IsMatch("abc", "a?c") // true
IsMatch("abcd", "a*bc?") // true
IsMatch("ab", "a*b") // false
IsMatch("aabbaab", "a*bbb*a") // false
```