摘要： 模式定理是遗传规划的理论基础，主要解释群体在遗传进化过程中动态变化的情况，希望能够预测下一代属于某个模式的实例数，为改进遗传规划的性能提供理论上的指导。以介绍悲观模式定理和精确模式定理这两类模式的形式分析了近年来模式理论的研究进展。

关键词: 遗传规划；模式定理；悲观模式定理；精确模式定理

Abstract: The schema theorems, the theoretical foundations of genetic programming, mainly explain how the population varies dynamically over time in evolutionary process, predict the number of the instances of the population belonging to a schema and provide the theoretical direction for improving GP’s performance. With introducing two types of schema theorem: pessimistic schema theorems and exact schema theorems, this paper discusses the research progress of schema theorems in recent years.

Key words: Genetic programming(GP); Schema theorem; Pessimistic schema theorems; Exact schema theorems