1. counter指示函数常用于次数(满足某一断言或条件)的统计;2. 二维的离散指示函数 ⇒ assignment solutionxij∈{0,1},∑jxij=1∑jxij=1:行和为 1;X=(xij),也可称为一种 assignment matrix;