字符串的模式匹配是以下的一种常见问题：给定字符串$s$(主串)和$t$(模式串)$(|s|=n,|t|=m,m\leq n)$，求$t$在$s$中第一次出现的位置。

注：此博客改编自《数据结构与算法分析：C语言描述》中二项队列一节，如有设计不当之处还请指出。

二项队列的结构

二项队列(Binomial Queue)是一种可以实现：
$(1)$向其中添加元素；
$(2)$删除、获取其中的最小(最大)元素；
$(3)$合并两个二项队列 的数据结构。
和它具有相同功能的有左式堆(左偏树)(Leftist Heap)和斜堆(Skew Heap)。但是它们的所有操作都花费$O(logN)$时间，而二项队列的插入操作只需常数时间。