��381�� ��·����

  ��381�� ��·����

  �������������ߣ��������ˣ���

  ��TP�����ļ��������״̬�ã������㣬���ڸҶ��������������������ˡ�

  ��Ҳ֪����¬�����ؼҵ�ʱ���������������ڣ�ֻҪ�Լ�һֱ���������ߵ�״̬��¬�����ͻز��˼ҡ�

  ��ʱ��Ͽ���ȷ��ţ����ǻ���ռ��һ����ˡ�

  ��Ҳ������KZǰ�ڰѽ��෭������Ψһ���ᣡ

  ֻ�����⶯�����⼦�������ȴ���������졣

  ��Ȼ��������߻���¬�����޷��سǣ��������ߵ�ͬʱ��Ҫ�ܵ�¬���������ġ�

  ǿ��¬�����������������Ƿdz�ǿ�ġ�

  �������ӵ�ʱ�䣬����¿��ܰ�ҩ�Թ⻹������

  ֻ��������Ѫ�����˿��ԻؼҲ�״̬�����ô��п��ٽ���ս������ʡ�ܶ�ĸ�·ʱ����ˡ�

  ���������ˣ���

  ������״��Ȼû��˿����ԥ���ٿ�������ֱ�ӳ���·������

  ���ʱ����ӻ��ڲ�������������Dz���������·���׵ġ�

  ��Ϊ֮ǰ����·����һ�Σ�һ������·���ײ����ˣ����ӱ��ø�������

  ����������������Ҫ�˼���ֻ�ø��⼦ץס�������Ļ�������ˡ�

  ��IG�ƺ������·���ְ����������ƴ�������ߣ�����¬�����سǸ���װ���Ļ��ᣡ����Ϊ��������Ҳ�߳��˷������ı�������һ����¬������ؼҵ�ʱ�������Ѿ����ˣ��Ⲩ������л���ģ���

  ��˵ϯ�ϣ��ܴ�У������������������·��������ʱ������IG���뷨��

  ͬʱҲ������Ⲩ�Ŀ����ԡ�

  ��һ��¬�����Ѽ����ѹ�ؼ��������ֻ����ֵķ�ʽ��

  ��ʱ����²�û�����֣�¬����Ҳû�С�

  ����¬������E�������׷����λ�ƣ����Ƕ����ֵ����󲢲����

  ����Ϸʱ�����Ͼ�Ҫ�߷����ˣ�����������·�ȴ���û�е�һʱ����֣������������¬����������֮�����ϡ���

  һ�Եļǵ�����˵����

  �����Ѿ�����·�ӵ��ݴ�����˶�ʮ���ˣ�����û�ж��֡�

  ֻ�ǿ���¬�����ڲ������������ߵļ���¡�

  ���ܿ�ģ�¬����һֱû�лؼң�����û�����£��ܿ�������������ˣ�����ʥǹϴ��֮��¬������׷���������һ����ǿ�ġ���

  Rita��ͷ��ͬ��

  IG��Ȼ���׺�������ʵ�ϳɹ��ʺܸߡ�

  ��Ȼÿһ�ι��ƶ��Ǿ�����˼���ǵġ�

  �������ˣ���

  ������ʱ���ܴ�УͻȻ����һ����

  ����¬��������������һ���׹⣬������������

  ���ͬʱ�����ò�֪ʲôʱ���Ѿ��Ƶ��˼�����ϰ�����Ҳȥͨ����ƺ�����˹�����
  ������¬�������ȷ��ѣ�ֱ��E��ȥ�ݺ����˼����һ�ס�

  �⼦�����ٷɿ죬����Ҳ�൱˿����

  E��㣬W���ֱ�Ӵ��ǿ��������Ч����

  ��ǿ������Ч����¬����¬�������˺����ӱ�ը��

  ԭ���ͱ�¬�����������ķ�֮һѪ���ļ����˲�����һ�����¡�

  �ŵ�BDD��æ��E���������ȭ���ȥ��

  ¬�����Ͼ��Ǹ�Զ�̣�������±����Ű�ȫ�����λ�ã���ʱҲ�����ܴ�ϼ���µ�λ�ơ�

  ֻ��IG������һ���ˡ�

  ֻ�����������õ���Q����ǰ����Զ�����λ��ֱ�Ӷ�ס�˼���������ȭ��·����

  ���˵����ν���һ�١�

  ����µ������ȭ�ж����ȼ����ߣ������ø�ײ��������

  �����������DZ����ø���ס�ˡ�

  ��������������·�̵ķ�������BDD����������˼������

  ������һ�����ֵ����ܣ�Ϊ�ľ��Dz��ü���½���������У��������ڷ���������ս����

  �����������ա�

  ��������ӵ�������Ϯ����ȫ�����ڼ���µ����ϣ�ÿһ�Ŷ�����˷dz��ɹ۵��˺���

  ��Ϊ����¬����������µĿ���Ч�����Ѵ������

  ������һ���������츳ѡ��Ҳ�������𣬶�����ʳ�ߡ�

  ���¼���µ�̹�Ȳ�����ߣ��ղŻ�������Ҳδ��������Ч���ṩ˫����

  ��¬�������ཡ��÷dz����ܡ�

  ����Ҫ������λ������ʥǹϴ��ĽǶȣ�ȴ��Ϊ�����޳����٣��ٲ�ά�衣

  ͬʱ����һ���չ�����˪����������һ�߿��ż���µ���λ��

  BDDֻ���ſ�˫���������ܵؼ���һЩ�˺���

  ����ɨ��С��ͼ������С�����Ļ�������·��Ե��ħ���ޣ�Ҳ��֪���Լ�������Ԯ�ˡ�

  ʥǹϴ����ӵ������ܶ࣬ÿһ�ŵ��˺������ݺ��ӣ�����ǰ�ڲ�ѷɫ��Ůǹ�Ĵ��С�

  û���˸�Ӳ��¬����������

  ֻ�����ڼ���µļ������Ͷ��·��

  �ֺܿ챻���ö���ԭ�ء�

  ����û���˷ѵ�¬�����κ�һ���ӵ���

  ��¬����ɨ����ȻҲ����������Ȼ��

  ����˹��ɱ�úã���

  ���ŵз�����ɱ����Ϣ���ٻ�ʦϿ�����𣬳���Ҳ�̲�ס����һ����

  �����Ҳֻ����������ȥ���⼦��һ���ߣ�������װ��������Ͽ���ȷ档

  û�뵽BDD��ô�����ᣬ�Լ�����������

  ����IG������ȫ���õ�����ͷ����C�ķ�����Զ�����档

  �����Ѿ�ʤ�������ˡ�

  ����ѱ������ˣ��ؼҸ���װ����Ȼ��ȥ��Ͽ���ȷ棡�������Ļ���KZӦ�ò��ҽ��ţ����ǰ�С���Ÿ����Ǿ����ˡ���

  ��������˵����

  ������·���������������ʧ�ľ���Խ������������

  ��Ͽ���ȷ�ˢ�µ�ʱ�򣬶���һ��������������

  ����������������װ��Ҳ������ʲôս������

  �ټ��ϻ��ӺͿ���Ҳ��������һ�Σ�KZ������Ұ���˾�������һ�Σ����Ƿ���������

  ������������KZ��ҪӲ��ͷƤ��Ͽ���ȷ��ţ�IG�����⽫���Ʊ�ø���

  ����Ϊ�˷�ֹKZ������ǽ���������Ǿ�����������ô������һ���޹ؽ�Ҫ��С����С���������С��������·�����Ͱ�ˮ��

  ���ʱ�����ǵ����ֻ���û����ȴ��ϣ�������ϼ��������·�İ��������ǻ���ĺ�Σ�ա�

  Ȼ��KZ����Ҳ����ɵ�ӣ����������������Ȼ��֪Ͽ���ȷ��ò���������ȥIG����·�����飬�ǾͶԲ���LCK�������ھ�����ͷ�ˡ�

  һ��С���������IG��·��Ҫ��

  ���Ұ�����IG����·˫���飬һ���ܹ��ع�ͷ����С����

  ���ǣ�������Ŀ���W����Ұ����IG����Ұ���˿���Ͽ���ȷ��ʱ��

  ��Ұ���˱�ֱ��IG��·��ȥ��

  (������)