第331行: |
第331行: |
| | | |
| '''return''' | | '''return''' |
| + | |} |
| + | |
| + | {| class="wikitable" |
| + | |- |
| + | ! ESU子图搜索算法(FANMOD软件实现) |
| + | |- |
| + | |'''''枚举子图(G,k)''''' |
| + | |
| + | '''输入:''' 图 {{math|G {{=}} (V, E)}} 和 一个 整数 {{math|1 ≤ k ≤ {{!}}V{{!}}}}. |
| + | |
| + | '''输出:''' 所有size-{{math|k}} 子图 in {{math|G}}. |
| + | |
| + | '''for each'''顶点v{{math|v ∈ V}} '''执行''' |
| + | |
| + | {{pad|2em}}{{math|VExtension(集合EXT) ← {u ∈ N({v}) {{!}} u > v}}} |
| + | |
| + | {{pad|2em}}'''调用''' {{math|''ExtendSubgraph''({v}, VExtension, v)}} |
| + | |
| + | '''结束for循环''' |
| + | |- |
| + | |'''''ExtendSubgraph(VSubgraph, VExtension, v)''''' |
| + | |
| + | '''若''' {{math|{{!}}VSubgraph{{!}} {{=}} k}} '''则''' 输出 {{math|G[VSubgraph]}} and '''返回主函数''' |
| + | |
| + | '''当''' {{math|VExtension ≠ ∅}} '''执行''' |
| + | |
| + | {{pad|2em}}删除一个任意选择的顶点 {{math|w}} 源于 {{math|VExtension}} 中 |
| + | |
| + | {{pad|2em}}{{math|VExtension′ ← VExtension ∪ {u ∈ N<sub>excl</sub>(w, VSubgraph) {{!}} u > v}}} |
| + | |
| + | {{pad|2em}}'''call''' {{math|''ExtendSubgraph''(VSubgraph ∪ {w}, VExtension′, v)}} |
| + | |
| + | '''返回''' |
| |} | | |} |
| | | |