有限模型论！！有限模型论！！有限模型论！！重要的事情重复三遍。在计算复杂度里面有应用，或者说这应当是理论计算机应学的内容。