更改

用e表示边，v表示点，<math>\alpha和\beta</math>表示节点下标，j、l、m表示节点的度，<math>e_{2 \rightarrow 1}</math>表示从节点<math>v_2 到 v_1</math>的有向边，用<math>S_1</math>表示从v1到其每个邻居节点的有向边集合，<math>S_{2 \rightarrow 1}</math>表示所有在<math>S_1</math>除了<math>e_{1 \rightarrow 2}</math>的边。定义NBEB <math> B_{2 \rightarrow 1}</math>为从根边<math>e_{2 \rightarrow 1}</math>延伸到子节点的树状结构。从子节点继续不断地延伸是一个递归过程，非回溯拓展分支（NBEB）通常具有无限性。

用e表示边，v表示点，<math>\alpha和\beta</math>表示节点下标，j、l、m表示节点的度，<math>e_{2 \rightarrow 1}</math>表示从节点<math>v_2 到 v_1</math>的有向边，用<math>S_1</math>表示从v1到其每个邻居节点的有向边集合，<math>S_{2 \rightarrow 1}</math>表示所有在<math>S_1</math>除了<math>e_{1 \rightarrow 2}</math>的边。定义NBEB <math> B_{2 \rightarrow 1}</math>为从根边<math>e_{2 \rightarrow 1}</math>延伸到子节点的树状结构。从子节点继续不断地延伸是一个递归过程，非回溯拓展分支（NBEB）通常具有无限性。

对于给定的正整数k，定义<math>Y_n</math>为满足以下条件的非回溯扩展分支(NBEB)集合：存在一个包含根节点的NBEB子分支，且在该子分支的前n代中，每个顶点的子顶点数量均不少于k-1。并且定义<math>Y_0</math>为所有NBEB的集合。显然<math>Y_0 \supseteq Y_1 \supseteq … Y_n \supseteq Y_{n+1} \supseteq … \supseteq Y_{\infty} </math>。例如，图中NBEB <math>B_{2 \rightarrow 1}</math>在k=3时属于<math>Y_1</math>，在k=2时属于<math>Y_{\infty}</math>

对于给定的正整数k，定义<math>Y_n</math>为满足以下条件的非回溯扩展分支(NBEB)集合：存在一个包含根节点的NBEB子分支，且在该子分支的前n代中，每个顶点的子顶点数量均不少于k-1。并且定义<math>Y_0</math>为所有NBEB的集合。显然<math>Y_0 \supset Y_1 \supset … Y_n \supset Y_{n+1} \supset … \supset Y_{\infty} </math>。例如，图中NBEB <math>B_{2 \rightarrow 1}</math>在k=3时属于<math>Y_1</math>，在k=2时属于<math>Y_{\infty}</math>

[[文件:NBEB示意图.jpg|缩略图|NBEB示意图]]

[[文件:NBEB示意图.jpg|缩略图|NBEB示意图]]