3.4.4.4 ����@���`������κ���ǰ�ı���6��7���S�Ŀ��ƻ�ӛ䛃x�������������^�˱�6��7�����yԇ��ԓt�Ӻ��b�õ����S�`�ʧ����(y��ng)��ӛ䛣����_ʼ����ğ�ӹ�֮ǰ����(y��ng)�����`��a(ch��n)����ԭ�򣬲���ȡ�m����ʩ��4.2�Α�(y��ng)�m�á�
3.4.4.5 ����`��^�˱�6��7ʹ�õ����ƣ��m����ʩ�����ǵ������������£�
3.4.4.5.1 �����˹���Ă�������/��?q��)�������Q��
3.4.4.5.2 ��������x��������У򞡣
3.4.4.5.3 ����@��ԭ����ȫ���򲿷����ڱ��yԇ��������ӛ䛵�λ���֙C(j��)�ˣ���ô�@����������(y��ng)�wλ��������SAT��
3.4.4.6 ���ƻ�ӛ䛃x��У���������S�ڱ�6��7�޶����������֮��(n��i)�M(j��n)�С��@�����������������ضȷ�����Ӱ푑�(y��ng)���u����4.2�Α�(y��ng)�m�á�
3.4.4.7 �ڲ�ȡ�m����ʩ֮�����κ�����ğ�̎��֮ǰ��SAT��(y��ng)��3.4.4�����M(j��n)�С��ߜغ���ӟ�t��
3.4.4.8 ����3.4.4.1��3.4.4.3��SAT����������ͬ�ӵ�Ŀ�Ŀ���ͨ�^������һ��ʽ�_(d��)����1����Q���yԇ���������l�ʵ��ڻ����SAT�l�ʣ����z��ϵ�y(t��ng)����(d��o)���̓x���M�ϣ�ƽ�⡣��2���քe�yԇ��������ϵ�y(t��ng)����(d��o)���̓x���M�ϣ���ƽ�⣬���C���@Щ�Y(ji��)�����oՓ�ķN��������K�C�ϽY(ji��)����(y��ng)�ڱ�6��7Ҏ(gu��)���ķ���֮��(n��i)��
3.4.5 ϵ�y(t��ng)���Ȝyԇ�b�ã�
3.4.5.1 ϵ�y(t��ng)���Ȝyԇ��(y��ng)��һ���M���3Ҫ��ăx����һ���M���1Ҫ��Ĝyԇ�������M(j��n)�С�
3.4.6 ӛ䛣�
3.4.6.1 ϵ�y(t��ng)���Ȝyԇ��(y��ng)������
* ���yԇ���������R�e̖
* �yԇ���������R�e̖
* �yԇ�x�����R�e̖
* �yԇ�����ں͕r�g
* �^��Ŀ��ƻ�ӛ䛃x���x��(sh��)
* �^��Ĝyԇ�x���x��(sh��)
* �yԇ�������͜yԇ�x����У��ֵ
* У���Ĝyԇ�x���x��(sh��)
* Ӌ���ϵ�y(t��ng)�����`��
* �yԇʧ��.��ɹ����f��
* �yԇ�ļ��g(sh��)�ˆT
* SAT��˾��������ڏS��(n��i)�M(j��n)�У�
* У򞹫˾�����ĺ��֣�������ڏS��(n��i)�M(j��n)�У�
* �|(zh��)���M������(zh��n)��