��(1)ʽ���Կ�������P(Hi/E)=1����ǰ��EΪ��ʱ������HiΪ�棬��CF(E��Hi)=1����P(
/E)=1����ǰ��EΪ��ʱ������HiΪ�٣���CF(E��Hi)=-1����P(Hi��E)=P(Hi)����ǰ��E�����Hi�أ���CF(E��Hi)=0������ǹ���ĵ�λԪ����ǰ��EΪ�棬����֧�ֽ���Hi����0��CF(E��Hi)��1����֮-1��CF(E��Hi)��0����ʵ��Ӧ���У������CF(E��Hi)����ʽһ����Ѹ������ڽ���ʱ��ͨ����������ר�Ҹ��ݾ���(��ͳ��)�ٲ���CF(E��Hi)�ĺ�������ȷ���ģ��������һ�����֪ʶ���С�
֤�ݵIJ�ȷ�������ⷴӳ��֤��E���϶��ij̶ȣ���֤��EΪ��ʱ����CF(E��Hi)=1����E�϶�Ϊ��ʱ����ȡCF(E��Hi)=-1����֤��Eһ����֪ʱ��CF(E��Hi)=0�������֤�ݵ���λԪ����֤��E��ij�̶ֳ�Ϊ��ʱ����0��CF(E��Hi)��1����֮-1��CF(E��Hi)��0.ԭʼ֤�ݵ�CF(E)��ϵͳ������ʱ���û�ƾ�����ṩ������ԭʼ֤�ݵ�CF(E)���ɲ�ȷ��������ĸ����㷨������
��CFģ���У���ȷ��������Ĺ���һ��Ϊ�����ȣ�������ר�Ҹ����������(R��IE E THEN Hi)��ÿ�������ǿ��CF(E��Hi)����������������ÿ������IJ�ȷ����ֵ(��λԪ)������Ϊ�㣬Ȼ��ϵͳ��ʼ���У��û�����ԭʼ֤�ݼ��䲻ȷ����ֵCF(E1��E)��ϵͳ����ȷ���Ը����㷨��ԭʼ֤�ݲ�ȷ����ֵ�������������´�������ԭʼ֤�ݣ�ֱ��������ս��۵IJ�ȷ����ֵ��
��ȷ���������У�ȷ�������ӵĸ����㷨Ϊ��
1 ���۶���Hi�Ŀ��Ŷȸ��¹���Ϊ��
CF(Hi)=CF(E, Hi)��max��0,CF(E)�� (2)
2 ������ϵĿ��Ŷȸ��£�
��һҳ[1][2][3][4][5][6]��һҳ
