トップ :: G 湿妄池 :: 

≮券汤の叹疚≯   慨规玫瑚刘弥第びその数恕  
≮券汤荚≯   ≮会叹≯络拦 帘芳

   
≮妥腆≯   ≮草玛≯骄丸よりも玫瑚稍妥挝拌を弓げ、玫瑚を光庐步する慨规玫瑚刘弥を捏丁する。

≮豺疯缄檬≯慨规玫瑚刘弥１００は、附哼玫瑚爬と铬输玫瑚爬の２つの玫瑚爬を肋年する玫瑚爬肋年婶１０１と、附哼玫瑚爬の梧击刨と铬输玫瑚爬の梧击刨を换叫する梧击刨换叫婶１０２、附哼玫瑚爬帽迫による玫瑚稍妥挝拌と铬输玫瑚爬帽迫による玫瑚稍妥挝拌とを肋年する帽迫玫瑚稍妥挝拌肋年婶１０３と、附哼玫瑚爬と铬输玫瑚爬との陵簇による呵络梧击刨を换叫する陵簇呵络梧击刨换叫婶１０４と、涟淡呵络梧击刨に答づいて陵簇による玫瑚稍妥挝拌を肋年する陵簇玫瑚稍妥挝拌肋年婶１０５と、涟淡帽迫玫瑚稍妥挝拌と涟淡陵簇玫瑚稍妥挝拌とに答づいて铬输玫瑚爬をバックトラックする涩妥があるかどうかを冉年するバックトラック冉年婶１０６と、梧击挝拌を崔んだ玫瑚貉み挝拌を冉年する玫瑚貉み挝拌冉年婶１０７とから菇喇される。  
≮泼钓懒滇の认跋≯
≮懒滇灌１≯
妈１の慨规误と妈２の慨规误とが婶尸弄に梧击する婶尸慨规误を玫瑚する慨规玫瑚刘弥であって、
涟淡妈１の慨规误Ｘ惧の玫瑚爬の疤弥第び涟淡妈２の慨规误Ｙ惧の玫瑚爬の疤弥によって山される２肌傅の玫瑚鄂粗Ｘ≥Ｙ惧の扦罢の郝筛疤弥に附哼玫瑚爬を联买し、涟淡附哼玫瑚爬とは佰なる郝筛疤弥に铬输玫瑚爬を联买する玫瑚爬联买缄檬と、
涟淡附哼玫瑚爬における涟淡妈１の慨规误惧の玫瑚岭柒の慨规误と涟淡妈２の慨规误惧の玫瑚岭柒の慨规误との梧击刨と、涟淡铬输玫瑚爬における涟淡妈１の慨规误惧の玫瑚岭柒の慨规误と涟淡妈２の慨规误惧の玫瑚岭柒の慨规误との梧击刨とを换叫する梧击刨换叫缄檬と、
涟淡附哼玫瑚爬の梧击刨に答づいて附哼玫瑚爬の件收に妈１の玫瑚稍妥挝拌を肋年し、涟淡铬输玫瑚爬の梧击刨に答づいて铬输玫瑚爬の件收に妈２の玫瑚稍妥挝拌を肋年する帽迫玫瑚稍妥挝拌肋年缄檬と、
涟淡附哼玫瑚爬の疤弥とその梧击刨、涟淡铬输玫瑚爬の疤弥とその梧击刨、第び、涟淡玫瑚岭の墓さに答づいて、涟淡妈１の玫瑚稍妥挝拌の件收と涟淡妈２の玫瑚稍妥挝拌の件收の呵络梧击刨を换叫する呵络梧击刨换叫缄檬と、
涟淡呵络梧击刨が镧猛θを亩えない挝拌であって、かつ、涟淡妈１の玫瑚稍妥挝拌と涟淡妈２の玫瑚稍妥挝拌との粗の挝拌に陵簇玫瑚稍妥挝拌を肋年する陵簇玫瑚稍妥挝拌肋年缄檬と、
を恶洒する慨规玫瑚刘弥。
≮懒滇灌２≯
妈１の慨规误と妈２の慨规误とが婶尸弄に梧击する婶尸慨规误を玫瑚する慨规玫瑚刘弥であって、
涟淡妈１の慨规误Ｘ惧の玫瑚爬の疤弥第び涟淡妈２の慨规误Ｙ惧の玫瑚爬の疤弥によって山される２肌傅の玫瑚鄂粗Ｘ≥Ｙ惧の扦罢の郝筛疤弥に附哼玫瑚爬を联买する附哼玫瑚爬联买缄檬と、
涟淡附哼玫瑚爬における涟淡妈１の慨规误惧の玫瑚岭柒の慨规误と涟淡妈２の慨规误惧の玫瑚岭柒の慨规误との附哼梧击刨を滇める附哼梧击刨换叫缄檬と、
涟淡附哼梧击刨に答づいて涟淡附哼玫瑚爬の件收に妈１の玫瑚稍妥挝拌を肋年する妈１の玫瑚稍妥挝拌肋年缄檬と、
涟淡妈１の玫瑚稍妥挝拌と脚なる妈２の玫瑚稍妥挝拌を肋年する妈２の玫瑚稍妥挝拌肋年缄檬と、
を铜し、
涟淡妈２の玫瑚稍妥挝拌肋年缄檬は、涟淡妈２の玫瑚稍妥挝拌を铬输玫瑚爬の件收に肋年するものであり、
∈１∷涟淡铬输玫瑚爬の徒卢疤弥を涟淡附哼玫瑚爬とは佰なる郝筛疤弥に联买し、
∈２∷涟淡铬输玫瑚爬の徒卢疤弥における涟淡妈１の慨规误惧の玫瑚岭と涟淡妈２ の慨规误惧の玫瑚岭との铬输梧击刨を纷换し、
∈３∷涟淡铬输梧击刨に答づいて涟淡铬输玫瑚爬の徒卢疤弥の件收に妈２の玫瑚稍 妥挝拌の徒卢认跋を肋年し、
∈４∷涟淡徒卢认跋が涟淡妈１の玫瑚稍妥挝拌と脚なるときは涟淡徒卢认跋を涟淡 妈２の玫瑚稍妥挝拌として肋年し、
∈５∷涟淡徒卢认跋が脚ならないときは涟淡铬输玫瑚爬の徒卢疤弥を恃构する、
慨规玫瑚刘弥。
≮懒滇灌３≯
涟淡呵络梧击刨换叫缄檬は、涟淡妈１の玫瑚稍妥挝拌と涟淡妈２の玫瑚稍妥挝拌の尉数を奶册または儡する涟淡妈１の慨规误数羹または涟袋妈２の慨规误数羹の木俐において、
∈１∷涟淡妈１の玫瑚稍妥挝拌の董肠俐と涟淡妈２の玫瑚稍妥挝拌の董肠俐の粗持 の墓さを玫瑚岭の墓さで充った睛、
∈２∷涟淡附哼玫瑚爬の梧击刨、
∈３∷涟淡铬输玫瑚爬の梧击刨、
∈４∷涟淡附哼玫瑚爬と涟淡木俐との库木调违を玫瑚岭の墓さで充った睛、
∈５∷涟淡铬输玫瑚爬と涟淡木俐との库木调违を玫瑚岭の墓さで充った睛、
を滇め、これら∈１∷∈２∷∈３∷∈４∷∈５∷の下を涟淡呵络梧击刨とする、
懒滇灌１淡很の慨规玫瑚刘弥。
≮懒滇灌４≯
涟淡呵络梧击刨换叫缄檬は、∶Ｘ１≥Ｘ２∶′♂∶Ｙ１≥Ｙ２∶、かつ、∶Ｘ１≥Ｘ２∶′Ｌの眷圭に、涟淡呵络梧击刨Ｓを、
∈１∷Ｙｃ°♂Ｙ１かつＹｃ°♂Ｙ２のとき、
Ｓ♂∈Ｓ１≤Ｓ２≥１∷≤∶Ｘ１≥Ｘ２∶】Ｌ≤∈Ｙ１≤Ｙ２≥２Ｙｃ∷】Ｌ
∈２∷Ｙ１♂Ｙ２でないときで、Ｙ１°♂Ｙｃ°♂Ｙ２、
または、Ｙ２°♂Ｙｃ°♂Ｙ１のとき、
Ｓ♂∈Ｓ１≤Ｓ２≥１∷≤∶Ｘ１≥Ｘ２∶】Ｌ≤∶Ｙ１≥Ｙ２∶】Ｌ
∈３∷Ｙ１°♂ＹｃかつＹ２°♂Ｙｃのとき、
Ｓ♂∈Ｓ１≤Ｓ２≥１∷≤∶Ｘ１≥Ｘ２∶】Ｌ≥∈Ｙ１≤Ｙ２≥２Ｙｃ∷】Ｌ
により滇め、
涟淡陵簇玫瑚稍妥挝拌肋年缄檬は、Ｓ°θのときに涟淡妈１の玫瑚稍妥挝拌と涟淡妈２の玫瑚稍妥挝拌との粗の挝拌に涟淡陵簇玫瑚稍妥挝拌を肋年するものであり、
芒し、Ｙｃを涟淡妈２の慨规误惧での疤弥、∈Ｘ１·Ｙ１∷を涟淡附哼玫瑚爬の疤弥、∈Ｘ２·Ｙ２∷を涟淡铬输玫瑚爬の疤弥、Ｌを玫瑚岭の墓さ、Ｓ１を涟淡附哼玫瑚疤弥の梧击刨∈０°♂Ｓ１°♂θ∷、Ｓ２を涟淡铬输玫瑚岭の梧击刨∈０°♂Ｓ２°♂θ∷とする、
懒滇灌１淡很の慨规玫瑚刘弥。
≮懒滇灌５≯
涟淡呵络梧击刨换叫缄檬は、∶Ｘ１≥Ｘ２∶°♂∶Ｙ１≥Ｙ２∶、かつ、∶Ｙ１≥Ｙ２∶′Ｌの眷圭に、涟淡呵络梧击刨Ｓを、
∈１∷Ｘｃ°♂Ｘ１かつＸｃ°♂Ｘ２のとき、
Ｓ♂∈Ｓ１≤Ｓ２≥１∷≤∶Ｙ１≥Ｙ２∶】Ｌ≤∈Ｘ１≤Ｘ２≥２Ｘｃ∷】Ｌ
∈２∷Ｘ１♂Ｘ２でないときで、Ｘ１°♂Ｘｃ°♂Ｘ２またはＸ２°♂Ｘｃ°♂Ｘ１のとき、
Ｓ♂∈Ｓ１≤Ｓ２≥１∷≤∶Ｙ１≥Ｙ２∶】Ｌ≤∶Ｘ１≥Ｘ２∶】Ｌ
∈３∷Ｘ１°♂ＸｃかつＸ２°♂Ｘｃのとき、
Ｓ♂∈Ｓ１≤Ｓ２≥１∷≤∶Ｙ１≥Ｙ２∶】Ｌ≥∈Ｘ１≤Ｘ２≥２Ｘｃ∷】Ｌ
により滇め、
涟淡陵簇玫瑚稍妥挝拌肋年缄檬は、Ｓ°θのときに涟淡妈１の玫瑚稍妥挝拌と涟淡妈２の玫瑚稍妥挝拌との粗の挝拌に涟淡陵簇玫瑚稍妥挝拌を肋年するものであり、
芒し、Ｘｃを涟淡妈１の慨规误惧での疤弥、∈Ｘ１·Ｙ１∷を涟淡附哼玫瑚爬の疤弥、∈Ｘ２·Ｙ２∷を涟淡铬输玫瑚爬の疤弥、Ｌを玫瑚岭の墓さ、Ｓ１を涟淡附哼玫瑚爬の梧击刨∈０°♂Ｓ１°♂θ∷、Ｓ２を涟淡铬输玫瑚爬の梧击刨∈０°♂Ｓ２°♂θ∷とする、
懒滇灌１淡很の慨规玫瑚刘弥。
≮懒滇灌６≯
涟淡呵络梧击刨换叫缄檬は、∶Ｘ１≥Ｘ２∶′♂∶Ｙ１≥Ｙ２∶、かつ、∶Ｘ１≥Ｘ２∶°♂Ｌの眷圭に、涟淡呵络梧击刨Ｓを、
∈１∷Ｙｃ°♂Ｙ１かつＹｃ°♂Ｙ２のとき、
Ｓ♂∈Ｓ１≤Ｓ２∷≤∈Ｙ１≤Ｙ２≥２Ｙｃ∷】Ｌ
∈２∷Ｙ１♂Ｙ２でないときで、Ｙ１°♂Ｙｃ°♂Ｙ２、または、
Ｙ２°♂Ｙｃ°♂Ｙ１のとき、Ｓ♂∈Ｓ１≤Ｓ２∷≤∶Ｙ１≥Ｙ２∶】Ｌ
∈３∷Ｙ１°♂ＹｃかつＹ２°♂Ｙｃのとき、
Ｓ♂∈Ｓ１≤Ｓ２∷≥∈Ｙ１≤Ｙ２≥２Ｙｃ∷】Ｌ
より滇め、
涟淡陵簇玫瑚稍妥挝拌肋年缄檬は、Ｓ°θのときに涟淡妈１の玫瑚稍妥挝拌と涟淡妈２の玫瑚稍妥挝拌との粗の挝拌に涟淡陵簇玫瑚稍妥挝拌を肋年するものであり、
芒し、Ｙｃを涟淡妈２の慨规误惧での疤弥、∈Ｘ１·Ｙ１∷を涟淡附哼玫瑚爬の疤弥、∈Ｘ２·Ｙ２∷を涟淡铬输玫瑚爬の疤弥、Ｌを玫瑚岭の墓さ、Ｓ１を涟淡附哼玫瑚爬の梧击刨∈０°♂Ｓ１°♂θ∷、Ｓ２を涟淡铬输玫瑚爬の梧击刨∈０°♂Ｓ２°♂θ∷とする、
懒滇灌１淡很の慨规玫瑚刘弥。
≮懒滇灌７≯
涟淡呵络梧击刨换叫缄檬は、∶Ｘ１≥Ｘ２∶°♂∶Ｙ１≥Ｙ２∶、かつ、∶Ｙ１≥Ｙ２∶°♂Ｌの眷圭に、涟淡呵络梧击刨Ｓを、
∈１∷Ｘｃ°♂Ｘ１かつＸｃ°♂Ｘ２のとき、
Ｓ♂∈Ｓ１≤Ｓ２∷≤∈Ｘ１≤Ｘ２≥２Ｘｃ∷】Ｌ
∈２∷Ｘ１♂Ｘ２でないときで、Ｘ１°♂Ｘｃ°♂Ｘ２、または、
Ｘ２°♂Ｘｃ°♂Ｘ１のとき、Ｓ♂∈Ｓ１≤Ｓ２∷≤∶Ｘ１≥Ｘ２∶】Ｌ
∈３∷Ｘ１°♂ＸｃかつＸ２°♂Ｘｃのとき、
Ｓ♂∈Ｓ１≤Ｓ２∷≥∈Ｘ１≤Ｘ２≥２Ｘｃ∷】Ｌ
により滇め、
涟淡陵簇玫瑚稍妥挝拌肋年缄檬は、Ｓ°θのときに涟淡妈１の玫瑚稍妥挝拌と涟淡妈２の玫瑚稍妥挝拌との粗の挝拌に涟淡陵簇玫瑚稍妥挝拌を肋年するものであり、
芒し、Ｘｃを涟淡妈１の慨规误惧での疤弥、∈Ｘ１·Ｙ１∷を涟淡附哼玫瑚爬の疤弥、∈Ｘ２·Ｙ２∷を涟淡铬输玫瑚爬の疤弥、Ｌを玫瑚岭の墓さ、Ｓ１を涟淡附哼玫瑚爬の梧击刨∈０°♂Ｓ１°♂θ∷、Ｓ２を涟淡铬输玫瑚爬の梧击刨∈０°♂Ｓ２°♂θ∷とする、
懒滇灌１淡很の慨规玫瑚刘弥。
≮懒滇灌８≯
涟淡呵络梧击刨が镧猛を亩えた眷圭には、涟淡铬输玫瑚爬を涟淡附哼玫瑚爬の夺くに浩肋年させる败瓢缄檬を铜する、
懒滇灌１淡很の慨规玫瑚刘弥。
≮懒滇灌９≯
涟淡玫瑚は、涟淡妈１の慨规误第び涟淡妈２の慨规误の链认跋について乖う、
懒滇灌１または２淡很の慨规玫瑚刘弥。
≮懒滇灌１０≯
涟淡妈１の慨规误に辫って涟淡附哼玫瑚爬と涟淡铬输玫瑚爬を肋年する、
懒滇灌１または２淡很の慨规玫瑚刘弥。
≮懒滇灌１１≯
涟淡铬输玫瑚爬を、涟淡玫瑚鄂粗惧における涟淡附哼玫瑚爬の赖孺毋木俐惧に肋年する、
懒滇灌１または２淡很の慨规玫瑚刘弥。
≮懒滇灌１２≯
涟淡妈１の玫瑚稍妥挝拌と涟淡妈２の玫瑚稍妥挝拌とが、ひし妨の挝拌である、
懒滇灌１または２淡很の慨规玫瑚刘弥。
≮懒滇灌１３≯
妈１の慨规误と妈２の慨规误とが婶尸弄に梧击する婶尸慨规误を玫瑚する慨规玫瑚刘弥であって、
涟淡妈１の慨规误Ｘ惧の玫瑚爬の疤弥第び涟淡妈２の慨规误Ｙ惧の玫瑚爬の疤弥によって山される２肌傅の玫瑚鄂粗Ｘ≥Ｙ惧において、玫瑚岭をＹ♂ｃ∈芒し、ｃは０笆惧の腊眶である∷に辫って界戎に肋年することにより、剩眶のひし妨の妈１の玫瑚稍妥挝拌が涟淡妈１の慨规误の眉まで界戎に儡するか、または、脚なるように芹弥し、涟淡钨儡する妈１の玫瑚稍妥挝拌の粗に侯られた挝拌である毛の端井爬を淡脖する妈１毛缄檬と、
涟淡淡脖された剩眶の毛の面から、涟淡妈２の慨规误の郝筛が呵も井さい端井爬を铜する毛である呵井毛を浮叫する妈１呵井毛浮叫缄檬と、
涟淡呵井毛の端井爬を妈１の玫瑚爬と肋年する妈１の玫瑚爬肋年缄檬と、
涟淡妈１の玫瑚爬における梧击刨を换叫し、涟淡妈１の玫瑚爬の梧击刨が镧猛よりも络きい眷圭は、涟淡妈１の玫瑚爬を梧击爬として叫蜗する梧击爬叫蜗缄檬と、
涟淡妈１の玫瑚爬が肋年された呵井毛の挝拌柒に妈２の玫瑚爬を肋年する妈２玫瑚爬肋年缄檬と、
涟淡妈２の玫瑚爬の梧击刨を换叫し、涟淡梧击刨に答づいて涟淡妈２の玫瑚爬の件收にひし妨の妈２の玫瑚稍妥挝拌を肋年ができるか容かを冉们する冉们缄檬と、
涟淡妈２の玫瑚稍妥挝拌を肋年ができる眷圭は、∈１∷涟淡妈１の玫瑚稍妥挝拌と涟淡妈２の玫瑚稍妥挝拌がつながっているか容かを冉们し、∈２∷涟淡妈１の玫瑚稍妥挝拌と涟淡妈２の玫瑚稍妥挝拌がつながっていない眷圭は、涟淡妈２の玫瑚爬を涟淡妈１の玫瑚爬に夺づけて、涟淡妈１の玫瑚稍妥挝拌と涟淡妈２の玫瑚稍妥挝拌とをバックトラックによってつなげ、∈３∷涟淡妈１の玫瑚稍妥挝拌に涟淡妈２の玫瑚稍妥挝拌がつながっている眷圭、または、つなげた眷圭は、涟淡妈１の玫瑚稍妥挝拌を涟淡妈２の玫瑚稍妥挝拌まで橙络させ、∈４∷涟淡妈２の玫瑚稍妥挝拌によって橙络した涟淡妈１の玫瑚稍妥挝拌の婶尸と、涟淡橙络した妈１の玫瑚稍妥挝拌の婶尸と钨儡する涟淡妈１の玫瑚稍妥挝拌の婶尸との粗に糠たな毛を涟淡呵井毛に洛えて栏喇し、涟淡栏喇した毛の端井爬を淡脖する妈２毛肋年缄檬と、
涟淡妈２の玫瑚稍妥挝拌が肋年できない眷圭には、涟淡妈１の玫瑚爬からＹ郝筛の赖数羹に渴んだ肌の玫瑚爬铬输に端井爬を铜する毛を涟淡呵井毛に洛えて肋年し、涟淡毛の端井爬を淡脖する妈３毛肋年缄檬と、
涟淡糠たに淡脖された毛と、涟淡呵井毛として浮叫されなかった荒りの毛の面から、涟淡妈２の慨规误の郝筛が呵も井さい端井爬を铜する毛を糠たな呵井毛として浮叫する妈２呵井毛浮叫缄檬と、
涟淡糠たな呵井毛の端井爬を糠たな妈１の玫瑚爬として涟淡妈１の玫瑚爬肋年缄檬に浩肋年させる浩肋年缄檬と、
を恶洒した慨规玫瑚刘弥。
≮懒滇灌１４≯
涟淡玫瑚は、涟淡妈１の慨规误第び涟淡妈２の慨规误の链认跋について乖う、
懒滇灌１３淡很の慨规玫瑚刘弥。
≮懒滇灌１５≯
涟淡妈２毛肋年缄檬は、涟淡妈１の玫瑚稍妥挝拌と涟淡妈２の玫瑚稍妥挝拌とを儡してつなげるか、または、脚ねてつなげる、
懒滇灌１３淡很の慨规玫瑚刘弥。
≮懒滇灌１６≯
涟淡妈２毛肋年缄檬は、
涟淡妈１の玫瑚稍妥挝拌と涟淡妈２の玫瑚稍妥挝拌とを涟淡陵簇玫瑚稍妥挝拌を拆してつなげる、
懒滇灌１３淡很の慨规玫瑚刘弥。
≮懒滇灌１７≯
涟淡妈２毛肋年缄檬は、
涟淡妈１の玫瑚爬の疤弥とその梧击刨、涟淡妈２の玫瑚爬の疤弥とその梧击刨、第び、涟淡玫瑚岭の墓さに答づいて、涟淡妈１の玫瑚稍妥挝拌の件收と涟淡妈２の玫瑚稍妥挝拌の件收の呵络梧击刨を换叫する呵络梧击刨换叫缄檬と、
涟淡呵络梧击刨が镧猛を亩えない挝拌であって、かつ、涟淡妈１の玫瑚稍妥挝拌と涟淡妈２の玫瑚稍妥挝拌との粗の挝拌に陵簇玫瑚稍妥挝拌を肋年する陵簇玫瑚稍妥挝拌肋年缄檬と、
を恶洒する懒滇灌１６淡很の慨规玫瑚刘弥。
≮懒滇灌１８≯
涟淡妈２毛肋年缄檬は、涟淡妈１の玫瑚稍妥挝拌と涟淡妈２の玫瑚稍妥挝拌との粗持がＬ∈１≥θ∷笆布であるときに涟淡陵簇玫瑚稍妥挝拌を拆してつなげるものであり、芒し、Ｌは玫瑚岭の墓さ、θは涟淡梧击刨を冉年する镧猛∈０°♂θ°♂１∷とする、
懒滇灌１６淡很の慨规玫瑚刘弥。
≮懒滇灌１９≯
妈３毛肋年缄檬は、涟淡妈２の玫瑚稍妥挝拌が肋年できない眷圭には、涟淡妈１の玫瑚爬からＹ郝筛の赖数羹にある肌の玫瑚爬铬输第び涟淡肌の玫瑚爬铬输の疤弥からＸ郝筛の赖数羹と砷数羹のそれぞれにある肌の玫瑚爬铬输の３爬のそれぞれに、贷に赂哼する涟淡毛と脚ならないように、涟淡呵井毛に洛えて３つの毛をそれぞれ肋年し、涟淡称毛の端井爬をそれぞれ淡脖する、
懒滇灌１３淡很の慨规玫瑚刘弥。
≮懒滇灌２０≯
妈１の慨规误と妈２の慨规误とが婶尸弄に梧击する婶尸慨规误を玫瑚する慨规玫瑚数恕であって、
涟淡妈１の慨规误Ｘ惧の玫瑚爬の疤弥第び涟淡妈２の慨规误Ｙ惧の玫瑚爬の疤弥によって山される２肌傅の玫瑚鄂粗Ｘ≥Ｙ惧の扦罢の郝筛疤弥に附哼玫瑚爬を联买し、涟淡附哼玫瑚爬とは佰なる郝筛疤弥に铬输玫瑚爬を联买し、
涟淡附哼玫瑚爬における涟淡妈１の慨规误惧の玫瑚岭と涟淡妈２の慨规误惧の玫瑚岭との梧击刨と、涟淡铬输玫瑚爬における涟淡妈１の慨规误惧の玫瑚岭と涟淡妈２の慨规误惧の玫瑚岭との梧击刨とを换叫し、
涟淡附哼玫瑚爬の梧击刨に答づいて附哼玫瑚爬の件收に妈１の玫瑚稍妥挝拌を肋年し、涟淡铬输玫瑚爬の梧击刨に答づいて铬输玫瑚爬の件收に妈２の玫瑚稍妥挝拌を肋年し、
涟淡附哼玫瑚爬の疤弥とその梧击刨、涟淡铬输玫瑚爬の疤弥とその梧击刨、第び、涟淡玫瑚岭の墓さに答づいて、涟淡妈１の玫瑚稍妥挝拌の件收と涟淡妈２の玫瑚稍妥挝拌の件收の呵络梧击刨を换叫し、
涟淡呵络梧击刨が镧猛θを亩えない挝拌であって、かつ、涟淡妈１の玫瑚稍妥挝拌の件收と涟淡妈２の玫瑚稍妥挝拌との粗の挝拌に陵簇玫瑚稍妥挝拌を肋年する、
慨规玫瑚数恕。
≮懒滇灌２１≯
妈１の慨规误と妈２の慨规误とが婶尸弄に梧击する婶尸慨规误を玫瑚する慨规玫瑚数恕であって、
涟淡妈１の慨规误Ｘ惧の玫瑚爬の疤弥第び涟淡妈２の慨规误Ｙ惧の玫瑚爬の疤弥によって山される２肌傅の玫瑚鄂粗Ｘ≥Ｙ惧の扦罢の郝筛疤弥に附哼玫瑚爬を联买し、
涟淡附哼玫瑚爬における涟淡妈１の慨规误惧の玫瑚岭柒の慨规误と涟淡妈２の慨规误惧の玫瑚岭柒の慨规误との附哼梧击刨を滇め、
涟淡附哼梧击刨に答づいて涟淡附哼玫瑚爬の件收に妈１の玫瑚稍妥挝拌を肋年し、
涟淡妈１の玫瑚稍妥挝拌と脚なる妈２の玫瑚稍妥挝拌を肋年し、
涟淡妈２の玫瑚稍妥挝拌を肋年するときは、涟淡妈２の玫瑚稍妥挝拌を铬输玫瑚爬の件收に肋年するものであり、
∈１∷涟淡铬输玫瑚爬の徒卢疤弥を涟淡附哼玫瑚爬とは佰なる郝筛疤弥に联买し、
∈２∷涟淡铬输玫瑚爬の徒卢疤弥における涟淡妈１の慨规误惧の玫瑚岭と涟淡妈２ の慨规误惧の玫瑚岭との铬输梧击刨を纷换し、
∈３∷涟淡铬输梧击刨に答づいて涟淡铬输玫瑚爬の徒卢疤弥の件收に妈２の玫瑚稍 妥挝拌の徒卢认跋を肋年し、
∈４∷涟淡徒卢认跋が涟淡妈１の玫瑚稍妥挝拌と脚なるときは涟淡徒卢认跋を涟淡 妈２の玫瑚稍妥挝拌として肋年し、
∈５∷涟淡徒卢认跋が脚ならないときは涟淡铬输玫瑚爬の徒卢疤弥を恃构する、
慨规玫瑚数恕。
≮懒滇灌２２≯
妈１の慨规误と妈２の慨规误とが婶尸弄に梧击する婶尸慨规误を玫瑚する慨规玫瑚数恕であって、
涟淡妈１の慨规误Ｘ惧の玫瑚爬の疤弥第び涟淡妈２の慨规误Ｙ惧の玫瑚爬の疤弥によって山される２肌傅の玫瑚鄂粗Ｘ≥Ｙ惧において、玫瑚岭をＹ♂ｃ∈芒し、ｃは０笆惧の腊眶である∷に辫って界戎に肋年することにより、剩眶のひし妨の妈１の玫瑚稍妥挝拌が涟淡妈１の慨规误の眉まで界戎に儡するか、または、脚なるように芹弥し、涟淡钨儡する妈１の玫瑚稍妥挝拌の粗に侯られた挝拌である毛の端井爬を淡脖する妈１毛肋年ステップと、
涟淡淡脖された剩眶の毛の面から、涟淡妈２の慨规误の郝筛が呵も井さい端井爬を铜する毛である呵井毛を浮叫する妈１呵井毛浮叫ステップと、
涟淡呵井毛の端井爬を妈１の玫瑚爬と肋年する妈１の玫瑚爬肋年ステップと、
涟淡妈１の玫瑚爬における梧击刨を换叫し、涟淡妈１の玫瑚爬の梧击刨が镧猛よりも络きい眷圭は、涟淡妈１の玫瑚爬を梧击爬として叫蜗する梧击爬叫蜗ステップと、
涟淡妈１の玫瑚爬が肋年された呵井毛の挝拌柒に妈２の玫瑚爬を肋年する妈２玫瑚爬肋年ステップと、
涟淡妈２の玫瑚爬の梧击刨を换叫し、涟淡梧击刨に答づいて涟淡妈２の玫瑚爬の件收にひし妨の妈２の玫瑚稍妥挝拌を肋年ができるか容かを冉们する冉们ステップと、
涟淡妈２の玫瑚稍妥挝拌を肋年ができる眷圭は、∈１∷涟淡妈１の玫瑚稍妥挝拌と涟淡妈２の玫瑚稍妥挝拌がつながっているか容かを冉们し、∈２∷涟淡妈１の玫瑚稍妥挝拌と涟淡妈２の玫瑚稍妥挝拌がつながっていない眷圭は、涟淡妈２の玫瑚爬を涟淡妈１の玫瑚爬に夺づけて、涟淡妈１の玫瑚稍妥挝拌と涟淡妈２の玫瑚稍妥挝拌とをバックトラックによってつなげ、∈３∷涟淡妈１の玫瑚稍妥挝拌に涟淡妈２の玫瑚稍妥挝拌がつながっている眷圭、または、つなげた眷圭は、涟淡妈１の玫瑚稍妥挝拌を涟淡妈２の玫瑚稍妥挝拌まで橙络させ、∈４∷涟淡妈２の玫瑚稍妥挝拌によって橙络した涟淡妈１の玫瑚稍妥挝拌の婶尸と、涟淡橙络した妈１の玫瑚稍妥挝拌の婶尸と钨儡する涟淡妈１の玫瑚稍妥挝拌の婶尸との粗に糠たな毛を涟淡呵井毛に洛えて栏喇し、涟淡栏喇した毛の端井爬を淡脖する妈２毛肋年ステップと、
涟淡妈２の玫瑚稍妥挝拌が肋年できない眷圭には、涟淡妈１の玫瑚爬からＹ郝筛の赖数羹に渴んだ肌の玫瑚爬铬输に端井爬を铜する毛を涟淡呵井毛に洛えて肋年し、涟淡毛の端井爬を淡脖する妈３毛肋年ステップと、
涟淡糠たに淡脖された毛と、涟淡呵井毛として浮叫されなかった荒りの毛の面から、涟淡妈２の慨规误の郝筛が呵も井さい端井爬を铜する毛を糠たな呵井毛として浮叫する妈２呵井毛浮叫ステップと、
涟淡糠たな呵井毛の端井爬を糠たな妈１の玫瑚爬として涟淡妈１の玫瑚爬肋年ステップにおいて浩肋年させる浩肋年ステップと、
を恶洒した慨规玫瑚数恕。
≮懒滇灌２３≯
妈１の慨规误と妈２の慨规误とが婶尸弄に梧击する婶尸慨规误をコンピュ〖タによって玫瑚する慨规玫瑚プログラムであって、
涟淡妈１の慨规误Ｘ惧の玫瑚爬の疤弥第び涟淡妈２の慨规误Ｙ惧の玫瑚爬の疤弥によって山される２肌傅の玫瑚鄂粗Ｘ≥Ｙ惧の扦罢の郝筛疤弥に附哼玫瑚爬を联买し、涟淡附哼玫瑚爬とは佰なる郝筛疤弥に铬输玫瑚爬を联买する玫瑚爬联买怠墙と、
涟淡附哼玫瑚爬における涟淡妈１の慨规误惧の玫瑚岭と涟淡妈２の慨规误惧の玫瑚岭との梧击刨と、涟淡铬输玫瑚爬における涟淡妈１の慨规误惧の玫瑚岭と涟淡妈２の慨规误惧の玫瑚岭との梧击刨とを换叫する梧击刨换叫怠墙と、
涟淡附哼玫瑚爬の梧击刨に答づいて附哼玫瑚爬の件收に妈１の玫瑚稍妥挝拌を肋年し、涟淡铬输玫瑚爬の梧击刨に答づいて铬输玫瑚爬の件收に妈２の玫瑚稍妥挝拌を肋年する帽迫玫瑚稍妥挝拌肋年怠墙と、
涟淡附哼玫瑚爬の疤弥とその梧击刨、涟淡铬输玫瑚爬の疤弥とその梧击刨、第び、涟淡玫瑚岭の墓さに答づいて、涟淡妈１の玫瑚稍妥挝拌の件收と涟淡妈２の玫瑚稍妥挝拌の件收の呵络梧击刨を换叫する呵络梧击刨换叫怠墙と、
涟淡呵络梧击刨が镧猛θを亩えない挝拌であって、かつ、涟淡妈１の玫瑚稍妥挝拌の件收と涟淡妈２の玫瑚稍妥挝拌との粗の挝拌に陵簇玫瑚稍妥挝拌を肋年する陵簇玫瑚稍妥挝拌肋年怠墙と、
を悸附する慨规玫瑚プログラム。
≮懒滇灌２４≯
妈１の慨规误と妈２の慨规误とが婶尸弄に梧击する婶尸慨规误をコンピュ〖タによって玫瑚する慨规玫瑚プログラムであって、
涟淡妈１の慨规误Ｘ惧の玫瑚爬の疤弥第び涟淡妈２の慨规误Ｙ惧の玫瑚爬の疤弥によって山される２肌傅の玫瑚鄂粗Ｘ≥Ｙ惧の扦罢の郝筛疤弥に附哼玫瑚爬を联买する附哼玫瑚爬联买怠墙と、
涟淡附哼玫瑚爬における涟淡妈１の慨规误惧の玫瑚岭柒の慨规误と涟淡妈２の慨规误惧の玫瑚岭柒の慨规误との附哼梧击刨を滇める附哼梧击刨换叫怠墙と、
涟淡附哼梧击刨に答づいて涟淡附哼玫瑚爬の件收に妈１の玫瑚稍妥挝拌を肋年する妈１の玫瑚稍妥挝拌肋年怠墙と、
涟淡妈１の玫瑚稍妥挝拌と脚なる妈２の玫瑚稍妥挝拌を肋年する妈２の玫瑚稍妥挝拌肋年怠墙と、
をコンピュ〖タによって悸附し、
涟淡妈２の玫瑚稍妥挝拌肋年怠墙は、涟淡妈２の玫瑚稍妥挝拌を铬输玫瑚爬の件收に肋年するものであり、
∈１∷涟淡铬输玫瑚爬の徒卢疤弥を涟淡附哼玫瑚爬とは佰なる郝筛疤弥に联买し、
∈２∷涟淡铬输玫瑚爬の徒卢疤弥における涟淡妈１の慨规误惧の玫瑚岭と涟淡妈２ の慨规误惧の玫瑚岭との铬输梧击刨を纷换し、
∈３∷涟淡铬输梧击刨に答づいて涟淡铬输玫瑚爬の徒卢疤弥の件收に妈２の玫瑚稍 妥挝拌の徒卢认跋を肋年し、
∈４∷涟淡徒卢认跋が涟淡妈１の玫瑚稍妥挝拌と脚なるときは涟淡徒卢认跋を涟淡 妈２の玫瑚稍妥挝拌として肋年し、
∈５∷涟淡徒卢认跋が脚ならないときは涟淡铬输玫瑚爬の徒卢疤弥を恃构する、
慨规玫瑚プログラム。
≮懒滇灌２５≯
妈１の慨规误と妈２の慨规误とが婶尸弄に梧击する婶尸慨规误をコンピュ〖タによって玫瑚する慨规玫瑚プログラムであって、
涟淡妈１の慨规误Ｘ惧の玫瑚爬の疤弥第び涟淡妈２の慨规误Ｙ惧の玫瑚爬の疤弥によって山される２肌傅の玫瑚鄂粗Ｘ≥Ｙ惧において、玫瑚岭をＹ♂ｃ∈芒し、ｃは０笆惧の腊眶である∷に辫って界戎に肋年することにより、剩眶のひし妨の妈１の玫瑚稍妥挝拌が涟淡妈１の慨规误の眉まで界戎に儡するか、または、脚なるように芹弥し、涟淡钨儡する妈１の玫瑚稍妥挝拌の粗に侯られた挝拌である毛の端井爬を淡脖する妈１毛肋年怠墙と、
涟淡淡脖された剩眶の毛の面から、涟淡妈２の慨规误の郝筛が呵も井さい端井爬を铜する毛である呵井毛を浮叫する妈１呵井毛浮叫怠墙と、
涟淡呵井毛の端井爬を妈１の玫瑚爬と肋年する妈１の玫瑚爬肋年怠墙と、
涟淡妈１の玫瑚爬における梧击刨を换叫し、涟淡妈１の玫瑚爬の梧击刨が镧猛よりも络きい眷圭は、涟淡妈１の玫瑚爬を梧击爬として叫蜗する梧击爬叫蜗怠墙と、
涟淡妈１の玫瑚爬が肋年された呵井毛の挝拌柒に妈２の玫瑚爬を肋年する妈２玫瑚爬肋年怠墙と、
涟淡妈２の玫瑚爬の梧击刨を换叫し、涟淡梧击刨に答づいて涟淡妈２の玫瑚爬の件收にひし妨の妈２の玫瑚稍妥挝拌を肋年ができるか容かを冉们する冉们怠墙と、
涟淡妈２の玫瑚稍妥挝拌を肋年ができる眷圭は、∈１∷涟淡妈１の玫瑚稍妥挝拌と涟淡妈２の玫瑚稍妥挝拌がつながっているか容かを冉们し、∈２∷涟淡妈１の玫瑚稍妥挝拌と涟淡妈２の玫瑚稍妥挝拌がつながっていない眷圭は、涟淡妈２の玫瑚爬を涟淡妈１の玫瑚爬に夺づけて、涟淡妈１の玫瑚稍妥挝拌と涟淡妈２の玫瑚稍妥挝拌とをバックトラックによってつなげ、∈３∷涟淡妈１の玫瑚稍妥挝拌に涟淡妈２の玫瑚稍妥挝拌がつながっている眷圭、または、つなげた眷圭は、涟淡妈１の玫瑚稍妥挝拌を涟淡妈２の玫瑚稍妥挝拌まで橙络させ、∈４∷涟淡妈２の玫瑚稍妥挝拌によって橙络した涟淡妈１の玫瑚稍妥挝拌の婶尸と、涟淡橙络した妈１の玫瑚稍妥挝拌の婶尸と钨儡する涟淡妈１の玫瑚稍妥挝拌の婶尸との粗に糠たな毛を涟淡呵井毛に洛えて栏喇し、涟淡栏喇した毛の端井爬を淡脖する妈２毛肋年怠墙と、
涟淡妈２の玫瑚稍妥挝拌が肋年できない眷圭には、涟淡妈１の玫瑚爬からＹ郝筛の赖数羹に渴んだ肌の玫瑚爬铬输に端井爬を铜する毛を涟淡呵井毛に洛えて肋年し、涟淡毛の端井爬を淡脖する妈３毛肋年怠墙と、
涟淡糠たに淡脖された毛と、涟淡呵井毛として浮叫されなかった荒りの毛の面から、涟淡妈２の慨规误の郝筛が呵も井さい端井爬を铜する毛を糠たな呵井毛として浮叫する妈２呵井毛浮叫怠墙と、
涟淡糠たな呵井毛の端井爬を糠たな妈１の玫瑚爬として涟淡妈１の玫瑚爬肋年怠墙において浩肋年させる浩肋年怠墙と、
を悸附する慨规玫瑚プログラム。
 
≮券汤の拒嘿な棱汤≯≮祷窖尸填≯
≮０００１≯
塑券汤は、２つの慨规废误から高いに梧击した婶尸を玫す慨规玫瑚刘弥第びその数恕に簇する。
≮秦肥祷窖≯
≮０００２≯
润泼钓矢弗１に、２つの慨规废误の扦罢の疤弥の梧击惰粗を玫瑚するための、徊救惰粗极统箕废误アクティブ玫瑚恕が倡绩されている。むすびに、泼钓矢弗１に倡绩されたオ〖バ〖スキッピングによるアクティブ箕废误アクティブ玫瑚恕を脱いて、さらに光庐步する材墙拉が绩憾されている。
≮泼钓矢弗１≯泼钓妈３４７４１３１规给鼠の眶１と哭３
≮润泼钓矢弗１≯谰录麦办、垮填苹景、井腾しのぶ、簇塑慨穷、铂未办、≈アクティブ玫瑚恕による箕废误デ〖タ面の办米惰粗浮叫≥徊救惰粗极统箕废误アクティブ玫瑚恕≥∽、排灰攫鼠奶慨池柴侠矢伙、Ｄ≥ＩＩ、ＶｏｌˉＪ８４≥Ｄ≥ＩＩ、Ｎｏˉ８、ｐｐˉ１８２６≥１８３７、Ａｕｇˉ２００１ˉ
≮券汤の倡绩≯
≮券汤が豺疯しようとする草玛≯
≮０００３≯
润泼钓矢弗１に倡绩された徊救惰粗极统箕废误アクティブ玫瑚恕は、玫瑚稍妥挝拌の脚なりが弓く玫瑚跟唯が碍かった。
≮０００４≯
また、泼钓矢弗１に倡绩されたオ〖バ〖スキッピングによる箕废误アクティブ玫瑚恕を努脱すれば光庐步できる材墙拉があるが努脱数恕が稍汤だった。
≮０００５≯
そこで塑券汤は、惧淡啼玛爬を豺疯するためになされたものであって、骄丸になかった糠たな玫瑚稍妥挝拌を肋年して、玫瑚をさらに光庐步できる慨规玫瑚刘弥第びその数恕を捏丁することを誊弄とする。
≮草玛を豺疯するための缄檬≯
≮０００６≯
塑券汤は、妈１の慨规误と妈２の慨规误とが婶尸弄に梧击する婶尸慨规误を玫瑚する慨规玫瑚刘弥であって、涟淡妈１の慨规误Ｘ惧の玫瑚爬の疤弥第び涟淡妈２の慨规误Ｙ惧の玫瑚爬の疤弥によって山される２肌傅の玫瑚鄂粗Ｘ≥Ｙ惧の扦罢の郝筛疤弥に附哼玫瑚爬を联买し、涟淡附哼玫瑚爬とは佰なる郝筛疤弥に铬输玫瑚爬を联买する玫瑚爬联买缄檬と、涟淡附哼玫瑚爬における涟淡妈１の慨规误惧の玫瑚岭と涟淡妈２の慨规误惧の玫瑚岭との梧击刨と、涟淡铬输玫瑚爬における涟淡妈１の慨规误惧の玫瑚岭と涟淡妈２の慨规误惧の玫瑚岭との梧击刨とを换叫する梧击刨换叫缄檬と、涟淡附哼玫瑚爬の梧击刨に答づいて附哼玫瑚爬の件收に妈１の玫瑚稍妥挝拌を肋年し、涟淡铬输玫瑚爬の梧击刨に答づいて铬输玫瑚爬の件收に妈２の玫瑚稍妥挝拌を肋年する帽迫玫瑚稍妥挝拌肋年缄檬と、涟淡附哼玫瑚爬の疤弥とその梧击刨、涟淡铬输玫瑚爬の疤弥とその梧击刨、第び、涟淡玫瑚岭の墓さに答づいて、涟淡妈１の玫瑚稍妥挝拌の件收と涟淡妈２の玫瑚稍妥挝拌の件收の呵络梧击刨を换叫する呵络梧击刨换叫缄檬と、涟淡呵络梧击刨が镧猛を亩えない挝拌であって、かつ、涟淡妈１の玫瑚稍妥挝拌の件收と涟淡妈２の玫瑚稍妥挝拌との粗の挝拌に陵簇玫瑚稍妥挝拌を肋年する陵簇玫瑚稍妥挝拌肋年缄檬と、を恶洒する慨规玫瑚刘弥である。
≮０００７≯
塑券汤は、妈１の慨规误と妈２の慨规误とが婶尸弄に梧击する婶尸慨规误を玫瑚する慨规玫瑚刘弥であって、涟淡妈１の慨规误Ｘ惧の玫瑚爬の疤弥第び涟淡妈２の慨规误Ｙ惧の玫瑚爬の疤弥によって山される２肌傅の玫瑚鄂粗Ｘ≥Ｙ惧の扦罢の郝筛疤弥に附哼玫瑚爬を联买する附哼玫瑚爬联买缄檬と、涟淡附哼玫瑚爬における涟淡妈１の慨规误惧の玫瑚岭柒の慨规误と涟淡妈２の慨规误惧の玫瑚岭柒の慨规误との附哼梧击刨を滇める附哼梧击刨换叫缄檬と、涟淡附哼梧击刨に答づいて涟淡附哼玫瑚爬の件收に妈１の玫瑚稍妥挝拌を肋年する妈１の玫瑚稍妥挝拌肋年缄檬と、涟淡妈１の玫瑚稍妥挝拌と脚なる妈２の玫瑚稍妥挝拌を肋年する妈２の玫瑚稍妥挝拌肋年缄檬と、を铜し、涟淡妈２の玫瑚稍妥挝拌肋年缄檬は、涟淡妈２の玫瑚稍妥挝拌を铬输玫瑚爬の件收に肋年するものであり、
∈１∷涟淡铬输玫瑚爬の徒卢疤弥を涟淡附哼玫瑚爬とは佰なる郝筛疤弥に联买し、
∈２∷涟淡铬输玫瑚爬の徒卢疤弥における涟淡妈１の慨规误惧の玫瑚岭と涟淡妈２ の慨规误惧の玫瑚岭との铬输梧击刨を纷换し、
∈３∷涟淡铬输梧击刨に答づいて涟淡铬输玫瑚爬の徒卢疤弥の件收に妈２の玫瑚稍 妥挝拌の徒卢认跋を肋年し、
∈４∷涟淡徒卢认跋が涟淡妈１の玫瑚稍妥挝拌と脚なるときは涟淡徒卢认跋を涟淡 妈２の玫瑚稍妥挝拌として肋年し、
∈５∷涟淡徒卢认跋が脚ならないときは涟淡铬输玫瑚爬の徒卢疤弥を恃构する、
慨规玫瑚刘弥である。
≮０００８≯
塑券汤は、妈１の慨规误と妈２の慨规误とが婶尸弄に梧击する婶尸慨规误を玫瑚する慨规玫瑚刘弥であって、涟淡妈１の慨规误Ｘ惧の玫瑚爬の疤弥第び涟淡妈２の慨规误Ｙ惧の玫瑚爬の疤弥によって山される２肌傅の玫瑚鄂粗Ｘ≥Ｙ惧において、玫瑚岭をＹ♂ｃ∈芒し、ｃは０笆惧の腊眶である∷に辫って界戎に肋年することにより、剩眶のひし妨の妈１の玫瑚稍妥挝拌が涟淡妈１の慨规误の眉まで界戎に儡するか、または、脚なるように芹弥し、涟淡钨儡する妈１の玫瑚稍妥挝拌の粗に侯られた挝拌である毛の端井爬を淡脖する妈１毛缄檬と、涟淡淡脖された剩眶の毛の面から、涟淡妈２の慨规误の郝筛が呵も井さい端井爬を铜する毛である呵井毛を浮叫する妈１呵井毛浮叫缄檬と、涟淡呵井毛の端井爬を妈１の玫瑚爬と肋年する妈１の玫瑚爬肋年缄檬と、涟淡妈１の玫瑚爬における梧击刨を换叫し、涟淡妈１の玫瑚爬の梧击刨が镧猛よりも络きい眷圭は、涟淡妈１の玫瑚爬を梧击爬として叫蜗する梧击爬叫蜗缄檬と、涟淡妈１の玫瑚爬が肋年された呵井毛の挝拌柒に妈２の玫瑚爬を肋年する妈２玫瑚爬肋年缄檬と、涟淡妈２の玫瑚爬の梧击刨を换叫し、涟淡梧击刨に答づいて涟淡妈２の玫瑚爬の件收にひし妨の妈２の玫瑚稍妥挝拌を肋年ができるか容かを冉们する冉们缄檬と、涟淡妈２の玫瑚稍妥挝拌を肋年ができる眷圭は、∈１∷涟淡妈１の玫瑚稍妥挝拌と涟淡妈２の玫瑚稍妥挝拌がつながっているか容かを冉们し、∈２∷涟淡妈１の玫瑚稍妥挝拌と涟淡妈２の玫瑚稍妥挝拌がつながっていない眷圭は、涟淡妈２の玫瑚爬を涟淡妈１の玫瑚爬に夺づけて、涟淡妈１の玫瑚稍妥挝拌と涟淡妈２の玫瑚稍妥挝拌とをバックトラックによってつなげ、∈３∷涟淡妈１の玫瑚稍妥挝拌に涟淡妈２の玫瑚稍妥挝拌がつながっている眷圭、または、つなげた眷圭は、涟淡妈１の玫瑚稍妥挝拌を涟淡妈２の玫瑚稍妥挝拌まで橙络させ、∈４∷涟淡妈２の玫瑚稍妥挝拌によって橙络した涟淡妈１の玫瑚稍妥挝拌の婶尸と、涟淡橙络した妈１の玫瑚稍妥挝拌の婶尸と钨儡する涟淡妈１の玫瑚稍妥挝拌の婶尸との粗に糠たな毛を涟淡呵井毛に洛えて栏喇し、涟淡栏喇した毛の端井爬を淡脖する妈２毛肋年缄檬と、涟淡妈２の玫瑚稍妥挝拌が肋年できない眷圭には、涟淡妈１の玫瑚爬からＹ郝筛の赖数羹に渴んだ肌の玫瑚爬铬输に端井爬を铜する毛を涟淡呵井毛に洛えて肋年し、涟淡毛の端井爬を淡脖する妈３毛肋年缄檬と、涟淡糠たに淡脖された毛と、涟淡呵井毛として浮叫されなかった荒りの毛の面から、涟淡妈２の慨规误の郝筛が呵も井さい端井爬を铜する毛を糠たな呵井毛として浮叫する妈２呵井毛浮叫缄檬と、涟淡糠たな呵井毛の端井爬を糠たな妈１の玫瑚爬として涟淡妈１の玫瑚爬肋年缄檬に浩肋年させる浩肋年缄檬と、を恶洒した慨规玫瑚刘弥である。
≮券汤の跟蔡≯
≮０００９≯
塑券汤によれば、妈１の慨规误と妈２の慨规误とが婶尸弄に梧击する婶尸慨规误を玫瑚光庐に玫瑚できる。
≮券汤を悸卉するための呵紊の妨轮≯
≮００１０≯
笆布、塑券汤の悸卉妨轮について哭烫に答づいて棱汤する。
≮００１１≯
∈妈１の悸卉妨轮∷
妈１の悸卉妨轮の慨规玫瑚刘弥１００について哭１から哭１１に答づいて棱汤する。塑悸卉妨轮では、テレビ戎寥を峡茶した２箕粗の２つの鼻咙慨规∈妈１の慨规误１１０と妈２の慨规误１１１∷を陵高に玫瑚して梧击する鼻咙惰粗を浮叫する毋を棱汤する。なお、掐蜗慨规は、１擅粗に３０绥のフレ〖ム茶咙が崔まれた鼻咙慨规である。
≮００１２≯
∈１∷慨规玫瑚刘弥１００の菇喇
哭１は、塑悸卉妨轮に犯わる慨规玫瑚刘弥１００を绩すブロック哭である。
≮００１３≯
慨规玫瑚刘弥１００は、妈１の慨规误１１０と妈２の慨规误１１１とを掐蜗し、梧击爬を玫瑚冯蔡１１２として叫蜗する。
≮００１４≯
慨规玫瑚刘弥１００は、附哼玫瑚爬と铬输玫瑚爬の２つの玫瑚爬を肋年する玫瑚爬肋年婶１０１と、附哼玫瑚爬の梧击刨と铬输玫瑚爬の梧击刨を换叫する梧击刨换叫婶１０２、附哼玫瑚爬帽迫による玫瑚稍妥挝拌と铬输玫瑚爬帽迫による玫瑚稍妥挝拌とを肋年する帽迫玫瑚稍妥挝拌肋年婶１０３と、附哼玫瑚爬と铬输玫瑚爬との陵簇による呵络梧击刨を换叫する陵簇呵络梧击刨换叫婶１０４と、涟淡呵络梧击刨に答づいて陵簇による玫瑚稍妥挝拌を肋年する陵簇玫瑚稍妥挝拌肋年婶１０５と、涟淡帽迫玫瑚稍妥挝拌と涟淡陵簇玫瑚稍妥挝拌とに答づいて铬输玫瑚爬をバックトラックする涩妥があるかどうかを冉年するバックトラック冉年婶１０６と、梧击挝拌を崔んだ玫瑚貉み挝拌を冉年する玫瑚貉み挝拌冉年婶１０７と、から菇喇される。
≮００１５≯
なお、この慨规玫瑚刘弥１００は、毋えば、绕脱のコンピュ〖タ刘弥を答塑ハ〖ドウェアとして脱いることでも悸附することが材墙である。すなわち、玫瑚爬肋年婶１０１、梧击刨换叫婶１０２、帽迫玫瑚稍妥挝拌肋年婶１０３、陵簇呵络梧击刨换叫婶１０４、陵簇玫瑚稍妥挝拌肋年婶１０５、バックトラック冉年婶１０６、玫瑚貉み挝拌冉年婶１０７は、惧淡のコンピュ〖タ刘弥に烹很されたプロセッサにプログラムを悸乖させることにより悸附することができる。このとき、光庐慨规玫瑚数恕は、惧淡のプログラムをコンピュ〖タ刘弥に徒めインスト〖ルすることで悸附してもよいし、ＣＤ≥ＲＯＭなどの淡脖寝挛に淡脖して、あるいはネットワ〖クを拆して惧淡のプログラムを芹邵して、このプログラムをコンピュ〖タ刘弥に努倒インスト〖ルすることで悸附してもよい。また、Ｂ第びＣは、惧淡のコンピュ〖タ刘弥に柒垄あるいは嘲烧けされたメモリ、ハ〖ドディスクもしくはＣＤ≥Ｒ、ＣＤ≥ＲＷ、ＤＶＤ≥ＲＡＭ、ＤＶＤ≥Ｒなどの淡脖寝挛などを努倒网脱して悸附することができる。
≮００１６≯
∈２∷慨规玫瑚刘弥１００の瓢侯
肌に、哭１第び哭２に绩すフロ〖チャ〖トを脱いて、慨规玫瑚刘弥１００の瓢侯について棱汤する。
≮００１７≯
∈２≥１∷脱胳の棱汤
まず、塑悸卉妨轮の棱汤に脱いる脱胳を棱汤する。
≮００１８≯
塑悸卉妨轮では、妈１の慨规误１１０∈笆布、慨规误Ｘと钙ぶ∷と妈２の慨规误１１１∈笆布、慨规误Ｙと钙ぶ∷とが侯る２肌傅玫瑚鄂粗柒を雇え、Ｘ即、Ｙ即の帽疤は称鼻咙慨规の黎片からのフレ〖ム眶とする。
≮００１９≯
≈玫瑚爬∽とは涟淡２肌傅玫瑚鄂粗柒での郝筛爬を山し、毋えば、玫瑚爬∈Ｘ１·Ｙ１∷は慨规误Ｘ惧の疤弥Ｘ１と、慨规误Ｙ惧の疤弥Ｙ１を山す。
≮００２０≯
≈玫瑚岭∽とは慨规误惧の墓さＬの惰粗を山す。毋えば、慨规误Ｘ惧の疤弥Ｘ１の玫瑚岭∈笆布、玫瑚岭Ｘ１と钙ぶ∷とは、疤弥Ｘ１を黎片とする墓さＬの惰粗を山す。すなわち、Ｌは玫瑚岭の墓さ∈笆布、玫瑚岭墓という∷である。
≮００２１≯
≈玫瑚爬の梧击刨∽とは、慨规误Ｘ惧の玫瑚岭と慨规误Ｙ惧の玫瑚岭との粗の梧击刨を山し、梧击刨をＳとすると∈０°♂Ｓ°♂１∷の猛をとる。毋えば、玫瑚爬∈Ｘ１·Ｙ１∷の梧击刨は、玫瑚岭Ｘ１と玫瑚岭Ｙ２との梧击刨を山す。この梧击刨にはヒストグラムインタセクションを蝗脱する。
≮００２２≯
≈ヒストグラムインタセクション∽は、称玫瑚岭のヒストグラムを滇め、ヒストグラムの称ビンについて２つのヒストグラムの呵井猛を滇め、称ビンの呵井猛を圭纷した猛をヒストグラムの另刨眶で充って换叫する。
≮００２３≯
≈梧击爬∽とは、梧击の慨规误が崔まれる玫瑚爬を山し、毋えば玫瑚爬∈Ｘ１·Ｙ１∷の梧击刨Ｓが梧击冉年の镧猛θ∈０°♂θ°♂１∷を亩える眷圭に梧击爬と斧なす。
≮００２４≯
≈玫瑚稍妥挝拌∽とは、玫瑚爬の梧击刨が镧猛θ笆布であることが徒め尸かっており玫瑚する涩妥がない挝拌を山す。
≮００２５≯
≈玫瑚の姜位∽は、２肌傅玫瑚鄂粗柒をもれなく玫瑚して、梧击爬または玫瑚稍妥挝拌のどちらかで虽め吭くしたときとする。
≮００２６≯
≈バックトラック∽とは、梧击刨の徒卢に己窃した眷圭に玫瑚爬を浩肋年する借妄を山す。
≮００２７≯
≈ひし妨の挝拌∽とは、赖数妨の挝拌であって、涟淡赖数妨の办数の滦逞俐が２肌傅玫瑚鄂粗のＸ即と士乖であり、戮数の滦逞俐が２肌傅玫瑚鄂粗のＹ即と士乖であるものをいう。
≮００２８≯
≈企霹收话逞妨の挝拌∽とは、涟淡ひし妨の惧染尸、または、布染尸の挝拌をいう。
≮００２９≯
∈２≥２∷骄丸の玫瑚稍妥挝拌の换叫
哭３と哭４を脱いて、骄丸の玫瑚稍妥挝拌の换叫数恕を棱汤する。
≮００３０≯
哭３は润泼钓矢弗１に倡绩されたひし妨の玫瑚稍妥挝拌を绩す。玫瑚爬Ｐ∈Ｘ１·Ｙ１∷の梧击刨がＳ１と滇まれば、哭に绩す爬Ａ∈Ｘ１≥Ｌ∈θ≥Ｓ１∷·Ｙ１∷、爬Ｂ∈Ｘ１≤Ｌ∈θ≥Ｓ１∷·Ｙ１∷、爬Ｃ∈Ｘ１·Ｙ１≥Ｌ∈θ≥Ｓ１∷∷、爬Ｄ∈Ｘ１·Ｙ１≤Ｌ∈θ≥Ｓ１∷∷を暮爬とするひし妨の柒婶挝拌として滇まることが润泼钓矢弗１に倡绩されている。笆布に付妄を词帽に棱汤する。
≮００３１≯
毋えば、玫瑚岭Ｙ１を盖年した眷圭を雇えると、玫瑚爬Ｐの梧击刨は滇まっているから、玫瑚岭Ｙ１を徊救慨规として慨规误Ｘを玫瑚する啼玛に耽冯でき、泼钓矢弗１に倡绩された箕废误アクティブ玫瑚恕で玫瑚稍妥认跋が滇まる。
≮００３２≯
しかし、玫瑚岭Ｙ１をＹｃに败瓢した眷圭、玫瑚爬Ｐ∏の梧击刨は滇まっていないから输赖が涩妥であり、慨规误Ｙ惧の玫瑚岭がＹ１からＹｃに败瓢することによって惧竞し评る梧击刨の呵络梧击刨Ｓ３を换叫しておいて、玫瑚爬Ｐ∏の梧击刨をＳ１≤Ｓ３とすることにより、玫瑚岭Ｙｃを徊救慨规として慨规误Ｘを玫瑚する啼玛に耽冯でき、泼钓矢弗１に倡绩された箕废误アクティブ玫瑚恕で玫瑚稍妥认跋が滇まる。
≮００３３≯
このようにして、玫瑚岭Ｙｃを妈２の慨规误惧の链ての疤弥に肋年した眷圭の玫瑚稍妥认跋を换叫すると、玫瑚稍妥挝拌は哭３に绩すひし妨の柒婶となる。このひし妨の玫瑚稍妥挝拌で２肌傅玫瑚鄂粗を虽め吭くせば玫瑚を光庐步できる。
≮００３４≯
润泼钓矢弗１ではこの拉剂を网脱して、爬Ｂを糠たな玫瑚爬Ｐとして玫瑚稍妥挝拌を换叫し、笆涟に换叫した玫瑚稍妥挝拌と脚ねて息鲁させる数恕を倡绩している。玫瑚爬Ｂを糠たな玫瑚爬Ｐとすることにより、玫瑚爬ＢおよびＰに玫瑚稍妥挝拌がある眷圭には、玫瑚稍妥挝拌が脚なることを瘦沮できるからである。しかし、この缄恕では玫瑚稍妥挝拌の脚なりが弓く、玫瑚跟唯が碍かった。
≮００３５≯
そこで、塑搓の券汤荚は、润泼钓矢弗１の祷窖に泼钓矢弗１の祷窖を努脱して、玫瑚稍妥挝拌を滇めることを雇えた。この努脱した觉轮が哭４である。なお、この努脱は涟淡したように塑券汤荚の料侯であり给梦ではない。笆布に付妄を词帽に棱汤する。
≮００３６≯
まず、附哼玫瑚爬Ｐ∈Ｘ１·Ｙ１∷を肋年して润泼钓矢弗１の数恕でひし妨の玫瑚稍妥挝拌を换叫し、肌に铬输玫瑚爬Ｑ∈Ｘ２·Ｙ２∷を肋年して润泼钓矢弗１の数恕でひし妨の玫瑚稍妥挝拌を换叫し、それぞれのひし妨の玫瑚稍妥挝拌が儡するか脚なれば铬输玫瑚爬を糠たな附哼玫瑚爬に肋年して玫瑚を渴め、そうでない眷圭には铬输玫瑚爬を附哼玫瑚爬に夺い疤弥に提して、すなわちバックトラックして、铬输玫瑚爬の借妄を浩刨乖う。
≮００３７≯
哭４に绩したＰ∏∈Ｘ１·Ｙｃ∷とＱ∏∈Ｘ２·Ｙｃ∷について雇える。附哼玫瑚爬Ｐの梧击刨がＳ１、铬输玫瑚爬Ｑの梧击刨がＳ２とし、附哼玫瑚爬Ｐを玫瑚爬Ｐ∏に败瓢することによって惧竞し评る梧击刨の呵络猛をＳ３と换叫し、铬输玫瑚爬Ｑを玫瑚爬Ｑ∏に败瓢することによって惧竞し评る梧击刨の呵络猛をＳ４と换叫しておいて、玫瑚爬Ｐ∏の梧击刨をＳ１≤Ｓ３、玫瑚爬Ｑ∏の梧击刨をＳ２≤Ｓ４とすることにより、玫瑚岭Ｙｃを徊救慨规とした慨规误Ｘを玫瑚する啼玛に耽冯でき、泼钓矢弗１に倡绩されたオ〖バ〖スキッピングによる箕废误アクティブ玫瑚恕により玫瑚稍妥认跋が滇まる。
≮００３８≯
そして、玫瑚岭Ｙｃを妈２の慨规误惧の链ての疤弥に肋年した眷圭の玫瑚稍妥认跋を换叫すると、附哼玫瑚爬Ｐの玫瑚稍妥挝拌と铬输玫瑚爬Ｑの玫瑚稍妥挝拌が脚なるかどうかを冉年できる。笆惧はＰ∏とＱ∏を慨规误Ｙ惧で票办の疤弥に败瓢した眷圭を棱汤したが、Ｐ∏とＱ∏を慨规误Ｘ惧で票办の疤弥に败瓢した眷圭も票屯に玫瑚稍妥挝拌の脚なりを冉年できる。
≮００３９≯
∈２≥３∷塑悸卉妨轮の玫瑚稍妥挝拌の换叫
惧淡のようにして玫瑚稍妥挝拌を换叫すれば慨规を光庐で玫瑚できる。しかし、塑搓では、泼钓矢弗１の数恕と润泼钓矢弗１の数恕を帽に寥み圭わせるだけなく、さらに雇えを渴めて骄丸のひし妨の玫瑚稍妥挝拌の戮に侍の糠たな玫瑚稍妥挝拌を肋年して玫瑚稍妥挝拌を弓くし、玫瑚箕粗を没教する数恕を料侯した。その玫瑚数恕が笆布に棱汤する塑悸卉妨轮である。
≮００４０≯
哭５と哭６を脱いて、塑悸卉妨轮で脱いる糠たな玫瑚稍妥挝拌の换叫数恕を棱汤する。
≮００４１≯
哭５は塑悸卉妨轮による玫瑚稍妥挝拌を绩す。哭４と票屯に附哼玫瑚爬Ｐ∈Ｘ１·Ｙ１∷と铬输玫瑚爬Ｑ∈Ｘ２·Ｙ２∷を肋年するが、それぞれの爬で迫惟に换叫したひし妨の玫瑚稍妥挝拌の戮に、２つの玫瑚爬の梧击刨の陵簇による玫瑚稍妥挝拌をそれぞれのひし妨の玫瑚稍妥挝拌の粗に肋年できる。铬输玫瑚爬Ｑは附哼玫瑚爬Ｐの梧击刨から件跋の梧击刨を徒卢して、玫瑚跟唯が紊いと雇えられる疤弥に肋年する。笆布に付妄を拒嘿に棱汤する。
≮００４２≯
哭６は慨规误Ｙ惧で玫瑚岭の疤弥をＹｃに盖年して慨规误Ｘを玫瑚する眷圭の付妄を绩す。哭４の棱汤と票屯に、附哼玫瑚爬Ｐの梧击刨をＳ１、铬输玫瑚爬Ｑの梧击刨をＳ２とする。Ｙ即惧で附哼玫瑚爬Ｐを玫瑚爬Ｐ∏∈Ｘ１·Ｙｃ∷まで败瓢することによって惧竞し评る梧击刨の呵络猛をＳ３、铬输玫瑚爬Ｑを玫瑚爬Ｑ∏∈Ｘ２、Ｙｃ∷まで败瓢することによって惧竞し评る梧击刨の呵络猛をＳ４とすると、玫瑚爬Ｐ∏の梧击刨をＳ１≤Ｓ３、玫瑚爬Ｑ∏の梧击刨をＳ２≤Ｓ４とすることにより、玫瑚岭Ｙｃを徊救慨规とした慨规误Ｘを玫瑚する啼玛に耽冯できる。
≮００４３≯
ここで塑券汤荚は、オ〖バ〖スキッピングによる猖紊した箕废误アクティブ玫瑚恕を料侯した∈泼搓２００５≥３５５０４０规徊救∷。すなわち、玫瑚爬Ｐ∏の玫瑚稍妥认跋と玫瑚爬Ｑ∏の玫瑚稍妥认跋が脚ならない眷圭でも、办年の掘凤を塔たせば玫瑚爬Ｐ∏と玫瑚爬Ｑ∏の粗の链认跋が玫瑚稍妥认跋となる。
≮００４４≯
哭６は玫瑚爬Ｐ∑と玫瑚爬Ｑ∏の陵簇簇犯を绩す。玫瑚岭のすき粗の调违をｄ∈ｄ′♂０∷、梧击刨の镧猛をθとすると、哭に绩すように梧击刨の惧嘎は∈Ｓ１≤Ｓ２≤Ｓ３≤Ｓ４≤ｄ】Ｌ∷と滇められ、この猛がθよりも井さい眷圭には玫瑚爬Ｐ∏と玫瑚爬Ｑ∏の链认跋が玫瑚稍妥となる。芒し、玫瑚岭Ｐ∏と玫瑚岭Ｑ∏が脚なってすき粗がない眷圭にはｄ♂０とする。
≮００４５≯
∈２≥４∷塑悸卉妨轮の眶及による沮汤
肌に、及を脱いて惧淡柒推を沮汤する。呵络梧击刨Ｓは笆布のように山せる。
≮００４６≯

Ｓ♂Ｓ１≤Ｓ２≤Ｓ３≤Ｓ４≤ｄ】Ｌ ˇˇˇ∈１∷

∈２≥４≥１∷玫瑚岭Ｐ∏と玫瑚岭Ｑ∏が脚ならないとき
玫瑚岭Ｐ∏と玫瑚岭Ｑ∏が脚ならないとき、ｄ♂∶Ｘ１≥Ｘ２∶≥Ｌだから、

Ｓ♂∶Ｘ１≥Ｘ２∶】Ｌ≥∈１≥Ｓ１≥Ｓ２≥Ｓ３≥Ｓ４∷ ˇˇˇ∈２∷

なお、玫瑚岭Ｐ∏と玫瑚岭Ｑ∏が脚なるかどうかの冉年は、∶Ｘ１≥Ｘ２∶′Ｌを塔たすかどうかで冉年できる。
≮００４７≯
∈２≥４≥１≥１∷妈１の涟捏掘凤
妈１の涟捏掘凤として、Ｙｃ°♂Ｙ１かつＹｃ°♂Ｙ２のときを雇える。
≮００４８≯
哭６より、梧击刨Ｓ３、Ｓ４は败瓢した玫瑚岭に糠たに裁わった挝拌ＬＳ３、ＬＳ４がすべて办米した眷圭だから玫瑚岭の败瓢翁より换叫でき、ＬＳ３♂∶Ｙ１≥Ｙｃ∶、ＬＳ４♂∶Ｙ２≥Ｙｃ∶
及∈２∷に洛掐すると、

Ｓ♂∈Ｓ１≤Ｓ２≥１∷≤∶Ｘ１≥Ｘ２∶】Ｌ≤∈Ｙ１≤Ｙ２≥２Ｙｃ∷】Ｌ
°♂θ

したがって、

２Ｙｃ′♂Ｌ∈１≤θ〗Ｓ１≥Ｓ２∷≥∶Ｘ１≥Ｘ２∶≤∈Ｙ１≤Ｙ２∷

ˇˇˇ∈３∷

及∈３∷は哭５の∈３∷に绩した玫瑚稍妥挝拌の掘凤及であり、この挝拌の惧嘎を换叫できる。
≮００４９≯
∈２≥４≥１≥２∷妈２の涟捏掘凤
妈２の涟捏掘凤として、Ｙ１♂Ｙ２でないとき、かつ、Ｙ１°♂Ｙｃ°♂Ｙ２またはＹ２°♂Ｙｃ°♂Ｙ１のときを雇える。
≮００５０≯
哭６より、Ｌ∈Ｓ３≤Ｓ４∷♂∶Ｙ１≥Ｙ２∶でＹｃに巴赂しない。及∈２∷に洛掐すると、

Ｓ♂∈Ｓ１≤Ｓ２≥１∷≤∶Ｘ１≥Ｘ２∶】Ｌ≤∶Ｙ１≥Ｙ２∶】Ｌ°♂θ

したがって、

０°♂Ｌ∈１≤θ〗Ｓ１≥Ｓ２∷≥∶Ｘ１≥Ｘ２∶≥∶Ｙ１≥Ｙ２∶

ˇˇˇ∈４∷

Ｙ１♂Ｙ２の眷圭には、この玫瑚稍妥挝拌は赂哼しない。
≮００５１≯
及∈４∷は哭５の∈２∷に绩した玫瑚稍妥挝拌の掘凤及であり、この挝拌が玫瑚稍妥挝拌であるかどうかを冉年できる。
≮００５２≯
∈２≥４≥１≥３∷妈３の涟捏掘凤
妈３の涟捏掘凤として、Ｙ１°♂ＹｃかつＹ２°♂Ｙｃのときを雇える。
≮００５３≯
哭６より、∈２≥４≥１≥１∷の眷圭と票屯に、

Ｓ♂∈Ｓ１≤Ｓ２≥１∷≤∶Ｘ１≥Ｘ２∶】Ｌ≥∈Ｙ１≤Ｙ２≥２Ｙｃ∷】Ｌ
°♂θ

したがって、

２Ｙｃ°♂Ｌ∈１≤θ≥Ｓ１≥Ｓ２∷≥∶Ｘ１≥Ｘ２∶≤∈Ｙ１≤Ｙ２∷

ˇˇˇ∈５∷

及∈５∷は哭５の∈１∷に绩した玫瑚稍妥挝拌の掘凤及であり、この挝拌の布嘎を换叫できる。
≮００５４≯
∈２≥４≥２∷玫瑚岭Ｐ∏と玫瑚岭Ｑ∏が脚なるとき
玫瑚岭Ｐ∏と玫瑚岭Ｑ∏が脚なるとき、玫瑚岭の脚なった挝拌は玫瑚岭Ｐ∏か玫瑚岭Ｑ∏のどちらか办数のみの梧击刨に大涂する眷圭に、この件收挝拌の梧击刨が呵も络きくなる。これは及∈１∷でｄ♂０の眷圭に陵碰するから、

Ｓ♂Ｓ１≤Ｓ２≤Ｓ３≤Ｓ４ ˇˇˇ∈６∷

∈２≥４≥２≥１∷妈１の涟捏掘凤
妈１の涟捏掘凤として、Ｙｃ°♂Ｙ１かつＹｃ°♂Ｙ２のときを雇える。
≮００５５≯
哭６より、ＬＳ３♂∶Ｙ１≥Ｙｃ∶、ＬＳ４♂∶Ｙ２≥Ｙｃ∶となり、及∈６∷に洛掐すると、

Ｓ♂∈Ｓ１≤Ｓ２∷≤∈Ｙ１≤Ｙ２≥２Ｙｃ∷】Ｌ°♂θ

したがって、

２Ｙｃ′♂Ｌ∈θ≥Ｓ１≥Ｓ２∷≤∈Ｙ１≤Ｙ２∷ ˇˇˇ∈７∷

及∈７∷は哭５の∈３∷に绩した玫瑚稍妥挝拌の掘凤及であり、この挝拌の惧嘎を换叫できる。
≮００５６≯
∈２≥４≥２≥２∷妈２の涟捏掘凤
妈２の涟捏掘凤として、Ｙ１♂Ｙ２でないときで、かつ、Ｙ１°♂Ｙｃ°♂Ｙ２またはＹ２°♂Ｙｃ°♂Ｙ１のときを雇える。
≮００５７≯
哭６より、Ｌ∈Ｓ３≤Ｓ４∷♂∶Ｙ１≥Ｙ２∶でＹｃに巴赂しない。及∈６∷に洛掐すると、

Ｓ♂∈Ｓ１≤Ｓ２∷≤∶Ｙ１≥Ｙ２∶】Ｌ°♂θ

したがって、

０°♂Ｌ∈θ≥Ｓ１≥Ｓ２∷≤∶Ｙ１≥Ｙ２∶ ˇˇˇ∈８∷

及∈８∷は哭５の∈２∷に绩した玫瑚稍妥挝拌の掘凤及であり、この挝拌が玫瑚稍妥挝拌であるかどうかを冉年できる。
≮００５８≯
∈２≥４≥２≥３∷妈３の涟捏掘凤
妈３の涟捏掘凤として、Ｙ１°♂ＹｃかつＹ２°♂Ｙｃのとき哭６より、∈２≥４≥２≥１∷と票屯に、

Ｓ♂∈Ｓ１≤Ｓ２∷≥∈Ｙ１≤Ｙ２≥２Ｙｃ∷】Ｌ°♂θ

したがって、

２Ｙｃ°♂Ｌ∈θ≥Ｓ１≥Ｓ２∷≤∈Ｙ１≤Ｙ２∷ ˇˇˇ∈９∷

及∈９∷は哭５の∈１∷に绩した玫瑚稍妥挝拌の掘凤及であり、この挝拌の布嘎を换叫できる。
≮００５９≯
なお、哭７に绩すように、慨规误Ｘ惧の玫瑚岭を盖年して雇えた眷圭も票屯に沮汤できる。
≮００６０≯
∈２≥５∷アルゴリズム
哭２、哭８第び哭９を脱いて、塑悸卉妨轮の玫瑚アルゴリズムを棱汤する。なお、∈２≥４∷に绩した玫瑚稍妥挝拌の换叫数恕を润泼钓矢弗１に努脱した眷圭を艰り惧げる。
≮００６１≯
哭８は、润泼钓矢弗１の骄丸の玫瑚の屯灰を绩す。铬输玫瑚爬Ｑを附哼玫瑚爬Ｐのひし妨の办爬に年める数恕を何脱し、慨规误Ｙ惧の玫瑚岭を盖年して慨规误Ｘを玫瑚する。话逞妨の毛のうち呵も你い疤弥Ｙｍを玫すと、Ｙｍ笆布の挝拌は玫瑚稍妥と尸かるため、慨规误Ｙ惧の玫瑚岭をＹｍにスキップして票屯の玫瑚を费鲁する。
≮００６２≯
哭９は、塑悸卉妨轮の稍妥挝拌玫瑚数恕を努脱した眷圭を绩す。陵簇玫瑚稍妥挝拌により话逞妨の毛が虽まるため、呵も你い疤弥Ｙｍ∏は疤弥Ｙｍよりも涩ず络きいか霹しくなる。慨规误Ｙ惧の玫瑚岭をＹｍ∏に败瓢すれば骄丸よりも光庐に玫瑚が材墙になる。
≮００６３≯
哭９のアルゴリズムについて哭２のフロ〖チャ〖トに答づいて棱汤する。
≮００６４≯
まず、附哼玫瑚爬Ｐ∈Ｘ１·Ｙ１∷を扦罢の疤弥に肋年して介袋步する∈ステップＳ２００∷。
≮００６５≯
肌に、附哼玫瑚爬Ｐ∈Ｘ１·Ｙ１∷の夺说に铬输玫瑚爬Ｑ∈Ｘ２·Ｙ２∷を肋年する∈ステップＳ２０１∷。
≮００６６≯
肌に、附哼玫瑚爬Ｐと铬输玫瑚爬Ｑの梧击刨を换叫する∈ステップＳ２０２∷。
≮００６７≯
肌に、附哼玫瑚爬Ｐの梧击刨が镧猛θを亩えるかどうかを冉年し、臂える眷圭はステップＳ２０４に渴み、臂えない眷圭はステップＳ２０５に渴む∈ステップＳ２０３∷。
≮００６８≯
肌に、梧击刨が镧猛θを亩える眷圭は梧击爬を叫蜗して、ステップＳ２０５に渴む∈ステップＳ２０４∷。
≮００６９≯
肌に、附哼玫瑚爬Ｐと铬输玫瑚爬Ｑについて帽迫玫瑚稍妥挝拌を肋年する∈ステップＳ２０５∷。
≮００７０≯
肌に、附哼玫瑚爬Ｐと铬输玫瑚爬Ｑに簇する陵簇による呵络梧击刨Ｓを换叫する∈ステップＳ２０６∷。Ｘ２≥Ｘ１°♂ＬのときはＹ１♂Ｙ２だから及∈９∷より、２Ｙｃ°♂Ｌ∈θ≥Ｓ１≥Ｓ２∷よりＹｃを换叫する。Ｘ２≥Ｘ１′Ｌのときは票屯にして及∈５∷より、２Ｙｃ°♂Ｌ∈１≤θ≥Ｓ１≥Ｓ２∷≥∈Ｘ２≥Ｘ１∷よりＹｃを换叫する。
≮００７１≯
肌に、陵簇玫瑚稍妥挝拌を肋年する∈ステップＳ２０７∷。
≮００７２≯
肌に、陵簇玫瑚稍妥挝拌を肋年できず、附哼玫瑚爬Ｐと铬输玫瑚爬Ｑの帽迫玫瑚稍妥挝拌が稍息鲁になってバックトラックが涩妥かどうかを冉年する∈ステップＳ２０８∷。
≮００７３≯
肌に、バックトラックが涩妥な眷圭は铬输玫瑚爬Ｑを附哼玫瑚爬Ｐの夺くに浩肋年して∈ステップＳ２０９∷、ステップ２０２に提る。
≮００７４≯
肌に、バックトラックが涩妥でない眷圭は链挝拌を玫瑚したかどうかを冉年する∈ステップ２１０∷。链挝拌を玫瑚したときは姜位する。
≮００７５≯
链挝拌を玫瑚していない眷圭は铬输玫瑚爬Ｑを糠たな附哼玫瑚爬Ｐ∏に肋年して∈ステップＳ２１１∷、ステップＳ２０１に提り玫瑚を费鲁する。
≮００７６≯
∈３∷跟蔡
このように、塑悸卉妨轮に犯わる慨规玫瑚刘弥１００によれば、２つの玫瑚岭のペアの疤弥の陵高簇犯を雇胃して玫瑚稍妥挝拌を弓げることにより、玫瑚を光庐步できる。
≮００７７≯
∈４∷恃构毋
哭１０から哭１２を脱いて、塑悸卉妨轮の慨规玫瑚刘弥１００において、铬输玫瑚爬の肋年数恕を恃构する毋を棱汤する。
≮００７８≯
∈４≥１∷骄丸の玫瑚稍妥挝拌を脱いた孺毋木俐惧での玫瑚数恕
哭１０の毋では、泼钓矢弗１の数恕と润泼钓矢弗１の数恕を寥み圭わせて、铬输玫瑚爬Ｑを附哼玫瑚爬Ｐの赖孺毋木俐惧に肋年する。この恃构毋では、陵簇玫瑚稍妥挝拌を脱いない。
≮００７９≯
まず、附哼玫瑚爬Ｐを付爬に肋年し、哭１０の木俐１０００ように付爬を奶る饭き１の孺毋木俐惧で、骄丸の玫瑚稍妥挝拌を脚ねながら玫瑚する。木俐惧で玫瑚が姜わると、孺毋木俐から呵も夺い玫瑚稍妥挝拌を玫して、その挝拌に儡する饭き１の孺毋木俐を肋年する。哭１０では、玫瑚稍妥挝拌１００１が呵も木俐１０００から夺く、∈０·Ｙｎ∷を奶る木俐１００２を肋年する。すると、木俐１０００から木俐１００２の粗の挝拌を玫瑚貉みにし、木俐１００２惧で票屯に玫瑚を渴める、という借妄を帆り手す。玫瑚は甜磅１００３の数羹に渴めるが、惧染尸の挝拌をすべて玫瑚すると、甜磅１００３と嫡数羹にも玫瑚を渴める。
≮００８０≯
铬输玫瑚爬Ｑは笆布のように疯める。まず、附哼玫瑚爬Ｐの梧击刨やこれまでの玫瑚爬の梧击刨の旺悟から、孺毋木俐惧で梧击刨を徒卢する。附哼玫瑚爬Ｐ∈Ｘ１·Ｙ１∷の梧击刨をＳ１、铬输玫瑚爬Ｑ∈Ｘ２·Ｙ２∷の梧击刨をＳ２、しきい猛の梧击刨をθ、玫瑚岭の墓さをＬとすると、泼钓矢弗１より∈Ｘ２·Ｙ２∷は笆布のように山すことができ、この认跋柒の扦罢の眷疥で铬输玫瑚爬Ｑの疤弥を疯める。バックトラックが券栏した眷圭は、铬输玫瑚疤弥Ｑを、毋えば爬Ｐと爬Ｑの面爬に提せばよい。
≮００８１≯

Ｘ２°♂Ｘ１≤Ｌ∈θ≥Ｓ１≥Ｓ２∷
Ｙ２°♂Ｙ１≤Ｌ∈θ≥Ｓ１≥Ｓ２∷
芒し、Ｙ２♂Ｘ２≤Ｙｎ·Ｘ１°Ｘ２·Ｙ１°Ｙ２

この玫瑚数恕は、哭８の数恕より玫瑚稍妥挝拌の脚なりが警なく、光庐に玫瑚できる。
≮００８２≯
∈４≥２∷陵簇玫瑚稍妥挝拌を脱いた孺毋木俐惧での玫瑚数恕
哭１１の毋では、恃构毋∈４≥１∷に裁えて惧淡悸卉妨轮の陵簇玫瑚稍妥挝拌を脱いる眷圭である。
≮００８３≯
哭１１のように陵簇玫瑚稍妥挝拌を肋年する笆嘲は哭１０の数恕と票屯である。哭１０の数恕と孺秤して、さらに玫瑚稍妥挝拌の脚なりが警ないので、より光庐步に玫瑚できる。
≮００８４≯
铬输玫瑚爬Ｑの疯め数を笆布に棱汤する。
≮００８５≯
まず、附哼玫瑚爬Ｐの梧击刨やこれまでの玫瑚爬の梧击刨の旺悟から、付爬を奶る孺毋木俐惧の梧击刨を徒卢する。この簇犯を笆布のように山すことにする。
≮００８６≯

Ｓ２♂Ｆ∈Ｘ２∷ ˇˇˇ∈１０∷

Ｚ♂∶Ｘ１≥Ｘ２∶とすると、孺毋木俐惧では∶Ｙ１≥Ｙ２∶♂∶Ｘ１≥Ｘ２∶♂Ｚとなる。∶Ｘ１≥Ｘ２∶°Ｌのとき、及∈８∷より、

Ｚ°♂Ｌ∈θ≥Ｓ１≥Ｓ２∷ 芒し、Ｚ°♂Ｌ ˇˇˇ∈１１∷

票屯に、∶Ｘ１≥Ｘ２∶°Ｌのとき、及∈４∷より、

Ｚ°Ｌ∈１≤θ≥Ｓ１≥Ｓ２∷】２ 芒し、Ｚ′Ｌ ˇˇˇ∈１２∷

θ°♂１、Ｓ１°♂１、Ｓ２°♂１だから及∈１１∷の宝收はＬ笆布だから、Ｚ°♂Ｌの涟捏掘凤を塔たし评る。しかし、及∈１２∷の宝收はＬ笆布だから、Ｚ′Ｌの涟捏掘凤を塔たさない。よって哭１１の毋では及∈１１∷のみ喇惟する。これは、∶Ｙ１≥Ｙ２∶♂∶Ｘ１≥Ｘ２∶の扩腆によるものである。
≮００８７≯
及∈１１∷よりＺの呵络猛はＺ♂Ｌ∈θ≥Ｓ１≥Ｓ２∷であり、Ｘ２′Ｘ１の眷圭はＺ♂Ｘ２≥Ｘ１だからＸ２≥Ｘ１♂Ｌ∈θ≥Ｓ１≥Ｓ２∷となりＸ２は笆布のように瞥ける。
≮００８８≯

Ｘ２♂Ｘ１≤Ｌ∈θ≥Ｓ１≥Ｓ２∷ ˇˇˇ∈１３∷

及∈１０∷と及∈１３∷を豺いて、Ｘ２が呵络になるＳ２を换叫できる。いま、Ｙ２♂Ｘ２≤Ｙｎだから、Ｙ２は笆布のように换叫できる。
≮００８９≯

Ｙ２♂Ｘ１≤Ｌ∈θ≥Ｓ１≥Ｓ２∷≤Ｙｎ ˇˇˇ∈１４∷

∈４≥２∷玫瑚稍妥挝拌をジグザグに肋年する玫瑚数恕
哭１２の毋では、泼钓矢弗１の数恕と润泼钓矢弗１の数恕を寥み圭わせて、铬输玫瑚爬Ｑをジグザグに肋年する。哭８の玫瑚数恕より玫瑚稍妥挝拌の脚なりが警ないので玫瑚を光庐步できる。哭１１の数恕と票屯に陵簇玫瑚稍妥挝拌を脱いても紊い。
≮００９０≯
∈４≥３∷その戮の数恕
これらに嘎らず、铬输玫瑚爬の肋年数恕は陵簇玫瑚稍妥挝拌を肋年できる数恕であれば部でもよい。
≮００９１≯
なお、塑券汤は惧淡悸卉妨轮そのままに嘎年されるものではなく、悸卉檬超ではその妥惠を帮忙しない认跋で菇喇妥燎を恃妨して恶挛步できる。また、惧淡悸卉妨轮に倡绩されている剩眶の菇喇妥燎の努倒な寥み圭わせにより、硷」の券汤を妨喇できる。毋えば、悸卉妨轮に绩される链菇喇妥燎から傣つかの菇喇妥燎を猴近してもよい。さらに、佰なる悸卉妨轮にわたる菇喇妥燎を努倒寥み圭わせてもよい。
≮００９２≯
毋えば、塑悸卉妨轮では鼻咙の玫瑚に脱いたが、あらゆる慨规玫瑚、毋えば、不兰慨规玫瑚、ＤＮＡ宾答芹误の玫瑚などに努脱できる。炳脱としては、鼻咙慨规のリプレイ浮叫や、不兰慨规のコ〖ナ〖タイトル不浮叫ができる。さらにこれらを炳脱して鼻咙慨规や鼻咙慨规のインデクシングにも炳脱できる。
≮００９３≯
∈妈２の悸卉妨轮∷
妈２の悸卉妨轮の慨规玫瑚刘弥１３００について哭１３から哭１９を脱いて棱汤する。塑悸卉妨轮でも、テレビ戎寥を峡茶した２箕粗の２つの鼻咙慨规∈妈１の慨规误１３１０と妈２の慨规误１３１１∷を陵高に玫瑚して梧击する鼻咙惰粗を浮叫する毋を棱汤する。なお、掐蜗慨规は、１擅粗に３０绥のフレ〖ム茶咙が崔まれた鼻咙慨规である。
≮００９４≯
∈１∷慨规玫瑚刘弥１３００の菇喇
慨规玫瑚刘弥１３００は、妈１の慨规误１３０１と妈２の慨规误１３１１とを掐蜗し、梧击爬を玫瑚冯蔡１３１２として叫蜗する。
≮００９５≯
慨规玫瑚刘弥１３００は、玫瑚稍妥挝拌の介袋猛を肋年する妈１の玫瑚稍妥挝拌肋年婶１３０１と、玫瑚鄂粗柒で妈１の玫瑚爬を浮瑚する妈１の玫瑚爬浮瑚婶１３０２と、妈１の玫瑚爬の梧击刨を换叫する妈１の梧击刨换叫婶１３０３と、涟淡妈１の梧击刨が镧猛より络きい眷圭に、涟淡妈１の玫瑚爬を梧击爬として叫蜗する梧击爬叫蜗婶１３０４と、妈１の玫瑚爬とは疤弥が佰なる妈２の玫瑚爬の疤弥を徒卢する妈２の玫瑚爬徒卢婶１３０５と、涟淡妈２の玫瑚爬の梧击刨を悸狠に换叫する妈２の梧击刨换叫婶１３０８と、妈２の玫瑚爬による玫瑚稍妥挝拌が玫瑚貉み挝拌と脚ならない眷圭に妈２の玫瑚爬の疤弥を浩徒卢するバックトラック涩妥拉冉年婶１３０６と、妈２の玫瑚爬による玫瑚稍妥挝拌を肋年する妈２の玫瑚稍妥挝拌肋年婶１３０７と、涟淡妈２の玫瑚稍妥挝拌を涟淡妈１の玫瑚稍妥挝拌に崔めて、涟淡妈１の玫瑚稍妥挝拌を橙络する玫瑚稍妥挝拌橙络婶と１３０９と、から菇喇される。
≮００９６≯
∈２∷慨规玫瑚刘弥１３００の瓢侯
肌に、哭１３第び哭１４に绩すフロ〖チャ〖トを脱いて、慨规玫瑚刘弥１３００の瓢侯について棱汤する。
≮００９７≯
∈２≥１∷玫瑚稍妥挝拌の介袋觉轮の换叫
哭１５に慨规玫瑚刘弥１３００によって肋年される玫瑚稍妥挝拌の介袋觉轮を绩す。Ｘは妈１の慨规误、Ｙは妈２の慨规误を山し、Ｘ≥Ｙ士烫は２つの慨规误からなる２肌傅の玫瑚鄂粗を山す。妈１の悸卉妨轮の灌誊∈２≥２∷で棱汤した付妄により、毋えば玫瑚爬∈Ｘ１、Ｙ１∷の梧击刨がＳ１∈０°♂θ°♂１∷と纷换された眷圭、面丙から眉爬までの墓さがＬ∈θ≥Ｓ１∷≤１のひし妨の妈１の玫瑚稍妥挝拌を肋年できる。芒し、Ｌは玫瑚岭墓、θは镧猛∈０°♂θ°♂１∷である。
≮００９８≯
介袋觉轮ではまず木俐Ｙ♂０惧でオ〖バ〖スキッピングによる箕废误アクティブ玫瑚を乖い、それぞれの妈１の玫瑚爬によって肋年される企霹收话逞妨の玫瑚稍妥挝拌が脚なるように妈１の玫瑚稍妥挝拌を肋年する。それぞれの企霹收话逞妨の妈１の玫瑚稍妥挝拌によって侯られる链ての毛の端井爬Ｖｊ∈Ｔｊ、τｊ∷∈１°♂ｊ°♂Ｎ、芒しＮは毛の眶∷を介袋猛として淡脖する。
≮００９９≯
∈２≥２∷玫瑚稍妥挝拌の喇墓
哭１６に妈１の玫瑚稍妥挝拌を橙络させて妈１の玫瑚稍妥挝拌で玫瑚鄂粗を蛇きつめる办毋を绩す。毛の误の端井爬ＶｊからＹ郝筛猛が呵井の毛の端井爬Ｖｍｉｎ∈Ｔｍｉｎ、τｍｉｎ∷を妈１の玫瑚爬として浮瑚する。哭の毋では毛の端井爬１６０１のＹ郝筛猛は０だから妈１の玫瑚爬として浮瑚される。毛の端井爬Ｖｍｉｎの梧击刨Ｓ１∈０°♂θ°♂１∷を换叫し、Ｓ１が镧猛θ∈０°♂θ°♂１∷を亩える眷圭には妈１の玫瑚爬の郝筛猛を玫瑚冯蔡１３１２として叫蜗する。
≮０１００≯
そうでない眷圭には、木俐Ｘ♂Ｔｍｉｎ惧に妈２の玫瑚爬を肋年する。毋えば、妈１の玫瑚爬と妈２の玫瑚爬は夺い疤弥にあるから、梧击刨もほとんど恃步しないと雇えて、妈１の玫瑚爬の梧击刨と票じであると徒卢する。すると妈２の玫瑚爬によるひし妨の玫瑚稍妥挝拌の面看から眉爬までの墓さはＬ∈θ≥Ｓ１∷≤１だから、妈２の玫瑚爬によるひし妨の玫瑚稍妥挝拌が妈１の玫瑚爬を崔むように、妈２の玫瑚爬の疤弥を∈Ｔｍｉｎ≤Ｌ∈θ≥Ｓ１∷、τｍｉｎ∷と徒卢する。哭の毋では妈２の玫瑚爬を爬１６０２に肋年する。
≮０１０１≯
妈２の玫瑚爬の梧击刨Ｓ２∈０°♂θ°♂１∷を换叫し、妈２の玫瑚爬による妈２の玫瑚稍妥挝拌が妈１の玫瑚爬を崔まなかった眷圭には、妈１の玫瑚爬を崔むまで、妈２の玫瑚爬の疤弥を木俐Ｘ♂Ｔｍｉｎ惧で妈１の玫瑚爬に１づつ夺づけて、疤弥の浩徒卢と梧击刨の浩纷换をする。この借妄をバックトラックと钙ぶ。呵姜弄に妈２の玫瑚爬による妈２の玫瑚稍妥挝拌が妈１の玫瑚爬を崔むことができると、妈２の玫瑚稍妥挝拌１６０３を肋年する。
≮０１０２≯
妈２の玫瑚稍妥挝拌と毛の端井爬Ｖｊに钨儡する２つの怀とが侯る糠たな２つの毛を毛の误の端井爬Ｖｊに裁え、妈１の玫瑚爬を猴近する。妈２の玫瑚稍妥挝拌が钨の怀の暮爬を崔む眷圭や萨含が脚なる眷圭には毛を栏喇せず、木俐１６０５のように钨の怀の萨含を变墓する。妈２の玫瑚稍妥挝拌の链挛を网脱しないため痰绿が栏じるが、钨儡しない怀との簇犯を雇胃しなくてよいのでアルゴリズムを帽姐步できる网爬がある。毛の郝筛が腊眶にならない眷圭には、毛を妈２の玫瑚稍妥挝拌の柒婶に毛１６０４に绩すように肋年する。これによっても妈２の玫瑚稍妥挝拌の痰绿が栏じるが、骄丸缄恕のように玫瑚爬を２つ肋年するより借妄搀眶を你负できる。また、妈２の玫瑚稍妥挝拌がＸ♂０またはＸ♂Ｎ∈芒しＮは妈１の慨规误の眶∷と儡するあるいは脚なる眷圭には、Ｘ♂０またはＸ♂Ｎ惧で妈２の玫瑚稍妥挝拌がＹ即に簇する呵络疤弥に毛を栏喇する。
≮０１０３≯
芒し、妈２の玫瑚爬の梧击刨が络きくて妈２の玫瑚稍妥挝拌を肋年できない眷圭には、妈１の玫瑚爬の郝筛を∈Ｔｍｉｎ、τｍｉｎ∷とすると、毛が脚剩しないように糠たな３つの毛、∈Ｔｍｉｎ≥１、τｍｉｎ≤１∷、∈Ｔｍｉｎ、τｍｉｎ≤１∷、∈Ｔｍｉｎ≤１、τｍｉｎ≤１∷を栏喇する。
≮０１０４≯
哭１７にこのようにして栏喇した玫瑚稍妥挝拌と毛の办毋を绩す。
≮０１０５≯
笆惧に棱汤した借妄を帆り手して、τｍｉｎが妈２の慨规误の眉まで毗茫して玫瑚鄂粗を玫瑚稍妥挝拌または梧击爬で虽め吭くした眷圭には玫瑚借妄を姜位する。
≮０１０６≯
∈２≥３∷玫瑚稍妥挝拌の董肠掘凤
玫瑚稍妥挝拌の董肠掘凤について雇弧する。附哼玫瑚爬∈Ｘ１、Ｙ１∷の梧击刨がＳ１と纷换された眷圭、ひし妨の玫瑚稍妥挝拌の面丙から眉爬までの墓さは、骄丸缄恕ではＬ∈θ≥Ｓ１∷≤１だったのに滦して捏捌缄恕ではＬ∈θ≥Ｓ１∷であることに庙罢が涩妥である。骄丸缄恕の玫瑚稍妥挝拌の董肠俐惧は玫瑚しなければならないのに滦して、捏捌缄恕では玫瑚稍妥挝拌に崔まれるという般いがある。
≮０１０７≯
２つの玫瑚稍妥挝拌が儡する眷圭を雇えると、骄丸缄恕による玫瑚稍妥挝拌の董肠俐惧は玫瑚しなければならないから、２つの玫瑚稍妥挝拌の儡俐惧を玫瑚せねばならず、玫瑚稍妥挝拌の息鲁を瘦沮できない。
≮０１０８≯
∈２≥４∷アルゴリズム
哭１４第び哭１５を脱いて塑悸卉妨轮の妈２の悸卉妨轮の玫瑚アルゴリズムを棱汤する。
≮０１０９≯
まず、木俐Ｙ♂０惧でオ〖バ〖スキッピングによる箕废误アクティブ玫瑚を乖って、企霹收话逞妨の玫瑚稍妥挝拌が侯る毛の端井爬を介袋猛として淡脖し∈ステップＳ１４００∷、Ｙ郝筛の猛が呵井の毛の端井爬を浮瑚して妈１の玫瑚爬とする∈ステップ１４０１∷。
≮０１１０≯
玫瑚鄂粗を链て玫瑚し姜わった眷圭には玫瑚借妄を姜位し、そうでない眷圭にはステップＳ１４０３に渴んで玫瑚借妄を费鲁する∈ステップＳ１４０２∷。
≮０１１１≯
玫瑚借妄を费鲁する眷圭には、妈１の玫瑚爬の梧击刨を换叫し∈ステップＳ１４０３∷、妈１の玫瑚爬の梧击刨が镧猛を亩えるかどうかを冉年し∈ステップＳ１４０４∷、镧猛を亩える眷圭には妈１の玫瑚爬の郝筛猛を玫瑚冯蔡として叫蜗し、そうでない眷圭にはステップＳ１４０６に渴む∈ステップＳ１４０５∷。
≮０１１２≯
镧猛笆布の眷圭には妈１の玫瑚爬を妈２の玫瑚稍妥挝拌が崔むように妈２の玫瑚爬の疤弥を徒卢して∈ステップＳ１４０６∷、妈２の玫瑚爬の梧击刨を换叫する∈ステップＳ１４０７∷。
≮０１１３≯
妈２の玫瑚爬による妈２の玫瑚稍妥挝拌が妈１の玫瑚爬を崔まない眷圭にはバックトラックが涩妥と冉年し、バックトラックが涩妥な眷圭にはステップＳ１４０６に提って、妈２の玫瑚爬の疤弥を妈１の玫瑚爬に夺づけて浩徒卢し、妈２の玫瑚稍妥挝拌が妈１の玫瑚爬を崔むか、妈２の玫瑚爬が妈１の玫瑚爬に钨儡するまで浩徒卢をくり手す∈ステップＳ１４０８∷。
≮０１１４≯
妈２の玫瑚爬の梧击刨と镧猛とを孺秤して、妈２の玫瑚稍妥挝拌を肋年できる眷圭には妈２の玫瑚稍妥挝拌を肋年し、できない眷圭は妈２の玫瑚稍妥挝拌を肋年しない∈ステップＳ１４０９∷。この妈２の玫瑚爬の梧击刨と镧猛とを孺秤して、妈２の玫瑚稍妥挝拌を肋年できるか容かは、润泼钓矢弗１に绩されている≈アクティブ箕废误アクティブ玫瑚恕∽を脱いる。
≮０１１５≯
肌に、妈２の玫瑚稍妥挝拌を肋年できる眷圭には、妈２の玫瑚稍妥挝拌と钨儡する怀とが侯る毛を糠たに栏喇して淡脖する。办数、妈２の玫瑚稍妥挝拌を肋年できない眷圭には、哭１６に绩すように妈１の玫瑚爬１６１０からＹ郝筛の赖の数羹に１渴んだ肌の玫瑚爬铬输１６１２第び涟淡玫瑚爬铬输１６１２の焊宝にある肌の玫瑚爬铬输１６１１·１６１３の３爬にそれぞれ毛の端井爬を糠たに栏喇して淡脖する∈ステップＳ１４１０∷。
≮０１１６≯
肌に、惧淡肋年できる眷圭、第び、できない眷圭のいずれの眷圭も毛を栏喇すれば、妈１の玫瑚爬を猴近し、ステップＳ１４０１に提り玫瑚を费鲁する∈ステップＳ１４１１∷。
≮０１１７≯
∈３∷妈２の悸卉妨轮の跟蔡
このように、妈２の悸卉妨轮に犯わる慨规玫瑚刘弥１３００によれば、玫瑚鄂粗を玫瑚稍妥挝拌で蛇き低める狠の脚なりを你负することにより、玫瑚を光庐步できる。
≮０１１８≯
∈４∷妈２の悸卉妨轮の恃构毋
妈２の玫瑚爬の梧击刨の徒卢猛Ｓ２∏の徒卢数恕はこれに嘎らず、件跋の剩眶の玫瑚爬の梧击刨や、件跋の毛の郝筛猛などに答づいたり、あるいは、盖年墓に肋年したりするなど、どのような数恕でもよい。
≮０１１９≯
妈２の玫瑚爬の疤弥の浩肋年数恕はこれに嘎らず、妈１の玫瑚爬との调违の面爬としたり、件りの玫瑚爬の梧击刨に答づいたり、どのような数恕でもよい。
≮０１２０≯
∈妈３の悸卉妨轮∷
哭１８第び哭１９を脱いて、妈２の悸卉妨轮の慨规玫瑚刘弥１３００において、妈２の玫瑚爬の肋年数恕を恃构する毋を棱汤する。
≮０１２１≯
∈１∷陵簇扩腆による董肠掘凤の此下
哭１６の毋では、妈１の玫瑚爬を崔むように妈２の玫瑚稍妥挝拌を肋年したが、妈１の悸卉妨轮で绩した陵簇玫瑚稍妥挝拌を网脱すると、この董肠掘凤を此下できる。塑恃构毋ではアルゴリズムの帽姐步のため、及４に绩した士乖な董肠俐にはさまれた陵簇玫瑚稍妥挝拌のみを脱いる。
≮０１２２≯
哭１８に陵簇玫瑚稍妥挝拌を网脱した眷圭の妈２の玫瑚爬の肋年数恕の办毋を绩す。妈１の玫瑚爬１８０１の梧击刨から妈２の玫瑚爬１８０２の疤弥を徒卢するが、妈２の玫瑚爬徒卢婶１３０５は及４を塔たす认跋柒で妈２の玫瑚爬１８０２を肋年する。妈１の玫瑚爬と妈２の玫瑚爬とはＸ郝筛が票じだから、及∈４∷を笆布のように恃妨できる。
≮０１２３≯

∶Ｙ１≥Ｙ２∶°♂Ｌ∈１≤θ〗Ｓ１≥Ｓ２∷

陵簇玫瑚稍妥挝拌のない眷圭は笆布の及で山される。
≮０１２４≯

∶Ｙ１≥Ｙ２∶°♂Ｌ∈２θ〗Ｓ１≥Ｓ２∷

妈１の玫瑚爬を毛の端井爬とする玫瑚貉み挝拌と妈２の玫瑚貉み挝拌との粗の、Ｙ即数羹の调违をＤとする、Ｄはこれらの及の宝收の汗尸だから笆布の及で山せる。
≮０１２５≯

Ｄ°♂Ｌ∈１≥θ∷ ˇˇˇ∈１５∷

よって、妈２の玫瑚稍妥挝拌は妈１の玫瑚爬から及を塔たす调违だけ违れて肋年すればよい。
≮０１２６≯
妈２の悸卉妨轮と票屯に、妈２の玫瑚稍妥挝拌第び陵簇玫瑚稍妥挝拌で糠たな怀を侯り、怀の吻俐と妈１の玫瑚爬である毛の吻俐との蛤爬を糠たな毛とする。妈２の玫瑚爬１８０２によって２つの陵簇玫瑚稍妥挝拌１８０４、１８０５を肋年できる。陵簇玫瑚稍妥挝拌はＸ即数羹とＹ即数羹の尉数に肋年できるため、陵簇玫瑚稍妥挝拌１８０４は士乖煌收妨にならず剩花な妨觉になることがある。木俐１８０６に绩すように、董肠俐の粗で木俐が陵簇玫瑚稍妥挝拌のみを奶るように毛１８０８を肋年する。毛の郝筛が腊眶にならない眷圭には妈２の悸卉妨轮と票屯に、毛１８０８に绩すように玫瑚稍妥挝拌の柒婶に肋年する。木俐１８０７のように、钨の怀の吻俐を变墓できる眷圭には糠たな毛を栏喇しない。妈２の玫瑚稍妥挝拌が木俐Ｘ♂０または木俐Ｘ♂Ｎと蛤汗する眷圭には妈２の悸卉妨轮と票屯に木俐惧の蛤爬のうちＹ郝筛猛が呵络の爬を糠たな毛とする。
≮０１２７≯
哭１９にこのようにして栏喇した玫瑚稍妥挝拌と毛の办毋を绩す。
≮０１２８≯
その戮の瓢侯は妈２の悸卉妨轮と票屯である。
≮０１２９≯
∈２∷妈３の悸卉妨轮の跟蔡
このように、陵簇玫瑚稍妥挝拌を网脱すると、玫瑚稍妥挝拌の脚なりをさらに你负することにより玫瑚を光庐步できる。しかも、陵簇玫瑚稍妥挝拌の网脱は、妈２の悸卉妨轮の董肠掘凤冉年及を恃构するだけで词帽に悸附できる。
≮０１３０≯
∈３∷妈３の悸卉妨轮の恃构毋
妈３の悸卉妨轮では士乖な董肠俐で洞まれた陵簇玫瑚稍妥挝拌のみを脱いたが、これに嘎らずその戮の陵簇玫瑚稍妥挝拌を脱いても紊い。
≮哭烫の词帽な棱汤≯
≮０１３１≯
≮哭１≯塑券汤の妈１の悸卉妨轮に犯わる光庐慨规玫瑚数恕の菇喇を绩すブロック哭である。
≮哭２≯妈１の悸卉妨轮の瓢侯を绩すフロ〖チャ〖トである。
≮哭３≯骄丸の润泼钓矢弗１の玫瑚稍妥挝拌である。
≮哭４≯润泼钓矢弗１に泼钓矢弗２を努脱した玫瑚稍妥挝拌である。
≮哭５≯妈１の悸卉妨轮による玫瑚稍妥挝拌である。
≮哭６≯妈１の悸卉妨轮による玫瑚稍妥挝拌の付妄を棱汤した哭である。
≮哭７≯妈１の悸卉妨轮による玫瑚稍妥挝拌の侍の毋である。
≮哭８≯润泼钓矢弗１に泼钓矢弗２を努脱した眷圭の玫瑚渴乖を棱汤した哭である。
≮哭９≯妈１の悸卉妨轮による玫瑚渴乖を棱汤した哭である。
≮哭１０≯妈１の悸卉妨轮による玫瑚渴乖の妈１の侍の毋を棱汤した哭である。
≮哭１１≯妈１の悸卉妨轮による玫瑚渴乖の妈２の侍の毋を棱汤した哭である。
≮哭１２≯妈１の悸卉妨轮による玫瑚渴乖の妈２の侍の毋を棱汤した哭である。
≮哭１３≯塑券汤の妈２の悸卉妨轮に犯わる光庐慨规玫瑚数恕の菇喇を绩すブロック哭である。
≮哭１４≯妈２の悸卉妨轮の瓢侯を绩すフロ〖チャ〖トである。
≮哭１５≯妈２の悸卉妨轮による玫瑚稍妥挝拌の介袋觉轮を棱汤した哭である。
≮哭１６≯妈２の悸卉妨轮による玫瑚渴乖を棱汤した哭である。
≮哭１７≯妈２の悸卉妨轮による玫瑚渴乖した冯蔡を棱汤した哭である。
≮哭１８≯妈３の悸卉妨轮による玫瑚渴乖を棱汤した哭である。
≮哭１９≯妈３の悸卉妨轮により玫瑚渴乖した冯蔡を棱汤した哭である。
≮射规の棱汤≯
≮０１３２≯
１００ 慨规玫瑚刘弥
１０１ 玫瑚爬肋年婶
１０２ 梧击刨换叫婶
１０３ 帽迫玫瑚稍妥挝拌肋年婶
１０４ 陵簇呵络梧击刨换叫婶
１０５ 陵簇玫瑚稍妥挝拌肋年婶
１０６ バックトラック冉年婶
１０７ 玫瑚貉み挝拌冉年婶
 
≮叫搓客≯   ≮急侍戎规≯０００００３０７８
≮会叹唆は叹疚≯臭及柴家澎记
 
≮叫搓泣≯   士喇１８钳１１奉３０泣∈２００６ˉ１１ˉ３０∷  
≮洛妄客≯   ≮急侍戎规≯１０００５９２２５
≮售妄晃≯
≮会叹唆は叹疚≯恼拍 帏灰

≮急侍戎规≯１０００７６３１４
≮售妄晃≯
≮会叹唆は叹疚≯恼拍 赖客

≮急侍戎规≯１００１１２６１２
≮售妄晃≯
≮会叹唆は叹疚≯面录 暖晃

≮急侍戎规≯１００１１２６２３
≮售妄晃≯
≮会叹唆は叹疚≯少拍 诡宫


 
≮给倡戎规≯   泼倡２００７≥２７２８６４∈Ｐ２００７≥２７２８６４Ａ∷  
≮给倡泣≯   士喇１９钳１０奉１８泣∈２００７ˉ１０ˉ１８∷  
≮叫搓戎规≯   泼搓２００６≥３２２９４２∈Ｐ２００６≥３２２９４２∷