编写一个C#程序，实现一个支持通配符的字符串匹配算法，满足以下要求：

- 支持 `?` 匹配任意单个字符
- 支配 `*` 匹配任意字符序列（包括空序列）
- 匹配必须覆盖整个字符串（即不能是源字符串的部分匹配）
- 不可使用正则表达式库（如 `System.Text.RegularExpressions`）

输入为两个字符串：`pattern`（模式串）和 `input`（输入串），输出为布尔值表示是否完全匹配。

请在实现过程中考虑时间与空间复杂度优化，尤其注意 `*` 的贪婪匹配可能导致的性能问题。