12.2 拉姆齐模型和AK模型