子集和. 《理论计算机科学基础》. 3. 第9章 空间复杂性(下). PSPACE完全性. 全带量词布尔公式 .... 有边相连(Kk子图). CLIQUE = { <G,k> | 无向图G有k-团}. 《理论计算机 ...

Alex2发布于2018/06/21

注脚

展开查看详情