Данная работа является продолжением работ

:GGHL:PBY >ZggZy jZ[hlZ y\ey_lky ijh^he`_gb_f jZ[hl ³P_e_iheZ]Zgb_ dZd ijbgpbi jZ[hlu fha]Z´ b³<_jhylghklgh_ijh]ghabjh\Zgb_bij_^kdZaZgb_dZdijbgpbijZ[hlufha]Z´< i_j\hc jZ[hl_ baeh`_g i_j\uc ba ijbgpbih\ jZ[hlu fha]Z - p_e_iheZ]Zgb_ <h \lhjhc jZ[hl_ gZ g_nhjfZevghf mjh\g_ baeh`_g \lhjhc ijbgpbi jZ[hlu fha]Z - ij_^kdZaZgb_ <lhjhc ijbgpbi y\ey_lky \h-i_j\uo j_amevlZlhf mlhqg_gby ihgylby \_jhylghklgh]h ijh]ghabjh\Zgbybkihevam_fh]h\BgnhjfZpbhgghcl_hjbbwfhpbcI<Kbfhgh\ZZ\h\lhjuo j_amevlZlhf fZl_fZlbq_kdh]h ZgZebaZ ihgylby ij_^kdZaZgby hkms_kl\e_ggh]h Z\lhjhf\ij_û^msbojZ[hlZoL_fkZfufq_j_aihgylbyij_^kdZaZgb_b\_jhylghklgh_ ijh]ghabjh\Zgb_mklZgZ\eb\Z_lkydhgp_ilmZevgucfhklf_`^mnhjfZebaZpb_cij_^kdZaZ gbybBgnhjfZpbhgghcl_hjb_cwfhpbcI<Kbfhgh\ZqlhgZg_nhjfZevghfmjh\g_[u eh k^_eZgh \h \lhjhc jZ[hl_ Bkihevamy wlhl dhgp_ilmZevguc fhkl \ ^Zgghc jZ[hl_ fu ihemqZ_f nbabheh]bq_kdmx bgl_jij_lZpbx ihgylby ij_^kdZaZgby g_ lhevdh \ l_hjbb wfhpbcI<Kbfhgh\Zghb\L_hjbbnmgdpbhgZevguokbkl_fID:ghobgZWlh^Z_l\ha fh`ghklv\u\_klbgh\mxnhjfZevgmxfh^_evg_cjhgZ^Zlvnbabheh]bq_kdh_h[tykg_gb_ jhebij_^kdZaZgby\^_yl_evghklbfha]Zb\u\_klb\j_amevlZl_nhjfZevgmxfh^_evjZ [hlufha]Zhkgh\ZggmxgZijbgpbi_ij_^kdZaZgbygZg_cjhgghfmjh\g_Ihemq_ggZyfh ^_ev iha\hey_l h[tykgblv l_ k\hckl\Z L_hjbb nmgdpbhgZevguo kbkl_f ID:ghobgZ b L_hjbbKo_f\hkijbylbyMGZck_jZdhlhju_hklZebkvg_h[tykg_ggufb\i_j\hcjZ[hl_ NhjfZevgZyfh^_evjZ[hlufha]Zhkgh\ZggZygZijbgpbi_ij_^kdZaZgby <bly_\?? 1. <\_^_gb_<jZ[hl_><bly_\@gZg_nhjfZevghfmjh\g_baeZ]Z_lky\lhjhcbaijbg pbih\jZ[hlufha]Z-ij_^kdZaZgb_baeh`_ggucij_^\Zjbl_evgh\><bly_\@<lh`_\j_fy ^ZggZyjZ[hlZijh^he`Z_lk_jbxjZ[hlihbkke_^h\Zgbxijbgpbih\jZ[hlufha]ZgZqZlmx\ jZ[hlZo><bly_\@<jZ[hl_><bly_\@[uejZkkfhlj_gi_j\ucbaijbgpbih\jZ[hlu fha]Z-p_e_iheZ]Zgb_Ijbgpbip_e_iheZ]Zgby[ue\aylba\g_rg_cihhlghr_gbxdL_hjbb nmgdpbhgZevguo kbkl_f jZ[hlu fha]Z ID:ghobgZ l_hjbb b [ue ihemq_g dZd h[h[s_gb_ ihgylbyAZ^ZqZ<kZfhcL_hjbbnmgdpbhgZevguokbkl_fh^gbfbbahkgh\guoihgylbc[ueb ihgylbyJ_amevlZlbIhlj_[ghklv<jZ[hl_><bly_\@[uehihdZaZghqlh\h-i_j\uoihgy lb_P_evh[h[sZ_lihgylb_aZ^ZqZ\h-\lhjuohghh[t_^bgy_lihgylbyIhlj_[ghklvbJ_amev lZlL_hjbbnmgdpbhgZevguokbkl_f\h^ghihgylb_b\-lj_lvboiha\hey_l[he__lhqghhij_ ^_eblv\k_hklZevgu_ihgylbyL_hjbbnmgdpbhgZevguokbkl_fgZihegyyl_fkZfufihgylb_ P_evbAZ^ZqZnbabheh]bq_kdbfkh^_j`Zgb_fWlhiha\hebehijbf_gblvdL_hjbbnmgdpbh gZevguo kbkl_f j_amevlZl >?jrh\ KZfho\Zeh\ @ h g_h[oh^bfhklb nhjfZebaZpbb aZ^Zq \ keZ[uonhjfZevguokbkl_fZobihemqblv\j_amevlZl_nhjfZevgmxfh^_evjZ[hlufha]Zhk gh\ZggmxgZijbgpbi_p_e_iheZ]ZgbydZdb_jZjobxkeZ[uonhjfZevguokbkl_fL_fkZfuf [uemklZgh\e_gdhgp_ilmZevgucfhklf_`^m^\mfyl_hjbyfbq_j_ahkgh\gh_ihgylb_h[_bo l_hjbc-P_evdZdijbgpbih[_bol_hjbc :gZeh]bqghfuihklmibfkijbgpbihfij_^kdZaZgbyNbabheh]bq_kdbfkh^_j`Zgb _f gZiheg_g l_jfbg ³\_jhylghklgh_ ijh]ghabjh\Zgb_´ \\_^_ggh_ N_c]_g[_j]hf b bk ihevah\Zggh_I<Kbfhgh\uf\BgnhjfZpbhgghcl_hjbbWfhpbcIh^jh[ghwlhihdZaZgh \ jZ[hl_ ><bly_\ @ Ij_^kdZaZgb_ y\ey_lky l_jfbghf Nbehkhnkdhc eh]bdb < jZ[hlZo Z\lhjZ ><bly_\ <bly_\ @ kf jZa^ ihdZaZgh qlh kms_kl\mxsb_ nhjfZebaZpbb ihgylbyij_^kdZaZgbyg_Z^_d\ZlguLZf`_^Z_lkygh\ZynhjfZebaZpbyihgylbyij_^kdZ aZgby kf jZa^ bkihevamxsZy \_jhylghklv L_f kZfuf ihgylb_ ij_^kdZaZgby q_j_a ihgylb_ \_jhylghklgh]h ijh]ghabjh\Zgby ihemqZ_l nbabheh]bq_kdmx bgl_jij_lZpbx \ BgnhjfZpbhgghc l_hjbb Wfhpbc I<Kbfhgh\Z Wlh mklZgZ\eb\Z_l Dhgp_ilmZevguc fhklf_`^mihgylb_fij_^kdZaZgbynhjfZebah\Zgguf\><bly_\<bly_\@bBg nhjfZpbhgghcl_hjb_cwfhpbcI<Kbfhgh\ZBkihevamywlhldhgp_ilmZevgucfhklfu ihemqZ_f nbabheh]bq_kdmx bgl_jij_lZpbx ihgylby ij_^kdZaZgby g_ lhevdh \ l_hjbb wfhpbcI<Kbfhgh\Zghb\L_hjbbnmgdpbhgZevguokbkl_fjZ[hlufha]ZID:ghobgZ Wlh^Z_l\hafh`ghklv\u\_klbgh\mxnhjfZevgmxfh^_evg_cjhgZjZa^^Zlvnbabh eh]bq_kdh_ h[tykg_gb_ jheb ij_^kdZaZgby \ ^_yl_evghklb fha]Z b \u\_klb \ j_amevlZl_ nhjfZevgmxfh^_evjZ[hlufha]Zhkgh\ZggmxgZijbgpbi_ij_^kdZaZgbygZg_cjhgghf mjh\g_ jZa^ Ihemq_ggZy fh^_ev iha\hey_l h[tykgblv l_ k\hckl\Z L_hjbb nmgdpbh gZevguokbkl_fID:ghobgZjZa^bL_hjbbKo_f\hkijbylbyMGZck_jZjZa^dh lhju_hklZebkvg_h[tykg_ggufb\ij_û^ms_cjZ[hl_><bly_\@. <jZ[hl_><bly_\@gZg_nhjfZevghfmjh\g_ihdZaZghqlhh[ZijbgpbiZ-p_e_iheZ ]Zgbybij_^kdZaZgbyfh]ml[ulvkbgl_abjh\Zgu\h^bg- ]eZ\gucijbgpbijZ[hlufha]Z. Hgkhklhbl\lhfqlh]eZ\gZy^\b`msZykbeZex[h]hp_e_gZijZ\e_ggh]hih\_^_gby-wfhpbb -^\moiZjZf_ljbqguHgbaZ\bkyldZdhlwfhpbhgZevghchp_gdb^hklb]Z_fh]hj_amevlZlZlZd bhl\_jhylghklghchp_gdb\hafh`ghklb^hklb`_gbyj_amevlZlZIjb\_^_f_s_jZahkgh\gh_ ml\_j`^_gb_I<Kbfhgh\Z³Kmffbjmyj_amevlZlukh[kl\_gguohiulh\b^Zggu_ebl_jZ lmjufuijbreb\ ]d\u\h^mhlhfqlhwfhpby_klvhljZ`_gb_fha]hfq_eh\_dZb `b\hlguodZdhc-eb[hZdlmZevghcihlj_[ghklb__dZq_kl\Zb\_ebqbgub\_jhylghklb 1 \hafh`ghklb__m^h\e_l\hj_gby´>Kbfhgh\ K @JZkkfhljbfl_i_jvdZd]eZ\ gucijbgpbijZ[hlufha]Zfh`_l[ulvnhjfZebah\Zg NhjfZevgucZgZeba]eZ\gh]hijbgpbiZjZ[hlufha]Z 2.1. NhjfZevgZy fh^_evjZ[hlufha]Zhkgh\ZggZy gZijbgpbi_ p_e_iheZ]Zgby,b ]eZ\gucijbgpbijZ[hlufha]ZBaL_hjbbNmgdpbhgZevguoKbkl_fke_^m_lqlh^hklb`_ gb_dZ`^hcp_ebhkms_kl\ey_lkyihke_^h\Zl_evghklvxbb_jZjob_cnmgdpbhgZevguokbkl_f bkhhl\_lkl\mxsboJ_amevlZlh\bke_^h\Zl_evghdZ`^Zyp_evZ\lhfZlbq_kdbjZa[b\Z_lkygZ ihke_^h\Zl_evghklv b b_jZjobx ih^p_e_c ijb\h^ysbo d ^hklb`_gbx p_eb Ihemq_ggh_ ^_ j_\hP_e_cb^_j_\hJ_amevlZlh\h[jZamxllmeh]bq_kdmxko_fm^hklb`_gbyP_ebdhlhjZy jZaj_rZ_liZjZ^hdkP_eb><bly_\@bhij_^_ey_lkihkh[__^hklb`_gbyWlZko_fZy\ey_lky eh]bq_kdhclZddZd^hklb`_gb_P_ebbihemq_gb_J_amevlZlZ\iheg_hibku\Z_lkyeh]bq_kdb -P_evfh`_l[ulveb[h^hklb]gmlZeb[hg_lbJ_amevlZlfh`_l[ulveb[hihemq_g,eb[h g_l, \ ijhlb\ghf kemqZ_ wlh g_ J_amevlZl Ba l_hj_fu h nhjfZebam_fhklb AZ^Zq >?jrh\ KZfho\Zeh\@\jZfdZokeZ[uonhjfZevguokbkl_fke_^m_lqlh^hklb`_gb_ex[uoP_e_c fh`_l [ulv hibkZgh eh]bq_kdb \ jZfdZo b_jZjobb keZ[uo nhjfZevguo kbkl_f b l_f kZfuf ijbgpbi p_e_iheZ]Zgby b nhjfZevgZy fh^_ev jZ[hlu fha]Z \ul_dZxsZy ba wlh]h ijbgpbiZ \iheg_ fh]ml [ulv ij_^klZ\e_gu dZd b_jZjoby keZ[uo nhjfZevguo kbkl_f. Dh]^Zijhp_kkh[mq_gbyaZdhgq_gb^_ckl\b_klZgh\blkyZ\lhfZlbabjh\Zgguf[_awfhpbcb hjb_glbjh\hqgh-bkke_^h\Zl_evkdhcj_Zdpbbbdh]^ZJ_amevlZlu^_ckl\bylhqghkh\iZ^Zxlk h`b^Z_fufblh]^Z\_jhylghklgh_ijh]ghabjh\Zgb_k\_jhylghklvxk\h^blkydeh]bq_kdhfm\u\h^mbijhp_kk^hklb`_gbyP_eb\iheg_fh`_l[ulvhibkZgeh]bq_kdbIhwlhfmeh]b dZ fZl_fZlbq_kdZyeh]bdZdZdjZabij_^gZagZq_gZêylhqgh]hhibkZgby Z\lhfZlbabjh \Zgguo ^_ckl\bc Gh wlh]h dZd ke_^m_l ba BgnhjfZpbhgghc l_hjbb wfhpbc kf ><bly_\ @ g_^hklZlhqgh êy hibkZgby kihkh[Z ^hklb`_gby fha]hf k\hbo P_e_c DZd ihdZaZgh \ ><bly_\ @ ]eZ\ghc p_evx jZ[hlu fha]Z y\ey_lky klj_fe_gb_ fZdkbfbabjh\Zlv iheh`b l_evgu_bfbgbfbabjh\ZlvhljbpZl_evgu_wfhpbb\dexqZy\oh^ysb_\gbo\_jhylghklgu_ hp_gdb^hklb`bfhklbj_amevlZlZIjbwlhfihkdhevdmwfhpbhgZevgu_hp_gdb^hklb]Z_fh]h j_amevlZlZnbdkbjh\Zgulh\ijhp_kk_^hklb`_gbyp_eb]eZ\ghcp_evxjZ[hlufha]Z y\ey _lkyfZdkbfbaZpby\lhjh]hiZjZf_ljZ-\_jhylghklb^hklb`bfhklbp_ebIhwlhfm\ijhp_kk_ ^hklb`_gby p_eb ]eZ\ghc p_evx hj]ZgbafZ y\ey_lky g_ ijbgpbi p_e_iheZ]Zgby Z gZh[hjhl ijbgpbi\_jhylghklgh]hijh]ghabjh\ZgbyJZkkfhljbfdZdb_nhjfZevgu_f_lhûba\_klgu\ gZklhys__\j_fyhlghkbl_evghnhjfZebaZpbbijhp_kkZ\_jhylghklgh]hijh]ghabjh\Zgby <lZdboh[eZklyodZdBkdmkkl\_ggucBgl_ee_dlNbehkhnkdZyEh]bdZIjbgylb_J_r_ gbc <_jhylghklgZy eh]bdZ b l^ jZkkfZljb\Z_lky lhevdh eh]bq_kdZy ko_fZ ^hklb`_gby J_ amevlZlh\:dZd`_lh]^Zhkms_kl\ey_lky\_jhylghklgh_ijh]ghabjh\Zgb_"<h\k_oi_j_qbk e_gguo h[eZklyo \_jhylghklgu_ hp_gdb ij_^kdZaZgby hkms_kl\eyxlky ³\^h]hgdm´ iZjZe e_evgheh]bq_kdhfm\u\h^mLZdbfh[jZahf\h\k_owlboh[eZklyogZi_j\h_f_klhklZ\blky eh]bq_kdbc\u\h^l_ijbgpbij_r_gbyAZ^ZqZ\_jhylghklgu_hp_gdb\uqbkeyxlky\khhl \_lkl\bbkihemq_gghcb_jZjob_cAZ^ZqL_fkZfuf\_jhylghklgh_ijh]ghabjh\Zgb_bijbg pbiij_^kdZaZgbyklZ\blky\ih^qbg_gb_ijbgpbimp_e_iheZ]Zgby. :fha]hf\ijhp_kk_ ^hklb`_gbyk\hbop_e_cgZh[hjhlgZi_j\h_f_klhklZ\blky^hklb`_gb_fZdkbfZevguo \_jhylghklguo hp_ghd ^hklb`_gby p_eb Z m` eh]bq_kdZy ko_fZ ^hklb`_gby p_eb \u kljZb\Z_lkybkoh^ybafZdkbfZevghklbwlbohp_ghdKe_^m_lihgylvqlhfha]-wlhg_eh ]bq_kdh_, Z ij_`^_ \k_]hij_^kdZau\Zxs__mkljhckl\hGhdZdfum\b^bfl_hjbb ij_^ kdZaZgbybke_^h\Zl_evghnhjfZebaZpbbijbgpbiZij_^kdZaZgbyg_lb[ulvg_fh`_lihdZ eh]bq_kdbc\u\h^klZ\blkygZi_j\h_f_klhIjbqbgZwlh]hbf__lhq_gv^Z\gxxljZ^bpbxb k\yaZgZ k l_f qlh eh]bq_kdbc \u\h^ \k_]^Z jZkkfZljb\Zeky \ jZfdZo ZdkbhfZlbq_kdh]h ih^ oh^Zdihkljh_gbxl_hjbcb\ihke_^kl\bbZ\lhfZlbq_kdb[uei_j_g_k_ggZagZgby 2 2.2. DjblbdZZdkbhfZlbq_kdh]hihôh^ZdagZgbyf. IjhZgZebabjm_fih^jh[g__qlhba\_klghh\uqbke_gbb\_jhylghklguohp_ghdij_^kdZ aZgby \ Bkdmkkl\_gghf bgl_ee_dl_Wdki_jlguokbkl_fZoIjbgylbbj_r_gbcb<_jhylghkl guoeh]bdZo<h\k_owlboh[eZklyo[_ah]h\hjhqghijbgbfZ_lkyZdkbhfZlbq_kdbcihôh^ d agZgbyf Fu bf__f \\b^m g_ b^_Zebabjh\Zggu_ agZgby gZijbf_j fZl_fZlbq_kdb_ Z wf ibjbq_kdb_ bf_xsb_ g_dhlhjmx kl_i_gv ^hklh\_jghklb \_jhylghklb ih^l\_j`^_gghklb b l^<^Zevg_cr_ffu\k_]^Z[m^_fbf_lv\\b^mbf_gghwfibjbq_kdb_agZgby. :dkbhfZlb q_kdbcihôh^dagZgbyfij_îheZ]Z_lqlh_kebg_dhlhju_agZgbydZdbf-lhh[jZahfmklZ gh\e_gu\f_kl_khp_gdZfbbo\_jhylghklb^hklh\_jghklbbl^gZijbf_jdZdbf-eb[hbg ^mdlb\guf f_lh^hf f_lh^hf h[mq_gby ³ba\e_q_gu´ ba wdki_jlZ hijhkhf b l^ lh \k_ ml \_j`^_gby, ihemqZ_fu_bagbokihfhsvxijZ\beeh]bq_kdh]h\u\h^Z,lZd`_y\eyxlky agZgbyfbHp_gdbbo\_jhylghklb^hklh\_jghklbih^l\_j`^_gghklbbl^fh]ml[ulvih emq_guihijZ\beZf\_jhylghklghceh]bdbg_q_ldhceh]bdbbl^³\^h]hgdméh]bq_kdhfm \u\h^mJZkkfhljbf\_jhylghklgu_hp_gdb\u\h^bfuoagZgbc<uqbke_gbxwlbohp_ghdih k\ys_gujZ[hluih\_jhylghklghcg_q_ldhcblêh]bd_>)LWWLQJ0&@>6KDSLUR(@D [Kifer M., 90], [Ng R.T., Subrahmanian V.S. 90]a,b, [Gaifman H., 64], [Nillson N.J., 86], [Hailperin T., 84], [Halpern J.Y., 90], [Scott D.S., Krauss P., 66], [Adams Er.W., 75], [Goncharov S.S., Ershov <X/6YLULGHQNR',@>6KDSLUR(@E>9DQ(PGHQ01@?klvjZ[hlu\dhlhjuo\_ jhylghklv ^hklh\_jghklv b ij jZkkfZljb\Zxlky dZd agZq_gby bklbgghklb ml\_j`^_gbc Z ijhp_kkeh]bq_kdh]h \u\h^Zh[h[sZ_lky^hlZdgZau\Z_fhc³dhebq_kl\_gghc ^_^mdpbb´^_ ^mdlb\guokbkl_f\dhlhjuoagZq_gbybklbgghklbg_ij_ju\gubijbgbfZxlagZq_gby\bg l_j\Ze_>@>6KDSLUR(@D>.LIHU0@>1J576XEUDKPDQLDQ96@DE>9DQ(PGHQ 01@<jZ[hlZo>1J576XEUDKPDQLDQ96@DE>9DQ(PGHQ01@hibku\Zxlky ^h\hevgh[h]Zlu_nhjfZevgu_kbkl_fukh^_j`Zsb_dZdqZklgu_kemqZbhkgh\gu_ba\_klgu_ ³dhebq_kl\_ggu_ ^_^mdpbb´ Gh g_kfhljy gZ agZqbl_evguc ijh]j_kk \ jZajZ[hld_ nhjfZev guokbkl_f\k_hgb[_abkdexq_gbyhkgh\ZgugZZdkbhfZlbq_kdhfihôh^_dagZgbyf:gZ ebabaf_g_gbyhp_ghd\_jhylghklbml\_j`^_gbc\ijhp_kk_eh]bq_kdh]h\u\h^ZihdZau\Z_l qlh hgb \k_]^Z mf_gvrZxlky ijbq_f dZd ijZ\beh kms_kl\_ggh aZ bkdexq_gb_f kemqZy dh]^Zmkeh\gZy\_jhylghklvbeb\_jhylghklvjZ\gubihemq_ggu_hp_gdbg_evaymemqrblv ^Z`_ _keb h]jZgbqblvky bkihevah\Zgb_f ijZ\be k mkeh\ghc \_jhylghklvx g_ f_gvr_c q_f gZijbf_j-εdZdwlhk^_eZgh\jZ[hl_>$GDPV(U:@Bwlhg_kemqZcgh >_eh\lhfqlhbkihevah\Zgb_fZl_fZlbq_kdhceh]bdbb\qZklghklbijZ\be\u\h^Z g_y\gh ij_îheZ]Z_l Z[khexlgmx ^hklh\_jghklv (beb ]bihl_lbqghklv bkihevam_fuo \ \u\h^_ agZgbc b hl\_qZ_l lj_[h\Zgbyf khojZg_gby bklbgghklb, Z g_ \_jhylghklb Wlh ih^l\_j`^Z_lkyl_fnZdlhfqlhijbijbf_g_gbbijZ\beZ\u\h^ZPRGXVSRQHQVba$$⇒ B ke_^m_l%hp_gdZ\_jhylghklbP%\k_]^Zkljh]hf_gvr_hp_gdb\_jhylghklbP$\uqbk e_gghcihijZ\beZf\_jhylghklghceh]bdb baP$ bP%$aZbkdexq_gb_fkemqZydh]^Z P%$ Lh]^ZP$ P%Bgufbkeh\Zfblhevdh^hklh\_jgh_agZgb_P%$ g_ mf_gvrZ_l \_jhylghklv\ex[hf^jm]hfkemqZ_hgZkljh]hmf_gvrZ_lkyLhevdhijb^hklh \_jghfagZgbbfh`ghijbf_gylvijZ\beZ\u\h^Zg_h]jZgbq_ggh_qbkehjZablhevdh\ wlhf kemqZ_ hgb ^_ckl\bl_evgh y\eyxlky ijZ\beZfb \u\h^Z - khojZgyxl g_dhlhjmx hp_gdm bklbgghklbbebP$ G_h]jZgbq_ggh_ijbf_g_gb_ijZ\be\u\h^Zd\_jhylghklgufagZ gbyfg_ijbf_gbfhldfh`_lijb\h^blvdagZgbyfbf_xsbfkdhevm]h^ghgbadmxhp_gdm \_jhylghklbbnZdlbq_kdbm`_g_y\eyxsbfbkyagZgbyfbDZdfuihdZ`_f^Ze___kebhldZ aZlvky hl ZdkbhfZlbq_kdh]h f_lh^Z b ijZ\be \u\h^Z lh fh`gh ihkljhblv lZdhc k_fZglbq_ kdbc\_jhylghklguc\u\h^hp_gdbij_^kdZaZgbydhlhjh]hgZh[hjhl\k_]^Z[m^mlkljh]h\ha jZklZlv LZdbfh[jZahf\Nbehkhnkdhceh]bd_Bkdmkkl\_gghfBgl_ee_dl_Ijbgylbbj_r_gbc Wdki_jlguo kbkl_fZo <_jhylghklguo G_q_ldbo b l^ eh]bdZo b ^jm]bo h[eZklyo bkihev amxsbo fZl_fZlbq_kdmx eh]bdm ]eZ\_gkl\mxsmx jhev \k_]^Z b]jZe ijbgpbi p_e_iheZ 3 ]ZgbynhjfZevghij_^klZ\e_gguc :dkbhfZlbq_kdbfF_lh^hfI_j_ghkZdkbhfZlbq_kdh ]h f_lh^Z gZ wfibjbq_kdb_ agZgby g_ijZ\hf_j_g ihwlhfm g_h[oh^bfh baf_gblv kms_kl \mxsmxiZjZ^b]fm-ZdkbhfZlbq_kdbcihôh^dagZgbyf-bihkljhblvlZdmxnhjfZeb aZpbx, ]^_ ]eZ\ghc P_evx agZgbc y\eyebkv [u bo hp_gdb ij_^kdZaZgby, \_jhylghklb (^hklh\_jghklb b l.^ Lhevdh \ lZdbo nhjfZevguo kbkl_fZo fh`gh iulZlvky kljhblv nhj fZevgmx fh^_ev jZ[hlu fha]Z < jZfdZo klZjhc iZjZ^b]fu wlh ijbgpbibZevgh g_\ha fh`gh D kqZklvx \ gZklhys__ \j_fy FZl_fZlbq_kdZy Eh]bdZ jZa\blZ gZklhevdh qlh ^Z\gh m`_ \ureZ aZ jZfdb ZdkbhfZlbq_kdh]h f_lh^Z b \ g_c kms_kl\mxl kZfu_ jZaghh[jZagu_ nhjfZevgu_kbkl_fu<uykgbfdZdZybagbokhhl\_lkl\m_l]eZ\ghfmijbgpbimjZ[hlufha]Z 2.3. K_fZglbq_kdbcihôh^dnhjfZebaZpbb]eZ\ghcp_ebjZ[hlufha]Z LZdbfh[ jZahf êy ihemq_gby fZdkbfZevguo \_jhylghklguo hp_ghd ij_^kdZaZgby g_h[oh^bfh hldZ aZlvkyhlZdkbhfZlbq_kdh]hihôh^ZdagZgbyfbbkihevah\ZgbyijZ\be\u\h^ZDZdwlhfh` ghk^_eZlv" I_j\ucrZ]dihemq_gbx\_jhylghklguohp_ghdij_^kdZaZgby[uek^_eZg\³dhebq_kl \_gguo^_^mdpbyo´]^_agZq_gbybklbgghklb[uebh[h[s_gu^hagZq_gbc\_jhylghklb^hk lh\_jghklb b ij Gh \ dhebq_kl\_gguo ^_^mdpbyo khojZgy_lky hq_\b^gh_ g_khhl\_lkl\b_ ijb h[h[s_gbb agZq_gbc bklbgghklb, g_ h[h[sZxlky ijZ\beZ \u\h^Z IjZ\beZ \u\h^Z ijbf_gyxlkyêykhojZg_gbyagZq_gbcbklbgghklbgh_kebagZq_gbybklbgghklbh[h[s_gu lhbijZ\beZ\u\h^Z^he`gu[ulvh[h[s_gulZdqlh[ukhojZgylvwlbh[h[s_ggu_agZq_gby Zg_klZju_agZq_gbybklbgghklbDZdbfh[jZahffh`ghh[h[sblvijZ\beZ\u\h^Z" JZkkfhljbf ijhp_kk \uqbke_gby k lhqdb aj_gby ³k_fZglbq_kdh]h” ihôh^Z d ijh ]jZffbjh\Zgbx [GoncKDURY66(UVKRY<X/6YLULGHQNR',@B^_yk_fZglbq_kdh]hijh ]jZffbjh\Zgby khklhbl \ lhf qlh[u ijhp_kk \uqbke_gby h[h[sZxsbc eh]bq_kdbc \u\h^ jZkkfZljb\Zlv dZd ijh\_jdm bklbgghklb ml\_j`^_gbc \dexqZy \hafh`gh_ bkihevah\Zgb_ eh]bq_kdh]h\u\h^ZgZg_dhlhjhcfh^_ebIjblZdhf\a]ey^_gZijhp_kk\uqbke_gbyijhp_ ^mjmeh]bq_kdh]h\u\h^Zfh`ghh[h[sblvhij_^_eyygh\u_\aZbfhhlghr_gby\ukdZau\Zgbc b fh^_eb Fh`gh jZkkfhlj_lv gZijbf_j g_ lhevdh ijh\_jdm bklbgghklb Z dZd ijh\_jdm ij_^kdZam_fhklb ih^l\_j`^Z_fhklb ^hklh\_jghklb b l^ \ukdZau\Zgbc gZ fh^_eb LZdb_ \u\hû [m^_f gZau\Zlv k_fZglbq_kdbfb >ey k_fZglbq_kdh]h \u\h^Z ijh\_jdm bklbggh klbfh`ghaZf_gblvgZihbkdfZdkbfZevghcij_^kdZam_fhklbbf_xs_cgZb[hevrmxhp_g dmmkeh\ghc\_jhylghklbgZb[he__ kbevghih^l\_j`^ZxsbonZdlh\gZb[he__^hklh\_jguo nZdlh\ b l^ Wlh \hafh`gh ihlhfm qlh bklbgghklv bf__l lhevdh ^\Z agZq_gby Z \_jhyl ghklv ih^l\_j`^_gghklv ^hklh\_jghklv b l^ bf_xl dhglbgmmf agZq_gbc Ihwlhfm _keb bkihevah\Zlvg_^\ZagZq_gbybklbgghklbbklbgZeh`vkj_^bdhlhjuog_bf__lkfukeZbk dZlv³gZb[he__bklbggh_´ZbkdZlv\ukdZau\Zgbybf_xsb_gZbemqrb_agZq_gbybklbgghklb \dhglbgmmf_agZq_gbclhihbkdgZb[he__\_jhylgh]h^hklh\_jgh]hbl^ml\_j`^_gbym`_ bf__l kfuke < wlhf kemqZ_ fu \hh[s_ ]h\hjy ^Z`_ g_ gm`^Z_fky \ ijZ\beZo \u\h^Z kf jbk DZdhlf_qZehkv]eZ\ghcp_evxjZ[hlufha]Zy\ey_lky^hklb`_gb_gZbemqr_c\_jhylgh klghc hp_gdb ijh]ghaZ ^hklb`bfhklb j_amevlZlZ Dhgdj_lbabjm_f wlm p_ev dZd ijbgpbi ij_^kdZaZgby fha] kihkh[_g Z\lhfZlbq_kdb hkms_kl\eylv ij_^kdZaZgby, h[_ki_qb\Zxsb_fZdkbfZevgu_hp_gdbijh]ghaZ^hklb`bfhklbj_amevlZlh\?kebfuhij_^_ebf lZdhc k_fZglbq_kdbc \_jhylghklguc \u\h^ dhlhjuc kihkh[_g h[_ki_qblv ^Zgguc ijbgpbi lh_]hfh`gh\aylv\dZq_kl\_hkgh\uêynhjfZebaZpbbijbgpbiZij_^kdZaZgbyLZdZynhj fZebaZpbyk_fZglbq_kdh]h\_jhylghklgh]h\u\h^Z\\b^_ki_pbZevghhij_^_e_ggh]h\_jhyl ghklgh]h\u\h^Z[ueZhkms_kl\e_gZ\jZ[hlZoZ\lhjZ><bly_\<bly_\@ 4 NhjfZebaZpbyijbgpbiZij_^kdZaZgby Hij_^_ebf \_jhylghklguc \u\h^ m^h\e_l\hjyxsbc knhjfmebjh\Zgghfm \ur_ ijbgpbim ij_^kdZaZgby < ke_^mxs_f jZa^_e_ Zj]mf_glbjm_lky qlh \ky \hkijbgbfZ_fZy fha]hfbgnhjfZpbybihklmiZxsZy gZ _]h \oh^Znn_j_glZpbyfh`_l[ulvij_^klZ\e_gZg_ dhlhjuffgh`_kl\hfh^ghf_klguoij_^bdZlh\ <jZ[hl_><bly_\<bly_\@hij_^_e_gu³emqrb_êyij_^kdZaZgbyijZ\beZ´dZd ijZ\beZ \b^Z 31&...&Pd ⇒ P0 ]^_ 30 - ij_^kdZau\Z_fuc ij_^bdZl 31,...,Pd - ij_^bdZlu \u [jZggu_kj_^b\k_obf_xsbokydhgtxgdpbydhlhjuoh[_ki_qb\Z_lg_memqrZ_fmxhp_gdm ij_^kdZaZgby. Hp_gdm ij_^kdZaZgby hij_^_ebf dZd mkeh\gmx \_jhylghklv P(P0/P1&...&Pd) bklbgghklbij_^bdZlZ30ijbbklbgghklbihkuedb31&...&Pd. G_memqrZ_fhklvhp_gdbhagZ qZ_lqlhwlZhp_gdZehdZevghfZdkbfZevgZl___g_evaymemqrblvgb^h[Z\e_gb_fgh\uo ij_^bdZlh\ beb dhgtxgdpbb g_kdhevdbo ij_^bdZlh\ \ ihkuedm mlhqg_gb_f mkeh\by gb m^Ze_gb_fh^gh]hbebg_kdhevdboij_^bdZlh\baihkuedbh[h[s_gb_fmkeh\byIj_^kdZau \Z_fucij_^bdZl30fh`_lbf_lvg_kdhevdh³emqrboêyij_^kdZaZgbyijZ\be´kjZaebqgufb hp_gdZfb mkeh\ghc \_jhylghklb Gb h^gh ba wlbo ijZ\be g_evay ihemqblv ba ^jm]h]h iml_f ^h[Z\e_gbybebm^Ze_gbyg_kdhevdboij_^bdZlh\ihkuedbohlyhq_\b^ghqlhex[h_bawlbo ijZ\befh`ghihemqblvbaex[h]h^jm]h]hh^gh\j_f_gguf m^Ze_gb_fb^h[Z\e_gb_fH[hagZqbffgh`_kl\h\k_o³emqrboêyij_^kdZaZgbyijZ\be´q_j_aPR.Ijbgpbiij_^kdZaZgby lh]^Z dhgdj_lbabjm_lky ke_^mxsbf h[jZahf: “fha] ^he`_g mf_lv Z\lhfZlbq_kdb h[gZjm `b\Zlv fgh`_kl\h ijZ\be PR, ^Zxsbo fZdkbfZevgu_ hp_gdb \_jhylghklb ^hklb`bfh klbJ_amevlZlh\”. GZclb \k_ ihkuedb 31&...&Pd ijZ\be h[_ki_qb\Zxsbo fZdkbfZevgu_ hp_gdb ij_^kdZ aZgbygm`ghdjhf_lh]h\mkeh\byo dh]^Zfu g_agZ_f\_jhylghkl_cZagZ_flhevdhklZlb klbdm ih dhlhjhc fh`gh \uqbkeylv g_dhlhju_ hp_gdb Ijb fZehc klZlbklbd_fug_fh`_f ^hklZlhqghgZ^_`gh]ZjZglbjh\ZlvehdZevgmxfZdkbfZevghklvDZd`_lh]^Zfha]fh`_lh[ gZjm`blvfgh`_kl\hPR"WlhhdZau\Z_lky\hafh`guf_kebhj]Zgbah\ZlvgZijZ\e_ggucih bkd ehdZevgh fZdkbfZevguo agZq_gbc Bf y\ey_lky k_fZglbq_kdbc \_jhylghklguc \u \h^dhlhjucf_g__qm\kl\bl_e_gdg_^hklZldmklZlbklbdbbdZdihdZau\Z_lfZrbggh_fh^_ ebjh\Zgb_kkuedbijb\_^_gugb`_\iheg_ijb_fe_fijZdlbq_kdb K_fZglbq_kdbc \_jhylghklguc \u\h^ hkms_kl\ey_lky iml_f ihkljh_gby ³mlhqgyxs_]h” ]jZnZ: 5 3 d N 3 d ⇐3 3 d 3 ⇐5 5 Q 3 N 3 N 5 Q 5 Q 5 Q 5 Q 5 Q 5 Q Jbk IjZ\beZgZqbgZyk30ihkuedZijZ\beZ\^ZgghfkemqZ_imklZ]^_30 -ijhba\hevgucij_^ kdZau\Z_fucij_^bdZl³mlhqgyxlky´^h[Z\e_gb_fij_^bdZlZdhgtxgdpbbij_^bdZlh\\ih kuedmlZdqlh[umkeh\gZy\_jhylghklvijbdZ`^hf^h[Z\e_gbbkljh]h\hajZklZeZDjhf_ lh]h dZ`^h_ ihemq_ggh_ ijZ\beh ^he`gh [ulv \_jhylghklghc aZdhghf_jghklvx lj_[h\Z gb_qZklbqghcehdZevghcfZdkbfZevghklb-baijZ\beZg_evay[uehm^ZeblvgbdZdhcij_^b dZldhgtxgdpbxij_^bdZlh\lZdqlh[umkeh\gZy\_jhylghklvijbwlhfm\_ebqbeZkvbebg_ mf_gvrbeZkv1<³emqrboêyij_^kdZaZgbyijZ\beZo´lj_[m_lky_s_qlh[uihkuedZijZ\beZ [ueZfZdkbfZevghlhqgZ\lhfkfuke_qlhg_evay[ueh[u^h[Z\blvdZdhc-gb[m^vij_^bdZl dhgtxgdpbxij_^bdZlh\lZdqlh[umkeh\gZy\_jhylghklvih\ukbeZkvGhdZdfum`_kdZ aZeb kjZam wlh]h lj_[h\Zlv g_evay ld g_ [m^_l^hklZlhqghc klZlbklbdbêyijh\_jdbwlh]h mkeh\by Ihwlhfm \ mlhqgyxs_f ]jZn_ ij_^bdZlu dhgtxgdpbb ij_^bdZlh\ ^h[Z\eyxlky ihkl_i_ggh h^gZdh k l_f mkeh\b_f qlh [u ijZ\beh [ueh \_jhylghklghc aZdhghf_jghklvx ³Mlhqg_gb_´ \_l\b ]jZnZ aZ\_jrZ_lky dh]^Z g_\hafh`gh m`_ ^h[Z\blv dZdhc-gb[m^v ij_^b dZlbebdhgtxgdpbxij_^bdZlh\lZdqlh[umkeh\gZy\_jhylghklvm\_ebqb\ZeZkvqlhbha gZqZ_l \uiheg_gb_ \lhjh]h mkeh\by ehdZevghc fZdkbfZevghklb Ihwlhfm \ dhgp_ dZ`^hc \_l\b ]jZnZ fu ihemqZ_f “gZbemqr__ êy ij_^kdZaZgby ijZ\beh´ LZdhc \u\h^ ihegh klvx hij_^_ey_lky p_evx ij_^kdZaZgby - ^hklb`_gb_f gZbemqrbo \_jhylghklguo hp_ghd ij_^kdZaZgbyDjhf_lh]hhgh[eZ^Z_laZf_qZl_evgufk\hckl\hf\hlebqbbhlhp_ghdij_^ 1<jZ[hl_><bly_\<bly_\@jZkkfZljb\Z_lky[he__h[sbckemqZcdh]^Zyaudkh^_j `bl nmgdpbhgZevgu_ kbf\heu b ijZ\beZ kh^_j`Zl l_jfu gh \ kemqZ_ dh]^Z nmgdpbhgZevguo kbf\heh\ g_l ^Zggh_ hij_^_e_gb_ \_jhylghklgh]h \u\h^Z ihemqZ_lky ba hij_^_e_gby ijb\_^_g gh]h \ ><bly_\ <bly_\ @ dZd qZklguc kemqZc GZ kZfhf ^_e_ a^_kv fu g_fgh]h mijhsZ_f nhjfZebaZpbxg_\\h^ynmgdpbhgZevgu_kbf\heu>eyiheghcnhjfZebaZpbbdh]^Zg_h[oh^bfh ³ba\e_q_gb_ bg\ZjbZglh\´ dZd h[gZjm`_gb_ fha]hf aZdhgh\ nmgdpbhgZevgu_ kbf\heu gm`gu WlZ[he__ih^jh[gZynhjfZebaZpby[m^_lijb\_^_gZ\^Zevg_crbojZ[hlZo 6 kdZaZgby dhlhju_ \uqbkeyxlky ³\^h]hgdm´ eh]bq_kdhfm \u\h^m b \k_]^Z mf_gvrZxlky, \ k_fZglbq_kdhf\_jhylghklghf\u\h^_hp_gdbij_^kdZaZgby\k_]^Zkljh]hm\_ebqb\Zxlky. <dexqbf\hfgh`_kl\hPR\k_ \_jhylghklgu_aZdhghf_jghklbdhlhju_ihemqZxlky gZ ijhf_`mlhqguo wlZiZo \_jhylghklgh]h \u\h^Z LZdh_ \dexq_gb_ g_h[oh^bfh ih ^\mf ijbqbgZf \h-i_j\uo hgh g_ mom^rZ_l \hafh`ghklbihemq_gbyfZdkbfZevguohp_ghdij_^ kdZaZgby\kemqZ_gZebqbyiheghcbgnhjfZpbblZddZdij_^kdZaZgb_\k_]^Zhkms_kl\ey_l ky ih aZdhghf_jghklyf, bf_xsbf fZdkbfZevgu_ hp_gdb ij_^kdZaZgby kj_^b \k_o ijb f_gbfuo \ ^Zgghc kblmZpbb \h-\lhjuo \ kemqZ_ ^_nbpblZ bgnhjfZpbb beb gh\bag_ kblmZ pbbdZd\kemqZ_dhfi_gkZlhjghcnmgdpbbwfhpbckf><bly_\@dh]^ZkZfu_kbevgu_ aZdhghf_jghklbg_ijbf_gbfuba-aZg_\uihegbfhklbmkeh\bcijhf_`mlhqgu_aZdhghf_jgh klb fh]ml [ulv k mki_ohf bkihevah\Zgu ohly b bf_xl g_fgh]h f_gvrb_ hp_gdb mkeh\ghc \_jhylghklb Lhl nZdl qlh ij_^kdZaZgb_ \k_]^Z hkms_kl\ey_lky ih aZdhghf_jghklyf bf_x sbf fZdkbfZevgu_ hp_gdb \_jhylghklb ih^l\_j`^Z_lky ^Zggufb g_cjhnbabheh]bb ijb aZ fudZgbb mkeh\guo k\ya_c gZ mjh\g_ hl^_evgh]h g_cjhgZ kdhjhklv ijh\_^_gby bfimevkZ hl mkeh\gh]hklbfmeZdZdkhgmg_cjhgZl_kdhjhklvhl\_lZg_cjhgZgZmkeh\guckb]gZe,l_f \ur_, q_f \ur_ \_jhylghklv ihemq_gby dZdh]h-eb[h ihe_agh]h J_amevlZlZ Ihwlhfm g_cjhg[m^_lj_Z]bjh\Zlvij_`^_\k_]hgZaZdhghf_jghklbbf_xsb_fZdkbfZevgu_agZq_gby mkeh\ghc\_jhylghklb DZdke_^m_lbahij_^_e_gby³emqrboêyij_^kdZaZgbyijZ\be´hgb\k_]^Zy\eyxlky\_ jhylghklgufb aZdhghf_jghklyfb G_ljm^gh \b^_lv qlh dZ`^Zy \_jhylghklgZy aZdhghf_j ghklv \dexq_gZ dZd khklZ\gZy qZklv \ g_dhlhjh_ ³emqr__ êy ij_^kdZaZgby ijZ\beh´ b agZ qbl ijbgZê_`bl PR. Ihwlhfm fgh`_kl\h PR y\ey_lky fgh`_kl\hf \k_o \_jhylghklguo aZdhghf_jghkl_cFgh`_kl\hPR\dexqZ_l\k_[yg_lhevdh\k_dhg_qgu_\_l\b]jZnh\ghb \k_ijhf_`mlhqgu_\_jrbgubkhhl\_lkl\mxsb_bfijZ\beZ<wlhfkemqZ_ijbgpbiij_^ kdZaZgby dhgdj_lbabjm_lky ke_^mxsbf h[jZahf: “fha] ^he`_g mf_lv h[gZjm`b\Zlv \k_ \_jhylghklgu_ aZdhghf_jghklb PR, ^Zxs__ fZdkbfZevgu_ hp_gdb \_jhylghklb ^hklb `bfhklbJ_amevlZlh\gZbf_xsboky^Zgguo”. <jZ[hlZo><bly_\<bly_\@^hdZaZghqlhklhqdbaj_gbyij_^kdZaZgbyfgh`_kl \h \_jhylghklguo aZdhghf_jghkl_c PR ij_\hkoh^bl ^Z_l emqrb_ hp_gdb mkeh\guo \_jh ylghkl_cex[hceh]bq_kdbc\u\h^kiZjZee_evguf\uqbke_gb_fhp_ghdmkeh\guo\_jhyl ghkl_cihijZ\beZf\_jhylghklghceh]bdbLhqg__\><bly_\<bly_\@^hdZaZghqlh êyex[h]h^hdZaZl_evkl\Zg_dhlhjh]hij_^bdZlZ30ihijZ\beZfba PRbg_dhlhjhfmfgh`_ kl\m nZdlh\ D \h fgh`_kl\_ PR gZc^_lky \k_]h ebrv h^gZ \_jhylghklgZy aZdhghf_jghklv P1&...&Pd ⇒ P0ij_^kdZau\ZxsZygZl_o`_nZdlZoDaZ\_^hfhg_om`_q_fkihfhsvxwlh]h ^hdZaZl_evkl\Z LZdbf h[jZahf êy p_e_c ij_^kdZaZgby fgh`_kl\h PR \k_o \_jhylghkl guoaZdhghf_jghkl_ckbevg__eh]bq_kdh]h\u\h^ZDjhf_lh]h\><bly_\<bly_\@ ihdZaZghqlh³mlhqgyxsbc]jZn´g_kfhljygZk\hxijhklhlmy\ey_lkynhjfZevgufh[h[s_ gb_f eh]bq_kdh]h \u\h^Z b fh`_l jZkkfZljb\Zlvky dZd k_fZglbq_kdbc \u\h^ g_ lj_[mxsbc ijZ\be\u\h^ZWlh^hdZau\Z_lqlh_kebP_evx\u\h^Zy\ey_lky^hklb`_gb_fZdkbfmfZg_ dhlhjhchp_gdbZg_khojZg_gb_agZq_gbcbklbgghklbdZd\eh]bq_kdhf\u\h^_lhfuihem qZ_fijbgpbibZevgh^jm]hc\u\h^ Fgh`_kl\h PR ^Z_l gZf \ hij_^_e_gghf kfuke_ L_hjbx Ij_^kdZaZgby ij_^f_lghc h[eZklbHgZihgbfZ_lkya^_kvg_dZdnhjfZebaf^hklZlhqghnhjfZevghh[t_^bgyxsbcl_h jbx\_jhylghkl_cbeh]bdmi_j\h]hihjy^dZdZdwlh^_eZ_lky\jZ[hlZoih\_jhylghklghceh ]bd_b³dhebq_kl\_gguf^_^mdpbyf´>1J576XEUDKPDQLDQ96@DE>6FRWW'6.UDXVV3 @Z[eb`_deh]bd_,dZdfgh`_kl\hml\_j`^_gbckfZdkbfZevgufbagZq_gbyfbg_dh lhjuobklbgghklguoagZq_gbc(\gZr_fkemqZ_fZdkbfZevguohp_ghdmkeh\guo\_jhylgh kl_c 7 < aZdexq_gb_hlf_lbfqlhfgh`_kl\hPRg_y\ey_lkykebrdhf[hevrbfIhgylb_\_ jhylghklghcaZdhghf_jghklb[ueh\\_^_ghZ\lhjhfkp_evxjZajZ[hldbf_lh^Zh[gZjm`_gby aZdhghf_jghkl_c ><bly_\ @ :\lhj [ue ^_lZevgh agZdhf k L_hjb_c NmgdpbhgZevguo Kbk l_f _s_ ^h jZajZ[hldb wlh]h f_lh^Z \ ]h^m Ihwlhfm f_lh^ ><bly_\ @ \h \j_fy _]h kha^Zgby jZkkfZljb\Zeky h^gh\j_f_ggh dZd j_ZebaZpby nhjfZevghc fh^_eb g_cjhgZ Wlhl f_lh^[uej_Zebah\Zgbmki_rghijbf_gyekyêyj_r_gby[hevrh]hqbkeZijZdlbq_kdboaZ ^Zq><bly_\><bly_\??Ih^dheh^gucGE@><bly_\??Fhkd\blbg:: @Hiulj_r_gbyaZ^ZqihdZaZeqlhfgh`_kl\hPRfh`_l[ulvwnn_dlb\ghgZc^_gh^Z`_ gZfZeuoW<F DjblbdZ]bihl_aukmffZpbb\ha[m`^_gbcgZ_^bgbqghfg_cjhg_ Gh\ZynhjfZevgZyfh^_evg_cjhgZ Ij_`^_ q_f hij_^_eylv gh\mx nhjfZevgmx fh^_ev g_cjhgZ ihdZ`_f qlh kms_kl\mxsZy nhjfZevgZy fh^_ev g_ bf__l ih^ kh[hc gbdZdbo hkgh\Zgbc =hkih^kl\mxsZy m`_ [he__e_l\1HXURVFLHQFH]bihl_aZkmffZpbb\ha[m`^_gbcgZmjh\g_g_cjhgZ-wlh_s_ h^gh gZmqgh_ aZ[em`^_gb_ WlZ ]bihl_aZ [ueZ ih^\_j]gmlZ djblbd_ ID:ghobguf _s_ \ 1974 ] >:ghobg ID @ JZ[hlZ [ueZ i_j_\_^_gZ gZ Zg]ebckdbc yaud gh \ 1HXURVFLHQFH ^h kboihjijb^_j`b\Zxlkywlhc]bihl_auIheg_crZy__Z[kmj^ghklvke_^m_lbakZfhcjZ[hlu >:ghobgID@Gb`_fulhevdhdjZldhijb\_^_f\u\h^k^_eZgguc\wlhcjZ[hl_ 4.1. DjblbdZ]bihl_aukmffZpbb\ha[m`^_gbcgZmjh\g_g_cjhgZ. ³Ke_^h\Zl_evghl_hjbywe_dljbq_kdhckmffZpbbijbagZ_lgZebqb_ Z\hafh`ghklbjZkijhkljZg_gbyhljbpZl_evguobiheh`bl_evguoihl_gpbZeh\ihf_f [jZgZf^_g^jblZbl_eZg_j\ghcde_ldb [\hafh`ghklbboZe]_[jZbq_kdbokmffZpbhgguoh[t_^bg_gbcijb\klj_q_gZih\_jo ghklbg_cjhgZ \\hafh`ghklbZ^_d\Zlgh]h\ha^_ckl\bywlhckmffuf_f[jZgguobaf_g_gbcgZ]_g_jZ lhjgucimgdlg_cjhgZ ;eZ]h^Zjyh]jhfghfmZ\lhjbl_lmmihfygmluo\ur_bkke_^h\Zl_e_c l_hjby“we_d ljbq_kdhc kmffZpbb´ ijba\ZggZy h[tykgblv bgl_]jZlb\gmx ^_yl_evghklv g_cjhgZ ihqlb [_ah]h\hjhqgh ijbgylZ ih^Z\eyxsbf [hevrbgkl\hf g_cjhnbabheh]h\, ohly \hh[s_ d wlhfmg_[uehgbdZdbohkgh\ZgbcihkdhevdmhgZgbdh]^Zg_h[km`^ZeZkvbg_Zj]mf_glbjh \ZeZkv^hklZlhqghk_jv_agufh[jZahf´>:ghobgIDK@ ID:ghobg\uykgy_lijbqbgm\hagbdgh\_gbywlhc³]bihl_au´ “...Ijhbahr_elhlg_aZf_lguci_j_ghk\ujZ[hlZgghcjZg__ljZ^bpbhgghceh]bdbbk ke_^h\Zl_evkdh]hijhp_kkZgZijh\h^ysboh[jZah\Zgbyog_j\guo\hehdgZo-?<dbkke_^h \ZgbxkbgZikh\bkZfhcg_j\ghcde_ldbDh^h\h_\ujZ`_gb_³ijh\_^_gb_\ha[m`^_gbyq_j_a kbgZikémqr_\k_]hoZjZdl_jbam_lwlmhrb[dmk^_eZggh]hh[h[s_gby<ujZ`Zykv[he__lhq ghfh`ghkdZaZlvqlhijbfZlf_f[jZghbhgguoijhp_kkh\kijZ\_êb\hijbgylucg_cjhnb abheh]Zfb[_ah]h\hjhqghêyijh\h^ysbokljmdlmjZ\lhfZlbq_kdb[uei_j_g_k_gb\dZq_kl \_ ijbfZlZ gZ kbgZiku gZ ^_g^jblu b gZ g_j\gu_ de_ldb LZd \hagbd i_j\uc “iZjZ ^hdk”, hij_^_eb\rbc \kx ^Zevg_crmx eh]bdm bkke_^h\Zgbc ih g_cjhnbabheh]bb kb gZik ^_g^jblu bg_j\gZy kbkl_fZ[uebijbgyludZdqZklvkbkl_fuijh\h^ys_cg_j\ gucbfimevkihf_f[jZg_g_j\ghcde_ldbhlkbgZikZdZdkhgghfmohefbdml_d\uoh^mgZ Zdkhg´>:ghobgID&@ Qlh ihablb\gh]h djhf_ djblbdb ml\_j`^Z_lky \ L_hjbb NmgdpbhgZevguo Kbkl_f ih ih\h^m g_cjhgghc Zdlb\ghklb" D kh`Ze_gbx g_fgh]h - lhevdh h[s__ ml\_j`^_gb_ h kbkl_ fhki_pbnbqghklbg_cjhgh\³<jZaghh[jZaguo\b^Zoih\_^_gbyj_]bkljbjm_fh]hkihfhsvx 8 jZaebqguo hlf_lhd b \b^_haZibkb fu bkke_^h\Zeb Zdlb\ghklv g_cjhgh\ fhlhjghc ajbl_ev ghciZjb_lZevghcbebf[bq_kdhch[eZklbdhju]biihdZfiZh[hgyl_evghcemdh\bpubj_lb dmeyjghcnhjfZpbbfha]ZWlbbkke_^h\ZgbyihdZaZebqlh\kl_j_hlbighfih\_^_gbbfgh ]b_ g_cjhgu jZaebqguo h[eZkl_c fha]Z y\eyxlky kbkl_fhki_pbnbqgufb l_ Zdlb\bjm xlky b lhjfhaylky ijb j_ZebaZpbb l_o beb bguo nmgdpbhgZevguo kbkl_f´ >R\ujdh\ <; 82. K @ < L_hjbb nmgdpbhgZevguo kbkl_f ^Z_lky lZd `_ Z[kljZdlgh_ ml\_j`^_gby h[ mf_gvr_gbb qbkeZ kl_i_g_c k\h[hû g_cjhgh\ \ ijhp_kk_ jZ[hlu nmgdpbhgZevguo kbkl_f LZdbfh[jZahffh`gh^hklZlhqghkf_ehij_îheZ]Zlvqlhh[hkgh\ZgghcnhjfZevghcfh^_eb g_cjhgZ\gZklhys__\j_fyg_kms_kl\m_l 4.2. Nbabheh]bq_kdZybgl_jij_lZpbyijbgpbiZij_^kdZaZgby. GZihfgbf qlh ijbgpbi ij_^kdZaZgby ihke_ nhjfZevgh]h ZgZebaZ \ jZa^_e_ [ue dhgdj_lbabjh\Zg dZd ijbgpbi ³fha] ^he`_g mf_lv h[gZjm`b\Zlv \k_ \_jhylghklgu_ aZ dhghf_jghklb´<jZa^_e_fubkoh^bebbaij_îheh`_gbyhlhfqlh\ky\hkijbgbfZ_fZy fha]hf bgnhjfZpby b ihklmiZxsZy gZ _]h \oh^ Znn_j_glZpby fh`_l [ulv ij_^klZ\e_gZ g_dhlhjuffgh`_kl\hfh^ghf_klguoij_^bdZlh\H[hkgm_fwlhij_îheh`_gb_ Ih^bgnhjfZpb_cihklmiZxs_cgZ³\oh^´fha]Zfu[m^_fihgbfZlv\kx\hkijbgb fZ_fmx fha]hf Znn_j_glZpbx fhlb\Zpbhggmx, h[klZgh\hqgmx, imkdh\mx, h[jZlgmx, kZgdpbhgbjmxsmx Znn_j_glZpbx, Znn_j_glZpbx h[ hkms_kl\e_gguo ^_ckl\byo, ih klmiZxsmxihdheeZl_jZeyfgZ“\oh^”,bl.Êx[ZyZnn_j_glZpbyihklmiZxsZygZ\oh^ ih g_dhlhjhfm Zdkhgm bf__l ^\Z khklhygby - \ha[m`^_gb_ beb hlkmlkl\b_ \ha[m`^_gby km s_kl\mxlb^jm]b_iZjZf_lju\ha[m`^_gbylZdb_dZdkbeZ\ha[m`^_gby-qbkehbfimevkh\ qZklhlZk\yaZggZyk\_jhylghklvxkb]gZeZiZqdhh[jZaghklvk\yaZggZykfhlb\Zpb_cb\ha fh`gh_s_g_dhlhju_^jm]b_ghfu[m^_fmqblu\ZlvihdZlhevdhgZebqb_\ha[m`^_gbyb _]h\_jhylghklvqZklhlmbfimevkh\Ihwlhfmhij_^_ebfihklmiZxsmxgZ³\oh^´fha]Zbg nhjfZpbxh^ghf_klgufbij_^bdZlZfbdhlhju_nbdkbjmxl[bgZjgh_k\hckl\h\ha[m`^_gby eb[hg_\ha[m`^_gbyg_dhlhjh]hZdkhgZ<ha[m`^_gb_g_cjhgZbi_j_^Zqmwlh]h\ha[m`^_gby gZ_]hZdkhglZd`_hij_^_ebfh^ghf_klgufij_^bdZlhfbklbgghklvdhlhjh]h[m^_lhagZqZlv \ha[m`^_gb_g_cjhgZbi_j_^Zqmwlh]h\ha[m`^_gbygZ\uoh^g_cjhgZ-gZ_]hZdkhgBaWdh eh]bq_kdhcL_hjbb<hkijbylby>`=b[khgZke_^m_lqlhih^bgnhjfZpb_cfh`_lihgbfZlvky ex[ZyoZjZdl_jbklbdZwg_j]_lbq_kdh]hihlhdZk\_lZa\mdZblîhklmiZxsZygZ\oh^fha]Z IjbagZdbk\hckl\Zihgylbybij-\lhjbqguihhlghr_gbxdwlhcbgnhjfZpbbbfuwlbfb l_jfbgZfb ihevah\Zlvky g_ [m^_f Ihwlhfm \ ^Zevg_cr_f fu [m^_f ij_îheZ]Zlv qlh \ky Znn_j_glgZy bgnhjfZpby aZ^Z_lky g_dhlhjuf fgh`_kl\hf h^ghf_klguo ij_^bdZlh\ agZq_gbydhlhjuokhhl\_lkl\mxlg_dhlhjhcihklmiZxs_cgZ\oh^fha]ZbgnhjfZpbb G_cjhg hij_^_ebf dZd ij_h[jZah\Zgb_ 31,...,Pd> ⇒ P0 agZq_gbc ij_^bdZlh\ 31,...,Pd, h[hagZqZxsbo \k_ \oh^gu_ \ha[m`^_gby dZd ijZ\beh g_kdhevdh lukyq ijboh^ysbo ih ZdkhgZf gZ \oh^ kbgZiku g_cjhgZ \ agZq_gb_ ij_^bdZlZ 30 h[hagZqZxs_]h \uoh^ Zdkhg g_cjhgZBa\_klghqlhdZ`ûcg_cjhgbf__lj_p_ilb\gh_ihe_klbfmeypbydhlhjh]h\ha[m `^Z_l_]h[_amkeh\ghI_j\hgZqZevghc^h\kydh]hh[mq_gbyk_fZglbdhcij_^bdZlZ30fh`gh kqblZlv bgnhjfZpbx ba\e_dZ_fmx bf ba wlh]h j_p_ilb\gh]h ihey Gh \ ijhp_kk_ h[mq_gby wlZbgnhjfZpbyf_gy_lky?cklZgh\blky]hjZa^h[he__[h]ZlucdeZkkklbfmeypbc\lhfqbke_ mkeh\guoZg_lhevdh[_amkeh\guo2. 2Fh`_lihdZaZlvkyqlh^Zggh_hij_^_e_gb_nmgdpbbg_cjhgZkebrdhfmijhs_ghbg_mqb lu\Z_llZdhc\Z`ghcnmgdpbb\ha[m`^_gbydZd\ha[m`^_gb_lhjfhaguokbgZikh\hdZau\Zxsbo lhjfhagh_^_ckl\b_gZg_cjhgGhba\_klghqlhZdkhg\_l\ykvi_j_^Z_lk\h_\ha[m`^_gb_gZh^bg blhl`_g_cjhgq_j_afgh`_kl\hkbgZikh\dZd\ha[m`^ZxsbolZdblhjfhaguoIhwlhfmdZ`^h_ \ha[m`^_gb_ i_j_^Z\Z_fh_ g_cjhgm i_j_^Z_lky dZd q_j_a \ha[m`^Zxsb_ lZd b q_j_a lhjfhagu_ kbgZikuLhjfhagu_kbgZikugm`guêylh]hqlh[uaZlhjfhablvg_cjhgbij_djZlblv_]hZdlb\ 9 GZihfgbf h kbkl_fhki_pbnbqghklb g_cjhgh\ - g_cjhg fh`_l \_klb k_[y kh\_jr_ggh ih-jZaghfmmqZkl\my \jZ[hl_jZaebqguonmgdpbhgZevguokbkl_fqlhijb\h^bl\g_^hmf_ gb_ g_cjhnbabheh]h\ ld \ wlhf kemqZ_ hl^_evgh \ayluc g_cjhg g_ bf__l nbdkbjh\Zgghc k_fZglbdbDZdnhjfZevghfh`ghjZa^_eblvwlbkemqZb"LZddZdfhlb\ZpbbkZgdpbhgbjmx sZyZnn_j_glZpbyhl^hklb]gmlh]hj_amevlZlZ\lhfqbke_hij_^_e_ggh]hdZq_kl\Zbwfhpbb bf_xl]_g_jZebah\Zggh_\ha^_ckl\b_gZg_cjhgudhju]heh\gh]h fha]Zlhfufh`_fiheZ ]Zlv qlh kj_^b \k_o \oh^guo \ha[m`^_gbc 31,...,Pd dZ`^h]h g_cjhgZ _klv \k_ fhlb\Zpbhg gu_ kZgdpbhgbjmxsb_ b wfhpbhgZevgu_ \ha[m`^_gby Fu \k_]^Z [m^_f ij_îheZ]Zlv qlh dZ`ûcg_cjhg\g_dhlhjucfhf_gl\j_f_gbjZ[hlZ_l\jZfdZohij_^_e_gghcnmgdpbh gZevghckbkl_fubagZqblZdlb\ghcêyg_]hy\ey_lkylhevdhh^gZljhcdZFJW!fhlb\Z pbbFj_amevlZlZJbwfhpbbWkhq_lZxsb_ky\wlhlfhf_gl\j_f_gbk_]hkh[kl\_gguf\ha [m`^_gb_fIhwlhfm\f_klh ij_h[jZah\Zgby31,...,Pd> ⇒ P0fu\k_]^Z[m^_f jZkkfZljb\Zlv ij_h[jZah\Zgb_FJW!F31,...,Pd> ⇒ P0Fhlb\ZpbyF^h[Z\e_gZ\i_j_q_gv\oh^guoklb fmeh\ldihfbfhZdlb\bjmxs_]h\ha^_ckl\byhgZlZd`_fh`_l[ulvmkeh\gufklbfmehfb mqZkl\h\Zlv\\ujZ[hld_\_jhylghklguoaZdhghf_jghkl_cij_^kdZau\Zxsbo^hklb`_gb_ih klZ\e_gghc _c `_ p_eb Dhg_qgh kj_^b \k_o \ha[m`^_gbc 31,...,Pd _klv fgh`_kl\h\ha[m`^_ gbc dhlhju_ fh]ml [ulv Zdlb\babjh\Zgu lhevdh ijb \dexq_gbb ^Zggh]h g_cjhgZ \ jZ[hlm ^jm]bonmgdpbhgZevguokbkl_fghwlb\ha[m`^_gby[m^mlZ\lhfZlbq_kdbijhb]ghjbjh\Zgu g_cjhghflZddZdhgbg_Zdlb\guijbjZ[hl_nmgdpbhgZevghckbkl_fuhij_^_ey_fhclhcdhc FJW! \_jhylghklgu_ aZdhghf_jghklb gZ g_Zdlb\guo \ha[m`^_gbyo g_ \ujZ[Zlu\Zxlky >jm]b_fhlb\Zpbbbwfhpbbhij_^_eyxsb_^jm]b_nmgdpbhgZevgu_kbkl_fulZd`_\j_fy hl\j_f_gb[m^mli_j_^Z\Zlvk\hb\ha[m`^_gbygZ\oh^^Zggh]hg_cjhgZqlhfh`_lijb\_klb d \ujZ[hld_ aZdhghf_jghkl_c \dexqZxsbo ^Zgguc g_cjhg \ jZ[hlm wlbo ^jm]bo nmgdpbh gZevguokbkl_fGhihkdhevdmnmgdpbhgZevgu_kbkl_fug_fh]ml\uihegylvkyh^gh\j_f_g gh _keb lhevdh hgb g_ \dexq_gu \ b_jZjobx h^gh\j_f_ggh jZ[hlZxsbo nmgdpbhgZevguo kbkl_f lh hl^_evguc g_cjhg ijb ^hklb`_gbb g_dhlhjhc p_eb \k_]^Z jZ[hlZ_l \ jZfdZo lhevdh h^ghc nmgdpbhgZevghc kbkl_fu Ihwlhfm ij_h[jZah\Zgb_ FJW! F 31,...,Pd> ⇒ P0 kZfh Z\lhfZlbq_kdb \u^_ebl kj_^b 31,...,Pd l_ \ha[m`^_gby dhlhju_ iha\heyl k fZdkb fZevghc\_jhylghklvxij_^kdZau\Zlvbl_fkZfuf\ha[m`^Zlvg_cjhg30 \jZfdZo\iheg_hi j_^_e_gghcnmgdpbhgZevghckbkl_fuhij_^_ey_fhcljhcdhcFJW! >eyjZkkfhlj_gbyhp_ghdmkeh\guo\_jhylghkl_cij_^kdZaZgbyg_h[oh^bfhhij_^_eblv \_jhylghklv GZf ^hklZlhqgh hij_^_eblv \_jhylghklv kh[ulbc nbdkbjm_fuo g_cjhgZfb mqZkl\mxsbfb \ jZ[hl_ g_dhlhjhc nmgdpbhgZevghc kbkl_fu Kh[ulb_f Pi1&...&Pim ]^_ Pi1,...,Pim ⊆ {P1,...,Pd` \ g_cjhg_ FJW!F 31,...,Pd> ⇒ P0 [m^_f gZau\Zlv h^gh\j_f_ggh_ \ha[m`^_gb_ \oh^h\ 3i1,...,Pim wlh]h g_cjhgZ g_ihkj_^kl\_ggh i_j_^ ^_ckl\b_f ih^dj_ieyx s_]h \ha[m`^_gby l_ ljhcdb FJW! QZklhlm h(Pi1&...&Pim kh[ulby 3i1&...&Pim hij_^_ ebfdZdK Q1]^_1-h[s__qbkehih^dj_ie_gbcg_cjhgZljhcdhcFJW!ZQ-qbkehkem qZ_\ih^dj_ie_gbydh]^Z[uebh^gh\j_f_ggh\ha[m`^_gu\k_ij_^bdZlu3i1,...,PimIh^hp_g dhcmkeh\ghc\_jhylghklbP(P0/Pi1,...,Pim\ha[m`^_gbyg_cjhgZ30ijbmkeh\bb\ha[m`^_gby _]h \oh^h\ 3i1,...,Pim [m^_f ihgbfZlv mkeh\gmx qZklhlm K30/Pi1,...,Pim) = h(P0&Pi1&...&Pim)/ ghklvWlZnmgdpbydZdfum\b^bf\^Zevg_cr_fgm`gZêy³\ulhjfZ`b\Zgby´Zevl_jgZlb\guo h[jZah\\hkijbylbyijbagZdh\k\hckl\bl^dhlhju_\khhl\_lkl\bbkh[gZjm`b\Z_fufb³lhj fhagufbaZdhghf_jghklyfb´lhjfhaysbfbg_cjhgg_^he`gu[ulvm\hkijbgbfZ_fuoh[t_dlh\ Bgufb keh\Zfb hgb gm`gu ijb ZgZeba_ dhgdmj_gpbb p_ehklguo ³ko_f´ h[jZah\ ieZgh\ ^_ckl \bcbl^>eyZgZebaZlh]hdZd\ha[m`^_gb_i_j_^Z_lkyhlh^gh]hg_cjhgZd^jm]bfmq_llhjfha guo kbgZikh\ g_ h[yaZl_e_g < ^Zevg_crbo jZ[hlZo lhjfhagu_ kbgZiku [m^ml \dexq_gu \ \b^_ k\h_h[jZagh]hhljbpZgby 10 h(Pi1&...&PimIjbf_fbgl_jij_lZpbx\_jhylghklb\\_^_ggmxDIhii_jhfdZdij_^jZkih eh`_gghklv k hij_^_e_gghc \_jhylghklvx d ihy\e_gbx g_dhlhjh]h kh[ulby ;m^_f kqblZlv qlh ijb jZkkfhlj_gbb jZ[hlu g_dhlhjh]h g_cjhgZ FJW! F31,...,Pd> ⇒ P0 \ g_dhlhjhc nmgdpbhgZevghckbkl_f_mgZkhij_^_e_gu\_jhylghklb\k_okh[ulbc 4.3. Gh\ZynhjfZevgZyfh^_evg_cjhgZ. =bihl_aZ Nmgdpby g_cjhgZ khklhbl \ k_fZglbq_kdhf \_jhylghklghf \u\h^_ \k_o \_jhylghklguo aZdhghf_jghkl_c f_`^m _]h \oh^hf b \uoh^hf êy \k_o nmgdpbhgZevguo kbkl_f \ dhlhju_ hg \h\e_q_g DZ`ûc g_cjhg FJW!F31,...,Pd> ⇒ P0 \gmljb k_[y êy k\h_]h \uoh^Z 30 kljhbl ³mlhqgyxsbc´ ]jZn êy dZ`^hc nmgdpbhgZevghc kbkl_fu hij_^_ ey_fhcfhlb\Zpb_cFwfhpb_cWbj_amevlZlhfJ MdZ`^h]hg_cjhgZ_klvj_p_ilb\gh_ihe_klbfmeypbydhlhjh]h\k_]^Z[_amkeh\gh\ha [m`^Z_l_]h\uoh^30<_jhylghklgu_aZdhghf_jghklbh[gZjm`b\Zxl\_jhylghklgu_aZdhgh f_jghklb f_`^m \oh^gufb \ha[m`^_gbyfb g_cjhgZ ijboh^ysbfb ba jZaguo hl^_eh\ fha]Z gZ _]h kbgZiku b _]h \uoh^guf \ha[m`^_gb_f G_cjhg j_Z]bjm_l \ha[m`^Z_lky gZ l_ b lhevdhl_\ha[m`^_gby\oh^h\,dhlhju_y\eyxlkyeb[h\ha[m`^_gbyfbhlj_p_ilb\gh]h ihey,eb[hmkeh\byfbohly[uh^ghcba\ujZ[hlZgguobf\_jhylghklguoaZdhghf_jgh kl_ck^hklZlhqgufêy_]h\ha[m`^_gbymjh\g_fhp_gdbmkeh\ghc\_jhylghklbQZklhlZ _]h \ha[m`^_gby b [ukljhlZ \ha[m`^_gby ijhihjpbhgZevgu fZdkbfZevghc \_ebqbg_ mkeh\ ghc\_jhylghklbkj_^b\k_okjZ[hlZ\rboaZdhghf_jghkl_c G_cjhgu \ jZaguo khklhygbyo \ha[m^bfhklb dhju [h^jkl\h\Zgb_ fhlb\Zpby wfhpby hjb_glbjh\hqgh-bkke_^h\Zl_evkdZy j_Zdpby khg b l^ bf_xl jZaguc ihjh] kjZ[Zlu\Zgby Ihîhjh]hfkjZ[Zlu\Zgbyg_cjhgZ[m^_fihgbfZlvlhfbgbfZevgh_agZq_gb_hp_gdbmk eh\ghc \_jhylghklb aZdhghf_jghklb dhlhjh_ \ khklhygbb \ha[m^blv g_cjhg Ba hibkZgby wfhpbc b hjb_glbjh\hqgh-bkke_^h\Zl_evkdhc j_Zdpbb ke_^m_l qlh hgb kihkh[gu baf_gylv ihjh]kjZ[Zlu\Zgbyg_cjhgZ Ba\_klghqlh\ijhp_kk_\ujZ[hldbmkeh\guok\ya_cZlZd`_ijbaZfudZgbbmkeh\guo k\ya_cgZmjh\g_hl^_evgh]hg_cjhgZkdhjhklvijh\_^_gbybfimevkZhlmkeh\gh]hjZa^jZ`b l_eye_c d Zdkhgm g_cjhgZ l_ kdhjhklv hl\_lZ g_cjhgZ gZ mkeh\guc kb]gZe l_f \ur_, q_f \ur_ hp_gdZ mkeh\ghc \_jhylghklb ^hklb`bfhklb wlh]h wlZigh]h j_amevlZlZ Wlh ihdZau\Z_lqlhfha]bgl_j_kmxlij_`^_\k_]h\ukhdh\_jhylgu_ijh]ghaubg_cjhgukjZ [Zlu\Zxlij_`^_\k_]hgZkZfu_kbevgu_aZdhghf_jghklbkfZdkbfZevgufbhp_gdZfbmkeh\ guo\_jhylghkl_c NhjfZevgZyfh^_evjZ[hlufha]Z\ul_dZxsZybaijbgpbiZij_^kdZaZgby H[tykg_gb_L_hjbbnmgdpbhgZevguokbkl_f 5.1. NhjfZevgZyfh^_evjZ[hlufha]Z,\ul_dZxsZybaijbgpbiZij_^kdZaZgby< kbem knhjfmebjh\Zgghc \ur_ ]bihl_au g_cjhgu h[gZjm`b\Zxl \k_ \_jhylghklgu_ aZdhgh f_jghklbf_`^m_]h\oh^hfb\uoh^hfêyjZaebqguonmgdpbhgZevguokbkl_f\dhlhju_hg \dexq_g >ey \uiheg_gby ijbgpbiZ ij_^kdZaZgby gZ^h mf_lv h[gZjm`b\Zlv \k_ fgh`_kl\h \_jhylghklguo aZdhghf_jghkl_c PR >ey wlh]h g_h[oh^bfh qlh [u g_cjhgu \ fha]_ [ueb k\yaZgulZdqlh[ugZbo\ohûfh]eZihiZklvex[Zyba\oh^guoZnn_j_glZpbcfha]Zbbo \uoh^fh]^hklb]gmlvex[h]hwnn_dlhjgh]hhj]ZgZBf_gghwlhbhkms_kl\ey_lkyj_r_lhq gufijbgpbihff_`g_cjhgguok\ya_c>Iheydh\=B@ ³FukqblZ_fqlh\kZfhfnmg ^Zf_gl_g_cjhgghchj]ZgbaZpbbaZeh`_g[bheh]bq_kdbh[mkeh\e_ggucijbgpbimgb\_jkZev ghc\aZbfhk\yab\k_o\hkijbgbfZxsbojZa^jZ`_gbywe_f_glh\-j_p_ilhjh\-kh\k_fbwe_ f_glZfbj_Zebamxsbfbhl\_lgu_j_ZdpbbgZjZa^jZ`_gby-wnn_dlhjZfbdhlhjufbh[eZ^Z _lhj]ZgbafEx[hcj_p_ilhjbebdhf[bgZpbyj_p_ilhjh\fh]ml[ulvk\yaZgukex[uf 11 wnn_dlhjhf beb dhf[bgZpb_c wnn_dlhjh\ :gZlhfbq_kdb ^Zgguc ijbgpbi \uy\ey_lky \ \b^_ ko_fu \k_h[s_]h i_j_djzklZ ³j_r_ldb´ g_j\guo iml_c kh_^bgyxsbo hl^_evgu_ j_ p_ilhjgu_lhqdbl_eZbebbo]jmiiukwnn_dlhjgufb´>Iheydh\=BK@Jbkmghd ijb\_^_gguc\>Iheydh\=B@beexkljbjm_lwlm³j_r_ldm´@bjgufblhqdZfbh[hagZq_ gu g_cjhgu klhysb_ \ maeZo j_r_ldb G_cjhgu g_ ijhklh klhyl \ f_klZo koh`^_gby Znn_ j_glZpbcghb\hagbdZxl\lZdbof_klZo³DZd\b^ghgZijb\_^_gghcko_f_g_cjhgu\ha gbdZxl b kljmdlmjgh aZdj_ieyxlky bf_ggh\imgdlZo \aZbfh^_ckl\byjZaebqguo ihk\h_fm ijhbkoh`^_gbx b gZagZq_gbx g_j\guo bfimevkh\ LZdbf h[jZahf g_cjhg k kZfh]h gZqZeZ _]h ihy\e_gby \ w\hexpbb `b\uo hj]Zgbafh\ ij_^klZ_l i_j_^ gZfb dZd ZiiZjZl koh`^_gby dhg\_j]_gpbb b jZkoh`^_gby ^b\_j]_gpbb i_j_dexqZ_fuo \ g_f bfimevkh\´ >Iheydh\ =BK@ Jbk <^hiheg_gb_d³i_j_dexqZxs_cńmgdpbbg_cjhgh\gZ^h_s_^h[Z\blvqlhg_cjhgu\ dZ`^hf³mae_j_r_ldb´ ihemqZxlgZ\oh^g_lhevdh\ha[m`^_gbyhlg_cjhgh\ij_û^ms_]h kehyghbhl\k_oij_û^msbokeh_\bihkueZxlk\h_\ha[m`^_gb_\k_fihke_^mxsbfkehyf DhjZ]heh\gh]hfha]Z^hklZlhqghlhgdZb\ha[m`^_gbyihklmiZxsb_\g__beb\hagbdZxsb_ \ g_c \ \_jlbdZevghf gZijZ\e_gbb i_ji_g^bdmeyjgh __ ih\_joghklb ijhgbau\Zxl ihqlb \kxdhjm\hlebqbbhl]hjbahglZevgh]hgZijZ\e_gbyLZdbfh[jZahffha]mkljh_g\^hklZ lhqgh lhqghf khhl\_lkl\bb k g_h[oh^bfhklvx bf_lv fZdkbfZevgh lhqgu_ ij_^kdZaZgby dh lhju_ fh`gh ihemqblv h[gZjm`_gb_f \k_o \_jhylghklguo aZdhghf_jghkl_c PR. ?^bgkl \_ggh_ h]jZgbq_gb_ \hagbdZxs__ ijbh[gZjm`_gbb\_jhylghklguoaZdhghf_jghkl_c g_cjh gZfb khklhbl \ lhf qlh ih^dj_ie_gb_ g_cjhgh\ hkms_kl\ey_lky lhevdh \jZfdZog_dhlh jhcnmgdpbhgZevghckbkl_ful_lhevdhlh]^Z,dh]^Z^hklb]Z_lkyg_dhlhjZyp_ev. Hij_^_ebfihgylb_nmgdpbhgZevghckbkl_fu\l_jfbgZo\_jhylghklguoaZdhghf_jgh kl_c <kihfgbf qlh nmgdpbhgZevgu_ kbkl_fu nhjfbjmxlky êy \uiheg_gby g_dhlhjuo nmgdpbc hj]ZgbafZ b ^hklb`_gby khhl\_lkl\mxsbo j_amevlZlh\ ³KhklZ\ nmgdpbhgZevghc kbkl_fu g_ fh`_l [ulv hij_^_e_g dZdbf-eb[h ZgZlhfbq_kdbf ijbgpbihf GZh[hjhl kZfu_ jZaghh[jZagu_ ³ZgZlhfbq_kdb_ kbkl_fu´ fh]ml ijbgbfZlv mqZklb_ b h[t_^bgylvky gZ [Za_ 12 h^gh\j_f_ggh]h \ha[m`^_gby ijb \uiheg_gbb lhc beb bghc nmgdpbb hj]ZgbafZ´ >Km^Z dh\ k 19]. BkihevamynhjfZevgmx fh^_ev g_cjhgZfh`ghh[tykgblvdZdijhbkoh^blnhjfbjh\Z gb_ nmgdpbhgZevghc kbkl_fu gZ g_cjhnbabheh]bq_kdhf mjh\g_ Imklv ljhcdZ FJW! klZ \bl p_ev ih \uiheg_gbx g_dhlhjhc nmgdpbb hj]ZgbafZ ?keb nmgdpbhgZevgZy kbkl_fZ g_ hij_^_e_gZ]_g_lbq_kdblhgZgZqZevghfwlZi_nhjfbjh\ZgbynmgdpbhgZevghckbkl_fumgZk g_l\ukhdh\_jhylgh]hijh]ghaZ^hklb`_gbyp_ebbke_^h\Zl_evgh\hagbdZ_lhjb_glbjh\hq gh-bkke_^h\Zl_evkdZyj_Zdpbyêyh[mq_gby^hklb`_gbx^Zgghcp_ebdhlhjZy -\h-i_j\uoklj_fblkydlhfmqlh[u\k_hdjm`Zxsb_`b\hlgh_jZa^jZ`bl_eb[ueb ba\_klgu ³< gh\hc g_ba\_klghc h[klZgh\d_ ih\_^_gb_ kljhblky k bkihevah\Zgb_f \ujZ `_gghchjb_glbjh\hqgh-bkke_^h\Zl_evkdhc^_yl_evghklbGZhkgh\_bf_xs_ckyihlj_[ghklb `b\hlgu_Zdlb\ghbkke_^mxl\k_jZg__g_ba\_klgu_jZa^jZ`bl_ebhdjm`Zxs_ckj_û´ >Km^Zdh\ k 124]; - \h-\lhjuo \k_ h[ke_^h\Zggu_ jZa^jZ`bl_eb hgZ ³k\yau\Z_l” k ih lbim mkeh\gh]h j_ne_dkZkdhg_qgufJ_amevlZlhf; -\-lj_lvbohgZ]_g_jZebah\Zgghih^gbfZ_lb\ujZ\gb\Z_lZdlb\ghklvg_cjhgh\dhju ]heh\gh]hfha]Zqlh^_eZ_l\hafh`guf\hagbdgh\_gb_mkeh\guok\ya_cf_`^mhl^Ze_ggufb g_cjhgZfb dhju ³hjb_glbjh\hqgh-bkke_^h\Zl_evkdZy j_Zdpby \k_]^Z \_^_l d ^_kbgojhgb aZpbbwe_dljbq_kdhcZdlb\ghklbdhjuqZklh\ujZ`Zxs__kygZaZibkbihqlbijyfhcebgb_c WlZ ^_kbgojhgbaZpby y\ey_lky h[s_ijbagZgguf j_amevlZlhf Zdlb\ghklb j_lbdmeyjghc nhjfZpbb kl\heZ fha]Z y\ey_lky \ujZ`_gb_f wg_j]_lbq_kdh]h \ebygby gZ dhjm [hevrbo ihemrZjbc´>:ghobgID k @³fh`ghkdZaZlvqlh[_awlh]hZdlb\bjmxs_]h^_ckl \bykhklhjhguj_lbdmeyjghcnhjfZpbbhl^_evgu_jZa^jZ`_gbyijboh^ysb_\dhjm[ueb[u \agZqbl_evghckl_i_gbbahebjh\Zggufbbg_fh]eb[u\klmiblvf_`^mkh[hc\g_ihkj_^kl \_ggmxl_kgmxk\yavlZde_]dhdZdhgb\klmiZxlijbih\ur_gbblhgmkZdhjuq_j_aih^dhj dh\h_\ha[m`^_gb_hjb_glbjh\hqgh-bkke_^h\Zl_evkdhcj_Zdpbb´>:ghobgID k 351]; G_ljm^gh\b^_lvqlh\k_wlbnmgdpbbhjb_glbjh\hqgh-bkke_^h\Zl_evkdhcj_Zdpbb lZd`_gZijZ\e_gugZlhqlh[uh[gZjm`blvfZdkbfZevgh_qbkeh\_jhylghklguoaZdh ghf_jghkl_c PRbknhjfbjh\ZlvlZdb_nmgdpbhgZevgu_kbkl_fudhlhju_[u\dexqZebfZd kbfZevgu_ \hafh`ghklb ij_^kdZaZgby j_amevlZlZ ij_^hklZ\ey_fu_ ko_fhc kh_^bg_gby g_c jhgh\ Jbk >_ckl\bl_evgh ^h[b\Zykv qlh [u \k_ jZa^jZ`bl_eb [ueb ba\_klgu hgZ fZdkb fZevgh m\_ebqb\Z_l ³\oh^´ fha]Z kf jbk ih^gbfZy b \ujZ\gb\Zy Zdlb\ghklv g_cjhgh\ dhjuhgZh[_ki_qb\Z_ljZ\ghf_jgh_m\_ebq_gb_qbkeZZdlb\guog_cjhgh\³kjZ[Zlu\Zxsbo´ ih g_ ^hklZlhqgh kbevguf \_jhylghklguf aZdhghf_jghklyf qlh _s_ [hevr_ m\_ebqb\Z_l h[t_f^hklmighcbgnhjfZpbbb\hafh`ghklv__i_j_^Zqbbah^gbohl^_eh\fha]Z\^jm]b_b gZdhg_p³k\yau\Z_l´mkeh\gufbk\yayfb\kxwlmbgnhjfZpbxkdhg_qgufj_amevlZlhfiml_f h[gZjm`_gby \_jhylghklguo aZdhghf_jghkl_c H[e_]qZ_lky lZd `_ \ujZ[hldZ mkeh\guo k\y a_cld^Z`_ijbg_[hevrhfqbke_khq_lZgbcmkeh\gh]hkb]gZeZk[_amkeh\gufdh]^Z\_jh ylghklgZyaZdhghf_jghklv_s_g_^hklZlhqghkbevgZfuihemqZ_fij_^kdZaZgb_[_amkeh\gh]h kb]gZeZijbkjZ[Zlu\Zgbbkhhl\_lkl\mxs_]hg_cjhgZihwlhckeZ[hcaZdhghf_jghklb IjblZdhf^_ckl\bbijZdlbq_kdbex[Zy\_jhylghklgZyaZdhghf_jghklvbaPR, ihe_a gZy êy ij_^kdZaZgby dZdh]h-eb[h (wlZigh]h) j_amevlZlZ P0 dZdhc-eb[h ba ihlj_[ghkl_c FJW! fh`_l [ulv h[gZjm`_gZ ko_fhc g_cjhgh\ jbk b \dexq_gZ \ nmgdpbhgZevgmx kbkl_fm_keblhevdhêywlhc\_jhylghklghcaZdhghf_jghklb03i1&...&Pik ⇒ P0) ∈ PRkm s_kl\m_lg_cjhgFJW!F31,...,Pd> ⇒ P0lZdhcqlh^Pi1,...,Pik} ⊆ {P1,...,Pd`L_hj_lbq_kdb \ gZr_c fh^_eb fu [m^_f kqblZlv qlh lZdhc g_cjhg \k_]^Z kms_kl\m_l >ey h[gZjm`_gby \_jhylghklguoaZdhghf_jghkl_c03i1&...&Pik ⇒ P0) ∈ PRg_dhlhjhcnmgdpbhgZevghckbk l_fhcFJW!^hklZlhqghfhlb\ZpbbFblh]hnZdlZqlh_kebijbmkeh\bb03i1&...&Pik 13 kjZ[hlZeg_cjhg30lhwlhijb[ebablgZkd^hklb`_gbxdhg_qgh]hj_amevlZlZJ0\uau\Zxs_ ]h iheh`bl_evgmx wfhpbx W DZ`^Zy \_jhylghklgZy aZdhghf_jghklv ba PR ih^dj_iey_lky _^bgkl\_gghc ljhcdhc FJW! Fgh`_kl\h \k_o \_jhylghklguo aZdhghf_jghkl_c ba PR b h[gZjm`b\Zxsbobog_cjhgh\ih^dj_iey_fuog_dhlhjhcljhcdhcFJW!b_klvlZnmgd pbhgZevgZykbkl_fZhij_^_ey_fZyFJW!H[hagZqbfq_j_aPRFJW\k_l_\_jhylghkl gu_aZdhghf_jghklbbkh^_j`Zsb_bfg_cjhgudhlhju_khhl\_lkl\mxlwlhcnmgdpbhgZev ghckbkl_f_Imklv^FJW!`-fgh`_kl\h\k_oihlj_[ghkl_cFgh`_kl\h^FJW!`jZa[b \Z_l \k_ fgh`_kl\h \_jhylghklguo aZdhghf_jghkl_c PR gZ g_i_j_k_dZxsb_ky ]jmiiu PRFJW ld dZ`^Zy \_jhylghklgZy aZdhghf_jghklv aZdj_iey_lky lhevdh h^ghc ihlj_[gh klvx FJW! Ihwlhfm PR = ∪{PRFJW` H^gZdh \ujZ[Zlu\Zxsb_ bo g_cjhgu fh]ml ijbgZê_`Zlv jZaguf ]jmiiZf ld h^bg b lhl `_ g_cjhg fh`_l mqZkl\h\Zlv \ jZ[hl_ g_ kdhevdbonmgdpbhgZevguokbkl_fFgh`_kl\h^PRFJW`b_klv\k_fgh`_kl\hnmgdpbh gZevguo kbkl_f, h[gZjm`b\Z_fuo fha]hf b lZ fZl_fZlbq_kdZy fh^_ev jZ[hlu fha]Z, dhlhjZy\ul_dZ_lbaijbgpbiZij_^kdZaZgby. Wlhhij_^_e_gb_^Z_lgZfnmgdpbhgZevgu_kbkl_fu\iheghfh[t_f_kh\k_fbijhf_ `mlhqgufbj_amevlZlZfbJZkkfhljbfdZdjZa\b\ZxlkynmgdpbhgZevgu_kbkl_fuWlhiha\h ebl gZf ^Zlv ih^jh[gmx kljmdlmjm ^Zgghc nhjfZevghc fh^_eb jZ[hlu fha]Z b dZ`^hc nmgdpbhgZevghckbkl_fu\hl^_evghklb 5.2. KljmdlmjZnhjfZevghcfh^_ebjZ[hlufha]Z{PRFJW` H[tykgbf nhjfbjh\Zgb_ b kh\_jr_gkl\h\Zgb_ ^_ckl\bc dZd hgh hibkZgh \ L_hjbb nmgdpbhgZevguo kbkl_f b \ ><bly_\ @ Bkihevamy nhjfZevgmx fh^_ev jZ[hlu fha]Z {PRFJW`bnhjfZevgmxfh^_evg_cjhgZk^_eZ_fwlhgZg_cjhgghfmjh\g_qlhjZkdjh_l gZf kljmdlmjm nhjfZevghc fh^_eb Wlh ^Zkl gZf \hafh`ghklv \ ke_^mxs_f jZa^_e_ h[tyk gblv\p_ehfhj]ZgbaZpbxp_e_gZijZ\e_ggh]hih\_^_gby\L_hjbbnmgdpbhgZevguokbkl_fgZ g_cjhgghf mjh\g_ H[tykgbf lZd `_ l_ k\hckl\Z Zdp_ilhjZ j_amevlZlh\ ^_ckl\by dhlhju_ hklZebkvg_h[tykg_ggufb\jZ[hl_><bly_\@bdhlhju_ihkms_kl\mg_fh]ml[ulvh[tyk g_gugZhkgh\_ijbgpbiZp_e_iheZ]ZgbyWlh³ij_^\hkobs_gb_´\Zdp_ilhj_j_amevlZlh\^_c kl\byb_]hZ\lhfZlbq_kdh_h[h]Zs_gb_bkh\_jr_gkl\h\Zgb_ Ijb\_^_f \ukdZau\Zgby ba L_hjbb nmgdpbhgZevguo kbkl_f h l_ok\hckl\ZoZdp_ilhjZ j_amevlZlh\^_ckl\bydhlhju_fuohlbfh[tykgblvhgb\u^_e_gu`bjgufrjbnlhfbdh lhju_g_[uebh[tykg_gu\><bly_\@³Nhjfbjh\Zgb_³P_eb´\p_gljZevghcZjobl_dlmj_ ih\_^_gq_kdh]hZdlZk\yaZghkihkljh_gb_fke_^mxs_cklZ^bbkbkl_fghchj]ZgbaZpbbih\_ ^_gq_kdh]hZdlZZiiZjZlZij_^\b^_gby[m^ms_]hJ_amevlZlZ\k_cihke_^h\Zl_evghklbbb_ jZjobb J_amevlZlh\ m^h\e_l\hjyxs_]h ^hfbgbjmxsmx ihlj_[ghklv - ZiiZjZlZ :dp_ilhjZ J_amevlZlh\^_ckl\by´>Km^Zdh\ k @³Hg³ij_^\hkobsZ_l” Znn_j_glgu_k\hckl\Zlh]h j_amevlZlZdhlhjuc^he`_g[ulvihemq_g\khhl\_lkl\bbkijbgylufj_r_gb_fbke_^h\Z l_evghhi_j_`Z_loh^kh[ulbc \hlghr_gbyof_`^mhj]Zgbafhfb\g_rgbffbjhfIh kmlb hg ^he`_g knhjfbjh\Zlv dZdb_-lh lhgdb_ g_j\gu_ f_oZgbafu dhlhju_ iha\heyxl g_ lhevdhijh]ghabjh\ZlvijbagZdbg_h[oh^bfh]h\^Zggucfhf_glj_amevlZlZghbkebqZlvbo kiZjZf_ljZfbj_Zevgh]hj_amevlZlZ´>:ghobgID&@E DZdm`_h[tykgyehkv\><bly_\@ih^³ij_^\b^_gb_fíhgbfZ_lkyij_^\hkobs_gb_\ khhl\_lkl\bb k ijbgpbihf hi_j_`Zxs_]h hljZ`_gby ^_ckl\bl_evghklb >:ghobg ID @D \k_cihke_^h\Zl_evghklbbb_jZjobbj_amevlZlh\g_h[oh^bfuoêy^hklb`_gbydhg_qghcp_ eb ;he__ dhgdj_lgh ij_^\hkobs_gb_ g_ hij_^_ey_lky DZd ihdZaZgh \ jZ[hlZo rdheu ID:ghobgZ g_cjhnbabheh]bq_kdb ij_^\hkobs_gb_ j_Zebam_lky ki_pbZevgufb dheeZl_ jZevgufb hl\_l\e_gbyfb hl ijhba\_^_gguo ^_ckl\bc b ihklmiZxsbo gZ ³\oh^´ fha]Z dhg \_j]bjmykZnn_j_glZpb_chl\oh^guoklbfmeh\³J_qvb^_lhdheeZl_jZevguohl\_l\e_gbyo ibjZfb^gh]hljZdlZhl\h^ysbodhfgh]bff_`mlhqgufg_cjhgZf³dhibb´l_ownn_j_glguo ihkuehddhlhju_\uoh^ylgZibjZfb^gucljZdlLZdbfh[jZahffhf_glijbgylbyj_r_gbc bgZqZeZ\uoh^ZjZ[hqbownn_j_glguo\ha[m`^_gbcgZqZeh^_ckl\bc-?<bafha]Zkhijh 14 \h`^Z_lkynhjfbjh\Zgb_fh[rbjgh]hdhfie_dkZ\ha[m`^_gbckhklhys_]hbaZnn_j_glguo ijbagZdh\ [m^ms_]h j_amevlZlZ b ba dheeZl_jZevghc “dhibb” wnn_j_glguo \ha[m`^_ gbc\ur_^rbogZi_jbn_jbxihibjZfb^ghfmljZdlmdjZ[hqbfhj]ZgZf´>:ghobgID &@ELZdbfh[jZahfjbkij_h[jZam_lky\[he__keh`gmxko_fm FHA= <g_rgbc<g_rgbc FbjFbj FHA= Jbk <jbk^h[Z\beky\gmlj_ggbcdhglmjh[jZlguok\ya_ch[hagZq_ggucfZehcimgdlbj ghcebgb_cihkueZxsbcihdheeZl_jZeyf\ha[m`^_gbyk³\uoh^Z´fha]ZgZ_]h³\oh^´ZlZd `_ \g_rgbc dhglmj h[jZlguo k\ya_c hl j_amevlZlh\ hkms_kl\e_gguo ^_ckl\bc \h \g_rg_c kj_^_h[hagZq_gguc[hevrhcimgdlbjghcebgb_c>h[Z\bebkvbg_cjhgu\^hev\gmlj_gg_]h dhglmjZ ih \ha[m`^_gbyf dhlhjuo hkms_kl\ey_lky ³ij_^\hkobs_gb_´ j_amevlZlh\ ^_ckl\bc Zdp_ilhjhfj_amevlZlh\^_ckl\bc JZkkfhljbf \ujZ[hldm deZkkbq_kdh]h mkeh\gh]h j_ne_dkZ Imklv a - \u[jZgguc gZfb mkeh\guckb]gZegZijbf_ja\hghdbb, cbd -klmddhjfmrdb\bôe_[Zb^_ckl\b_oe_[ZgZ \dmkh\u_j_p_ilhjuyaudZ[_amkeh\gucjZa^jZ`bl_ev NZdlbq_kdb\k_imkdh\u_klbfmeuy\eyxlkyj_amevlZlZfb^_ckl\bc-^_ckl\b_fy\ ey_lky h`b^Zgb_ imkdh\h]h klbfmeZ b gZkljhcdZ k_gkhjgh]h ZiiZjZlZ ij_^\hkobs_gb_ \ l_jfbgheh]bbMGZck_jZgZ\hkijbylb_^Zggh]hklbfmeZZj_amevlZlhf^_ckl\bybh[jZl ghc Znn_j_glZpb_c y\ey_lky kZf imkdh\hc klbfme < khhl\_lkl\bb k dhgp_ipb_c Ko_f \hkijbylby MGZck_jZ kf jZa^_e b >GZck_j M @ ><bly_\ @ [_a lZdhc gZkljhcdb b ij_^\hkobs_gby fu ijhklh g_ kfh`_f \hkijbgylv b g_ m\b^bf b g_ mkeurbf khhl\_lkl \mxsbc imkdh\hc klbfme GZijbf_j qlh[u \hkijbgylv a\hghd a fu ^he`gu hkms_kl\blv i_jp_ilb\gh_^_ckl\b_da ihgZkljhcd_gZ_]h\hkijbylb_Ihwlhfmfu^Ze__[m^_fjZkkfZl jb\Zlvimkdh\u_klbfmeudZdwlZigu_j_amevlZlu <_jgh b h[jZlgh_ - h[jZlgZy Znn_j_glZpby h[ mki_rghf aZ\_jr_gbb g_dhlhjh]h wlZigh]h ^_ckl\by b ihemq_gb_ wlZigh]h j_amevlZlZ y\ey_lky imkdh\hc êy gZqZeZ ke_^mx 15 s_]h ^_ckl\by b ijh^he`_gby ^hklb`_gby p_eb ld fu g_ fh`_f ijh^he`blv ke_^mxs__ ^_ckl\b_ihdZg_kh\_jr_ghij_û^ms__GZijbf_jihke_lh]hdZdijha\mqZea\hghda`b \hlgh_gZqbgZ_lke_^mxs__^_ckl\b_db -h`b^Zgb_klmdZdhjfmrdb>hklb`_gb_j_amevlZlZ b - klmdZdhjfmrdb[m^_limkdh\ufêygZqZeZke_^mxs_]hwlZiZ^_ckl\bc-ihôh^Zddhj fmrd_b\hkijbylb_oe_[ZdcIhemq_gb_j_amevlZlZc - \b^Zoe_[Z ³aZimklblíhke_^g__^_c kl\b_ dd - ih_^Zgb_ oe_[Z k p_evx ihemq_gby dhg_qgh]h j_amevlZlZ d - hsms_gb_ oe_[Z j_ p_ilhjZfbyaudZ ³AZimkd´^_ckl\bydbfh`_l[ulvhkms_kl\e_gg_cjhghfdbijb^_ckl\bbgZg_]himk dh\h]h klbfmeZ a ih aZdhghf_jghklb a ⇒ db. WlZ aZdhghf_jghklv [m^_l aZdj_ie_gZ \ lhf b lhevdh \ lhf kemqZ_ _keb ^_ckl\b_ db ijb\_^_l d lZdhc h[jZlghc Znn_j_glZpbb Res(db) hl j_amevlZlh\wlh]h^_ckl\bydhlhjZy\uah\_lj_amevlZlb, êydhlhjh]haZdhghf_jghklvb ⇒ d, h[gZjm`_ggZyg_cjhghfd[m^_lbf_lv[hevrmxhp_gdm mkeh\ghc\_jhylghklbq_faZdhgh f_jghklva ⇒ dhlij_û^ms_]hwlZigh]hj_amevlZlZ<wlhfkemqZ_\khhl\_lkl\bbkbgnhj fZpbhgghcl_hjb_cwfhpbc\hagbdrZyiheh`bl_evgZywfhpbyaZdj_ibl³aZimkd´^_ckl\bya ⇒ db Zdlb\Zpbx h[jZlghc Znn_j_glZpb_cRes(db) j_amevlZlZbihaZdhghf_jghklbRes(db) ⇒ b, ZlZd`_aZdhghf_jghklvb ⇒ d. Ihke_ihemq_gbymkeh\gh]hklbfmeZabaZimkdZ^_ckl \by db ke_^mxsbf imkdh\uf klbfmehf klZg_l m`_ klbfme b, aZimkdZxsbc ^_ckl\b_ dc Z wlZigufj_amevlZlhf[m^_lj_amevlZlc. Wlhlke_^mxsbcwlZi^_ckl\bcijb\_^_ld\ujZ[hld_ ZgZeh]bqguoaZdhghf_jghkl_cb ⇒ dc, Res(dc) ⇒ c bc ⇒ dbl^kf³AZimkd´^_ckl\by da hkms_kl\ey_lky kZfhc fhlb\Zpb_c F ihkdhevdm fhlb\Zpby y\ey_lky g_ lhevdh Zdlb\b jmxsbf\ha[m`^_gb_fghbklbfmehf³AZimkd´F⇒ da aZdj_iblkyihlhc`_ijbqbg_qlh b^jm]b_aZimkdbldijb\_^_ldwlZighfmj_amevlZlma, ij_^kdZau\Zxs_fmihaZdhghf_jgh klba ⇒ d ^hklb`bfhklvdhg_qgh]hj_amevlZlZk[hevr_c\_jhylghklvxq_fihaZdhghf_jgh klbF⇒ d. Ihemq_ggu_ihke_jZkkfhlj_gby\k_owlZih\^_ckl\byaZdhghf_jghklba ⇒ d, b ⇒ d bc ⇒ d[m^mlbf_lvihke_^h\Zl_evgh\hajZklZxsb_hp_gdbmkeh\guo\_jhylghkl_cLZdbfh[jZ ahf gZ g_cjhgghf mjh\g_ fu \f_klh ihke_^h\Zl_evghklb a ⇒ b ⇒ c ⇒ d [m^_fbf_lvke_ ^mxsmx ihke_^h\Zl_evghklv ]jZnbq_kdh_ ij_^klZ\e_gb_ wlhc ihke_^h\Zl_evghklb ijb\_^_ gh\ F⇒ da → Res(da) ⇒ a ⇒ db → Res(db) ⇒ b ⇒ dc → Res(dc) ⇒ c ⇒ dd → Res(dd) ⇒ d (1) ]^_a ⇒, b ⇒, c ⇒ -mkeh\gu_k\yab³aZimkdZ´hq_j_^gh]hwlZiZ^_ckl\bc\ujZ[hlZggu_g_c jhgZfb da,db,dc Klj_edZ → ihke_ ^_ckl\bc da,db,dc,dd hagZqZ_l kh\_jr_gb_ ^_ckl\bc \h \g_rg_ckj_^_Res(da), Res(db), Res(dc), Res(dd) - h[jZlgu_Znn_j_glZpbb ihklmiZxsb_gZ \ohû g_cjhgh\ a,b,c,d ba \g_rg_c \gmlj_gg_c kj_û b kb]gZebabjmxrb_ h ^hklb]gmlhf j_amevlZl_^_ckl\bc DZ`^h_ ^_ckl\b_ da, db,dc,dd \ khhl\_lkl\bb k jbk ih dheeZl_jZeyf i_j_^Z_l k\h_ \ha[m`^_gb_gZ³\oh^´fha]Zbke_^h\Zl_evghfh`ghkqblZlvqlh\ha[m`^_gb_hlfhlhjgh]h g_cjhgZ da h^gh\j_f_ggh k Zdlb\Zpb_c kZfh]h ^_ckl\by i_j_^Z_l k\h_ \ha[m`^_gb_ gZ \oh^ g_cjhgZ a ^_ckl\b_ db gZ \oh^ g_cjhgZ b ^_ckl\b_ dc gZ \oh^ g_cjhgZ c b ^_ckl\b_ dd gZ \oh^g_cjhgZ d. AgZqblgZ\ohûg_cjhgh\j_amevlZlh\a,b,c,d ihklmiblg_lhevdhh[jZlgZy Znn_j_glZpby Res(da), Res(db), Res(dc), Res(dd) hl j_amevlZlh\ hkms_kl\e_gguo ^_ckl\bc ihklmiZxsZy ih \g_rg_fm dhglmjm gh b \ha[m`^_gby hl kZfbo ^_ckl\bc da,db,dc,dd ih klmiZxsZyih\gmlj_gg_fmdhglmjmfha]Z Ihwlhfmko_fZmkeh\gh]hj_ne_dkZij_h[jZ am_lky\ko_fm 16 FH[kGDFH[kGEFH[kGFFH[kGG ⇓↓ ↓⇓ ↓⇓ ↓⇓ ↓⇓ da ⇒ a ⇒ db ⇒ b ⇒ dc ⇒ c ⇒ dd ⇒ d, ⇓⇑ ⇑ ⇓⇑ ⇑ ⇓⇑ ⇑ ⇓⇑ ⇑ Res(da) Res(db) Res(dc) Res(dd) <== Fha] (2) <== <g_rgbcFbj A^_kv F - fhlb\Zpby ³ba\e_dZxsZy ba iZfylb´ Zdlb\Zpb_c ↓ (kf ih^jh[g__ ^Ze__ \kx p_ ihqdm^_ckl\bcieZg^_ckl\bcih^hklb`_gbxp_ebH[klZgh\hqgZyZnn_j_glZpbyH[kGD, H[kGE, H[kGF, H[kGG ij_^klZ\ey_l kh[hc fgh`_kl\h \k_o g_h[oh^bfuo mkeh\bc mk i_rgh]hkh\_jr_gbydZ`^h]hhl^_evgh]h^_ckl\byb^hklb`_gby\blh]_dhg_qgh]hj_amevlZ lZ\^Zgghch[klZgh\d_ GbdZdh]h^jm]h]h^hihegbl_evgh]hkfukeZh[klZgh\hqgZyZnn_j_g lZpby g_ bf__l H[klZgh\hqgZy Znn_j_glZpby Z\lhfZlbq_kdb \dexqblky \ aZdhghf_jghklb FH[kGD⇒ da, DH[kGE⇒ db, EH[kGF ⇒ dc,FH[kGG ⇒ dddZd³kms_kl\_ggZy´ bgnhjfZpbyih\urZxsZymkeh\gmx\_jhylghklvijh]ghaZkfjbkhg_h[oh^bfuomkeh \byo \hafh`ghklb ³aZimkdZ´ hq_j_^gh]h ^_ckl\by b ihemq_gby khhl\_lkl\mxs_]h wlZigh]h j_amevlZlZ DZd\b^ghbako_fu^hklb`_gb_p_ebij_^klZ\ey_lkh[hcihke_^h\Zl_evghklv³[eh dh\´kfhl^_evguc[ehd\ko_f_dZ`ûcbadhlhjuogZqbgZ_lkybaZdZgqb\Z_lky^\mfy ihke_^h\Zl_evgufb wlZigufb j_amevlZlZfb JZkkfhljbf kgZqZeZ ijhp_kk h[mq_gby b kh\_j r_gkl\h\Zgby ^_ckl\bc \gmljb h^gh]h ³[ehdZ´ < ke_^mxsbo jZa^_eZo fu jZkkfhljbf dZd fh`_l[ulvkms_kl\_gghbaf_g_g\_kvieZg^_ckl\bc Ij_^klZ\bfko_fmq_j_aaZdhghf_jghklb\ha[m`^Zxsb_khhl\_lkl\mxsb_g_cjhgu Wlhke_^mxsb_aZdhghf_jghklb\ujZ[Zlu\Z_fu_ko_fhc\ijhp_kk_h[mq_gby FH[kGD⇒GDD0H[kGE⇒GEE0H[kGF⇒ GFF0H[kGG⇒ dd H[kGDGF⇒ c (3) H[kGDGG⇒ d H[kGDti)&datiH[kGEti)&dbtiH[kGFti)&dcti& Res(dati) ⇒ dati+1 Res(dbti)⇒ dbti+1 Res(dcti) ⇒ dcti+1 H[kGGti)&ddti& Res(ddti) ⇒ ddti+1 H[kGDGD⇒ a da&Res(da) ⇒ a H[kGEGE⇒ b db&Res(db) ⇒ b dc&Res(dc) ⇒ c dd&Res(dd) ⇒ d >Ze__\wlhfbke_^mxs_fjZa^_e_\k_wlbaZdhghf_jghklb[m^mlh[tykg_guHij_^_ebf kgZqZeZqlhlZdh_gZijbf_j^_ckl\b_dc. >eywlh]haZf_lbfqlh\kykh\hdmighklvh[jZlguo Znn_j_glZpbc hl j_amevlZlh\ ^_ckl\by dc dhlhjmx h[hagZqbf q_j_a GenRes(dc), ihklmiZ_l gZ³\oh^´fha]Zg_ij_ju\gh\h\j_f_gbgZqbgZykfhf_glZgZqZeZ^_ckl\bybdhgqZy^hk lb`_gb_f wlZigh]h j_amevlZlZ c KZfh ^_ckl\b_ dc \ \b^_ \ha[m`^_gby hl^_evgh]h g_cjhgZ beb ]jmiiu g_cjhgh\ lZd `_ g_ij_ju\gh \h \j_f_gb i_j_^Z_l k\hb \ha[m`^_gby wnn_dlhj guff_oZgbafZffurpZfhj]ZgZfbl^bh^gh\j_f_gghihdheeZl_jZeyfgZ³\oh^´fha]Z JZkkfhljbf ih^jh[g__ \aZbfh^_ckl\b_ h[jZlghc Znn_j_glZpbb GenRes(dc) b ^_ckl\by dc \ ijhp_kk_h[mq_gbyQlh[m^_li_j\uf\h\j_f_gbklbfmehfbaGenRes(dc)dhgljhebjmxsbf ijZ\bevghklv hkms_kl\e_gby ^_ckl\by dc" I_j\uf klbfmehf [m^_l kb]gZebaZpby h lZdhf i_j\hf j_amevlZl_ kh\_jr_ggh]h ^_ckl\by dhlhjuc g_ \k_]^Z ^hklb]Z_lky ijb kh\_jr_gbb wlh]h^_ckl\byl_wlhi_j\ucfhf_gl, \dhlhjhf^_ckl\b_fh`_lhldehgblvkyhlaZ^Zg 17 ghc p_eb b \ blh]_ g_ ^hklbqv j_amevlZlZ c ?keb h[jZlgZy Znn_j_glZpby ih^l\_j^bl ijZ \bevghklv kh\_jr_gby ^_ckl\bylh^_ckl\b_fh`_l[ulvijh^he`_ghKe_^mxs_c h[jZlghc Znn_j_glZpb_c ba GenRes(dc) dhgljhebjmxs_c ijZ\bevghklv kh\_jr_gby ^_ckl\by [m^_l h[jZlgZyZnn_j_glZpbyhllZdh]hke_^mxs_]hfhf_glZ^_ckl\bydh]^Zhghkgh\Z\ijbgpbi_ fh`_lhldehgblvkyhlaZ^Zgghcp_ebAZnbdkbjm_ffgh`_kl\hfhf_glh\\j_f_gbWWWN\ dhlhjuo^_ckl\b_ dcti, L N\ijbgpbi_fh`_lhldehgblvkyhlp_ebb\dhlhjuoihemqZ_ fmxh[jZlgmxZnn_j_glZpbxRes(dcti) ke_^m_ldhgljhebjh\ZlvJZah[v_f^_ckl\b_dc gZmqZ kldb dcti, L N I_j\uc mqZklhd ^_ckl\by aZimkdZ_lky dZd fu agZ_f aZdhghf_jghklvx EH[kGF ⇒ dct1. Ihke_ihemq_gbyh[jZlghcZnn_j_glZpbbRes(dct1) h[mki_rghfaZ\_jr_ gbbwlh]hi_j\h]hmqZkldZ^_ckl\bydct1, ^_ckl\b_dc fh`_l[ulvijh^he`_ghIjh^he`_gb_ ^_ckl\by ³aZimkdZ_lky´ aZdhghf_jghklvx Obc(dc t1)&dct1&Res(dct1) ⇒ dct2. WlZ aZdhghf_j ghklv [m^_l h[gZjm`_gZ Z\lhfZlbq_kdb ld \k_ mkeh\by ³kms_kl\_ggu´ m^Ze_gb_ dZdh]heb[hmkeh\bykljh]hmf_gvrZ_lmkeh\gmx\_jhylghklvijZ\beZ\g_cêyijh^he`_gby^_c kl\by >Ze__ ^_ckl\b_ ijh^he`Z_lky ih j_dmj_glguf aZdhghf_jghklyf Obc(dcti)&dcti&Res(dcti) ⇒ dcti+1, i = 1,...,k-\dhlhjuo^_ckl\bydcti bdcti+1 fh]mlkh\iZ^Zlv ?keb êy g_dhlhjuo ihke_^h\Zl_evguo mqZkldh\ ^_ckl\by dcti,..., dcti+l, i+l ≤ N kh\_jrZ_lky h^ghblh`_^_ckl\b_dctlhaZdhghf_jghklvijbf_l\bÔbc(dct)&dct& Res(dct) ⇒ dct, l_ ^_ckl\b_ dct aZimkdZ_l kZfh k_[y _keb lhevdh h[klZgh\hqgZy b h[jZlgZy Znn_j_glZpbb kih kh[kl\mxlijh^he`_gbx^_ckl\by. ?keb`_^_ckl\b_gZdZdhf-lhmqZkld_hldehgblvkyhlp_eb beb[m^_l^hklb]gmldhg_p^_ckl\bydc, lhwlhkjZam`_hljZablkygZh[jZlghcZnn_j_glZpbb Res, dhlhjZyaZimklbl^jm]mxaZdhghf_jghklvLZdbfh[jZahfh[jZlgZyZnn_j_glZpby[m^_l kb]gZehf êy i_j_oh^Z eb[h d dhfi_gkZlhjguf ^_ckl\byf eb[h d aZimkdm gh\h]h mqZkldZ ^_ckl\by. AZdhghf_jghklb ihke_^h\Zl_evgh]h kh\_jr_gby mqZkldh\ ^_ckl\by h[hagZq_gu gZ ^\mfyjy^hfklhysbfbklj_edZfb⇓⇑<wlbaZdhghf_jghklbij_^klZ\e_gu\y\ghf\b ^_ Dh]^Z^_ckl\b_dc fh`ghkqblZlvaZ\_jr_ggufbqlhlZdh_hl^_evgh_^_ckl\b_"AZdh ghf_jghkl_c Obc(dcti)&dcti&Res(dcti) ⇒ dcti+1 ^hklZlhqgh êy i_j_oh^Z hl h^gh]h mqZkldZ ^_ckl\by d ^jm]hfm Gh dh]^Z lj_[m_lky i_j_clb hl h^gh]h wlZigh]h ^_ckl\by d ^jm]hfm lh gZ^hmq_klv\kxkh\hdmighklvihemq_gghch[jZlghcZnn_j_glZpbbbhij_^_eblvaZdhgq_gheb wlZigh_^_ckl\b_bebg_ll_^hklb]gmlg_dhlhjucwlZigucj_amevlZlbebg_l<\_jhylghkl guol_jfbgZojZa^_e_gb_^_ckl\bcda,db,dc,ddgZwlZiuhagZqZ_lqlhihke_dZ`^h]hbagbo \ijbgpbi_fh`_lkh\_jrZlvkyfgh`_kl\h^jm]bo^_ckl\bcbihwlhfmij_^kdZaZgb_gZijb f_j ^_ckl\by db dh]^Z _s_ hkms_kl\e_gh ^_ckl\b_ da \ ijbgpbi_ g_\hafh`gh >_ckl\by GDGEGFGG ihlhfmb jZa^_e_guqlhhgb g_ij_^kdZau\Zxl^jm]^jm]ZDZdlh]^Zfh`_l [ulv hkms_kl\e_g i_j_oh^ hl h^gh]h wlZigh]h ^_ckl\by d ^jm]hfm" Ihgylgh qlh h[jZlghc Znn_j_glZpbb hl ihke_^g_]h mqZkldZ ^_ckl\by Res(dctk) g_ ^hklZlhqgh êy hij_^_e_gby aZ \_jr_gghklb^_ckl\by dc>eygZ^_`gh]hij_^kdZaZgbyaZ\_jr_gghklb^_ckl\by\p_ehfg_ h[oh^bfh agZlv qlh \k_ mqZkldb ^_ckl\by mki_rgh ijhc^_gu l_ ^_ckl\b_ dc = dct1&dct2&...&dctk \uiheg_gh b h[jZlgZy Znn_j_glZpby Res(dc) = Res(dct1)&Res(dct2) &...&Res(dctk) hl\k_ofhf_glh\^_ckl\bcihemq_gZDZdfh`_lbkihevah\ZlvkywlZbgnhjfZ pbyêyi_j_oh^Zdke_^mxs_fm^_ckl\bxdd? Hlf_lbf ke_^mxsbc h[sbc ijbgpbi hj]ZgbaZpbb ij_^kdZaZgbc hkms_kl\ey_fuc fha]hf _keb g_\hafh`gh hkms_kl\blv ij_^kdZaZgb_ gZ gbadhf mjh\g_ g_ ^Ze_dh hl ³\oh^Z´ fha]Z ]^_ bgnhjfZpby ^hklZlhqgh ^_lZevgZ b ehdZevgZ), lh ij_^kdZaZgb_ hkms_ kl\ey_lky q_j_a [he__ \ukhdb_ kehb fha]Z jZkiheh`_ggu_ gb`_ gZ jbk 3) hljZ`Zxsb_ bgl_]jZevgu_ b [he__ bg\ZjbZglgu_ kf jZa^ oZjZdl_jbklbdb \g_rg_c kj_û Ijb wlhfaZf_lbfqlhlZdZykljmdlmjZij_^kdZaZgbchij_^_ey_lkyg_kljh_gb_ffha]ZZkljmdlm jhcij_^kdZaZgbc\g_rg_ckj_ûdhlhjmxmeZ\eb\Z_lfha]JZkkfhljbfgZijbf_j_^_c kl\bydcdZdwlhijhbkoh^bl<khhl\_lkl\bbkjbk³ex[hcj_p_ilhjbebdhf[bgZpbyj_p_i lhjh\fh]ml[ulvk\yaZgukex[ufwnn_dlhjhfbebdhf[bgZpb_cwnn_dlhjh\ÍhwlhfmgZ 18 f_kl_ex[h]h³i_j_dexq_gby´gZijbf_jkh³\oh^ZÓbc(dc)&dc&Res(dc)gZ\uohûdd bd (d -g_cjhgdhg_qgh]hj_amevlZlZ\k_]^Zkms_kl\mxlg_cjhg c,\ha[m`^Zxsbcky[_amkeh\gh hl\ha[m`^_gbcObc(dc)&dc&Res(dc) bi_j_^Zxsbcwlh\ha[m`^_gb_gZ\ohûg_cjhgh\dd b d. LZd dZd g_cjhg c \ha[m`^Z_lky [_amkeh\gh hl \ha[m`^_gbc Obc(dc)&dc&Res(dc)lhhg ^he`_g gZoh^blvky \ j_r_ld_ dZd jZa ih^ \k_fb g_cjhgZfb Obc(dc)&dc&Res(dc) gZ jbk gb`_bdZd[ugZf_kl_koh`^_gby\k_o\ha[m`^_gbchlwlbo\ur_klhysbog_cjhgh\Ij_` ^_\k_]haZf_lbf qlhihkdhevdm\ha[m`^_gb_Obc(dc)&dc&Res(dc) g_cjhgZci_j_^Z_lkygZ \oh^g_cjhgZdbkb]gZebabjm_lh[mki_rghfaZ\_jr_gbbhq_j_^gh]hwlZiZ^_ckl\bclhg_c jhghf d \ ijhp_kk_ h[mq_gby [m^_l \ujZ[hlZgZ aZdhghf_jghklv c ⇒ d WlZ aZdhghf_jghklv [m^_lbf_lv[hevrmxhp_gdmmkeh\ghc\_jhylghklbq_faZdhghf_jghklvb ⇒ dhlij_û^m s_]hwlZiZ^_ckl\bcbke_^h\Zl_evgh\ha[m`^_gb_g_cjhgZc [m^_l\uau\Zlviheh`bl_evgu_ wfhpbb Wlb iheh`bl_evgu_ wfhpbb [m^ml aZdj_ieylv \_kv ³[ehd´ aZdhghf_jghkl_c ijb\_^ rbodwlhfmwlZighfmj_amevlZlmb\qZklghklbaZdhghf_jghklvObc(dc)&dc& Res(dc) ⇒ c. G_cjhgc kgZqZeZ[m^_l\ha[m`^Zlvkyk\hbf\oh^hfObc(dc)&dc&Res(dc)[_amkeh\ghghaZ l_f\ijhp_kk_\ujZ[hldbmkeh\ghck\yabc ⇒ dbihy\e_gbyiheh`bl_evguowfhpbcg_cjhg c gZqg_l ijbh[j_lZlv k\hckl\Z j_amevlZlZ b h[jZlgZy Znn_j_glZpby Res(dc) gZqg_l h[h]Z sZlvkymkbeb\Zy aZdhghf_jghklvObc(dc)&dc&Res(dc) ⇒ cdhlhjZyl_i_jvm`_[m^_l³kjZ [Zlu\Zlv´ g_ ijhklh [_amkeh\gh Z _s_ b k \_jhylghklvx [ebadhc d qlh fu lZd `_ [m^_f kqblZlv [_amkeh\guf ³kjZ[Zlu\Zgb_f´ g_cjhgZ AZdhghf_jghklv Obc(dc)&dc& Res(dc) ⇒ c, lZdbf h[jZahf Z\lhfZlbq_kdb \dexqbl \ k_[y \k_ \ha[m`^_gby gZb[he__ ihegh blhqghoZ jZdl_jbamxsb_ ^hklb`_gb_ wlZigh]h j_amevlZlZ dc b \hafh`ghklv i_j_oh^Z d ke_^mxs_fm ^_ckl\bxMkbeblkyg_lhevdhaZdhghf_jghklvObc(dc)&dc&Res(dc) ⇒ c,ghb\k_aZdhghf_j ghklb ³[ehdZ´ Obc(dc)&dcti&Res(dcti) ⇒ dcti+1, i = 1,...,k- Mkbe_gb_ wlbo aZdhghf_jghkl_c [m^_l mlhqgylv h[jZlgu_ Znn_j_glZpbb Res(dcti), i = 1,...,k- dhgljhebjmxsb_ j_amevlZlu \k_omqZkldh\^_ckl\byGZkZfhf^_e_bf__lf_klh[he__kbevgh_ml\_j`^_gb_ Fha]\k_]^Zklj_fblvky^h[blvkyihegh]hdhgljheygZ^\g_rgbffbjhfbkq_jiu\Zxs_dhgljhebjmy\gmlj_ggbfaZdhghf_jgufdhglmjhfjZ[hlufha]Zkh[ulby\g_r g_]h dhglmjZ Dh]^Z aZdhghf_jghklb Obc(dcti)&dcti&Res(dcti) ⇒ dcti+1, i = 1,...,k- ihke_ bo mkbe_gbyiheh`bl_evgufbwfhpbyfbgZqgmlk\_jhylghklvx[ebadhcdg_ij_ju\gh\h\j_ f_gbdhgljhebjh\Zlvh[jZlghcbh[klZgh\hqghcZnn_j_glZpbyfbObc(dcti),Res(dcti), i = 1,...,kkh[ulby\g_rg_ckj_ûlh\gmlj_ggbcdhglmjfha]Z[m^_lagZlv\k_qlh_fmg_h[oh^bfhk lhqdb aj_gby ij_^kdZaZgby b ^hklb`_gby p_eb h \g_rg_f dhglmj_ l_ h \g_rg_f fbj_ Bf_gghaZkq_lwlh]hbkha^Z_lkylhm^b\bl_evgh_hsms_gb_qlhfu`b\_f\h\g_rg_ffbj_ ohly_klvki_pbZevgu_wdki_jbf_glukgZ^_\Zgb_fbkdZ`ZxsboebgaihdZau\Zxsb_qlhwlh hsms_gb_y\ey_lkyj_amevlZlhflj_gbjh\db JZa[b_gb_^_ckl\bygZwlZiu\ijhp_kk_h[mq_gbyijhbkoh^blihkl_i_gghbihklhyggh DZdm`_]h\hjbehkvi_j\hgZqZevgufwlZihfnhjfbjh\ZgbynmgdpbhgZevguokbkl_fb\lhf qbke_ wlZiguo j_amevlZlh\ y\ey_lky f_lh^ ³ijh[ b hrb[hd´ b bkke_^h\Zl_evkdZy ^_yl_ev ghklv?keb\j_amevlZl_lZdhc^_yl_evghklbj_amevlZl[m^_l^hklb]gmllhgZc^_gguckihkh[ ^_ckl\byaZdj_iblky\\b^_ihke_^h\Zl_evghklb^_ckl\bcObc(dcti)&dcti&Res(dcti) ⇒ dcti+1, i = 1,...,k-\dhlhjhcg_[m^_lgbdZdbowlZih\H[klZgh\hqghcObc(dcti) bh[jZlghcRes(dcti) Zn n_j_glZpbyfb\k_oqZkl_c^_ckl\by[m^_l\kyh[klZgh\hqgZybh[jZlgZyZnn_j_glZpbbdhlh ju_ [ueb ihemq_gu \ khhl\_lkl\mxsb_ fhf_glu \j_f_gb Ijb ih\lhj_gbb wlh]h ^_ckl\by [m^_lf_gylvkyh[klZgh\dZbh[jZlgZyZnn_j_glZpbyhlmqZkldh\ ^_ckl\byihwlhfm\aZdhgh f_jghklbObc(dcti)&dcti&Res(dcti) ⇒ dcti+1, i = 1,...,k-gZqg_l\oh^blv[he__lhqgZybg\Zjb ZglgZy kf jZa^ h[klZgh\hqgZy b h[jZlgZy Znn_j_glZpbb <u^_e_gb_ wlZih\ ^_ckl\bc b aZdhghf_jghkl_cwlZih\lbiZObc(dc)&dc&Res(dc) ⇒ ck\b^_l_evkl\mxsbohaZ\_jr_gghklb wlZiZ ^_ckl\by \hafh`gh lhevdh lh]^Z dh]^Z \ j_amevlZl_ hkms_kl\e_gby jZaghh[jZaghc ^_yl_evghklbZg_lhevdh\mkeh\byogZijbf_jh^gh]hbgkljmf_glZevgh]hj_ne_dkZklZg_l ykghqlhaZ^_ckl\b_fdc fh`_lihke_^h\Zlvfgh`_kl\h^jm]bo^_ckl\bcbagZqblij_^kdZ 19 aZgb_ b Zdlb\Zpby ke_^mxs_]h aZ dc ^_ckl\by ih aZdhghf_jghklyf lbiZ Obc(dck)&dck&Res(dck) ⇒ ddt1]^_N-ihke_^gbcmqZklhd^_ckl\bydc, hdZ`_lkym`_ijhklh g_\hafh`gufihlhcijhklhcijbqbg_qlhg_ba\_klghdZdh_^he`gh[ulv^Zevr_^_ckl\b_ Ihwlhfm Zdlb\Zpby ke_^mxs_]h ^_ckl\by [m^_l \hafh`gZ m`_ lhevdh q_j_a aZdhghf_jghklb lbiZ Obc(dc)&dc& Res(dc) ⇒ kIhgylghqlh_keb\ijhp_kk_kh\_jr_gkl\h\Zgby^_ckl\bc\ b]jZobeb\ijhn_kkbhgZevghc^_yl_evghklb\uykgblvkyqlhbkZfh^_ckl\b_dc _klvdhf[b gZpbyg_kdhevdbo[he__we_f_glZjguo^_ckl\bcdhlhju_lZd`_ih-jZaghfmfh]mldhf[bgb jh\Zlvky ijb ^hklb`_gbb jZaguo p_e_c lh ^_ckl\b_ dc lZd `_ Z\lhfZlbq_kdb jZah[v_lky gZ [he__ f_edb_ wlZiu dc1,...,dclLZd`_dZdbêy^_ckl\bydc, êywlbowlZih\Z\lhfZlbq_kdb [m^mlgZc^_guaZdhghf_jghklbj_amevlZlh\lbiZObc(dcj)&dcj& Res(dcj) ⇒ cj, j = 1,...,l. Wlh h[tykgy_ldZdZ\lhfZlbq_kdbnhjfbjmxlkyhl^_evgu_³[ehdb´^_ckl\by (4): DJWIJWIJFH[kGFDJWIJ DJWIJ-Dhg_qgucWlZiguc Ijhf_`mlhqguc J_amevlZl ⇑ ↓⇓ ⇑ ... b ⇒ dc ⇒ c... <== Fha](4) ⇓⇑ ⇑ Res(dc) <== <g_rgbcFbj ]^_WIJwlZigucijhf_`mlhqguc j_amevlZl-^_ckl\b_[he__h[s_]hmjh\gykf^Ze__b ⇒ DJ, c ⇒ DJ -aZdhghf_jghklb \ujZ[hlZggu_g_cjhghfdhg_qgh]hj_amevlZlZDJgZijb f_jg_cjhghfdWlbaZdhghf_jghklbbf_xl\hajZklZxsb_agZq_gby\_jhylghklbij_^kdZaZ gby\uau\Zxsb_iheh`bl_evgu_wfhpbbbaZdj_ieyxsb_aZdhghf_jghklb\k_]h[ehdZ?keb ^_ckl\b_dc, \ijhp_kk_kh\_jr_gkl\h\Zgby^_ckl\bcjZah[v_lkygZihke_^h\Zl_evghklv^_c kl\bc dc1,...,dcl, lh ^hklb`_gb_ ^_ckl\b_f dc k\h_]h j_amevlZlZ c ih aZdhghf_jghklb Obc(dc)&dc&Res(dc) ⇒ c, c ⇒ d khojZgblk\h_agZq_gb_\lhfblhevdh\lhfkemqZ_dh]^Z aZdhghf_jghklvc ⇒ d [m^_lbf_lv[hevrmxhp_gdm\_jhylghklbq_faZdhghf_jghklvcl ⇒ d, ³kjZ[hlZ\rZyíhke_^hklb`_gbyihke_^g_]hwlZigh]hj_amevlZlZObc(dc)&dcl&Res(dcl) ⇒ cl. Wlh[m^_lijhbkoh^blv\lhfkemqZ_dh]^Z^_ckl\b_cbf__lkZfhklhyl_evgh_agZq_gb_ JZkkfhljbfgZijbf_j^_ckl\b_dc -[_];_]hq_\b^ghy\ey_lkykeh`guf^\b`_gb_f khklhysbf ba k_jbb [he__ ijhkluo wlZiguo ^_ckl\bc <k_ wlZigu_ ^_ckl\by [_]Z k\yaZgu \ hij_^_e_ggmx ihke_^h\Zl_evghklv \gmljb ^_ckl\by dc Dh]^Z ³[_]´ [m^_l aZ\_jr_g lh ^hk lb`_gb_ j_amevlZlZ c ih aZdhghf_jghklb c ⇒ d aZdj_ibl wlhl wlZiguc ijhf_`mlhqguc j_ amevlZlb\lhfqbke_\kxihke_^h\Zl_evghklv[he__f_edbowlZiguoj_amevlZlh\ dc1,...,dcl. Ykgh qlh aZdhghf_jghklv c ⇒ d [m^_l bf_lv [hevrmx hp_gdm \_jhylghklb q_f aZdhghf_j ghklv cl ⇒ d, \h-i_j\uo ihlhfm qlh ^_ckl\by dc1,...,dcl pbdebq_kdb ih\lhjyxlky \gmljb ^_ckl\byGF -[_]Z\h-\lhjuoihlhfmqlhêyijZ\bevghchp_gdbaZ\_jr_gghklb³[_]Z´g_ h[oh^bfhhp_gblvijZ\bevghklv\k_cihke_^h\Zl_evghklb^_ckl\bcl_hp_gblv^hklb`_gb_ j_amevlZlZ c ih aZdhghf_jghklb Obc(dc)&dc&Res(dc) ⇒ c, Z g_ ih aZdhghf_jghklb Obc(dcl)&dcl&Res(dcl) ⇒ clIhwlhfmêy[he__f_edbowlZiguoj_amevlZlh\ dc1,...,dclgZijb f_j ih^t_fZ gh]b lheqdZ iju`dZ b l^ wlZiguf j_amevlZlhf \ ³[ehd_´ ijb\h^ysbfd ^hklb`_gbx wlZigh]h ijhf_`mlhqgh]h j_amevlZlZ WIJ \k_]h [ehdZ y\ey_lky g_ kZfuc ih ke_^gbc dhg_qguc j_amevlZl d - DJ \uau\Zxsbc kZgdpbhgbjmxsmx Znn_j_glZpbx Z lhl [he__³djmiguc´wlZigucijhf_`mlhqgucj_amevlZl\^ZgghfkemqZ_³[_]´dhlhjuc³k\yau \Z_l´ \kx ihke_^h\Zl_evghklv [he__ f_edbo wlZiguo j_amevlZlh\ WlZiguc ijhf_`mlhqguc j_amevlZl c lZd `_ dZd b dhg_qguc j_amevlZl d h[eZ^Z_l kZgdpbhgbjmxsbf ^_ckl\b_f ld aZdhghf_jghklv c ⇒ d [m^_l \uau\Zlv iheh`bl_evgu_ wfhpbb aZdj_ieyxrb_ aZdhghf_jgh klbc1 ⇒ c,..., cl ⇒ cGhiheh`bl_evgu_wfhpbbfh]ml\hagbdZlvg_lhevdhihke_aZ\_jr_gby 20 [_]ZWfhpbbdZdbgl_]jZevgZyhp_gdZmki_rghklb^_ckl\bc-ijb[eb`_gbydp_ebiheh`b l_evgZywfhpbybebm^Ze_gbyhlp_ebhljbpZl_evgZywfhpbyklj_fylkylZd`_g_ij_ju\gh \h \j_f_gb dhgljhebjh\Zlv ^hklb`_gb_ p_eb Ihkdhevdm dZ`^h_ ba we_f_glZjguo ^_ckl \bc dc1,...,dcl _keb hgh ohlv kdhevdh-gb[m^v agZqbfh ijb[eb`Z_l p_ev gZijbf_j \ kemqZ_ dh]^Zh[klZgh\hqgZyZnn_j_glZpbyObc(dci) ^_ckl\bydcik\yaZgZkij_h^he_gb_fg_ijhklh]h ij_iylkl\byyfZdZf_gvij_]jZ^Zbl^bdh]^Zhp_gdZ\_jhylghklb^hklb`_gbyj_amevlZlZ ihaZdhghf_jghklbObc(dci)&dci&Res(dci) ⇒ ciêywlh]hij_iylkl\byf_gvr__^bgbpulh]^Z ij_h^he_gb_ ij_iylkl\by \uah\_l iheh`bl_evgu_ wfhpbb aZdj_ieyxsb_ g_cjhgu \uihe gb\rb_^_ckl\b_dci, bg_cjhgci. Ihwlhfm[m^ml\ujZ[hlZgug_lhevdhaZdhghf_jghklbc1 ⇒ c ,..., cl ⇒ c, ij_^kdZau\Zxsb_kh\k_[hevr_c\_jhylghklvx^hklb`bfhklvwlZigh]hijhf_`m lhqgh]hj_amevlZlZc, ghbaZdhghf_jghklbc1&dc ⇒ DJFl&dc ⇒ DJij_^kdZau\Zxsb_ m\_ebq_gb_\_jhylghklb^hklb`bfhklbdhg_qgh]hj_amevlZlZDJihke_hkms_kl\e_gby[he__ f_edbo wlZiguo ^_ckl\bc c1,...,cl, hkms_kl\ey_fuo \ dhgl_dkl_ [he__ djmigh]h wlZigh]h ijhf_`mlhqgh]h^_ckl\byGF kj_amevlZlhfc. Ihwlhfm\ko_f_ij_^kdZau\Z_fufdhg_q gufj_amevlZlhfy\ey_lkyg_lhevdhwlZigucijhf_`mlhqgucj_amevlZlWIJghbdhg_qguc j_amevlZlDJ. <uiheg_gb_ke_^mxs_]h^_ckl\bydci+1g_fh`_l[ulvaZims_ghg_cjhghfcildg_c jhgcig_fh`_lagZlvbke_^h\Zl_evghij_^kdZaZlvdZdhc[m^_lke_^mxsbcmqZklhd^_ckl\by LZdh_ ij_^kdZaZgb_ \hafh`gh lhevdh _keb agZlv qlh \k_ ^_ckl\by dc1,...,dcl \uihegyxlky \ dhgl_dkl_ g_dhlhjh]h [he__ djmigh]h ^_ckl\by dc - [_] Ihwlhfm ³aZimkd´ ^_ckl\by dci+1 ^he`_g[ulvhkms_kl\e_gaZdhghf_jghklvxdc&ci ⇒ dci+1hagZqZxs_cqlh\dhgl_dkl_^_c kl\by dc ^hklb`_gb_ j_amevlZlZ êy mqZkldZ ^_ckl\by ci ij_^kdZau\Z_l b \ha[m`^Z_l gZqZeh ke_^mxs_]hmqZkldZ^_ckl\by dci+1.>_ckl\b_[he__h[s_]hmjh\gyWIJ\wlhb_klv\^Zg ghfkemqZ_^_ckl\b_dc. FuhibkZebdZdZ\lhfZlbq_kdbkljhblkyb_jZjoby^_ckl\bc\ijhp_kk_h[mq_gbyb dZdbfbaZdhghf_jghklyfbb\ha[m`^_gbyfbwlb^_ckl\by\uihegyxlkyGhgZkZfhf\_jog_f mjh\g_ hj]ZgbaZpbb ^_ckl\bc fu\k_jZ\ghg_agZ_fdZdbfbaZdhghf_jghklyfb^he`ghhkm s_kl\eylvkyi_j_dexq_gb_kh^gh]h^_ckl\bygZ^jm]h_ldjZagu_wlZiu^_ckl\byg_ij_^ kdZau\Zxl ^jm] ^jm]Z Hj]ZgbaZpby ^_ckl\bc gZ kZfhf \_jog_f mjh\g_ m`_ g_ fh`_l [ulvhj]Zgbah\ZgZaZdhghf_jghklyfb, ldaZ\bkblg_hlkljmdlmjuij_^kdZaZgbc\g_r g_ckj_ûZhlp_e_c^hklb]Z_fuohj]ZgbafhfLZddZdp_evklZ\blkyfhlb\Zpbhgguf\ha [m`^_gb_f><bly_\@lhhgZy\ey_lkykm]m[h\gmlj_gg_cihklZgh\dhcêyhj]ZgbafZp_eb H^gZdhihke_ihklZgh\dbp_ebhp_gdZ\_jhylghklb__^hklb`_gbyfh`_l[ulvhkms_kl\e_gZ ihh[gZjm`_ggufaZdhghf_jghklyfqlhbhkms_kl\ey_lkyi_j_dexqZxs_cnmgdpb_cwfh pbc gZklZ^bbijbgylbyj_r_gbcGZkZfhf\_jog_fmjh\g_hj]ZgbaZpbb^_ckl\bchgbhj ]ZgbamxlkygZklZ^bbijbgylbyj_r_gbc]^_hgbij_^klZ\eyxlkh[hcdZdijZ\behebg_cgmx ihke_^h\Zl_evghklvhl^_evguo³[ehdh\´^_ckl\bcLZddZd\wlhcihke_^h\Zl_evghklb^_ckl \bchp_gdZ\_jhylghklbij_^kdZaZgbydhg_qgh]hj_amevlZlZ\k_]^Zkljh]h\hajZklZ_llhijb gylb_ j_r_gbc ij_^klZ\ey_l kh[hc k\h_h[jZaguc k_fZglbq_kdbc ³[ehqguc´ \_jhylgh klguc\u\h^gZbemqr_]hieZgZ^_ckl\bykf[he__ih^jh[gh^Ze__<j_amevlZl_ihemqZ _lkylZihke_^h\Zl_evghklvbb_jZjobyj_amevlZlh\dhlhjZyhibkZgZ\L_hjbbnmgdpbhgZev guokbkl_fAZf_lbfqlhwlmihke_^h\Zl_evghklvbb_jZjobxj_amevlZlh\dhlhjZyZ\lhfZlb q_kdbmlhqgy_lkybkh\_jr_gkl\m_lky\ijhp_kk_^_yl_evghklbfu\u\_ebbaZgZebaZkljmd lmju ij_^kdZaZgbc kh[ulbc \h \g_rg_c kj_^_ dhlhju_ meZ\eb\Zxlky aZdhghf_jghklyfb ba {PRFJW`Ko_fulZdbfh[jZahf^ZxlgZfkljmdlmjmbijhp_kknmgdpbhgbjh \ZgbynhjfZevghcfh^_ebjZ[hlufha]Zhkgh\ZgghcgZijbgpbi_ij_^kdZaZgby H[tykgbfl_i_jvdZdfh`_lkh\_jr_gkl\h\Zlvky^_yl_evghklv\gmljbhl^_evgh]h³[ehdZ´ ^_ckl\bc <ijhp_kk_b]jbeb ijhn_kkbhgZevghc^_yl_evghklbihke_^h\Zl_evghklvmqZ kldh\^_ckl\bcbkhhl\_lkl\mxsb_h[jZlgu_Znn_j_glZpbbObc(dc)& dcti&Res(dcti) ⇒ dcti+1, i = 1,...,k-fh]ml\Zjvbjh\Zlvky?kebihke_lZdbo\ZjbZpbcj_amevlZlc g_[m^_l^hklb]gmllh 21 \hagbdg_lhjb_glbjh\hqgh-bkke_^h\Zl_evkdZyj_ZdpbybhljbpZl_evgu_wfhpbbdhlhju_ih gbaylhp_gdb\_jhylghklb\k_o³kjZ[hlZ\rboáZdhghf_jghkl_cb\ke_^mxsbcjZawlbaZdh ghf_jghklb\jyêb[m^mlZdlb\babjh\ZguDZdba\_klghhjb_glbjh\hqgh-bkke_^h\Zl_evkdZy j_Zdpby \hagbdZ_l \kydbc jZa dh]^Z h`b^Z_fuc Zdp_ilhjhf j_amevlZlh\ ^_ckl\by j_amevlZl g_ ^hklb]gml Ij_îheh`bf qlh \ ijhp_kk_ b]ju gZc^_gu lZdb_ \ZjbZpbb dc’ ^_ckl\by dc, dhlhju_ ih khhl\_lkl\mxsbf aZdhghf_jghklyf Obc(dc’ti)&dc’ti&Res(dc’ti) ⇒ dc’ti+1, i = 1,...,k’- [m^ml ijb\h^blv d ^hklb`_gbx lZdbo j_amevlZlh\ c’, qlh ihke_ hkms_kl\e_gby hk lZevguo ^_ckl\bc hgb lZd `_ [m^ml ijb\h^blv d dhg_qghfm j_amevlZlm < wlhf kemqZ_ wlb \ZjbZpbb[m^mlaZdj_ie_gu?kebihke_g_h^ghdjZlgh]hijbf_g_gby\ZjbZpbcdc’ bihemq_ gbydhg_qgh]hj_amevlZlZhdZ`_lkyqlh ihke_^hklb`_gbyj_amevlZlZc’ dhg_qgucj_amevlZl ^hklb]Z_lky k [hevr_c \_jhylghklvx ih aZdhghf_jghklb c’ ⇒ d, q_f ihke_ j_amevlZlZ c ih aZdhghf_jghklb c ⇒ d, lh \k_ aZdhghf_jghklb ³[ehdZ´ ijb\h^ysb_ d j_amevlZlm c’ klZgml bf_lv [hevrmx hp_gdm mkeh\ghc \_jhylghklb LZd dZd aZdhghf_jghklb bf_xsb_ [hevrmx hp_gdm mkeh\ghc \_jhylghklb kjZ[Zlu\Zxl [uklj__ lh aZimkd ^_ckl\by dc’ [m^_l kjZ[Zlu \Zlv[uklj__ih\j_f_gbq_faZimkd^_ckl\bydc. :dlb\babjh\Z\rbkv^_ckl\b_dc’ \ulhjfh abl lhjfhagufb aZdhghf_jghklyfb \k_ g_ kh\f_klbfu_ k gbf ^_ckl\by Lhjfhagu_ aZdhgh f_jghklbbf_xllhqghlZdmx`_ijbjh^mqlhb\ha[m`^Zxsb_ghêyijhklhlufubojZk kfZljb\Zlvg_[m^_fIhwlhfmfha]Z\lhfZlbq_kdbi_j_dexqblkygZaZimkd[he__wnn_d lb\gh]h^_ckl\byGF¶ 5.3. H[tykg_gb_ p_e_gZijZ\e_gghc ^_yl_evghklb \ L_hjbb nmgdpbhgZevguo kbk l_fJZkkfhljbfbh[tykgbfgZhkgh\_ko_fihke_^h\Zl_evgh\k_klZ^bbhj]ZgbaZ pbbp_e_gZijZ\e_ggh]hih\_^_gby\khhl\_lkl\bbkL_hjb_cnmgdpbhgZevguokbkl_fbBg nhjfZpbhgghcl_hjb_cwfhpbcZlZd`_g_dhlhju_baijhpblbjh\Zgguo\ur_k\hckl\Zdp_i lhjZj_amevlZlh\^_ckl\by :nn_j_glguckbgl_a><bly_\@hkms_kl\ey_lkyZdlb\Zpb_c↓ fhlb\Zpb_cFjZaebq guoihke_^h\Zl_evghkl_c^_ckl\bcda,db,dc,ddba\e_dZ_fuofhlb\Zpb_cbaiZfylbDZd\b^ ghbako_fbijbwlhfZ\lhfZlbq_kdbmqblu\Z_lky\kyh[klZgh\hqgZyZnn_j_glZpbyb kZfZfhlb\ZpbydZdklbfme³Ba\e_q_gb_baiZfylb´wlhg_\ha[m`^_gb_^_ckl\bcZlZdZybo Zdlb\ZpbydhlhjZyijhba\h^blkylhevdhfhlb\Zpbhgguf\ha[m`^_gb_f\\b^m_]hobfbq_kdhc ki_pbnbqghklb b k\h_h[jZaghc ³iZqdhh[jZaghc´ Zdlb\ghklb ³>hfbgbjmxsZy fhlb\Zpby hljZ`Z_lky\oZjZdl_jghfjZkij_^_e_gbbf_`bfimevkguobgl_j\Zeh\\g_cjhgZojZaebqguo hl^_eh\ fha]Z JZkij_^_e_gb_ f_`bfimevkguo bgl_j\Zeh\ ghkbl oZjZdl_j ki_pbnbq_kdbc êy jZaebqgh]h [bheh]bq_kdh]h dZq_kl\Z fhlb\Zpbc´ >Km^Zdh\ K @ ³LZdbf h[jZahf iZqdhh[jZagZyjblfbdZp_gljZevguog_cjhgh\\mkeh\byo^hfbgbjmxs_]hibs_\h]hfhlb \Zpbhggh]h \ha[m`^_gby hljZ`Z_l ijhp_kku h`b^Zgby ibs_\h]h ih^dj_ie_gby´ >Km^Zdh\ k@ LZdZy Zdlb\ghklv _klv dZd [u ³\hh[jZ`_gb_´ iha\heyxs__ fhlb\Zpbb ih bf_x sbfky aZdhghf_jghklyf nhjfbjh\Zlv dhgdj_lgmx p_ev Zdp_ilhj j_amevlZlh\ ^_ckl\bc b ieZg ^_ckl\bc Ihemq_gb_ j_Zevguo, Z g_ \ “\hh[jZ`_gbb´ j_amevlZlh\ kjZam `_ kgbfZ_l ki_pbnbq_kdmx Zdlb\Zpbx ↓ fhlb\Zpb_c wlbo j_amevlZlh\ ³m^Zehkv h[t_dlb\ghaZnbdkbjh \Zlv ijhp_kkh`b^ZgbyiZjZf_ljh\ibs_\h]hih^dj_ie_gbybke_^h\Zl_evghijyfhhlg_klb bodZiiZjZlmZdp_ilhjZj_amevlZlh\^_ckl\byLZdbfbhdZaZebkvg_cjhgudhlhju_m]heh^ guo `b\hlguo ijhy\eyxl \ujZ`_ggmx iZqdhh[jZagmx Zdlb\ghklv ;ueh mklZgh\e_gh qlh ijZdlbq_kdb\k_g_cjhguklZdhcnhjfhc Zdlb\ghklbg_f_ê_gghi_j_oh^ylgZj_]meyjgmx jZajy^gmx^_yl_evghklvdZdlhevdh`b\hlgu_m^h\e_l\hjyxlk\hx^hfbgbjmxsmxibs_ \mxihlj_[ghklvIjbq_f[uehhlf_q_ghqlhdh]^Z]heh^gh_`b\hlgh_\b^blibsmiZqdh h[jZagZyZdlb\ghklvaZf_gy_lkygZj_]meyjgmxij_bfms_kl\_gghmg_cjhgh\ajbl_evghch[ eZklbdhjufha]Zijb\\_^_gbbibsb\jhlh\mxihehklv-mg_cjhgh\lZeZfbq_kdhch[eZklb ijbihklmie_gbbibsb\`_em^hd-mg_cjhgh\]bihlZeZfbq_kdhch[eZklbijb\\_^_gbb]ex dhau\djh\v-mg_cjhgh\kl\heZfha]Z´>Km^Zdh\k@Bako_f\b^ghqlh\k_ 22 wlZiu Znn_j_glgh]h kbgl_aZ - fhlb\Zpby iZfylv h[klZgh\hqgZy b imkdh\Zy Znn_j_glZpbb _kl_kl\_ggufh[jZahfkeb\Zxlky IeZg^_ckl\bcFhlb\Zpby³ba\e_dZ_lbaiZfylb´g_ijhklhihke_^h\Zl_evghklb^_ckl \bc da,db,dc,dd Z ieZgu ^_ckl\bc \uiheg_gb_ dhlhjuo ijb\h^beh jZgvr_ d ^hklb`_gbx p_eb >Ze__ gZ klZ^bb ijbgylby j_r_gbc ba \k_o ³ba\e_q_gguo ba iZfylb´ ieZgh\ ^_ckl\bc [m^_l\u[jZgh^bgieZgIhkdhevdmieZg^_ckl\bc³ba\e_dZ_lkybaiZfylb´^h\kydbo^_ckl \bc lh Zdlb\Zpby aZdhghf_jghkl_c ieZgZ fh`_l hkms_kl\eylvky lhevdh \ ³\hh[jZ`_gbb´ ;he__ lhqgh ieZg ^_ckl\bcij_^klZ\ey_l kh[hc ihke_^h\Zl_evghklvaZdhghf_jghkl_c dh lhju_Zdlb\bjmxlky\³\hh[jZ`_gbbíh\gmlj_gg_fmdhglmjmjZ[hlufha]Zh[hagZq_gghfm gZklj_edhc→<wlZihke_^h\Zl_evghklvij_^klZ\e_gZkj_^g_cp_ihqdhcda ⇒ a ⇒ db ⇒ b ⇒ dc ⇒ c ⇒ dd ⇒ d. Ihwlhcp_ihqd_ijhbkoh^bl³hi_j_`_gb_oh^Zkh[ulbc\hlgh r_gbyof_`^mhj]Zgbafhfb\g_rgbffbjhf´WlZp_ihqdZij_^klZ\ey_lkh[hcihke_^h\Z l_evgh³kjZ[Zlu\Zxsb_´\³\hh[jZ`_gbbáZdhghf_jghklbkf (5) Obc(da)&da&Res(da) ⇒ a, Obc(db)&db& Res(db) ⇒ b, Obc(dc)&dc&Res(dc) ⇒ c, Obc(dd)&dd&Res(dd) ⇒ d. ³KjZ[Zlu\Zgb_´\³\hh[jZ`_gbb´hagZqZ_li_j_^ZqmwlbfbaZdhghf_jghklyfbiZqdhh[jZaghc Zdlb\ghklbghg_j_]meyjgh_\ha[m`^_gb_i_j_oh^gZdhlhjh_hkms_kl\ey_lkylhevdhihke_ ihemq_gby j_Zevguo j_amevlZlh\ b [_amkeh\gh]h bo kjZ[Zlu\Zgby Qlh agZqbl ³kjZ[Zlu\Zgb_´\³\hh[jZ`_gbb´gZijbf_jaZdhghf_jghklbObc(da)&da& Res(da) ⇒ aijbhlkmlkl\bb j_amevlZlZRes(da)"LZdh_³kjZ[Zlu\Zgb_´hkms_kl\ey_lkyih[he__keZ[ufaZdhghf_jghklyf kf (6) Obc(da)&da ⇒ a, Obc(db)&db ⇒ b, Obc(dc)&dc ⇒ c, Obc(dd)&dd ⇒ d, dhlhju_\khhl\_lkl\bbknhjfZevghcfh^_evxg_cjhgZbk_fZglbq_kdbf\_jhylghklguf\u \h^hfjbklZd`_h[gZjm`b\Zxlkyg_cjhgZfba, b, c, dGh³kjZ[Zlu\Zgb_´g_cjhgh\a, b, c, d ih aZdhghf_jghklyf g_ hagZqZ_l qlh g_ [m^ml h`b^Zlvky h[jZlgu_ Znn_j_glZpbb Res(da), Res(db), Res(dc), Res(dd) hl j_amevlZlh\ ^_ckl\bc \dexq_ggu_ \ [he__ ³lhqgu_´ aZdhghf_jghklbl_o`_kZfuog_cjhgh\a, b, c, d.;he__³lhqgZyáZdhghf_jghklv\dexqZ_l \k_[yf_g__³lhqgmx´dZdgZijbf_jaZdhghf_jghklvObc(da)&da& Res(da) ⇒ a \dexqZ_l\ k_[yaZdhghf_jghklvObc(da)&da ⇒ a;he__³lhqgZyáZdhghf_jghklvjZkiheh`_gZgZlhc`_ \_ld_ k_fZglbq_kdh]h ]jZnZ jbk qlh b f_g__ lhqgZy b agZqbl _keb g_cjhghf h[gZjm`_gZ [he__³lhqgZyáZdhghf_jghklvlh\k_]^Zh[gZjm`_gZbf_g__³lhqgZy´;he__³lhqgZyáZdh ghf_jghklv\k_]^Zbf__lkljh]h[hevrmxhp_gdmij_^kdZaZgbyb\wlhfkfuke_mlhqgy_l[h e__ keZ[mx aZdhghf_jghklv ³KjZ[Zlu\Zgb_´ f_g__ ³lhqghc´ aZdhghf_jghklb ijb gZebqbb [he__³lhqghc´\k_]^ZhagZqZ_lqlh\[hevrbgkl\_kemqZ_\\ijhrehfq_j_adZdhc-lhfhf_gl \j_f_gb ijboh^beZ gZ ³\oh^´ g_cjhgZ b ³mlhqgyxsZy´ bgnhjfZpby iha\heyxsZy ³kjZ[h lZlv´ b [he__ lhqghc aZdhghf_jghklb b l_f kZfuf k^_eZlv [he__ lhqgh_ ij_^kdZaZgb_ dZd wlZigh]h lZd b dhg_qgh]h j_amevlZlZ \ ijhlb\ghf kemqZ_ [he__ ³lhqgZy´ aZdhghf_jghklv g_ kfh]eZ[u[ulvh[gZjm`_gZgZhkgh\Zgbbijhreh]hhiulZIhwlhfmg_kfhljygZ³kjZ[Zlu \Zgb_´f_g__lhqghcaZdhghf_jghklbg_cjhgh`b^Z_lihklmie_gb_mlhqgyxs_cbgnhjfZpbb ?]hh`b^Zgb_khklhbl\lhfqlhhg]hlh\g_f_ê_gghkf_gvrbfeZl_glgufi_jbh^hfkjZ [Zlu\Zgbyg_cjhgZ\\b^m[he__\ukhdhc\_jhylghklbwlhcaZdhghf_jghklb³kjZ[hlZlv´m\_ ebqblvqZklhlmbfimevkZpbc\khhl\_lkl\bbkm\_ebq_gb_f\_jhylghklbij_^kdZaZgbyih[h e__³kbevghcáZdhghf_jghklbGhdZd[uehh[tykg_ghjZg__aZdhghf_jghklbg_ijhklh y\eyxlky[he__³lhqgufb´Zkb]gZebabjmxl[_amkeh\ghk\_jhylghklvx[ebadhcdbebih [_amkeh\ghfm klbfmem h nZdlbq_kdhf ^hklb`_gbb j_amevlZlZ qlh kgbfZ_l ³iZqdhh[jZagmx´Zdlb\ghklvbi_j_\h^blg_cjhggZj_]meyjgmxZdlb\ghklvl_fkZfufjZaebqZy “\hh[ jZ`_gb_” bnZdlIhdZ`_h[jZlgu_Znn_j_glZpbbhlj_amevlZlh\g_ihemq_gu³iZqdhh[jZagZy´Zdlb\ghklvfhlb\Zpbbi_j_\h^blg_cjhgua, b, c, d \khklhygb_h`b^Zgbywlboj_amevlZ lh\ldj_]meyjghcZdlb\ghklvx[_amkeh\ghcwlbg_cjhgu³kjZ[hlZlv´g_fh]mlihlhcijb 23 qbg_ qlh mkeh\by wlbo aZdhghf_jghkl_c g_ \uiheg_gu \ kbem lh]h qlh h^gh ba mkeh\bc Res(da), Res(db), Res(dc), Res(dd) g_\uiheg_ghIhwlhfmg_cjhgua, b, c, dkh^ghcklhjhgu i_j_^Zxl iZqdhh[jZagmx Zdlb\ghklv \ ³\hh[jZ`_gbb´ ih aZdhghf_jghklyf Z k ^jm]hc klhjhgu h`b^Zxl h[jZlgmx Znn_j_glZpbx Res(da), Res(db), Res(dc), Res(dd), lj_[m_fmx [he__kbevgufbaZdhghf_jghklyfbkjZ[Zlu\Zxsbfb[_amkeh\ghihke_q_]hhgbi_j_oh ^yl \ j_]meyjgmx Zdlb\ghklv:dlb\Zpby\ ³\hh[jZ`_gbb´j_amevlZlh\a, b, c, d, Zdlb\bjm_l ke_^mxsb_^_ckl\byihp_ihqd_aZdhghf_jghkl_c L_fkZfuf\³\hh[jZ`_gbb´Zdlb\bab jm_lky\_kvieZg^_ckl\bcwnn_dlb\ghklvdhlhjh]h\p_ehfhp_gb\Z_lkygZke_^mxs_fwlZ i_-wlZi_ijbgylbyj_r_gbc Ijbgylb_ j_r_gbc hkms_kl\ey_lky ijb jZkkfhlj_gbb ieZgZ ^_ckl\bc k mq_lhf i_j_ dexqZxs_c nmgdpbb wfhpbc l_ gZ hkgh\Zgbb dZq_kl\Z \hagbdr_c wfhpbb b \_jhylghklb ijh]ghaZ^hklb`_gbyp_ebih^ZgghfmieZgm<_jhylghklvijh]ghaZhp_gb\Z_lkyg_ihieZgm DZd [ueh kdZaZgh ijbgpbibZevgh g_ kms_kl\m_l ohjhrbo f_lh^h\ i_j_kq_lZ \_jhylgh kl_c ij_^kdZaZgby ³\^h]hgdm´ eh]bq_kdhfm \u\h^m dhlhjuc ij_^klZ\e_g a^_kv ieZghf Fha]³h[oh^bléx[hceh]bq_kdbc\u\h^gZoh^y\k_]hh^gm\_jhylghklgmxaZdhghf_jghklv ij_^kdZau\Zxsmx dhg_qguc j_amevlZl LZdhc aZdhghf_jghklvx \ ^Zgghf kemqZ_ y\ey_lky aZdhghf_jghklv (7) 0GDH[kGDGEH[kGEGFH[kGFGGH[kGG ⇒ d, \ujZ[hlZggZyg_cjhghfdIhwlhfm\_jhylghklv^hklb`bfhklbdhg_qgh]hj_amevlZlZihieZ gm hp_gb\Z_lky aZdhghf_jghklvx mqblu\Z_fhc wfhpbyfb Wlh g_ hagZqZ_l qlh ieZg g_ ³ijhb]ju\Z_lky´\³\hh[jZ`_gbb´>ey³ijhb]ju\ZgbyíeZgh\^_ckl\bc^hklZlhqgh\³\hh[ jZ`_gbb´fh^_ebjmygZijbf_jf_lh^³ijh[bhrb[hd´\u[jZlvg_dhlhjmxihke_^h\Zl_ev ghklv ^_ckl\bc da,db,dc,dd, ih dhlhjhc _keb ³ijhb]jZlv´ aZdhghf_jghklyfb ihke_^h\Z l_evghklvihemqZ_fuowlZiguoj_amevlZlh\lhwlb^_ckl\by\h-i_j\uoijb\_^mld^hklb`_ gbx dhg_qgh]hj_amevlZlZZ\h-\lhjuoihaZdhghf_jghklyf^Z^ml^hklZlhqghohjhrmx hp_gdm ij_^kdZaZgby ^hklb`bfhklb wlh]h j_amevlZlZ IeZg ^he`_g ijhb]ju\Zlvky k p_evx h[_ki_q_gby kh]eZkh\Zgghklb \k_o ^_ckl\bc b h[_ki_q_gby _]h g_ijhlb\hj_qb\hklb ld _klv_s_lhjfhagu_aZdhghf_jghklbLZdbfh[jZahfieZgfh`_l[ulvhp_g_gwfhpbyfbih dZq_kl\mfhlb\ZpbbbaZdhghf_jghklb^Zxs_c\_jhylghklgmxhp_gdmieZgZGhêyihe ghcj_ZebaZpbbi_j_dexqZxs_cnmgdpbbwfhpbc\ijhp_kk_ijbgylbyj_r_gbcg_h[oh^bfh ^himklblv \hafh`ghklvijhba\hevghc \ZjbZpbbieZgZ\ ³\hh[jZ`_gbb´ Wlhhkms_kl\ey_lky fha]hfdZdk\h_h[jZaguc³[ehqguc´k_fZglbq_kdbc\_jhylghklguc\u\h^ JZkkfhljbf[he__ih^jh[ghdZdfha]hkms_kl\ey_l³[ehqguc´k_fZglbq_kdbc\_jhylgh klguc\u\h^Wlhh^gh\j_f_gghh[tykgbldZdkh\_jr_gkl\m_lkyieZg^_ckl\bc (3) \ p_ehfiml_f_]hehdZevguobbeb]eh[Zevguobaf_g_gbcWlhijhbkoh^ylaZkq_lbaf_g_ gbc\u\h^Ziml_f\ZjbZpbbieZgZ^_ckl\bc\khhl\_lkl\bbki_j_dexqZxs_cnmgdpb _cwfhpbcIjbgylb_j_r_gbykhklhbl\lhfqlhijb^Zgghcfhlb\ZpbbFbkhijh\h`^Zx s_c__hljbpZl_evghcwfhpbbfha]klj_fblkygZclblZdhcieZg^_ckl\bcdhlhjuc^Z\Ze[u fZdkbfZevgmxiheh`bl_evgmxwfhpbx-ij_^\hkobs_gb_^hklb`_gbyj_amevlZlZhij_ ^_e_ggh]hdZq_kl\ZkfZdkbfZevghchp_gdhc\_jhylghklb^hklb`bfhklbwlh]hj_amevlZ lZ AZ kq_l Zdlb\bjmxs_]h ^_ckl\by fhlb\Zpbb F fha] \ ³\hh[jZ`_gbb´ fh`_l ³ijhb]ju \Zlv´jZaebqgu_\ZjbZglu^hklb`_gbyp_ebIjbwlhf\k_g_h[oh^bfu_êy^hklb`_gbydh g_qghcp_ebwlZigu_j_amevlZlukljh]hm\_ebqb\Zxsb_\_jhylghklv^hklb`_gbydhg_qgh]h j_amevlZlZ \dexqZxlky \ j_amevlbjmxsbc ieZg ^_ckl\bc Ihwlhfm ijbgylb_ j_r_gbc b _klv ijhp_kk hj]ZgbaZpbb k_fZglbq_kdh]h ³[ehqgh]h´ \_jhylghklgh]h \u\h^Z (2),(3), hkms_kl\ey_fh]h fha]hf ³Ijhb]ju\Zy´ jZaebqgu_ ieZgu ^_ckl\bc fha] ijhb]ju\Z_l l_f kZfuf jZaebqgu_ k_fZglbq_kdb_ \_jhylghklgu_ \u\hû iulZykv gZclb lZdhc dhlhjuc [u h[_ki_qbe dZd lj_[m_fh_ dZq_kl\h p_eb lZd b fZdkbfZevgmx hp_gdm \_jhylghklb ij_^kdZaZgbyLZdbfh[jZahfwfhpbbdZdbgl_]jZevgu_hp_gdbj_r_gbcy\eyxlky\lh`_\j_fy l_fb hp_gdZfb dhlhju_ hj]Zgbamxl k_fZglbq_kdbc \_jhylghklguc \u\h^ dZd hl^_ev 24 guo g_cjhgh\ iml_f ih^dj_ie_gby kf jbk lZd b fha]Z \ p_ehf gZoh^y gZbemqrbc ³[ehqguc´k_fZglbq_kdbc\_jhylghklguc\u\h^. G_cjhghj]Zgbam_lk_fZglbq_kdbc\u\h^ iml_fihkljh_gby³mlhqgyxs_]h´]jZnZjbkZfha]iml_fhj]ZgbaZpbb³[ehqgh]h´ \_jhylghklgh]h \u\h^Z P_ihqdZ ij_^kdZaZgbc hlebqZ_lky hl ³mlhqgyxs_]h´ ]jZnZ \h-i_j\uo l_f qlh hgZ ebg_cgZ \ kbem ebg_cghklb ihke_^h\Zl_evghklb ^_ckl\bc Z \h-\lhjuol_fqlhhgZk\yaZgZk^_yl_evghklvx\h\g_rg_ckj_^_^_ckl\by\dhlhjhcgZ^h h^gh\j_f_ggh ij_^\hkobsZlv b dhgljhebjh\Zlv Gh p_ev jZ[hlu hl^_evgh]h g_cjhgZ b fha]Z\p_ehf h^gZ blZ `_-hj]ZgbaZpbyk_fZglbq_kdh]h\_jhylghklgh]h\u\h^Zkp_ evx^hklb`_gbyfZdkbfZevghclhqghklbij_^kdZaZgby. Dhgdj_lgZy p_ev><bly_\@klZ\blkyZdlb\Zpb_c ↓ fhlb\Zpb_cFihke_^h\Zl_evgh klb^_ckl\bcda,db,dc,dd,\u[jZgghc\ijhp_kk_ijbgylbyj_r_gby DZdm`_]h\hjbehkvwlZ Zdlb\Zpby\³\hh[jZ`_gbbí_j_^Z_lky\k_fg_cjhgZfj_amevlZlh\a, b, c, dihaZdhghf_jgh klyfLZddZdj_amevlZluRes(da), Res(db), Res(dc), Res(dd) ^_ckl\bc_s_g_ihemq_gulh g_cjhguj_amevlZlh\a, b, c, d i_j_c^ml\khklhygb_h`b^Zgbywlboj_amevlZlh\\khhl\_lkl \bbkaZdhghf_jghklyfb.Wlhb_klvihklZgh\dZdhgdj_lghcp_eb- h`b^Zgb_\k_fbg_c jhgZfb j_amevlZlh\ a, b, c, d - \k_c kh\hdmighklvx h[jZlguo Znn_j_glZpbc h j_amevlZlZo kh\_jr_gguo^_ckl\bcRes(da), Res(db), Res(dc), Res(dd). :dp_ilhj j_amevlZlh\ ^_ckl\by b _klv \ky h`b^Z_fZy h[jZlgZy Znn_j_glZpby j_ amevlZlh\Res(da), Res(db), Res(dc), Res(dd). ?kebdhgdj_lgZyp_evklZ\blky\k_ckh\hdmigh klvxj_amevlZlh\a, b, c, d, dZdh`b^Zgb_^hklb`_gbywlboj_amevlZlh\lhh[jZlgZyZnn_j_g lZpby hl \k_ckh\hdmighklb^_ckl\bcb _klvZdp_ilhjj_amevlZlh\^_ckl\by Ihke_kh\_jr_ gby dZdh]h-eb[h ^_ckl\by fha] h`b^Z_l ihemq_gb_ j_Zevgh]h j_amevlZlZ hl ^_ckl\bc ih \g_rg_fm dhglmjm Ihke_ ihemq_gby j_Zevgh]h j_amevlZlZ hkms_kl\ey_lky ³kebq_gb_ ij_^ kdZaZgbykiZjZf_ljZfbj_Zevgh]hj_amevlZlZ´ Wlhkebq_gb_hkms_kl\ey_lkyaZdhghf_j ghklyfb ³Kebq_gb_´ khklhbl \ lhf qlh \k_ wlb aZdhghf_jghklb g_ kfh]ml ³kjZ[hlZlv´ _keb g_ [m^_l ihemq_gZ bf_ggh lZ h[jZlgZy Znn_j_glZpby dhlhjZy aZibkZgZ \ aZdhghf_jgh klb ?keb ijb dZdhf-lh ^_ckl\bb [m^_l ihemq_gZ ^jm]Zy Znn_j_glZpby lh g_f_ê_ggh \ha gbdg_l hjb_glbjh\hqgh-bkke_^h\Zl_evkdZy j_Zdpby ;he__ lhqgh hjb_glbjh\hqghbkke_^h\Zl_evkdZy j_Zdpby \hagbdZ_l lh]^Z b lhevdh lh]^Z dh]^Z l_jy_lky beb j_adh iZ^Z_lhp_gdZij_^kdZaZgbydhg_qgh]hj_amevlZlZihemq_ggZygZhkgh\ZgbbieZgZ^_c kl\bc (3). 5.4. NhjfmeZwfhpbcAZf_sZxsZynmgdpbywfhpbc. <nhjfme_wfhpbcW I>IBi -Bc@hkgh\ghcy\ey_lkyjZaghklvBi -Bc) - “hp_gdZ \_jhylghklb\hafh`ghklbm^h\e_l\hj_gbyihlj_[ghklbgZhkgh\_\jh`^_ggh]hbhglh]_g_ lbq_kdh]hhiulZ´LZdhchp_gdhcke_^m_lkqblZlvhp_gdmmkeh\ghc\_jhylghklbb ⇒ d^hklb `bfhklbdhg_qgh]hj_amevlZlZd ihke_^hklb`_gbyg_dhlhjh]hwlZigh]hj_amevlZlZbDZdfu \b^_eb ihke_ ^hklb`_gby dZ`^h]h ijhf_`mlhqgh]h j_amevlZlZ \_^ms_]h d ^hklb`_gbx dh g_qghc p_eb mkeh\gZy \_jhylghklv lZdbo \_jhylghklguo aZdhghf_jghkl_c kljh]h \hajZklZ_l bagZqbljZaghklvBi -Bc^Z`__kebhgZhljbpZl_evgZ\k_]^Zm\_ebqb\Z_lkyqlhijb\h^bl diheh`bl_evgufwfhpbyf DZdfu]h\hjbeb\jZa^_e_³gZjZklZgb_wfhpbhgZevgh]hgZijy`_gbykh^ghcklh jhgujZkrbjy_l^bZiZahgba\e_dZ_fuobaiZfylbwg]jZff, Zk^jm]hcklhjhgukgb`Z_l djbl_jbb“ijbgylbyj_r_gby” ijbkhihklZ\e_gbbwlbowg]jZffkgZebqgufbklbfmeZfb´ Ijhbkoh^blwlhZ\lhfZlbq_kdbiml_fih\ur_gbymjh\gy\ha[m^bfhklbg_cjhgh\ijbmkbe_ gbbfhlb\Zpbbkbevguc]heh^bkhhl\_lkl\mxs_fmkbe_gbbhljbpZl_evguowfhpbc<wlhf kemqZ_\khhl\_lkl\bbknhjfZevghcfh^_evxg_cjhgZb³mlhqgyxsbf´]jZnhfijhbkoh^bl Zdlb\Zpbyl_o\_jhylghklguoaZdhghf_jghkl_cdhlhju_[uebh[gZjm`_gugZjZggbowlZiZo nhjfbjh\ZgbynmgdpbhgZevguokbkl_fbdhlhju_bf_xlg_hq_gv\ukhdmxhp_gdmmkeh\ghc \_jhylghklbWlb\_jhylghklgu_aZdhghf_jghklbbf_xlf_gvr__qbkehij_^bdZlh\\mkeh\b 25 yo aZdhghf_jghkl_c b agZqbl y\eyxlky [he__ ]_g_jZebah\Zggufb b ijbf_gbfufb \ [he__ rbjhdhf qbke_ kemqZ_\ Wlh \ lhqghklb j_Zebam_l h[jZlguc ih kjZ\g_gbx k jZa\blb_f nmgdpbhgZevguo kbkl_f f_oZgbaf j_^mdpbb nmgdpbhgZevguo kbkl_f ?keb hjb_glbjh \hqgh-bkke_^h\Zl_evkdZy j_Zdpby jZa\b\Z_l nmgdpbhgZevgu_ kbkl_fu b mêbgy_l \_l\b ³mlhqgyxs_]h´ ]jZnZ \ \_jhylghklguo aZdhghf_jghklyo lh ih^gylb_ mjh\gy \ha[m^bfhklb g_cjhgh\iha\hey_l³kjZ[Zlu\Zlv´klZjuf³keZ[ufáZdhghf_jghklyfijbg_ijbf_gbfhklb [he__kbevguo\^Zgghcgh\hcbebg_h`b^Zgghch[klZgh\d_b\ha[m`^Zlvg_cjhgijb\h^y lZdbfh[jZahfd[he__]_g_jZebah\Zggufkihkh[Zf^_ckl\bc 5.5. <aZbfhk\yav ijbgpbih\ p_e_iheZ]Zgby b ij_^kdZaZgby. NhjfZevgZy fh^_ev jZ[hlufha]Zkbgl_abjmxsZyh[ZijbgpbiZFZl_fZlbq_kdZyfh^_evjZ[hlufha]Z\ul_ dZxsZy ba ijbgpbiZ p_e_iheZ]Zgby ij_^klZ\ey_l kh[hc b_jZjobx keZ[uo nhjfZevguo kbk l_fFZl_fZlbq_kdhcfh^_evxjZ[hlufha]Z\ul_dZxs_cbaijbgpbiZij_^kdZaZgbyy\ey_l ky fgh`_kl\h nmgdpbhgZevguo kbkl_f ^PRFJW`. Ijbgpbi jZ[hlu b kh^_j`Zgb_ dZ`^hc nmgdpbhgZevghc kbkl_fu hibkZg \ij_û^msbojZa^_eZoDZdk\yaZguf_`^mkh[hcwlb^\_ fh^_ebjZ[hlufha]Z" Fgh`_kl\h^PRFJW`\_jhylghklguoaZdhghf_jghkl_ch[gZjm`b\Z_lkygZfgh`_kl\_ \k_oihlj_[ghkl_c^FJW!`y\eyxs_fkyfgh`_kl\hf\k_obkoh^guop_e_chj]ZgbafZDZd fu \b^_eb wlb bkoh^gu_ p_eb gZ gZqZevghf wlZi_ nhjfbjh\Zgby nmgdpbhgZevguo kbkl_f ^hklb]Zxlky³j_Z]bjh\Zgb_fihijbgpbim^hfbgZglu´kfbebf_lh^hf³ijh[bhrb [hd´ l_ gZbf_g__ ^bnn_j_gpbjh\Zggufb ^_yl_evghklyfb >Zevg_cr__ kh\_jr_gkl\h\Zgb_ nmgdpbhgZevguokbkl_fhj]ZgbafZijhbkoh^blm`_iml_fm\_ebq_gbywlZiguoj_amevlZlh\b h[h]Zs_gb_f Zdp_ilhjZ j_amevlZlh\ ^_ckl\by ijb mqZklbb hjb_glbjh\hqghbkke_^h\Zl_evkdhc j_Zdpbb H[mq_gguc hj]Zgbaf bf__l m`_ ^h\hevgh keh`gmx ihke_^h\Z l_evghklvbb_jZjobxp_e_cbih^p_e_cêydZ`^hcnmgdpbhgZevghckbkl_fuWlbihke_^h \Zl_evghklbbb_jZjobbp_e_cbih^p_e_cnhjfbjmxlkybakljmdlmjuij_^kdZaZgbc\h\g_r g_f fbj_ dhlhjmx meZ\eb\Z_l fha] \ \b^_ fgh`_kl\Z \_jhylghklguo aZdhghf_jghkl_c {PRFJW` NhjfZevgZyfh^_evjZ[hlufha]Z hkgh\ZggZygZijbgpbi_p_e_iheZ]Zgbybij_^klZ\ eyxsZykh[hcb_jZjobxkeZ[uonhjfZevguokbkl_fij_îheZ]Z_lqlh\k_fgh`_kl\hp_e_c dZdbf-lhh[jZahfaZ^Zgh.Ijbgpbi`_ij_^kdZaZgbylhevdhgZqbgZ_lkaZ^Zgbyfgh`_kl \Zbkoh^guop_e_c^FJW!`hklZevgu_p_ebihemqZxlky\j_amevlZl_êbl_evgh]hijhp_k kZh[mq_gbyDjhf_lh]hihemq_ggZyihijbgpbimij_^kdZaZgbyb_jZjobyj_amevlZlh\\dex qZxsZybglmbpbxkfjZa^m`_g_fh`_l[ulviheghklvxhkhagZgZbdZdihdZaZgh\jZa ^_e_^Z`_g_fh`_l[ulv³ba\e_q_gZ´bawdki_jlZdZdagZgb_Ihwlhfmihemq_ggZy\j_ amevlZl_h[mq_gbyihijbgpbimij_^kdZaZgbyb_jZjobyp_e_cijbgpbibZevghg_fh`_l[ulv dZd-lhbagZqZevgh^ZgZdZdwlhlj_[m_lkyijbgpbihfp_e_iheZ]Zgbybke_^h\Zl_evghijbf_ g_gb_nhjfZevghcfh^_ebhkgh\ZgghcgZb_jZjobbkeZ[uonhjfZevguokbkl_fm`_ijbgpb ibZevghg_\hafh`gh Ij_îheh`bf qlh fu \u\_eb qbklh nhjfZevgh b_jZjobx b ihke_^h\Zl_evghklv p_e_c baZgZebaZfgh`_kl\Z^PRFJW`DZdmxemqr_\wlhfkemqZ_bkihevah\ZlvnhjfZebaZpbx jZ[hlufha]Z-hkgh\ZggmxgZkeZ[uonhjfZevguokbkl_fZobebgZfgh`_kl\_^PRFJW`" DZd[uehkdZaZghfgh`_kl\hPR³kbevg__éx[h]heh]bq_kdh]h\u\h^Zklhqdbaj_gbyihem q_gbyij_^kdZaZgbc G_kfhljy gZ \k_ wlb jZkkm`^_gby ijbgpbi p_e_iheZ]Zgby ijh^he`Z_l b]jZlv \Z`gmx jhev\fh^_eb^PRFJW`KZfhh[gZjm`_gb_\_jhylghklguoaZdhghf_jghkl_cg_\hafh`gh [_a p_e_c FJW NZdlbq_kdb \ fh^_eb ^PRFJW` ijbgpbi p_e_iheZ]Zgby b ijbgpbi ij_^kdZaZgbykbgl_abjh\Zgu\h^gmfh^_evdhlhjmxfub[m^_f\^Zevg_cr_fkqblZlvnhj fZevghcfh^_evxjZ[hlufha]Z,kbgl_abjmxs_ch[ZijbgpbiZ. 26 H[tykg_gb_ko_f\hkijbylbyMGZck_jZ 6.1. Ko_fZ\hkijbylbyM.GZck_jZ>GZck_jM@ Ijh^he`bfZgZebako_f\hkijbylby MGZck_jZgZqZluc\><bly_\@GZihfgbf\u\h^k^_eZgguc\jZ[hl_><bly_\@³BlZd Ko_fu h[jZamxl b_jZjobx \ dhlhjhc fZdkbfZevgufb Ko_fZfb y\eyxlky Ko_fu-fhlb\u ijhkljZgkl\_ggh-\j_f_ggu_Ko_fu]hjh^ZkljZgu³h[jZafbjZ´bl^GhdZdh[tykgblv\ha gbdgh\_gb_ b kh\_jr_gkl\h\Zgb_ kZfbo Ko_f hklZ_lky g_ykguf L_f kZfuf g_l hl\_lZ b gZ ]eZ\guc \hijhk Qlh fu \b^bf" DZdmx qZklv bgnhjfZpbb ba \k_]h ihlhdZ fu h[mqZ_fky ij_^\hkobsZlv" GZ \hkijbylb_ ba\e_q_gb_ dZdhc bgnhjfZpbb fu gZkljZb\Z_fky k\hbfb ^\b`_gbyfb gZkljhcdhc ajbl_evghc kbkl_fu b l^" GZijbf_j >`=b[khg b \ wlhf k gbf kheb^Zj_g MGZck_j ml\_j`^Zxl qlh gZ bg\ZjbZglgmx ohly gb hgb gb bo ihke_^h\Zl_eb lZdbg_^Zebhij_^_e_gbybg\ZjbZglghcbgnhjfZpbb´ IhklZjZ_fkyhl\_lblvgZwlb\hijhkudhlhju_hklZ\e_gu\l_hjbbMGZck_jZ[_ahl\_ lZhibr_fijhp_kknhjfbjh\ZgbyKo_fjZaj_rbfiZjZ^hdk\hkijbylbyhij_^_ebfbg\Zjb ZglgmxbgnhjfZpbxbagZq_gb_h[t_dlZ Mlhqgbf hkgh\gh_ ihgylb_ MGZck_jZ - ij_^\hkobs_gb_ - dZd ij_^kdZaZgb_ Lh]^Z g_ljm^ghihgylv qlhdZ`ûc hl^_evguc³[ehd” (4) ^_yl_evghklbb_klvKo_fZGZihfgbf hij_^_e_gb_ko_fu³Ihfh_fmfg_gbx\Z`g_crbfbêyaj_gbydh]gblb\gufbkljmdlmjZfb y\eyxlky ij_^\hkobsZxsb_ Ko_fu ih^]hlZ\eb\Zxsb_ bg^b\b^Z d ijbgylbx bgnhjfZ pbb kljh]h hij_^_e_ggh]h Z g_ ex[h]h \b^Z b lZdbf h[jZahf mijZ\eyxsb_ ajbl_evghc Zdlb\ghklvxIhkdhevdmfukihkh[gu\b^_lvlhevdhlhqlhmf__fgZoh^blv]eZaZfbbf_ggh wlb Ko_fu \f_kl_ k ^hklmighc \ ^Zgguc fhf_gl bgnhjfZpb_c hij_^_eyxl qlh [m^_l \hk ijbgylh < dZ`ûc fhf_gl \hkijbgbfZxsbf dhgkljmbjmxlky ij_^\hkobs_gby g_dhlh jhc bgnhjfZpbb, ^_eZxsb_ \hafh`guf êy g_]h ijbgylb_ __ dh]^Z hgZ hdZau\Z_lky ^hklmighcQlh[uk^_eZlvwlmbgnhjfZpbx^hklmighc_fmqZklhijboh^blkyZdlb\ghbkke_ ^h\Zlvhilbq_kdbcihlhd^\b]Zy]eZaZfb]heh\hcbeb\k_fl_ehfWlZbkke_^h\Zl_evkdZyZd lb\ghklv gZijZ\ey_lky \k_ l_fb `_ ij_^\hkobsZxsbfb Ko_fZfb ij_^klZ\eyxsbfb kh[hc k\h_]hjh^ZieZguêyi_jp_ilb\guo^_ckl\bclZd`_dZdb]hlh\ghklvd\u^_e_gbxhi lbq_kdbo kljmdlmj g_dhlhjuo \b^h\ L_jfbg ³\hkijbylb_´ hlghkblky dh \k_fm pbdem i_j p_ilb\ghfmpbdem-?<Zg_ddZdhc-lhhl^_evghc_]hqZklb´>GZck_jMk@Ijhbg l_jij_lbjm_f wlh hij_^_e_gb_ \ l_jfbgZo ³[ehdh\´ ^_ckl\bc \ dZ`ûc fhf_gl \hkijb gbfZxsbf gZ hkgh\Zgbb m`_ ihemq_ggh]h j_amevlZlZ b hl ij_û^ms_]h ZdlZ \hkijbylby dhgkljmbjmxlky ij_^\hkobs_gby ih aZdhghf_jghklb H[kGFGF5HVGF ⇒ cihklmie_gby g_dhlhjhc³hij_^_e_gghcbgnhjfZpbb´Res(dc) h[jZlghcZnn_j_glZpbbhj_amevlZlZoi_j p_ilb\gh]h^_ckl\bydc, ^_eZxsb_\hafh`gufêyg_]hijbgylb___³ijbgylb___´hagZqZ_l ³kebq_gb_´ Zdp_ilhjhf j_amevlZlh\ ^_ckl\by ij_^\hkobs_gby Res(dc) k j_Zevgh ihklmiZx s_c klbfmeypb_c dh]^Z hgZ hdZau\Z_lky ^hklmighc ³hdZau\Z_lky ^hklmighc´ - i_jp_ilb\ gh_^_ckl\b_dc ^hklb]Z_lk\h_]hj_amevlZlZih\g_rg_fmdhglmjm→ b^_eZ_l klbfmeypbxba \g_rg_c kj_û ^hklmighc êy \hkijbylby Qlh[u k^_eZlv wlm bgnhjfZpbx ^hklmighc _fm ijboh^blky Zdlb\gh bkke_^h\Zlv hilbq_kdbc ihlhd ^\b]Zy ]eZaZfb ]heh\hc b \k_f l_ehf i_jp_ilb\gu_^_ckl\bydc<h[s_fkemqZ_\³[ehd_´P_evx\hkijbylbyy\ey_lkyg_ dhlhjuc wlZiguc j_amevlZl F ij_^klZ\eyxsbc kh[hc g_ ijhklh \hkijbylb_ g_dhlhjhc ³hij_^_e_gghc bgnhjfZpbb´ Res(dc) Z b_s_b__agZq_gb_FP_evklZ\blkyh`b^Zgb_fih aZdhghf_jghklbH[kGFGF5HVGF⇒ c ihemq_gbybgnhjfZpbb\\b^_h[jZlghcZnn_j_g lZpbbRes(dc) h^hklb`_gbbj_amevlZlZ- agZq_gby c. I_jp_ilb\gu_^_ckl\bydc ^_eZxl\ha fh`gufg_ijhklh³ijbgylb_bgnhjfZpbbdh]^ZhgZhdZ`_lky^hklmighc´Zij_^kdZau\Zxl ihklmie_gb_wlhcbgnhjfZpbbihaZdhghf_jghklbH[kGFGF5HVGF⇒ c. P_evx \hkijbylby g_dhlhjh]h h[t_dlZ \ j_amevlZl_ g_dhlhjhc p_e_gZijZ\e_gghc ^_y l_evghklb\dexqZxs_c\k_[yi_jp_ilb\gmx^_yl_evghklvy\ey_lkyagZq_gb_h[t_dlZAgZ q_gb_ h[t_dlZ b _klv j_amevlZl i_jp_ilb\ghc ^_yl_evghklb ih \hkijbylbx h[t_dlZ Hg 27 iha\hey_l fZdkbfZevgh lhqgh hij_^_eblv qlh \ j_amevlZl_ i_jp_ilb\ghc ^_yl_evghklb fu ihemqbebbwfhpbhgZevghhp_gblvijb[eb`Z_lebwlhgZkddhg_qghcp_ebbebg_lGZijbf_j j_amevlZlhfi_jp_ilb\ghc^_yl_evghklbih\hkijbylbxoe_[Zy\ey_lkyagZq_gb_c -\bôe_[Z :gZeh]bqghagZq_gb_fa\hgdZkh\k_fb_]hk\hckl\ZfblhghfqZklhlhcf_klhfa\mqZgbyb l^bklmdZdhjfmrdby\eyxlkykhhl\_lkl\_gghj_amevlZlui_jp_ilb\ghc^_yl_evghklba bb. Ko_fu-fhlb\u_klvnmgdpbhgZevgu_kbkl_fu]^_fhlb\hfy\ey_lkyfhlb\ZpbyLZdb_ko_fu dZd ijhkljZgkl\_ggh-\j_f_ggu_ ko_fu dZ[bg_lZ d\Zjlbju d\ZjlZeZ ]hjh^Z b l^ y\eyxlky j_amevlZlZfb hjb_glbjh\hqgh-bkke_^h\Zl_evkdhc^_yl_evghklbihboh[ke_^h\ZgbxdhlhjZy y\ey_lkykZfhklhyl_evghc^_yl_evghklvxhj]ZgbafZ>:ghobgID@ JZkkfhljbfiZjZ^hdk\hkijbylby><bly_\@³Ihkdhevdmfufh`_f\b^_lvlhevdhlh qlh ij_^\hkobsZ_f lh \hagbdZ_l ke_^mxsbc iZjZ^hdk \hkijbylby fu fh`_f \b^_lv lhevdh lh qlh ij_^\hkobsZ_f gh fu fh`_f ij_^\hkobsZlv lhevdh lh qlh gZmqbebkv \b^_lvA^_kvhq_\b^gh_klvaZfdgmlucdjm]. <l_jfbgZoihgylbyP_ebiZjZ^hdk\hkijbylby \u]ey^bllZdij_^\hkobsZlvbagZqblklZ\blvi_j_^\hkijbylb_fP_ev\hkijbgylvg_dh lhjmx ³hij_^_e_ggmx bgnhjfZpbx´ fu fh`_f lhevdh lh]^Z dh]^Z fu m`_ agZ_f qlh ^he`gh [ulv J_amevlZlhf - ³hij_^_e_gghc bgnhjfZpb_c´ AgZlv h g_c fu fh`_f lhevdh \hkijbgy\_zjZgvr_ij_^\hkobsZy_z\g_dhlhjhfij_û^ms_fZdl_\hkijbylby\ijhlb\ ghfkemqZ_fu_zijhklhg_m\b^bfbhgZ[m^_lijhb]ghjbjh\ZgZP_evxwlh]hij_û^ms_]h ij_^\hkobs_gby b \hkijbylby fh`_l [ulv lhevdh \hkijbylb_ [hevr_]h h[t_fZ ³hij_^_e_g ghcbgnhjfZpbb´\dexqZxs_c\k_[y³hij_^_e_ggmxbgnhjfZpbxíhke_^mxs_]hZdlZ\hk ijbylbyLh_klv\wlhfaZfdgmlhfdjm]m³hij_^_e_ggZybgnhjfZpby´fh`_llhevdhkm`Zlvky gh i_j\uc Zdl \hkijbylby h[tykgblv \kz jZ\gh g_\hafh`gh ld \kx bgnhjfZpbx dZd ml\_j`^Z_lMGZck_j\hkijbgylvg_evayld\hkijbgbfZ_lkylhevdhlhqlhij_^\hkobsZ_l ky´ BgZq_ ]h\hjy ihgylb_ Ko_fZ hibku\Z_l lhevdh nmgdpbhgbjh\Zgb_ ³[ehdZ´ H[tykgblv dZd kh\_jr_gkl\m_lky hl^_evguc ³[ehd´ beb dZd hg nhjfbjm_lky ³[ehd´ \ jZfdZo l_hjbb Ko_f MGZck_jZ m`_ g_\hafh`gh >_ckl\bl_evgh ijhp_kk nhjfbjh\Zgby b kh\_jr_gkl\h \Zgbyko_fijhbkoh^blkmqZklb_fhjb_glbjh\hqgh-bkke_^h\Zl_evkdhcj_ZdpbbdZdhibkZgh \jZa^_eZoqlhg_fh`_l[ulvhibkZgh\jZfdZoL_hjbbKo_f\hkijbylbyJZaj_r_gb_ iZjZ^hdkZ\hkijbylbybh[tykg_gb_nhjfbjh\Zgbyhl^_evguo³[ehdh\íjb\_^_gh\jZa^_ eZo I_j\hgZqZevgh ko_fZ \hagbdZ_l ba hjb_glbjh\hqgh-bkke_^h\Zl_evkdhc i_jp_i lb\ghc^_yl_evghklb\dhlhjhc`b\hlgh_Zdlb\ghbkke_^m_l³\k_g_ba\_klgu_jZg__´jZa^jZ `bl_ebhdjm`Zxs_ckj_ûbkihevamyêy\hkijbylbybkke_^h\Zl_evkdmxi_jp_ilb\gmx^_y l_evghklv < bkke_^h\Zl_evkdhc i_jp_ilb\ghc ^_yl_evghklb m gZk _s_ g_l p_eb \hkijbylby g_dhlhjhc³hij_^_e_gghcbgnhjfZpbb´bihwlhfmkljh]h]h\hjywlhg_\hkijbylb_P_evwlhc ^_yl_evghklb-h[_ki_qblvihklmie_gb_\k_c^hklmighcbgnhjfZpbbdZdZym`[m^_l\hkijb gylZ Hjb_glbjh\hqgh-bkke_^h\Zl_evkdZy j_Zdpby gbq_]h g_ ij_^\hkobsZ_l b aZdhghf_jgh kl_c ij_^kdZau\Zxsbo agZq_gb_ m g__ _s_ g_l ihwlhfm \hkijbylb_f \ kfuke_ MGZck_jZ hjb_glbjh\hqgh-bkke_^h\Zl_evkdZy j_Zdpby g_ y\ey_lky Nhjfbjh\Zgb_ gZ hkgh\_ wlhc bg nhjfZpbb\hkijbylbyq_]h-lhdhgdj_lgh]hlj_[m_l\u^_e_gbyba\k_cihklmiZxs_cbgnhj fZpbblhcdhlhjZyk\yaZgZkp_eyfb^_yl_evghklbWlhijhbkoh^bl\ijhp_kk_h[mq_gbydh ]^Z hjb_glbjh\hqgh-bkke_^h\Zl_evkdZy j_Zdpby ³k\yau\Z_l´ ihklmib\rmx bgnhjfZpbx kh agZq_gbyfb a,b,c,d \hkijbylby iml_f h[gZjm`_gby \_jhylghklguo aZdhghf_jghkl_c \b^Z Obc(dc)&dcti&Res(dcti) ⇒ dcti+1, i = 1,...,k-Fh`ghihdZaZlvqlhijbkdZqdhh[jZaghf^\b`_ gbb]eZa^h\hevghijhklu_aZdhghf_jghklbkihkh[guijZdlbq_kdbiheghklvxij_^\hkoblblv lh qlh [m^_l \hkijbgylh \ ke_^mxsbc fhf_gl \j_f_gb >Ze__ dZd [ueh h[tykg_gh \ jZa^ Z\lhfZlbq_kdbnhjfbjmxlkywlZiui_jp_ilb\ghc^_yl_evghklbiha\heyxsb_gZb[h e__lhqghij_^kdZau\Zlv^Zevg_crb_i_jp_ilb\gu_^_ckl\byb\hafh`ghklv^hklb`_gbydh g_qghcp_ebLZdbfbwlZiZfb, dZdijZ\behy\eyxlkyijbagZdbh[t_dlh\bagZq_gbyqZk l_c h[t_dlh\ Ihwlhfm Z\lhfZlbq_kdh_ nhjfbjh\Zgb_ wlZih\ i_jp_ilb\ghc ^_yl_evghklb h^gh\j_f_ggh_klvbZ\lhfZlbq_kdh_nhjfbjh\Zgb_Ko_f\hkijbylbyagZq_gbcijbagZ dh\k\hckl\bl^h[t_dlh\ 28 JZkkfhljbf[he__^_lZevghqlhlZdh_agZq_gb_h[t_dlZ>eywlh]hjZkkfhljbf_s_jZa ijhp_kk kh\_jr_gkl\h\Zgby ^_yl_evghklb b ^hklb`_gb_ dhgljhey gZ^ \g_rgbf fbjhf kf JZkkfhljbf\dZq_kl\_ijbf_jZ\hkijbylb_\b^Zoe_[Z<ihdZaZghqlh^_ckl\b_ dc b_]hwlZigucj_amevlZl cZ\lhfZlbq_kdbaZf_gylkygZ^_ckl\b_dc’bwlZigucj_amevlZlc’, _keblhevdhmkeh\gZy\_jhylghklvij_^kdZaZgbydhg_qgh]hj_amevlZlZihaZdhghf_jghklbc’ ⇒ d klZg_lkljh]h\ur_q_fc ⇒ d. AZf_lbfqlhZ\lhfZlbq_kdbci_j_oh^hl\hkijbylbyklbfm eZc d\hkijbylbxklbfmeZc’, ^Zxs_]hkljh]h[hevrmxhp_gdmij_^kdZaZgby^hklb`bfhklb dhg_qgh]h j_amevlZlZ _klv ijhp_kk Z\lhfZlbq_kdh]h ba\e_q_gb_ gZb[he__ bg\ZjbZglghc bgnhjfZpbb \ kfuke_ >`=b[khgZ >_ckl\bl_evgh q_f \ur_ mkeh\gZy \_jhylghklv ij_^ kdZaZgbyj_amevlZlZdl_f\[hevr_fqbke_kemqZ_\ijbbklbgghklbihkuedbc,[m^_lbklbg gh b aZdexq_gb_ d bagZqbll_fgZ[hevr_fqbke_h[t_dlh\klbfmeu c bd [m^mlh^gh\j_ f_gghbklbgguWlhb_klvbg\ZjbZglghklvklbfmeZcihhlghr_gbxdj_amevlZlmdKjZ\ gbfwlhh[tykg_gb_khij_^_e_gb_f>`=b[khgZ³Lhqlha^_kvih^jZamf_\Z_lkyih^mklhcqb\hklvxbbaf_gqb\hklvx\hdjm`Zxs_ffbj_khhlghkbfhkZ[kljZdlgufbfZl_fZlbq_kdbfb ihgylbyfbbg\ZjbZglghklbb\ZjbZlb\ghklbIjbex[hfij_h[jZah\Zgbbbf_xlky\ZjbZglu bbg\ZjbZglulh_klvi_j_f_ggu_bihklhyggu_H^gbk\hckl\ZkhojZgyxlky^jm]b_-g_l´ >=b[khg>`&@MGZck_j^Z_lk`Zlh_baeh`_gb_lhqdbaj_gby>`=b[khgZgZ\hkijb ylb_ dZd ³ba\e_q_gb_´ bg\ZjbZglh\ ke_^mxsbf h[jZahf ³Dh]^Z gZ[ex^Zl_ev beb h[t_dl ^\b`mlkyg_dhlhju_oZjZdl_jbklbdbihlhdZk\_lZhklZxlkybg\ZjbZglgufblh]^ZdZd^jm ]b_f_gyxlkywlbbg\ZjbZglgu_\h\j_f_gboZjZdl_jbklbdb_s_[he__ki_pbnbpbjmxllhih ]jZnbx kj_û GZ[ex^Zl_ev \hkijbgbfZ_l [eZ]h^Zjy lhfm qlh hg ihijhklm “meZ\eb\Z_l” wlbbg\ZjbZglu´>GZck_jMk@IhwlhfmZ\lhfZlbq_kdbci_j_oh^hlaZdhghf_jghklb c ⇒ d daZdhghf_jghklbc’ ⇒ d _klvZ\lhfZlbq_kdbcihbkdgZb[he__bg\ZjbZglgh]hbmk lhcqb\h]h ih hlghr_gbx d baf_g_gbx h[klZgh\hqghc b h[jZlghc Znn_j_glZpbb klbfmeZ kb]gZebabjmxs_]h h ^hklb`_gbb khhl\_lkl\mxs_]h wlZigh]h j_amevlZlZ AgZq_gb_ h[t_dlZ c’ -wlh_]hfZdkbfZevgucbg\ZjbZgl. Klbfmeu`_Res(dc’) ij_^klZ\eyxlkh[hclZdh_hib kZgb_h[t_dlZ c’badhlhjhchgij_^kdZau\Z_lkyk[_amkeh\ghbebk\_jhylghklvx[ebadhcd >Ze__\ijhp_kk_h[mq_gbyijhbkoh^bl³km`_gb_Znn_j_glZpbb´Res( )ijb\h^ys__\\u^_ e_gbxl_oklbfmeh\\g_rg_ckj_ûdhlhju_^ZxlgZb[he__lhqgh_bk\_jhylghklvx[ebadhc dij_^kdZaZgb_j_amevlZlZ-\gZr_fkemqZ_ij_^kdZaZgb_ (jZkihagZ\Zgb_) agZq_gbyKlb fmeu ³km`_gghc Znn_j_glZpbb´ Res( ) klZgh\ylky qZklvx Zdp_ilhjZ j_amevlZlh\ ^_ckl\by GZkdhevdhlhgdZhgZfh`_l[ulvijhy\ey_lky\bglmbpbbkf^Ze__Djhf_lh]h\aZdhgh f_jghklyo [he__ f_edbo wlZih\ Obc(dcti)&dcti&Res(dcti) ⇒ dcti+1, i = 1,...,k-1, Obc(dci)&dci&Res(dci) ⇒ ci ij_^klZ\eyxsbo kh[hc i_jp_ilb\gmx ^_yl_evghklv jZkkfZljb \Zgby Z\lhfZlbq_kdb \dexqblky \ky h[klZgh\hqgZy b h[jZlgZy Znn_j_glZpby h[_ki_qb\Zx sZy k \_jhylghklvx [ebadhc d ^hklb`_gb_ dZ`^h]h wlZigh]h j_amevlZlZ qlh ijb\h^bl d hsms_gbxj_Zevghklb`bagb\h\g_rg_ffbj_. KjZ\gbf ^Zggh_ hij_^_e_gb_ agZq_gby h[t_dlZ k l_fb hij_^_e_gbyfb dhlhju_ [ueb ^ZguMGZck_jhfb>`=b[khghfGZihfgbflhqdmaj_gby>`=b[khgZ³\k_ihl_gpbZevgu_ kihkh[u bkihevah\Zgby h[t_dlZ - ij_^hklZ\ey_fu_ bf \hafh`ghklb ^_ckl\by - fh]ml [ulv g_ihkj_^kl\_ggh \hkijbgylu Bg\ZjbZglgu_oZjZdl_jbklbdbk\_lh\h]hihlhdZki_pbnb pbjmxl\u^_e_gh-?<qlhiheiha\hey_loh^blvihg_fmjmqdZ^Z_l\hafh`ghklvibkZlv b l^³ >=b[khg >` k@ MGZck_j ke_^mxsbf h[jZahf fh^bnbpbjm_l hij_^_e_gb_ >`=b[khgZ ³Ljm^ghklv k\yaZggZy k wlbf hij_^_e_gb_f hij_^_e_gb_f >`=b[khgZ - ?< khklhbl\lhfqlhij_^hklZ\ey_fu_h[t_dlhf\hafh`ghklb-bebbgZq__]hagZq_gb_-aZ\b kylhllh]hdlh_]h\hkijbgbfZ_lDZ`ûc_kl_kl\_gguch[t_dlfh`_lbf_lvh]jhfgh_fgh `_kl\h kihkh[h\ mihlj_[e_gby b ihl_gpbZevguo agZq_gbc b dZ`ûc k\_lh\hc ihlhd ki_ pbnbpbjm_l[_kdhg_qgh_fgh`_kl\h\hafh`guok\hckl\<hkijbgbfZxsbc^_eZ_l\u[hj bawlbok\hckl\bij_^hklZ\e_gbc[eZ]h^Zjyki_pbnbq_kdhc]hlh\ghklbd\hkijbylbxg_dh lhjuobagbo´>GZck_jMk@QlhlZdh_³ki_pbnbq_kdZy]hlh\ghklv´MGZck_jg_hij_ 29 ^_ey_lQlhagZqbl³bg\ZjbZglgu_oZjZdl_jbklbdbki_pbnbpbjmxl´>`=b[khglh`_g_hij_ ^_ey_lGbhgbgbboihke_^h\Zl_eblZdbg_^Zebhij_^_e_gbybg\ZjbZglghcbgnhjfZpbb AZ]Z^hqgZy njZaZ qlh ³bg\ZjbZglgu_ oZjZdl_jbklbdb k\_lh\h]h ihlhdZ ki_pbnbpbjmxl qlh iheiha\hey_loh^blvihg_fm´hagZqZ_lke_^mxs__qlh_kebgZr_cp_evx[m^_loh^v[Zih ihem lh i_jp_ilb\gufb ^_ckl\byfb Z\lhfZlbq_kdb [m^ml \ujZ[hlZgu lZdb_ wlZigu_ j_ amevlZlu - bg\ZjbZgluh[ke_^h\ZgbyiheZqlhbagbo[m^_lij_^kdZau\Zlvkybij_^\hkob sZlvkyg_lhevdh\hafh`ghklvoh^v[uihihemgh[he__dhgdj_lghdZdoh^blvdm^ZgZklm iblvbl^êy^hklb`_gbyp_eboh^v[uihihem³Ki_pbnbq_kdZy]hlh\ghklv´d\hkijbylbx g_dhlhjuo ba ³[_kdhg_qgh]h fgh`_kl\Z \hafh`guo k\hckl\´ iha\heyxsZy ih fg_gbx MGZck_jZ \hkijbgylv ba \k_o \hafh`guo bg\ZjbZglh\ l_ dhlhju_ ]h\hjyl qlh ih ihem fh`gh oh^blv h[tykgy_lky dZd [ueh kdZaZgh nhjfbjh\Zgb_f lZdbo wlZiguo j_amevlZlh\ b p_ihq_d ^_ckl\bc \b^Z dhlhju_ h[_ki_qb\Zxl j_Zevgmx oh^v[m ih ihem k mqZklb_f i_jp_ilb\guo^_ckl\bc LhqdZaj_gby>`=b[khgZgZ\hkijbylb_dZd “ba\e_q_gb_bg\ZjbZglh\´h[tykgy_lky ke_^mxsbfh[jZahfIhkdhevdmJ_amevlZlhf\hkijbylbyex[h]hijbagZdZbebh[t_dlZy\ey _lky khhl\_lkl\mxsbc wlZiguc j_amevlZl y\eyxsbcky bg\ZjbZglhf lh ³\hkijbylb_ dZd ba\e_q_gb_ bg\ZjbZglh\´ _klv g_ qlh bgh_ dZd h[tykg_gb_ \hkijbylby q_j_a \hkijbylb_ lhevdh(wlZiguo)j_amevlZlh\i_jp_ilb\ghc^_yl_evghklb?kebL_hjbxnmgdpbhgZevguo kbkl_f i_j_g_klb gZ \hkijbylb_ k __ ihke_^h\Zl_evghklvx b b_jZjob_c j_amevlZlh\ lh fu ihemqbf l_hjbx \hkijbylby >`=b[khgZ ijZ\^Z [_a lZdbo \Z`guo qZkl_c dZd Zdp_ilhj j_ amevlZlh\^_ckl\byhjb_glbjh\hqgh-bkke_^h\Zl_evkdZyj_Zdpbybl^ 6.2. Bglmbpby-wlh\k_fgh`_kl\hklbfmeypbckh^_j`Zsboky\h\k_oh[jZlguoZnn_ j_glZpbyoRes( ) g_dhlhjh]hjZa\blh]hZdp_ilhjZj_amevlZlh\^_ckl\by IhdZ`_f qlh kj_^b \k_c wlhc klbfmeypbb _klv dZd hkhagZggZy klbfmeypby lZd b g_ hkhagZggZy Wlh emqr_ \k_]h ijh^_fhgkljbjh\Zlv gZ ijbf_j_ agZgbc wdki_jlh\ < jZfdZo Bkdmkkl\_ggh]hBgl_ee_dlZknhjfbjh\ZehkvgZijZ\e_gb_Wdki_jlgu_Kbkl_fuh^ghcba hkgh\uo aZ^Zq dhlhjh]h y\ey_lky ³ba\e_q_gb_” agZgbc ba wdki_jlZ IjbgpbibZevgZy ljm^ ghklv ihkljh_gby wdki_jlguo kbkl_f khklhbl \ lhf qlh hq_gv qZklh wdki_jl g_ \ khklhygbb kdZaZlvihdZdbfg_meh\bfufijbagZdZfhgklZ\blgZijbf_j^bZ]ghaHiulguc\jZqihem qZ_l [hevrmx qZklv bgnhjfZpbb m`_ ijb i_j\hf \a]ey^_ gZ [hevgh]h Ba\_kl_g gZijbf_j lZdhcwdki_jbf_glfm`qbgZfihdZau\Zebnhlh]jZnbb`_gsbgmg_dhlhjuobadhlhjuo[u ebqmlvih^j_lmrbjh\Zgum\_ebq_guajZqdbLZdb_nhlh]jZnbbgjZ\bebkvfm`qbgZf[hev r_ohlygbdlhbagbog_\khklhygbb[uehl\_lblvihq_fmbf_ggh :\lhfZlbq_kdb\ubkdb\Zy\kxbgnhjfZpbxiha\heyxsmxhkms_kl\eylvij_^kdZaZgby k\_jhylghklvx[ebadhcdq_eh\_dZ\lhfZlbq_kdb[_kkhagZl_evghh[h]ZsZ_lh[jZlgmxZn n_j_glZpbxRes( )IjbwlhfhgijbgpbibZevghg_\khklhygbb\kx__hkhagZlv;he__lh]h ihiuldZaZklZ\blvwdki_jlZ\_j[Zebabjh\ZlvhkhagZlvbebknhjfmebjh\ZlvijbagZdbihdh lhjufhgklZ\bl^bZ]ghaijb\h^bldlhfmqlhwdki_jl³ihjlbl´k\hxbglmbpbxHghdZau\Z _lky \ iheh`_gbb khjhdhgh`db dhlhjmx aZklZ\beb aZ^mfZlvky dZd hgZ oh^bl Ihwlhfm ijb ³ba\e_q_gbbágZgbcbawdki_jlZ³bg`_g_jZfihagZgbyf´g_j_dhf_g^m_lky³iulZlv´wdki_j lZ ;b[ebh]jZnbq_kdbckibkhd >:ghobg@:ghobgIDWfhpbb;hevrZyf_^bpbgkdZywgpbdehi_^bylF >:ghobg ID @E :ghobg ID IjbgpbibZevgu_ \hijhku l_hjbb nmgdpbhgZevguo kbkl_fNbehkhnkdb_Zki_dlul_hjbbnmgdpbhgZevguokbkl_fFGZmdZk- 106. >:ghobg ID @D :ghobg ID Hi_j_`Zxs__ hljZ`_gb_ ^_ckl\bl_evghklb Nbeh khnkdb_Zki_dlul_hjbbnmgdpbhgZevguokbkl_fFGZmdZk- 27. 30 >:ghobgID@:ghobgIDKbkl_fgucZgZebabgl_]jZlb\ghc^_yl_evghklbg_cjhgZ ID:ghobgHq_jdbihnbabheh]bbnmgdpbhgZevguokbkl_fFF_^bpbgZk >:ghobgID@:ghobgIDJhevhjb_glbjh\hqgh-bkke_^h\Zl_evkdhcj_Zdpbb\h[ jZah\Zgbb mkeh\gh]h j_ne_dkZ :ghobg ID Kbkl_fgu_ f_oZgbafu \ukr_c g_j\ghc ^_y l_evghklbBa[jljFGZmdZk 338 - 352. ><bly_\@<bly_\??F_lh^h[gZjm`_gbyaZdhghf_jghkl_cbf_lhîj_^kdZaZgby Wfibjbq_kdh_ij_^kdZaZgb_bjZkihagZ\Zgb_h[jZah\Gh\hkb[bjkdk-<ui <uqbkebl_evgu_kbkl_fu ><bly_\??@<bly_\??AZdhghf_jghklb\yaudZowfibjbq_kdbokbkl_fbaZdhgu deZkkbq_kdhc nbabdb Wfibjbq_kdh_ ij_^kdZaZgb_ b jZkihagZ\Zgb_ h[jZah\ Gh\hkb[bjkd k-<ui<uqbkebl_evgu_kbkl_fu ><bly_\ ?? @ <bly_\ ?? Eh]bdh-hi_jZpbhgZevguc ihôh^ d ZgZebam ^Zgguo Dhfie_dkgucihôh^dZgZebam^Zgguo\khpbheh]bbLjBg-lZKhpBkke:FGk - 122. ><bly_\@<bly_\??Ij_^kdZaZgb_bbg^mdlb\guckbgl_aIJHEH=-ijh]jZffih\_ jhylghklghc fh^_eb ^Zgguo 3UHGLFWLRQ DQG LQGXFWLYH V\QWKHVLV RI 32/2*-pogamms by a SREDELOLVWLFPRGHORIGDWDGh\hkb[bjkdkIj_ij1 ><bly_\??@<bly_\??H[gZjm`_gb_aZdhghf_jghkl_cf_lh^heh]byf_lhîjh ]jZffgZy kbkl_fZ 6,17(= F_lh^heh]by F_lh^heh]bq_kdb_ ijh[e_fu gZmdb Gh\hkb [bjkdk-<ui<uqbkebl_evgu_kbkl_fu ><bly_\@<bly_\??K_fZglbq_kdbcihôh^dkha^Zgbx[ZaagZgbcK_fZglbq_kdbc \_jhylghklguc \u\h^ gZbemqrbo êy ij_^kdZaZgby IJHEH=-ijh]jZff ih \_jhylghklghc fh^_eb^ZgguoEh]bdZbk_fZglbq_kdh_ijh]jZffbjh\Zgb_Gh\hkb[bjkdk - 49. <ui<uqbkebl_evgu_kbkl_fu ><bly_\@<bly_\?<IjbgpbijZ[hlufha]Zbijhp_kkihagZgby\GZmd_bBkdmkkl \_QZklvNbabheh]bq_kdb_l_hjbbF_lh^bq_kdh_ihkh[b_DZn_^jZEh]bdbbF_lh^heh]bb GZmdbNbehkhnkdh]hnZdmevl_lZG=Mk ><bly_\@<bly_\??P_e_iheZ]Zgb_dZdijbgpbijZ[hlufha]ZFh^_ebdh]gblb\ guoijhp_kkh\<uqbkebl_evgu_kbkl_fu\uiGh\hkb[bjkdk-52. ><bly_\ @ <bly_\ ?? <_jhylghklgh_ ijh]ghabjh\Zgb_ b ij_^kdZaZgb_ dZd ijbgpbi jZ[hlu fha]Z Fh^_eb dh]gblb\guo ijhp_kkh\ <uqbkebl_evgu_ kbkl_fu Gh\hkb[bjkd \i_qZlb ><bly_\??Fhkd\blbg::@<bly_\??Fhkd\blbg::<\_^_gb_\l_hjbxhl djulbc Ijh]jZffgZy kbkl_fZ ',6&29(5< Eh]bq_kdb_ f_lhû \ bgnhjfZlbd_ Gh\hkb [bjkdk-<ui<uqbkebl_evgu_kbkl_fu ><bly_\ ?? Ih^dheh^guc GE @ <bly_\ ?? Ih^dheh^guc GE Hl wdki_jlguo kbkl_fdkbkl_fZfkha^Zxsbfl_hjbbij_^f_lguoh[eZkl_cDhfivxl_jgucZgZebakljmd lmjunmgdpbbbw\hexpbb]_g_lbq_kdbofZdjhfhe_dmeGh\hkb[bjkdk- 282. >=b[khg >` @ =b[khg >` Wdheh]bq_kdbc ihôh^ d ajbl_evghfm \hkijbylbx F Ijh]j_kkK >?jrh\KZfho\Zeh\@?jrh\XEKZfho\Zeh\DNHgh\hfihôh^_dnbehkhnbb fZl_fZlbdb Kljmdlmjguc ZgZeba kbf\hevguo ihke_^h\Zl_evghkl_c Gh\hkb[bjkd k 141 - <ui<uqbkebl_evgu_kbkl_fu >GZck_j M @ GZck_j M IhagZgb_ b j_Zevghklv Kfuke b ijbgpbiu dh]gblb\ghc ikboheh]bbFIjh]j_kkk >Iheydh\=B@Iheydh\=BHijbgpbiZog_cjhgghchj]ZgbaZpbbfha]ZF=MF k >Kbfhgh\@Kbfhgh\I<WfhpbhgZevgucfha]FGZmdZk >Kbfhgh\ @ Kbfhgh\ I< <ukrZy g_j\gZy ^_yl_evghklv q_eh\_dZ fhlb\ZpbhgghwfhpbhgZevgu_Zki_dluFGZmdZk 31 >Km^Zdh\@Km^Zdh\D<Kbkl_fgu_f_oZgbafuwfhpbhgZevgh]hklj_kkZFF_^b pbgZk >Km^Zdh\ @ Km^Zdh\ D< H[sZy L_hjby NmgdpbhgZevguo kbkl_f F F_^bpb gZk >LNK@NmgdpbhgZevgu_kbkl_fuhj]ZgbafZIh^j_^D<Km^Zdh\ZFF_^bpb gZK >R\ujdh\ <; @ R\ujdh\ <; H kbkl_fguo hkgh\Zo ikbohnbabheh]bb // Kbkl_fgucihôh^dikbohnbabheh]bq_kdhcijh[e_f_GZmdZFk- 22. 26. [Adams Er.W., 75]: Adams Er.W. The logic of conditionals // An application of probability to deductive logic // Synthese Library. 1975. V. 86. 27. [Fitting M.C., 88]: Fitting M.C. Logic Programming on a Topological Bilattices // Fundamenta Informatica. 1988. V. 11. P. 209 - 218. 28. [Gaifman H., 64]: Gaifman H. Concerning measure in first order calculi // Israel journal of Math. 1964. V. 2. N 1. P. 1 - 18. 29. [Goncharov S.S., Ershov Yu.L., Sviridenko D.I., 86]: Goncharov S.S., Ershov Yu.L., Sviridenko D.I. Semantic programming // 10th Wold Congress Information Processing 86, Dublin, 1986. Amsterdam, 1986. P. 1093 - 1100. 30. [Hailperin T., 84]: Hailperin T. Probability Logic // Notre Dame J. of Formal Logic. 1984. V. 25. N. 3. P. 198 - 212. 31. [Halpern J.Y., 90]: Halpern J.Y. An analysis of first-oder logics of probability // Artificial Intelligence 1990. V. 46. P. 311 - 350. 32. [Kifer M., 90]: Kifer M., Subrahmanian V.S. Theory of Generalized Annotated Logic Programming and its Applications // Research repot. University of Maryland, USA, 1990. 33. [Nillson N.J., 86]: Nillson Nils J. Probability logic // Artif. Intell. 1986. V. 28. N 1. P. 71 - 87. 34. [Ng R.T., Subrahmanian V.S. 90]a: Ng R.T., Subrahmanian V.S. Probabilistic reasoning in Logic Programming // Proc. 5th Symposium on Methodologies for Intelligent Systems, Knoxville. North-Holland, 1990, P. 9 - 16. 35. [Ng R.T., Subrahmanian V.S., 90]b: Ng R.T., Subrahmanian V.S. Annotation Variables and Formulas in Probabilistic Logic Programming // Technical Repot CS TR-2563. University of Maryland, 1990. 36. [Scott D.S., Krauss P., 66]: Scott D.S., Krauss P. Assigning Probabilities to Logical Formulas // Aspects of Inductive Logic. (ed. J.Hintikka, P.Suppes). N.Holland, 1966. P. 219 - 264. 37. [Shapiro E., 83]a: Shapiro E. Logic Programs with Uncertainties: A Tool for Implementing Expert Systems // Proc. IJCAI '83, Williams Kauffman. 1983. P. 529 - 532. 38. [Shapiro E., 83]b: Shapiro E. Algorithmic Program Debugging // MIT Press. 1983. P. 204. 39. [Van Emden M.N., 86]: Van Emden M.N. Quantitative deduction and its fixpoint theory // J. Logic Programming. 1986. V. 3. N. 1. P. 37 - 53. 32

Данная работа является продолжением работ

Related documents

Products

Support

Данная работа является продолжением работ

Related documents

Add this document to collection(s)

Add this document to saved

Suggest us how to improve StudyLib