Which of the following statements are true types of types of local consistency for constraint propagation?<br/> 如下陈述中哪些是约束传播局部一致性的正确类型？<br/> A、Arc consistency<br/> 弧一致<br/> B、Graph consistency<br/> 图一致<br/> C、k-consistency<br/> k一致<br/> D、Loop consistency<br/> 环路一致<br/> E、Node consistency<br/> 节点一致<br/> F、Path consistency<br/> 路径一致<br/> G、Tree consistency<br/> 树一致