更改
跳到导航
跳到搜索
第669行：
第669行： − + − + − +
→对角线版本的递归定理
! 程序\数据 !! 1 !! 2 !! ...... !! v !! ......
! 程序\数据 !! 1 !! 2 !! ...... !! v !! ......
|-
|-
| 1 || Φ<sub> Φ<sub>1</sub></sub>(1) || λ(1,1) || ...... || λ(1,q) || ......
| 1 || Φ<sub> Φ<sub>1</sub>(1)</sub> || Φ<sub> Φ<sub>1</sub>(2)</sub> || ...... || Φ<sub> Φ<sub>1</sub>(v)</sub> || ......
|-
|-
| 2 || λ(2,1) || λ(2,2) || ...... || λ(2,q) || ......
| 2 ||Φ<sub> Φ<sub>2</sub>(1)</sub> || Φ<sub> Φ<sub>2</sub>(2)</sub> || ...... || Φ<sub> Φ<sub>2</sub>(v)</sub> || ......
|-
|-
| ...... || ...... || ...... || ...... || ...... || ......
| ...... || ...... || ...... || ...... || ...... || ......
|-
|-
| q || λ(q,1) Q(1)=λ(1,1) || λ(q,2) Q(2)=λ(2,2) || ...... || λ(q,q) Q(q)=λ(q,q) || ......
| v ||Φ<sub> Φ<sub>v</sub>(1)</sub> = Φ<sub>F (Φ<sub>1</sub>(1)</sub>) || Φ<sub> Φ<sub>v</sub>(2)</sub> = Φ<sub>F (Φ<sub>2</sub>(2)</sub>) || ...... || Φ<sub> Φ<sub>v</sub>(v)</sub> = Φ<sub>F (Φ<sub>v</sub>(v)</sub>) || ......
|-
|-
| ...... || ...... || ...... || ...... || ...... || ......
| ...... || ...... || ...... || ...... || ...... || ......