On the Complexity of Linear and Stratified : Context Matching Problems
Texte intégral
(2) INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE. On the Complexity of Linear and Stratified Context Matching Problems Manfred Schmidt-Schauß — Jürgen Stuber. N° 4923 Juillet 2003. N 0249-6399. ISRN INRIA/RR--4923--FR+ENG. THÈME 2. apport de recherche.
(3)
(4)
(5) !#"%$&"')(*+$,"%.-/#'
(6) 0213"456!798:$6 %;/< >= ?A@B,CEDGFIH:J+KML6NPOQH,RTSJKMLU@V,W XZY[ DG\]FIB:J^R_V6`ZFaD bdcfeTg*hikjmlonTpfqrh%sutwvIqux qrhTs h yzx {|s}x~s^gktwsuq} I~h ZtwEhydZtwycfhTt <{wftwy#fh%hGxcfh xcfhp,aIiwjw~fqususrh yi|wI4ji|*{wvwhG ∗. †. ,T Mf ww¡4¢ hvIqr£Ihz{|suvwtIqrycfg¤¦¥§twsrqupfhT{w{wp0¥§tI¨vIh pfhT{ws©xtIpayhªyg0{|yxcfqupfv*{|p!«qux~©¨cftM¬ ycfh<h ¥§twg¤{|px h#qrp¤ycfh<vIh pfhT{wsx {Ih<xT{|p¤hzqug*tM£IhTkycftw~fvIc0ycfhz~hzt|¥qrpf¥§twg0{|yqutwp«hTqu£whG ¥§twg{|fft_ª«qrg¤{|yqutwpyc©{Mykx {wp®©hx twg0f~«yhTqrp¯twsupftwg0q}{|s6yqrg0hw° ¢ hqup£whGEyqrva{MyhychxtIg± srh ªqryE¤t|¥,xtwpayhªyg¤{|yxcfqupfv*¬#q²yc!hT©hGx.yyt*ychoy{Myq²³©xT{MyqrtIpt|¥£_{wq}{|srhtxTx~fh px hTT´a¬#ch h tI~f*g0{wqrpPhG~s²y{whyc{|y0y{Myq²³hGµx twpayh ªay*g¤{Myxcqrpfvq}¶zU±·x twg0fsuhyhw´Z~«yyc{My¤y{Myqr³hG qugk~fsry{wpfh tI~og*tIp{wfqux0xtIpayhªy%g¤{Myxcfqrpvq}%qup¸6°¹¹«º¸»ºquhT a~fqu£_{wsrhTpayoyt¼Ey{|yqr³hTqugk~s²± y{|pfhTtw~o¬tw¼g¤{Myxcfqrpv° ¢ h¤{|s}t/ctM¬:yc{|yoycfh0srqupfhG{|%{|pycfh¤c{|hT«±½suqrphT{|ox {Ih0{|hqup¾ {wp0t|¥yqrg0hoxtwg0fsuhª«qryE ) ´{|p0yc{My£M{|q²yE¤i%xtIpayhªyg0{|yxcfqupfv©´w¬#cfhTh£_{wq}{|srhGUt«x x~¨{My g0taEydyE¬#q}xhw´qu#¶zU±·x twg0fO(n suhyhw° ¿¼ÀaÁ]ÂÃkÄ MÅ,w¡ x twpayh ªydg¤{|yxcfqupfv´¬¨tIg0{|yxcfqupfv©´fEy{|yqr³©x {|yqutwp^´fx twpy{|qupaydtwsu£qrpfv 3. ï Ëð}ñIòÑÆ|ó,ÇìÈ·åÉ ô§Ê|é.ËEåÌQÚÝËEõÍÎå.È·ÉöÚ§ç.ÏÑÐGö.ë.ÒrÓ.åÌQõTÔ<×w ÇÆ|ÕQÇÍÎ÷wÖwñ×ò}Ø_ó,Ù Ú}ìÛ¾åôÝÙ é.ÚÝÜ,åÚÝÓTõËÞå.ÕQöÉ_ÚÑËÞç.Ú§ö.ßåGÐGäÍåGà×aËøfÌÝá½ÚÑÍ Ô<Õ½âÇÕÍÎ×ð}ñ ã«á½Ó.È·áQÉ_ÕÝÇÒ}í_ÇȽá½Éá·ù,ä.ÖTäÍ}Ù ÍÎäÐGå%ÒrÓ.æ.ÌÝÔ<çG×]ÇèÕ½ÍÎÖ|Ú§é.Ù í_ê.Ð_ê.ëÍ Ú}ìÒrÌQÇÆMÐ_̽ÇÖ ÐGÒrí_Ö Ì§ÒrÕí_٠̧úGÕË ×Ü,ËÌÝÔ<ÇÐî Ù ï Ëð}ñIòÑûfó6ü6æ.ýæô§ÏÑæ.þ ö.æÿ©Ú§ë.ÈEöÓ.ðÎäËdõ]ú_ä.ËEä.á ×MÆ|ÇÍÎ÷wÐ_ñËEáUò}ó6ú_æ.Ë æôÝæ.Çö.Ð_æÈÞÚ§ë.îö+׫éGäõäë êGä.ý ×|í_øËdÔ<úGÇíÍÎð}ñØáQÇÕQÌÝí_ú_Ê|ÍÎÐ Ë̽]ù,ÓðÎÓ.Õ·ÌÝÇÍ Ð_ÇGÍ Ù ÒuÌ í_Ë.×fÆ«Ú§ëìé.ê. ê ,ÍÎðÎðÎËEÌQáÝÚÑð EáQ Ú ÇÐ_ÈÞî ×wÆMÌQÇÐ_ÈEË.Ù ∗. †. Unité de recherche INRIA Lorraine LORIA, Technopôle de Nancy-Brabois, Campus scientifique,.
(7) ($&" 5 k / '! $, ;< >#= ' -.+$,"k7 '! 5 0#=2 #"$,#= =^+$6"4.-#=
(8) ¡ ¶ztw~#nGhTpIytwp#fhTz{wsrvItwq²ycfg0hTdtw~fzsrh%³©s²y{wvwh«hx twpayh ªayhT#suqupfnT{wqrhT#h yzvwnTpfn± {|~fªoh y,pftI~,g0twpaytwpxtIg*g0hTpIy6suhT©hT¥§tIg¤{|p©xhTf{|p©suh¨xT{wvwnTpfn {|sa©hT~f£whTpay yhd{|g0nTsrqutwn hG hTp~«yqrsuqu{|payzs qrp«¥§tIg¤{|yqutwp«nTqu£wnThk {|fft_ª«qrg¤{|yqutwp#xT{|s}x~fs}{|fsuhTzh p¼yh g0©tIsrpftIg0qu{wsQ°<¶ztw~ n y~fqrtIp*su{®xtIg0fsrh ª«q²yn«~ ³sry{|vIh!«h¼x twpayh ªayhT*{w*{|©tIy ¾s}{®Ey{|yqr³©x {|yqutwpµfhT0t«x x ~f± h p©xhTo«h*£M{|qu{wfsrhG ´hy4pftwyhknT~fs²y{My4fqrpx qr©{|s,hTy4 a~fhsrh³sry{|vwh*«h0xtwpayhªyhGy{Myq²³nGzhGEy ¶zU±Þxtwg0fsuhyG°¤U{|xtIpayh*suh*³sry{|vwh¤qrg~fsry{|pn0fhxtwpayhªyhG%Ey{|yqr³nTog0twp{I«q} I~hTT´+ a~fq¦h ~«y {w~q yh#£~0x twg0g0h<suhd³s²y{wvwh<qrg~fsry{|pn<«h#g0t|y¨Ey{|yqr³nTT´|hGEy¨{|pU6°a¶<tw~©Ug0twpaytwpZ{|~q a~fh4suh%x {wsuqrpnT{|quhh y<srh%x {I{|y{wvwn±·suqrpfnG{|quhtIpIy#f{wpdhy< a~fh4srhT~f<tIsr£M{wfqrsuqrynohTy#fnTxq}f{wfsrh hTpyh g0 O(n ) ° ¦p«³p+´^srh¤xT{w4«~³©s²y{wvwh0«h*x twpayh ªyhT4«h*£M{|q²yn0i §q½° hw°t xc{w a~fh*£M{|qu{wfsuh h ~fyz{|f{w{ uyh4{|~g¤{Mª«qugk~fg2fh ~«ª!¥§twq} hGEy#g0twpayn%¶<U±ÞxtIg0fsrh yT°
(9) Ä G Â 0¡ ³sry{|vwh«hx twpayh ªayhTT´|³sry{|vIhz«hg*twyT´ay{Myq²³x {MyqrtIp^´ahGtIsr~«yqrtIp«hx twpay{|qupayhG 3.
(10)
(11) !"#%$. . +$6 ¤' !5Z »¨tIpayhªyUg¤{Myxcfqrpvoh ªyh p©f6³Ey±½tIfh 6g¤{Myxcqrpfv4ycfh<{_£M{|qusu{wfqusrqryE%t|¥xtIpIyhªy¦£M{|qu{wfsuhT,¬#cfq}xc g¤{_0hqupy{|payqu{|yhTa¤{*xtIpIyhªyT´Iyc©{Mydqud{%yh g ¬#q²yc!{kcftwsuhw°¦¹ay{|pf{w¤³y±·tw«hTZg¤{Myxcfqrpv {wsrsutM¬<6twpsr ÑyhTg ¦£_{wq}{|srhG ´|£M{wq}{|fsuhT,yc{My¨g0{_©hzqrpy{wpayq}{MyhG0{o³Ey±½tIfh 6yhTg/° ¢ cfqusrh ycfhTh¾{wh¼hTyquxyhGµyt®ycfh¸srhG{_£whG0t|¥{yhTg>{|pg¤{|yxctwpfsu{|vI{wqrp©EyxtIg0fsrh yh¾~f«yh g¤ ´ x twpayh ªy4£M{wq}{|fsuhT%xT{|p®t«x x ~f{w4g0twp©{w«q}x0twh {Mytwo{wpa¬#ch h*qupqufh{yh g{wp©hTg0qryycfh g¤{|yxcfqupfvyt «hGx h p«hTh fsuµqup {¯qupfvIsrhyhT^° »¨twpayhªyg¤{Myxcqrpfvyca~©{|susrtM¬<0g~xcg0twh ¥§h hG«twgqrp®ycfhh suhTx.yqrtIp®t|¥<~«yhTg¤T´+¬#cfq}xc¯g¤{_¾h¤t|¥#~h0¥§twh ª«{wg0fsrh0¥§tIk a~fh qrpv/{My{ yc{My%q}{_£M{|qusu{wfsuhqup¾ycfh0¥§twg tw¥{su{wvIhkyh g/´+su)q (I+h *o-º , «t«x~g*hTpayT/° .tw%h ª«{wg0fsrhI´^¬h*g¤{_ ¬#q}c¤yt*hTsrhGx.yycfhzyqrysuhTt|¥+{wsrs]~hGx.yqrtIpZqup!{xhTy{|quphGx.yqutwpt|¥{w0p *-º ,¸«t«x~fg0hTpIyG° ¢ hox {wp h ª«fhG¨ycfqu<aycfh%suqrphT{|<x twpayh ªydg¤{|yxcfqupfv0ftwfsuh g &. '. X(section( 13254
(12) 68789;:=<%>@?=AB;AC1 , Y (subsection(y, z)))) = s. #¬ ch h X {|p Y {whx twpayh ªy<£_{wq}{|srhG<{|p y {|p z {|h4³y±·tw«hT#£_{wq}{|srhG °ED<hThhG{wxc¼~f«± hTxyqutwp0t|¥]ycfhzhTx.yqrtIp0¬#q²yc¤yqrysuh ¬#qrsushT~fsry¦qrp¤tIpfh<tIsr~fyqutwp¤t|¥ychzg¤{Myxcfqrpv tIfsrhTg ¬#qryc y tw~fp©/ytqry<yqry13suh*24 {w68p78 9;:8z<y>@t?=q²yAzB=xAtw1 payhTpIy °<ºtwhvwhTpfh {|s+ a~fhTquhT#ytf{|y{w{whT g¤{_©h*hª«fhThT/{wpftwpsrqupfhT{wzf~fyoy{Myqr³hGxtIpIyhªyg¤{|yxcfqupfvftwsrhTg0T°F.twhªf{|g0fsuhw´¬¨h g0quvwcay#c{_£wh%{0f{|y{|©{wh db qup/{0g*tIFh Gh ªqufsuhH*º-,^±½suqI(who¥§twg¤{My#srqI(wh .(book(.(author(a1 ), .(title(t1 ), nil))), .(book(.(author(a1 ), .(title(t2 ), nil))), .(book(.(author(a2 ), .(title(t3 ), nil))), nil))),. ¬#ch Kh J qu<{*fqup{wsuq}Eyx twpy~xytwyt¤h px tfh%£_{wq}{|srh%{|qryEw° ¢ hkx {wp!fq}x(tI~«y#ych%yqrysuhT#tw¥ ycfh%tat.(«L dt|¥,{w~«yctw a ¬#q²yc¼{* a~fhT 1. ¼sutt5(qrpv!{Myoych*~fyqry~«yqrtIp¾¥§tI °kbdcfq}4 I~h ¼qu4y{Myqr³hG´]©hGx {|~©hycfhyE¬t!t«x x ~fhTpxhG tw¥ X c{_£whoycfh{wg0hoh ³fªt|¥6xtIpIyhªxy#£M{|qu{wfsrhG#{|tM£whycfhTg/´f¬#cfq}xc!q}#h g0«yEcfh hw° bdcfhGh/yE¬t¯hªf{wg*srhG¤cftM¬2yc{|y!xtIpayhªy¤g¤{Myxcfqrpv x {|ph¼~hTqug0qrs}{|su yt@*U{MycNM
(13) O g¤{|yxcfqupfv4¬#cfq}xcq}6~hT*qrpychK*o¹;,«bµy{|p¥§twg¤{MyqrtIpsu{wpfvw~©{|vwhPM O«¥§tw*oº-,¼«t«x~g*hTpayT´|¬#cfq}xc ¬d{wtw~f!qrpq²yqu{wsg0t|yqr£M{|yqutwp ytPy{|y!y~faqupfv xtwpayhªy!g¤{MyxcfqupfvR° QÞp ycfhxtIpIyhªy!twS¥ *-º , t«xhGqupfvycfh h¼{|h!twycfhT¤ftI©tahG¯¥§tIg¤{|suq}g¤0~©xc {Ih vI~fs}{|0hª«fhTqutwpµg0{|yxcfqupfTv MIUWVWO yc{My*«qrhTxysuy
(14) { (wh¤qupayt{Ix xtI~fpay%ycfh¤£M{wq}{|fsuh{|qryEt|K¥ *º , ¸{|susutM¬#qrpfv/h vI~fsu{w%hª«fhTqutwp© tM£Ih Z{wvI~fg0h payTX° QÞptw~fdxtIpayhªy¦ycfq}x tw~fs}¤hoqugk~fs}{MyhT00~qupfv*{|vw~fg0h payZsuq}EyZfsu~h vw~su{w hTyq}x.yqutwp©tIpkycfh<xtIpayhªy,yc{|yZx {|p*h#qrpy{wpayq}{MyhG¥§tI¦{4xtwpayhªyU£_{wq}{|srhI°,bdcfq}6¬tw~fs}{wsrsutM¬ ~©zyt/©twyc¸h ©{|{Myhkycfh0suquy%~hT¼¥§tI4h gk~su{|yqupfv!£M{wq}{|fsuh{wqryE/¥§twg t|ycfh o¥§~fp©x.yqutwp®ag©tIsu {wp/yt!hTp«¥§twxhkycfhhTvw~fs}{|hª«fhTqutwp/yEhTT°4bhTxcpfquxT{|susr¼~xch vI~fsu{wzhTyquxyqutwpxtI~fsu¾©h h ª«fhGhT0»¨tIg*tIp 6g*hTgkh cqr¤xtIpy{|qupIyE M V«5´ Y O·° ¢ h#h suqrhT£whdyc{MyUycfhzxtIg0fsrh ª«q²yEhG~fsry tw¥Uycfq}{|h ohTg¤{|qup¼£_{wsrq}~p«h ych{w«q²yqrtIpt|¥Z~xc¾{hGEyq}x.yqrtIp^´ctM¬¨hT£wh z¬¨h*xcfttIhpft|y yt¤«qux~©dqry<qrp¼«h y{wqrsy/t (wh hTycfh%fhTh pay{|yqutwpqug0fsrhI° X(book(Y (author(a1 ))))) = db ∧ X(book(Z(title(x))))) = db. ýý Ð Zfìå.ç.æ.
(15) . " .
(16) "8
(17) . pft|ycfh {|ffsuq}x {MyqrtIp {|hT{¸¥§twg¤{|yxcfqupfv®yhGxcfpfq} a~fhTquyh g h ¬#qryqupfv M)U O½° QÞp y{|p©f{| yh gh ¬#q²yqrpfvycho~fsuhT#{whoqrg0fsuq}xqrysuhªyh p«hG{wsrsutM¬#qupfv{wp{wfqry{|¤xtIpIyhªy<{|tM£whycfh g¤{|yxcfqupfvtIq²yqrtIp^´{|p0fhTh £qrpvycfq}¨x twpayh ªay¨tM£wh ¨{%hT¬#qryh<yhT^° QÞpg¤{|p0qry~{|yqutwpZg0twh x twpaytws6q}%pfhThT«hG¸tM£Ih oych¤©taqryqutwp4¬#ch h*~fsuhT%{wh¤{|fsrquhT^´+¬#cfq}xc®g*twyqu£M{MyhGo¥§tw%h ª«{wg0fsrh y{Myh vIqrhGE M Wi O·° ¢ q²ycxtIpIyhªy¦g¤{Myxcfqrpv%¬¨h<xT{|p¤{wxcfquh £Ihdqrg0ftM£whGx twpaytws«qup¤{4g*tIh<fhTxs}{|{Myqr£Ih ¬d{_g¤5{ (aqupfv0ycfhkxtIpayhªy<h ªsrq}xqry<qrp/ycfh~fsuhTT° y{wpf{|!hT¬#qryh%~fsuh l ⇒ r ¬¨tI~fsu!ycfh p hTx twg0h/{¾y{wpq²yqrtIp ~srh X(l) ⇒ X(r) yc©{My¤qu0{wffsuquxT{|fsuh/twpfsu {My*ycfh/tt|yT´{|p ¥§tw*³pfhT x twpaytws{If«qryqutwp{wshTyq}x.yqutwp©xT{|p!©h%qug0©tahGtIp X ´f~xc{w#{*tIy<«q}x qrsrqupf/h M V3O+twd¬hog¤{_ x twpq}«h oxtwp©«q²yqrtIp{|s,~fsrhGz¬#ctIhxtIp«qryqutwph¥§h yt °%¹qupxh0Ey{|yqr³hT¾xtwpayhªy~fpq²³©xT{MyqrtIp q}«hTx quf{wfsuh MÎ;i U|´fiw3 O½´ 4p~«yc«± hTp«qrªa±·su)q (IhxtIg0fsrh yqutwptIXp~fsuhT¨¬#q²yc!y{Myqr³hGxtIpIyhªy¨g¤{_¤©h ¥§hG{wqrsrhI´©ftM£qufhT/~fsrhGxT{|phkhTyq}x.yhG¼qup¾~©xc¾{¬d{_yc{My4Ey{|yqr³©x {|yqutwpq}fhGhT£IhT/{|p© ~fqry{wfsrhyh g0qrp©{Myqutwp¼tIfh qrpfva#x {wp¼©hk¥§tw~fp^° ,^twvIquxT{|s+xT{|s}x~fsuq+¬#qryc¸xtwpayhªy<£M{|qu{wfsrhGdyhT{|yhG qug*qus}{|dyt¤{*f~fqusry±·qrpych tw- MÎ5i V´
(18) i Y3O+¬tw~su{|s}t0h{|pqrpayh hTyqupfv¤{|ffsuq}x {MyqrtIp^°Ub+tIvwh ycfhT¬#qryc ycfhhTvw~fs}{|hGEyq}x.yqrtIp^g0h payqrtIpfhT{|tM£whUycfqu6x tw~fs}%h¨~hT¥§tw,hTsu{|yqutwp+yc©{MyT´M~pfsrIq (whhT a~{wsrqryEw´ {whh p©qryqu£wh0yt¾xtIpIyhªyT´¥§twh ª«{wg0fsrh¤tIfh h s}{MyqrtIp4¥§twk¬#cfquxc x h y{wqrp®g0twpftwytIpfqux q²yE¸su{_¬< ctws}° QÞpycfq}Z©{|h ¬¨hoxtwp©q}«h xtIpIyhªy¨g¤{|yxcfqupfvkt|yc¥§twg {%ycfh tIh yq}x {ws©{|p©0¥§tIg {f{wxyq}x {|s twqupaytw¥f£aquh ¬%° p%ychZycfh tIh yq}x {|saq}«h¨¬¨hZyytzhGEy{|fsuquc{zc{w%tw~fp©f{|4©h yE¬¨hTh pftwsrhTg0 qup/ {|p¶<U±ÞxtIg0fsrh yh%ftwsrhTg0T°Ub+t*ycfqu<h p¬h4x twpq}«h dycfho¥§twsusrtM¬#qupfv0ftwfsuh g¤ ^ M« À Å Ä À
(19) «G ¡ .ftwkhT{wxc®£M{|q}{|fsuh*ycfh©{Myc©4¥§tIg ycfhtatwy%yt¼qry t«x x~h px hTc{_£Ihycfh{|g0h%hG I~h px hotw¥,x twpayh ªay#£M{|q}{|fsuhT §qry 3
(20) ) °
(21) §T ÀÄ T_f À Å
(22) Ä fÅ Ý ! Ä À
(23) «G ¡ Ey{|yqr³hT4x twpME~fp©x.± yqutwptw¥UhT a~{MyqrtIp#yc{My4xtIpIy{|qup<tIpfsu!g0twp©{w«q}x4¥§~fpxyqutwp¾gktws} °<bdcquzquhT a~fqu£M{|suh pay<yt Ey{|yqr³hT!¬twg¤{Myxcfqupfv Q¹ ¢ º ° ,À « Ä À
(24) fT ¡ {|q}{|fsuhTg¤{_t«x x ~f#twpfsutIpxhI° ,« À Å Â ,À « Ä À
(25) «G ¡ .twhT{wxc¯x twpayh ªay£_{wq}{|srh{wsrsUyh g¤t«x x ~f± qupfv®qug*g0hG«qu{|yhTsrP©hTsrtM¬2yc{|yxtwpayhªy¤£_{wq}{|srh/{|h/qu«hTpayq}x {|s½° bdcfq}¤qrg0fsuquhT0yc{Myqup { c©{|hT!hTfhGhTpay{MyqrtIp£M{|q}{|fsuhTd{|hosrqupfhT{wT° « Ý Á Ä À
(26) «G ¡ {wq}{|srhG¨g¤{_t«xTx~f<{|ydg0taEy#yE¬#q}xhI° ¢ hcftM¬ yc©{MKy ,,»º¯´«;¹ ,,»º {|p¹¹«º¸»º {whzqrp6´¬#cfqusrh4¹»º {wp iI»º {whz¶zU±Þxtwg0fsuhyhw° Q·yquzhT{wqusrh hTp/yc{|yxtIpayhªy<g¤{Myxcfqupfv¤quzqrp¶z6´©cfhTpxh%qryzhGEyq}x.yqrtIpz¹»º {wp ia»º {|h qup¼¶<6´«ytat©´f{|p¬h4pfh hG!tIpfsuftM£wh4¶<U±·c{|«pfhGT° p!ycfh%{Ix.yq}x {ws^q}«h4¬hovIqr£Iho{wp¼{|suvwtwqrycfg ¥§tI<tIsr£qupfv*x twpayh ªydg¤{|yxcfqupfv0ftwfsuh g¤~qrpfv y{wp¥§twg0{|yqutwp/~fsrhG ° ¢ h*{wsut«q}x ~zcftM¬:yt!hTf~xhkycfh*hG{|xc{Ixht|¥Uycqu4{|suvwtIqrycg ~©qupfv/~ x qrhTpIyx qryhTq}{¥§tIo³p«qupfv =
(27) #$ 8 w° ¢ h¤vwqu£whkyE¬¨t¼x qryhTq}{f´]twphyc{My {wfft_ª«qrg¤{MyhT6ycfhztIfsrhTg a*suqrpfhG{|q Tqrpv%ycfho£M{|qu{wfsuhTT´I{|p©{|pftwycfhT¦yc{Myd«h qr£IhT¨{«yhTg tw¥ suqupfhT{w#hT a~{MyqrtIp¨¥§tIg ych%pa~gkh <tw¥t«x x ~fh p©xhTtw¥¥§~fp©x.yqutwp¼gktws} ° lohTpfh {|sx twpayh ªyZg¤{Myxcqrpfv%¬d{w¦fhT£qrtI~su (pftM¬#p*yt©h¶<U±ÞxtIg*srh ySh MÎiwWi O·° xtIpayhªyZg¤{_ h/£qrhT¬¨hGµ{w0{suqrpfhG{|¤hTxtIp±·tw«h k¥§~fpxyqutwp¬#q²ycPtIpfh/{|vw~fg0h payG´¦¬#cfh hycfh/fqup«hT¤qu*suh¥Ñy. . . . . . . . !#" $. . &%. ('. .. . 1. . .. 5. . . /0 0!#"21. . . . 76. . . . . . . $. . . /0 0!#" . $. ) +* -,. &%. &% 43. /0 0!#" 1. /0 0!#"8596 $. $. &%. &% :3. 3. 3. . ;. < ,. =, /<.
(28) <. ?>. Ï ý ÏÑþ.
(29)
(30) !"#%$. V. qug0fsuqux q²y#{|pycfhocftIsrhqu¨ychoqrpvwsuhzt«x x ~fh p©xhztw¥ycfh4tw~fp©£M{|qu{wfsuhw°6bdca~©¨x twpayh ªaydg¤{Myxcfqrpv q}Z{khGEyq}x.yhT¥§twg t|¥suqrpfhG{|¨cfqrvIcfh ±·tw«h Ug¤{Myxcfqupfv´a¬#cfq}xc¤¬{IZcftM¬#p0yth¶zU±Þxtwg0fsuhyhz fh¨lottwyKh M 3 O½X° D<hThUsuqrphT{|+g*hG{|p^yc{|y+twpsrotIsr~«yqrtIp¬#cfhTh¦{wsrs|¥§~fpx.yqrtIp+{whUsuqupfhT{wT´GqQ° hw°GxtIpIy{|qup hG{wxctw¥UycfhTqr4tw~fp©£M{|qu{wfsuhT<h ªf{wx.ysr/tIpxhI´]{whxtwp©q}«h hT^°obdcfq}c{w©hTh p¸hªyhTp«hTyt!ycfh xT{wh¬#ch h4{0tw~p£M{wq}{|fsuh4g¤{_t«x x~<{My#g0tIy yqrg0hT<a ztI~fvwcfhTyE{wp ¢ qrhT Tfqux (q MIUT O½´ ¬#ch h<¶<U±ÞxtIg*srh yh phT¦cftIsufU¥§tw k = 1 {|p0«hGxq}fk{|fqusuq²yE¥§tw k ≥ 2 ° p{|suvwtIqrycfg
(31) ¥§tw¦vIh pfhT{ws hTx twp«±½tI«hT4g0{|yxcfqupfv¼q}%vwqu£whTp®a D<~hy{wp ,+{|p@v M)UWY3O½°»¨~fqrhTp^´ qu{wp®{wp¯¹cfFq M
(32) O¨vwqu£wh¤{wp {wsrvItwq²ycfg¥§tIZhGxtIp±·tw«h ,g¤{Myxcqrpfv4yc{My¨qrg0ftM£whGh xquh px ¥§tw¦ycfhzxT{whdt|¥]quvwcay±·c{wpq}«hT ¬#qryc¼g¤{wpatw~fp£_{wq}{|srhG<{|p¥§hT¬xtwp©Ey{|payT°<¹hTx twp±·tw«hT<{|pycfqr/tw«hT<g¤{Myxcqrpfv!{|h ¶zU±Þxtwg0fsuhyh MWO·´]¬#cfqrsuh¥§tI~fyc«±·tw«h g¤{Myxcqrpfvqu4«hGxq}f{|fsuhf~fy4¶ *zZEb QEº U±½c©{| MÎi O·° .ftw tIfh #{|tM£who¥§tw~fzq²yoqu<yqusus+twh p¼¬#chych <cfquvwch ±½tI«hT#g¤{Myxcqrpfv¤q}<«hGxq}f{|sr0h MIU5U O½°d#hTx h paysu ,+tI{I«h 4c{I%cftM¬#p¸yc©{MycfquvwcfhT±·tw«hTohy{M±·g¤{Myxcqrpfv/q}4~fp«hGxq}f{|srhI´+f~«ykycfq}«thTp yqrg0fsu {wpIycfqupfv¤{|tw~«y<«hGxq}f{|fqusuq²yEtw¥ycfh%hy{|±½h y{0x {I/h MIUT3 O·° Dzqr{My{f´ Z{|g¤{wf{¼{wp@ Dz{w{wt M)UT O¨c{_£IhEy~«quhTycfhxtIg0fsrh ª«q²yEsu{wpfx {w©h¤tw¥ycfhhTx twp± tIfh kg¤{|yxcfqupfv¾tIfsrhTg ¬#q²ycµhT©hGx.y*yt¸h £Ih {|s¨hGEyq}x.yqrtIp ´6q½° hI°®pa~gkh 0t|¥zhTx twp±·tw«hT £M{wq}{|fsuhTT´p~fgkh #tw¥,t«x x ~fhTpxhG¨tw¥£M{|q}{|fsuhTT´«vwtw~fp©´a¥§~fpx.yqrtIp«±½¥§hThw´ff~fy<pft|y<y{Myqr³©xT{Myqutwp+° ~fzqrpayhThGEy#¥§tI#ychEy{|yqr³hT!¥§{|vwg0hTpIy<c©{w#h hTpg0twyqu£_{|yhG/aycfhkhG~fsrydtIpycfhkfhTxq}± {wfqusrqryE®t|¥zy{Myqr³hGµxtIpayhªy*~fpfqr³©x {|yqutwp MÎiwi´¦iw«´6=i U O·° zycfh ¥§{|vwg0hTpIyk¬#ch h~fpfqr³©xT{Myqutwpµqu fhTxq}f{wfsrh%{whycfh4£M{|qryEi¥§{|vIg0h paPy MIU WO o{wpycfhoyE¬¨tw±·x twpayh ªy±·£_{wq}{|srh#¥§{|vIg0h paPy MÎi| O½´f¬#ctIh x twhGtwp©«qrpvkg¤{Myxcfqrpv*tIfsrhTg¤d¬¨h%{|s}t0x twpq}«h G°
(33) 8:$,# >"%$, #= ¢ h¤{w~g*h*{³ªhG¾qup«³pq²yh0hy X t|¥ Ýqrp©«qr£q}«~{ws £M{|qu{wfsuhTT´]{³fª«hT¾qrpf³pfqryh¤h y C tw¥¨xtIpayhªy £M{wq}{|fsuhTT´_{|p%{d³ªhG%h y Σ t|¥«¥§~px.yqrtIpkg©tIsutw¥«³fª«hT%{wqryEw° ¢ hZ¬#qususI~h x, y, z ¥§tI+qup«qu£qu«~©{|s £M{wq}{|fsuhTT´ X, Y, Z ¥§tIox twpayh ªy£M{|qu{wfsuhTT´ a, b, c, d ¥§tIox twpy{wpayz{wp f, g, h ¥§twot|ycfh z¥§~fpx.yqrtIp gktws} ° E ÝtwZE~E+y #{|hkx twpy~x.yhT!¥§twg&ycfhk£_{wq}{|srhG<{|p¼¥§~fpx.yqrtIp¾ag©tIsu qup ycfh/~~{wsd³y±·tw«hT*¬d{_w´¨¬#cfh h¼xtIpIyhªy¤£M{|qu{wfsrhG0{|hx twpqufh hT {w0g0twp{I«q}x¥§~fp©x.yqutwp gktws} ° 8
(34) !qup¤{oyhTg qu¦{4hT a~fhTpxh#tw¥tIq²yqr£Ih#qrpayh vwhT,yc{My¦qup«q}x {|yhG6ycfh<{wvI~fg0h pay ¬#ch htIpfhofhTxh p©fqrp{yh g yt*hG{wxc¤ycfh4©taqryqutwp+° .twdhªf{wg*srhI´Iycfh a qu#{|ytIq²yqrtIp 2.1 qrp {|p qu#{|y<©taqryqutwp ´ycfh%tt|y#©taqryqutwp+° f (b, g(a)) quf¤{¾yhTg ¬#qryc{ qupfvwsuhtxTx~fh px ht|¥zycfh¼©hGxq}{|sdtwh {Mytw ´¦ycfh "8 )I°b+t hTg0fc{wq h4yc©{My{*yh g C q}z{¤xtIpayhªy<¬h%¬#qryh C[ ] twUE~©Ey C[] ° QÞp¼©{|yq}x~fs}{|#¬h%¬#qrsus+g0taEy tw¥^ychzyqrg0h4¬#qryh ¥§tI X( ) ° x twpayh ªay C[] g¤{_0ho{wffsuqrhG¤yt0{kyh g t ´¬#qryyh p C[t] ´f{|p ycfhkhT~fsryoq}zycfhkyX[] h g xtIpquyqupfvtw¥ ¬#q²yc h su{IxhT/ ° ¢ h*hTx q²¥§/ycfh*©taqryqutwp t|¥Z{ ~f«yh g t qrpq}«h%{¤xtwpayhªy#a C[t/p]C° 8!5Zt|¥U{kyh tg t qu<{wpxtwpayhªy C[] ~xcp yc©{My ¥§tw¨twg0hzx twpayh ªy D[] {|p©*yh g t ° ¢ h<¬#qrsus~©h s, t, l, r ¥§tI¦yhTg¤ZtwZx twpayh ªay ´a{|p t = D[C[t ]] § ¥ w t < x I t a p yhªy ° C, D. Õ½ËEÌÝÔ#+ÍÎÐMÓÇÕ½Õ½Ë<ÍÎÓ.Õ½ÐÉ_Ç_ÕdÌÝÓTÕ½ÓÉGÒË ÉM_ÇÌÝáÓTÇÓÒ6ÓÇÒ,a×|ú_ÇËEá+ÈEÍÎúMÇÈ·ÇÖ Ê_Ð_ÍÎðÎÓÍ ÕÑî0ðÎËEÓú Ò,.ËEáÝú%Õ½ÌQÇÊÕ½î<Í _Õ½ËÉ_úËZÈEÇÓ.íGÐ ÕQÕQÉ_ËÞÓ.÷TÌEÕ<Ù íGÐ_Í MÈÇÕ½ÍÎÓ.ÐÍÎÐ*ÕQÉ_ÍÎá _Ç wËEÌdÍÎá |Ç ËEúa×á½ÍÎÐ_ÈEË<Õ½ÉGË >. +;. . . . <. . <. , /<. *. 2. >. 2. 2. 0. ýý Ð Zfìå.ç.æ. <
(35) . 2 0.
(36) Y. ".
(37) "8
(38) . ¢ h¨{wsutzxtIpqu«hT
(39) 8! w´ ¬#cquxc{whUyh g¤+¬#qryck{wp{|fqry{|zp~fgkh t|¥ft«x x ~fhTpxhG tw¥ycfhcftwsuhw° C 8
(40) 8!]qu,{#g~fs²yq²±ÞxtIpayhªy+¬#qryc*{My+suhT{IEyyE¬¨tzcftwsuhTT° ¢ hZ¬#q²yhZgk~s²yq²± x twpayh ªy¦{I C[ , . . . , ] °U¹«~xc{%g~fs²yq²±ÞxtIpayhªy¦g¤{_*©h£aquh ¬hT¤{I¦{hTx twp0tI«hT¦s}{|gk]f{4yh g ¬#cfhTh4ycfh%©tI~fp£M{|qu{wfsuhT t«x x~#hT{wxchªf{Ix.ysutIpxh%{|p© λx . . . λx C[x , . . . , x ] qup¯suh¥Ñy±½ytw±½quvwcay%tw«h G°!¹t f [ , ] xtIhTtwpfoyt λxλyx f, .(x,. . ,y)x f~«ypft|y%yt λxλy f (y, x) ° ¢ h g¤{_/h fs}{wx hk{~fhyot|¥ZcftIsrhGzyhTg¤¬#qryqupfv¥§tIqupy{|p©xh . . , s , . . . , s , . . . ] ¬#ch h ycfhk«twy<y{wp!¥§tw<ctwsuhTT° ¢ cfhTh¬h%pfhThTyt¤hg0twh%fhTx quh4¬¨h%C[. ¬#q²yh ¥§tI cftwsuhT<{wp ¥§tI%ych i±Qyc¯cftwsuhw°/¶<twyh0yc©{Myk¬h«t¼pftwy{|susutM¬
(41) £M{|qu{wfsuhT4yc{Myy{wp¸¥§twg~fsryqrk±·x twpayh ªay ´6{|p© yc{My#ycfh h%{|h4pft0cftwsuhTdqup C[ , . . . , ] ©hGq}«hT#ycfh%tIpfhTdqupqu«hoycfh a~{wh4f{wx (Ihy ° ; *q},{g¤{|fqrpfvz¥§tIgqrp©«qr£q}«~{wsa£M{wq}{|fsuhT+ytyhTg¤,{|p¥§tIg xtIpIyhªy£M{wq}{|fsuhT ytxtIpIyhªyT´©~xcyc©{My{wsrs^~«y<³pfqryhTsrg¤{|pqup«qu£quf~{|s£_{wq}{|srhG#{|h%g0{wfhTytycfhTg0h su£whG ´ {wp¾{wsrsU~«y4³pfqryh sug¤{|px twpayh ªay4£M{|qu{wfsuhTo{|hg¤{|©hGytycfh g¤h su£whT4{wffsuqrhGytycfh0cftwsuhw° ¹«~fyqry~«yqrtIp<{|hohªyhTp«hT!yt0yh g¤#{w¥§tIsrsutM¬< *. . ,. ,. 2. n. 1. . *. . <. . 2. n. 1. n. 1. 2 2. 1 k 2. <
(42) <. 2. . 2. 2i. 2. +. f (t1 , . . . , tn )σ = f (t1 σ, . . . , tn σ) xσ = σ(x). z¶ t|yhyc{Myz~fyqry~fyqutwp<xT{|pfpt|y#qrpayt««~x h4tw#h g0tM£whocftwsuhTT° ! 8 q}0{|p hT a~{|yqutwpµhyE¬h hTp x twpayh ªyyh g0T´¨{wp { 8
(43)
(44) qu0{wp hG a~{MyqrtIp¤©h yE¬¨hTh pxtIpayhªy ° p 8 s ≈ t qu¨{|phG a~{MyqrtIp¤©h yE¬¨hTh p¤gk~s²yq²±ÞxtIpIyhªyT´a¬#cfquxc vIh pfhT{wsrq hGyhTg {|p©¼xtwpayhªyzhT a~{|yqutwp^° ~f©Eyq²y~«yqutwp σ q}o{ ; t|¥¦{|p¼hG a~{MyqrtIp s ≈ t qr¥ °
(45) "##$ 8
(46)
(47) qu0{wpµhT a~{|yqutwp ¬#cfhTh «thGp y¤xtwpay{|qupP{|p¥§h h £M{wsσq}{|f=suhTTtσ°Ubdc~ σ qu<{¤twsu~«yqrtIp!tw¥6{*g¤{Myxcfqrpv¤hT a~{MysqrtI≈p st≈ t q²¥ sσt = t ° !"#%$ C )
(48) q}z{¤x twpME~px.yqrtIp¼t|¥Ug¤{MyxcqrpfvhT a~{MyqrtIpT´{|pycfh Wt|¥¦{|p/qupEy{|px hq}#ychp~fgkh tw¥6¥§~fpx.yqrtIp{|p/£M{wq}{|fsuhag©tIsu<q²yx twpay{wqrp© °db+¬t¤qupEy{|px hT<{wh ; 3 ) 8#qr¥UycfhT!c{_£Ih4ycfh {|g0hzhyt|¥+twsu~«yqutwp© ° !";%$ C ) q}Z{khyt|¥^qupy{|p©xhTT´I{wp0ycfh a~fhGEyqrtIp¤¥§tw{vwqu£whTp qupy{wpxh¤q}¬#cfh ycfhTqrykqutIsr£M{wfsrhI° ¢ h¬#qusrs{|s}txT{|susUycfhsrh ¥Ñy±·c{|p¯q}«hT%tw¥<{|p®qrp©Ey{|px h¤ycfh 8 4{wp%ycfhdquvwcay±½c{wpqufhTycfS h !f°Ubdcfh 8 S ) ÝhG+°TycfSh 5
(49) )5 ,tw¥ {g0{|yxcfqupfvftIfsuh g tw¨{wp{|suvwtIqrycfg ¥§tw¨q²ydq}Uychox twg0fsuhª«q²yE*¬#cfhTh<tIpfsuycfh a~fhT §hT^°Iycfh {My{ ¨£_{wquhT#{wpycfhf{|y{ §hT^°ycfh a~fh Zq}d³fª«hG° Ä ZÄ Ý Ä 8 "8 +5 H
(50) I E
(51) ≥ 2 "8 (X(t))σ = σ(X)[tσ].. . +. . +. >. < * . . .
(52) <. <. +. . ) +*. +.
(53) . . . . . . ,), /<. < <. '. *. . . (< . <. +hy h h{¥§~fpx.yqrtIp¼gktwstw¥6{wqryE k ≥ 2 ° ftI<{*x twpME~px.yqrtIp s ≈ t ∧ . . . ∧ s ≈ t y{5(wh 1. n. 1. ½i .ftI{vIqr£Ih p®yh g hT a~{MyqrtIp hG a~{MyqrtIp^°. ) +*. , *. . . *. . ,*. *. . . . .
(54) ;
(55) +8
(56) <P "= + < <
(57) ; ' *) 8 ! .
(58) ! 8
(59)
(60) "= < <S +; ' *) 8K 8!5E8
(61)
(62) . E , U .. (,. . . +. . :,. . . y{
(63) (Ih. . 8
(64)
(65) C. . n. {Iycfh!x twpayh ªy. h(s1 , . . . , sk−1 , h(sk , . . . , h(. . . , sn ) . . . )) ≈ h(t1 , . . . , tk−1 , h(tk , . . . , h(. . . , tn ) . . . )). s ≈ t. h(2, s, . . . , s) ≈ h(2, t, . . . , t). 2. Ï ý ÏÑþ.
(66) .
(67) !"#%$. Ä ZÄ Ý Ä 8 "8 + E ;8! 0W ! "8 !";%$ 8
(68)
(69) S 8 !
(70) ; ) 8E! 8
(71)
(72) E k<h fs}{wx hycfhcftIsrh0tIpt|yc¯q}«hTt|¥ycfh¤hG I~©{Myqutwp¸{¼x twpy{wpIy%pftwyt«x x~qrpv!qup®ycfh tIfsrhTg/° 2 Q·¥6¬¨h%c©{_£wh4{|phT a~{MyqrtIp!hyE¬h hTp/gk~fsryqr±·x twpayh ªyT´ahI° v©°.
(73) . #6.
(74) . . ,), /<. <. . . . . ) +*.
(75) . . . . ' *. < .
(76) <. . . * <. . . . . C[f (C1 [2], C2 [2])] ≈ D[g(D1 [2], D2 [2])],. ycfh p¼hTq²ycfh f 6= g {|pycfh h%q}<pfttwsu~«yqrtIp^´ftwz¬¨hkxT{|p¼fsrqryzycfq}<hT a~{|yqutwp/qupIyt¤ychhT a~{|yqutwp ´ {wp ´MhTf~xqupfv#ycfh¨g~fsryqr±·x twpayh ªay,hT a~{|yqutwp4yto{|phG a~fqr£M{wsrhTpIy C[] x twpME≈~pD[]x.yqrtIpCtw¥[] x ≈twpaDyh ªa[]yhG a~C{MyqrtI[]p≈ °/DQÞp[]ycqu%¬d{_¬h¤x {|ph suqug*qup{|yh{|sus¦ftwh %g~fsryqr±·x twpayh ªay ´ h h4¦twtIqryqutwp UTk¥§tw<{*¥§twg¤{|syhT{|yg0h payG° x twpayh ªay¦g¤{|yxcfqupfv4ftwfsuh g qupy{wpxhdq}¦x {wsrsuhT
(77) qr¥hG{wxc*£M{|qu{wfsrhdt«x x ~f,{|y¦g0tIy6tIpxh {wp
(78) 5
(79) %qr¥6{wsrs]¥§~px.yqrtIp/gktws}dt«x x~qrpvqup/q²y<c{_£Iho{wp¼{|q²yE¤tw¥6{|ydg0taEy<tIpfhw° bdcfh 3
(80) ) C Xtw¥^{|p¤t«x x ~fh p©xhdqrp!{oyh g qu¦ycfhohG I~h px h#t|¥^xtIpIyhªyZ£M{|q}{|fsuhTUtIp0ycfh ©{Myc¾¥§tIg&ycfh0tatwyo«tM¬#pyt/{|p¾qrpx sr~©«qrpvyc{My4t«x x~h px hw° xtIpayhªyog0{|yxcfqupfvftwfsuh g qupy{wpxhq}zxT{|susrhG
(81) qr¥U¥§twzhT{wxc¼qup«qu£quf~{|stwzx twpayh ªay£_{wq}{|srh{wsrstxTx~fh px hT#tw¥,yc{My £M{wq}{|fsuhoqrpych%ftIfsuh gc{_£Ihzycfh{|g0h4£_{wq}{|srh4fh³fª°
(82) À "= ) 1. 1. 2. 2. *. . '. ) +*. ,. <. :. ,. . ) +*. . X(f (Y (g(a, x)), Y (g(x, Z(z))))) ≈ f (g(a, b), b). < < "= ' #$ "=, X
(83) "= , X . . X Y. "=, . . XY. "=, . x. "8 C, X. . XY x Z. XY Z. XY Zz . z.
(84) À :. <HC < < . X(Y (2)) ≈ f (g(2)) ∧ Z(X(2)) ≈ h(f (2)). +; < " "= ' ) +*)-,C X#. X. <. X. C. ZX . Ä ZÄ Ý Ä
(85)
(86) 8!
(87) "##$ C ) "8
(88) E =
(89) 8
(90) ; E ¹«~fftIh q}{wpqrpy{wpxh¾t|¥xtIpIyhªyg¤{Myxcfqupfv° QÞp { twsu~«yqutwp hG{wxct|¥4ych¾{My g0taEy |l| xtIpayhªy4l£M{|≈qu{wrfsrhGoqrp l c{wyth¤qupEy{|payq}{MyhT¸¾{/~f]xtIpayhªy%qup r ´tw¥¨¬#cfq}xc¸ycfhTh {wh ° pxhx twpayh ªay£M{wq}{|fsuhT%{wh¤qupy{wpIyqu{|yhG¾ycfh hq}{Myg*taEytIpfhtwsu~«yqutwp¥§twkycfh qup«qu£O(|r| quf~{|s)£M{|q}{|fsuhTT´ft*ycfh h%{|h4{|y#g*taEy O(|r| ) tIsr~«yqrtIpT° 2
(91) À "# # I "= "8 K "= / 8 C
(92) =
(93) ) S
(94) "##$ I "= "8 P 8 5 + ÓÕQË]Õ½É_ÇÕÕQÉ_ËáÝÕ·ÇÐ_ú_ÇÌQú¨ú_Ë MÐ_Í ÕQÍÎÓ.ÐËÞ÷GÈEðÎí_úGËáfà.ÇÌÝÍ ÇÊ_ðÎËEá©ÇÕ«Õ½É_ËÓ ÈEÈEí_ÌQÌÝËEÐ_ÈEËÍ ÕQá½ËEð ÒÝÙ ï É_ÍÎá«ú_Ë MÐGÍ Õ½ÍÎÓ.ШÍÎá«Ë í_Í àÇðÎËÐÕ ÒuÓ.ÌÕQÉ_ËUú_Ë MÐ_Í ÕQÍÎÓ.Ð4ÓÒfáQÕQÌQÇÕ½Í MÈÇÕQÍÎÓ.ÐÇÐ_úoáQÍÎÔ _ðÎÍ MËEá]ÕQÉ_Ë6Õ½ÌÝËÇÕ½Ô#ËEÐÕ,ÓÒ Ê|ËðÎÓ¦Ù.
(95) . . . ,. . ) +*. /<. . . /<. ,. * *. . . =< * .
(96) <. . . 2. . 2|l|. :.
(97) <. . ýý Ð Zfìå.ç.æ. . <. . . ,*. <. <. :,. *. '. . . 4*. ,. . * *. . <. . . <. ,. ) +*. +* . <. * . * *.
(98) . " .
(99) "8
(100) . C ) +*) <S ! 0 "# < ,8 ,8 #,C
(101) S "= ' ) +*) $ 8 < 55 << C+* * ,8 ! < C5 k "8 *
(102) 8!+8 ,. ,*. . . . !". . . X1 Y1 hX2 Y2 h . . . hXn Yn (a) ≈ ghgh . . . hg(a).. "= 0 <+ "= < 0
(103) <
(104) " < 5< "8 ' ) +*)<
(105)
(106) * "= << 0 "8 + S 4 ,8/< < *I(< *h;
(107) < . "=,=
(108) ' *)< g. X i , Yi. Xi. "8 < * ; ,=
(109) 8 *.
(110) / <. . 2. Yi g(2). g(2). 2. C C 58,= * E "=
(111) . < * ;
(112) <S <. 2n. K " . <. . ®!#"$
(113) 0 13"4,5,79= 8
(114) ,^qupfhG{|z»¨twpayh ªyzº{Myxcfqrpv ,,»º
(115) suqrpfhG{|#xtIpayhªy<g¤{Myxcfqupfv0hT a~{MyqrtIp s ≈ t °
(116) QE s ≈ t twsu£M{|fsu!h ,+qrphT{|oxtIpIyhªyzg¤{Myxcfqupfvq}{wp¼qrpayh hTyqupfv©hGxq}{|s6x {whtw¥Zxtwpayhªyg¤{Myxcfqupfv¬#cfhTh£M{wq}{|fsuhT xT{|phdhTvI{w«hG%{w¬#qrs}fxT{|f^¥§tI,x twpayh ªyT° ¢ hdxT{|pktwsu£wh¨srqupfhG{|6xtwpayhªy,g¤{|yxcfqupfvztIfsrhTg¤+ fap©{|g0quxftwvI{wg0g*qupfv©° ¢ h#~fqrs}¤{y{wfsrhd¬#cfq}xc*¥§twUhT£wh {wqrUtw¥{%~f«yh g tw¥©ycfh#srh ¥Ñy±·c{|p© q}«h{wp{k~f«yh g t t|¥ychqrvIcayZc{|p©q}«ht|¥ychftwsrhTg hTx twf¦¬#cfh ycfhT ss g¤{MyxcfhT t ° ¢ h {I~fg0h%yc{My¥§twzhT£whT~ffyh g ¬¨ h (aptM¬ ¬#chych <ycfh hq}{cftwsuhkqup¼q²!y "]ycfq}<qup«¥§tIg¤{MyqrtIpx {wp hxtIg0f~«yhGqup/srqupfhG{|dyqug0hw°¦bdcfh4y{|fsuh%q}df~fqus²y<hTx ~fqu£wh su0¥§twg ycfh%©twyytwg2~ # Q·¥ s qu#{wpqup«qu£aq}«~{ws^£M{|qu{wfsuh<ych pycfh%{wp¬h dq}dwhG¨qr¥U{|ptwpfsuqr¥+ych hoq}dpft0cftIsrh4qup t ° # Q·¥ s = f (s , . . . , s ) {wp t = g(t , . . . , t ) ycfh pycfh*{|p¬¨hTzq}<IhT<qr¥Z{|p©¼twpfsuq²¥ f = g ´ {|p s g¤{MyxcfhT t ¥§tI 1 ≤ i ≤ m ° m=n # Q·¥ s = ych pycfh{wp¬¨hTq}#IhTdqr¥6{wptIpfsuq²¥ t = ° # Q·¥ s = X(s ) ycfh pycfh{|p¬h dqudIhTdqr¥6{wp!twpfsuqr¥ s g¤{|yxcfhG#tIg*h4~f«yhTg t|¥ t ° ,+hy h/ycfh¼q Th!tw¥zycfh/ftIfsuh g/° ¢ h/c{_£wh y{|srh/h payquhT*t|¥4xtIpEy{|pay¤q hI´Z{|pµyt x twg0fn~«yhhG{wxc!h pay¤¬¨hopfhThT{Mydg*taEy O(n) yhTO(n T° Dz)h px hoycfh%{|suvwtIqrycg ~©hG O(n ) yqrg0h%{|p© {wx hw´«{|p©suqrpfhG{|#xtIpayhªydg¤{Myxcqrpfv*q}dqrp!,°©¶<t|yhzyc{Mydycfqud¬tw~supft0srtIpfvwhT¨cftIsuq²¥,¬¨h O(n ¬h h)yt{|susutM¬ £M{|qu{wfsrhG¨¥§tw<g~fs²yq²±ÞxtIpayhªy ° . . m. 1. i. 1. n. i. 2. 2. 0. ?>. 0. >. 2. 3. 2. Ï ý ÏÑþ.
(117) .
(118) !"#%$. $6"=+M %$U >"4 7 $,, M %$
(119) 0213"456!7
(120) »¨twpayhªy<º{Myxcfqrpv·»º
(121) xtIpayhªy#g¤{Myxcfqrpv*tIfsrhTgqupEy{|px h P °
(122) QE P tIsr£M{|srh Z£wh pkycftI~fvwc*xtIpIyhªy6g0{|yxcfqupfvoqu6¶zU±½c©{|qupkvwhTpfh {|s½´_q²yUq},pfh £Ih ycfhTsrhGqrpayh hTyqupfvzytofh £whTsrtI {Ix.yq}x {ws¦{|suvwtIqrycfg¤o¥§tIq²yG´,{I4¬¨h¤ctwh¤yc{|yg¤{|p¾f{wxyq}x {wsrsuqupIyh hTyqupfv/qrp©Ey{|px hT%¬#qusrs¨©h twsu£M{|fsuh#hT{Iqusukh ptw~fvIcyth<~h¥§~fs½° ¢ h<¬#qusus³y¦vwqu£wh<{%vIh pfhT{wsf{|suvwtwqrycfg
(123) ¥§twZx twpayh ªay¨g0{|yxc«± qupfvoqrp*ycfquUhTxyqutwp^´I{|pycfhTp*qupycfh¥§twsusutM¬#qrpfv4hTx.yqrtIp,g0tfq²¥§*{|phªyhTpq²y6yt4g0twhh xquh paysu twsu£wh4twg0h4hT{wxT{whTT´{wp/«q}x ~ycfhxtIg0fsrh ª«q²yEtw¥,©hGxq}{|s^xT{whTdt|¥6xtIpIyhªy#g¤{Myxcqrpfv©° ¢ h!vIqr£Ih~fsuhTk¥§twx twpayh ªyg¤{Myxcfqrpv¾ftwfsuh g¤*xtIpq}yqupfvt|¥o{¾xtIpME~fpxyqutwp tw¥zhT a~{|yqutwp hyE¬h hTp gk~s²yq²±ÞxtIpIyhªyyh g0¬#cftah!quvwcay±·c{wp®q}«hq}vwtw~fp^°¸#~fsuhT*{|h{wffsuqrhG¯g0tf~fsrt {It«xq}{Myqr£qryE{wp¾x twg0gk~«y{Myqr£qryE » <tw¥ ´qQ° hw°u´qrvIpftwqupfv¤ychtI«hTztw¥ZhT a~{|yqutwpqrp{!x twp«± E~px.yqrtIp^° ¢ cfh p {®~fsuh!¥Ý{wqrs}0qryhT¬#qryhG0q²y∧¤srh ¥Ñy±·c{|p© q}«hyt ⊥ ° ¢ h/³yvwqu£wh/«twp y±Þx {wh ptwp«h yhTg0qupfquyq}xo~srhGyc{|y<g0{_©h{wffsuqrhGhG{|vwhTsu À Ä
(124) ZÄ À q²¥ t = g(t , . . . , t ) ´ f =f (sg {w,p. . .m, s=)n≈"t|ty→ch s¬#qu≈hzt¥Ý{wqr∧s½° . . . ∧ s ≈ t ¼Ä À À Ä
(125) ZÄ À q²¥ C[] = "ft|ycfh ¬#quh¥Ý{|qusQ° ≈ C[] → > Ý Â Ä À Ýf C[ ] ≈ D[ ] → ⊥ q²¥ m 6= n ° À
(126) À ©À q²¥ s = t "ft|ycfh ¬#q}h¥Ý{|qusQ° x ≈ s ∧ x ≈ t → x ≈ s Ä À À ©À q²¥ C[] = D[] "«t|ycfh ¬#quhoX[] ¥Ý{|qusQ° ≈ C[] ∧ X[] ≈ D[] → X[] ≈ C[] Ä À
(127) f À q²¥ s 6= {|p t = C[t ] "ftwX[]ycfhT≈¬#C[] q}hz¥Ý∧{wqrs½X(s) ° ≈ t → X[] ≈ C[] ∧ s ≈ t ¶zt|yhyc©{My qu*{|pµhT a~{MyqrtIp¯©h yE¬¨hTh p g~fsryqr±·x twpayh ªay ´U{wpyc{|y t x {wp¯©h/xtIg0f~«yhG¯qup suqupfhT{wdyqug*hIs° ≈ t .,qup{|susr¼¬h*pfh hG¾{ftwp y± (pftM¬pftwp©«hyh g*qupfq}Eyqux~fsrhkyc{|yohT a~fquhT{wx (ay{wx (qupfv¤tM£whT{wsrs {wffsuquxT{MyqrtIp « Q« À § q²¥ s 6= {|p t = C[t ] ° X(s) ≈ t → X[] ≈ C[] ∧ s ≈ t . ;. . 1. m. 1. m. 1. m. n. 1. 2. 2. . $. . $. . . 2. m. 2. n. !. $. $. . . . . !. . . 0. 0. 2. 0. 0. 5. +. . . . 2. ýý Ð Zfìå.ç.æ. 0. 0.
(128) G U. " .
(129) "8
(130) . xtIpayhªy*g0{|yxcfqupfvftwfsuh g q}qup
(131) qr¥{|susdq²y*hT a~{MyqrtIp*c{_£whycfh¥§twg tt X[] ≈ C[] {wphT{Ixc£_{wq}{|srh¼t«x x ~f{Myg0tIytIpxhI° bdcfhTh¼q}{wptw£qrtI~¤twph±½yt|±·xtwp≈h I x twhGtwp©«h px hzhyE¬h hTp/twsu£whG¤¥§tIg¤#{|p©~fyqry~fyqutwpT°
(132) À "# # I ! # ; 8
(133) "=
(134) . <. :. * %$ ". /. "= <. . . <. . . . .
(135) 8!. . ,*. * * <. !";%$. ,. *. . *IS),* ,8/< ,8*IS/ < ) , * 8!5 *
(136) ,8/ < *) + ,= < . *. . <. <. . . . X[] ≈ 2 ∧ Y (a) ≈ ga ∧ Y (g 2) ≈ f (a, g 2) X[] ≈ 2 ∧ Y [] ≈ g 2 ∧ a ≈ a ∧ Y (g 2) ≈ f (a, g 2) X[] ≈ 2 ∧ Y [] ≈ g 2 ∧ Y (g 2) ≈ f (a, g 2). *. . X[] ≈ f (ga, 2) ∧ f (Y (a), Y (g 2)) ≈ f (a, g 2) X[] ≈ f (ga, 2) ∧ Y (a) ≈ a ∧ Y (g 2) ≈ g 2 X[] ≈ f (ga, 2) ∧ Y [] ≈ 2 ∧ a ≈ a ∧ Y (g 2) ≈ g 2 X[] ≈ f (ga, 2) ∧ Y [] ≈ 2 ∧ Y (g 2) ≈ g 2 . X[] ≈ f (ga, 2) ∧ Y [] ≈ 2 ∧ g 2 ≈ g 2 X[] ≈ f (ga, 2) ∧ Y [] ≈ 2 ∧. ¢ %h pftM¬AftM£Ihzycfh%xtIhTxypfhGt|¥,ych{|suvwtwqrycfg/° ¨À
(137)
(138) "=/ 5
(139)
(140) ! 8 S I E qup©hGx.yqrtIp^° ¨À
(141)
(142) P S0
(143) "##$ ). 2. ≈2. X[] ≈ f (ga, 2) ∧ Y [] ≈ 2. . . . X[] ≈ 2 ∧ f (Y (a), Y (g 2)) ≈ f (ga, f (a, g 2)). . 1. , /< <. )
(144) < 5 S "=++8 . , *. . 4,8/< < * <
(145) %+;
(146) . *IS),* ,8/< ,8*IS/ < ) , * 8!5 *
(147) . . S#. 4<. . X(f (Y (a), Y (g 2))) ≈ f (ga, f (a, g 2)).. . . <. . *'. <. . *. <. < 3' "8 < E4< * ;
(148) < ,. . . 2. 1. 4, ) +* C =*) "=S
(149) 8! !";%$ C ) +*) <E)
(150) F * *,=< < +*) ,),*
(151)
(152) <K P 1 , . *).. ,)P,n* !P !"#%$H+8 "8 <
(153) < ; 0 <P(P< * ; F
(154) / * S <F (< * ; < . ,. . P. 1 ≤ i ≤ n. Pi. kbdchx twpayh ªay0£M{|qu{wfsuh!{My*ychtt|y0gk~y0©h¼~fyqry~«yhTPa twg0hxtwpayhªyT° .tw0hT{Ixc tIqrfsuh%xcftwq}xh4tw¥,{0xtIpIyhªydycfhTh%q}#{0xtIhT©tIp«qupfv0{|ffsuq}x {MyqrtIp!tw¥ {wq}{|fsuh¹fsuq²yG° 2 ¨À
(155)
(156)
(157) !";%$ C ) 0
(158) P 3 "= "= ) 0 E . 1. 3. . ,), *. ) +*). . . ,. ) +*. . <. < * '. . . . * <. . Ï ý ÏÑþ. <.
(159)
(160) !"#%$. UU. E SQ·¥+ycfhThqud{|phT a~{MyqrtIp¬#qryc!{«q hThTpIydp~fgkh t|¥cftwsuhT¨twp¤ycfhosrh ¥Ñy±¦{|ptwp¤ycfhoquvwcay± c©{|p®qu«h0ycfh p®¬h{|fsr¾º~fs²yq²±»¨twpayhªy*»¨su{Ic+° ¥Ñyh h ªc©{|~yqu£wh¤{|fsrq}x {|yqutwp®{|sus¦hT a~{|yqutwp c©{_£whycfh{|g0h4p~fgkh #tw¥,cftIsrhGdtwp©twyc¼qu«hG ° Q·¥6ych hqu{|p/hT a~{|yqutwp/¬#qryc{0¥§~fp©x.yqutwpgktws+{|y<ychttwy<t|¥,ycfhsrh ¥Ñy±·c{|p/qufh%ycfhTp¼¬¨h xT{|p¯{|fsr zhGxtIg*tIhw´,tw%qr¥dycfhsrh ¥Ñy±·c{|p¯q}«h¤qu{/cftwsuh¤¬h{|ffsu Dztwsuh zhGxtIg*tIhw° ¥Ñyh h ª«c{|~yqu£whd{|fsrq}x {|yqutwpt|¥{wsrsaycfhd~fsuhTU{w©tM£Ih¨{wsrs«hG I~©{Myqutwp©qupycfhdftwfsuh gc©{_£wh¨ycfh¥§twg x ≈ t tI X(s) ≈ t ° bt{|p¼hG a~{MyqrtIp ≈ t {|qu{wfsrhk¹«fsrqryoxT{|p/h{|fsrquhT^° ¥Ñyh ohª«c{w~yqu£wh{|fsrq}x {|yqutwp/t|¥ {wsrs]ycfh%~fsrhG#{|tM£wh4{|X(s) sushT a~{|yqutwpdqupycfh%ftwsrhTgc{_£whych4¥§twg x ≈ t tw X[] ≈ t ° Q·¥d{!£M{wq}{|fsuh tI t«x x ~fog~fs²yqrsrh*yqug0hToycfh p®b+hTgº¼h vwhtwk»¨twpayh ªy4º¼hTvIh*xT{|p©h {wffsuqrhG´«hT©hGx.yqu£wxhTsrI° X ¢ h¤xtwp©xsu~«hyc{My%qr¥ZpftIpfhtw¥¦ych*~fsuhTqu4{wffsuquxT{|fsuhkycfh p¾ycfh0ftwsrhTg&q}oqrptIsr£IhT/¥§tIg/° 2 ¶zt|yh<yc©{Mydgk~fsryqr±·x twpayh ªyZ{whoxtIpa£Ih yhGqupaytyhTg¤{|px twpayh ªy¦*ychox twgkqrp{|yqutwptw¥ {|q²± {wfsuh¤¹«fsrqry{|p hTxtIg0©tahI´^¬#cfq}xc¸hT£wh pay~{|susr¸hT{|{MyhTzycfh¤cftIsrhGotxTx~fqrpfvqup¸{w{wsrsuh sU~f«± yh g¤ ° ~fh<ytkycfh«tIp y± (aptM¬ pftwpfhyhTg0qupfq}g t|¥ {wq}{|srh4¹fsuq²yycfq}¨qu{Mych Zqupfh ¤x qrhTpay "¬¨h ¬#qusus+«q}x ~#{*hyyh zg*h ycft«qup¼¹«~fhTx.yqrtIp Vf° ° ¨À
(161)
(162) "8+ H I ! S O(n) E kbdcqu6¥§tIsrsutM¬<,¥§twg ¦twtIqryqutw p U 4qupycfh<pfh ªyZhGx.yqutwp0¬#cfhThd¬h<ctM¬ yhTg0qup{MyqrtIp¬#qryc hThTx.ydyt{|phªyhTp«hT/hy#t|¥6~fsrhG ° 2 "=P $% " "8 "=F 5
(163) K C 5 8 ) K 3P $% ÀÄ À
(164) . . . 3. 3. 3. . 1. . . . ,), *. *. <. . +;. . <. . /<. <. 8, <. . . 6. .
(165)
(166) 5/< 3' ,C ) +*) . *. . . ,), *. <. *IK),* #C /< < * ' . . . <. . . <. * <. * *
(167) < * ;
Documents relatifs
[r]
Certes, une partie de la frontière Est avec l’Iran est globalement l’héritage d’une longue histoire marquant la séparation entre le monde ottoman et le monde iranien,
Dans House of Leaves, chaque voix ou presque a son caractère propre et l’hétérogénéité typographique qui en résulte donne à voir un théâtre de voix : Times pour Zampano,
On y présente d’abord une introduction générale à la radiothérapie, puis on cible plus particulièrement la SBRT et le suivi de marqueurs en temps réel pour en venir finalement
Selon les régions, les divers types sont plus ou moins bien représentés. Sont négligées de la même manière les zones montagneuses de l'Est, les Alpes et le Jura,
Ten microalgal strains indigenous to Quebec were examined for biomass and lipid productivity under different growth modes: photoautotrophic, mixotrophic (light), and
Dans le cas où entre les objets, les types d’énonciation, les concepts, les choix thématiques, on pourrait définir une régularité (un ordre, des corrélations,
Les vaccins anticancéreux ont donné des succès cliniques limités dans le cancer de la prostate. Le vaccin de cellules tumorales GVAX en est un exemple. L'immunosuppression