算法-有向环和拓扑排序

有向图中包括有向无环图和有向有环图，有向图在任务调度的时候优先级限制是非常有用的，最常见的是大学的排课系统，比如说计算机操作系统的优先级高于高等数学，我们可以用图表示为计算机操作系统→高等数学，高等数学高于线性代数，如果这个时候线性代数的优先级高于计算机操作系统，那么就产生了一个有向环，无法进行排课，课程一般比较多，如果用图表示去判断是否存在环路是比较麻烦的一个事情，所以通常需要判断有向图中是否含有向环。

有向环检测

如果有向图中的某个节点可以按照路径的方向从某个节点开始并返回本身，形成了闭环可以判定是图中含有有向环。有向环中的判定和之前的无向图中的深度搜索类似，如果A→B，在之前图的辅助数据结构我们存储的是所以为A对应的值中含有B，如果索引B中含有值A，即含有有向环。

有向环检测的API跟之前的深度搜索多了一个保存有向环的中节点的数组，和递归需要调用的数组:

@interface DirectedCycle : NSObject

//标记数组
@property  (strong,nonatomic)  NSMutableArray  *marked;

@property  (strong,nonatomic)  NSMutableArray  *cycle;//有向环中的所有顶点(存在有向环的情况)

@property  (strong,nonatomic)  NSMutableArray  *onStack;//递归调用的栈上的所有顶点

//从起点到一个顶点的已知路径上的最后一个顶点
@property  (strong,nonatomic)  NSMutableArray *edgeTo;

@property (assign,nonatomic)  Boolean hasCycle;
//初始化
-(instancetype)initWithGraph:(Digraph *)graph;

-(void)depthSearch:(Digraph *)graph  vertex:(NSInteger)vertex;

@end

实现代码:

@implementation DirectedCycle

#pragma mark  getter and setter
-(NSMutableArray *)marked{
    if (!_marked) {
        _marked=[[NSMutableArray alloc]initWithCapacity:1];
    }
    return _marked;
}


-(NSMutableArray *)onStack{
    if (!_onStack) {
        _onStack=[[NSMutableArray alloc]initWithCapacity:1];
    }
    return _onStack;
}
-(NSMutableArray *)edgeTo{
    if (!_edgeTo) {
        _edgeTo=[[NSMutableArray alloc]initWithCapacity:1];
    }
    return _edgeTo;
}


-(instancetype)initWithGraph:(Digraph *)graph{
    self=[super init];
    if (self) {
        for (NSInteger i=0; i<graph.vertexs;i++) {
            [self.onStack addObject:[NSNull null]];
            [self.edgeTo addObject:[NSNull null]];
            [self.marked addObject:[NSNull null]];
        }
        //遍历图的顶点
        for (NSInteger s=0; s<graph.vertexs; s++) {
            if (![self isMarked:s]) {
                [self depthSearch:graph vertex:s];
            }
        }
    }
    return self;
}
//http://www.cnblogs.com/xiaofeixiang/
-(void)depthSearch:(Digraph *)graph vertex:(NSInteger)vertex{
    self.onStack[vertex]=[NSNumber numberWithBool:true];
    self.marked[vertex]=[NSNumber numberWithBool:true];
    
    for (NSInteger i=0; i<[graph.adjDataSource[vertex] count]; i++) {
        NSInteger temp=[[graph.adjDataSource[vertex] objectAtIndex:i] integerValue];
        if ([self hasCycle]) return;
        else if (![self isMarked:temp]) {
            self.edgeTo[temp]=[NSNumber numberWithInteger:vertex];
            [self depthSearch:graph vertex:temp];
        }else if([self isStack:temp]){
            
            self.cycle=[[NSMutableArray alloc]initWithCapacity:1];
            for (NSInteger i=vertex; i!=temp; i=[self.edgeTo[i] integerValue]) {
                [self.cycle insertObject:[NSNumber numberWithInteger:i] atIndex:0];
            }
            [self.cycle insertObject:[NSNumber numberWithInteger:temp] atIndex:0];
            [self.cycle insertObject:[NSNumber numberWithInteger:vertex] atIndex:0];
        }
    }
    self.onStack[vertex]=[NSNumber numberWithBool:false];
}

-(Boolean)hasCycle{
    return [self.cycle count]>0;
}

-(Boolean)isMarked:(NSInteger)vertex{
    return self.marked[vertex]==[NSNull null]?false:[self.marked[vertex] boolValue];
}

-(Boolean)isStack:(NSInteger)vertex{
    return self.onStack[vertex]==[NSNull null]?false:[self.onStack[vertex] boolValue];
}

@end

测试代码:

        Digraph  *graph=[[Digraph alloc]initWithVertex:13];
        [graph addEdges:4 endVertex:2];
        [graph addEdges:2 endVertex:3];
        [graph addEdges:3 endVertex:2];
        [graph addEdges:6 endVertex:0];
        [graph addEdges:0 endVertex:1];
        [graph addEdges:2 endVertex:0];
        [graph addEdges:11 endVertex:12];
        [graph addEdges:12 endVertex:9];
        [graph addEdges:9 endVertex:10];
        [graph addEdges:9 endVertex:11];
        [graph addEdges:8 endVertex:9];
        [graph addEdges:10 endVertex:12];
        [graph addEdges:11 endVertex:4];
        [graph addEdges:4 endVertex:3];
        [graph addEdges:3 endVertex:5];
        [graph addEdges:7 endVertex:8];
        [graph addEdges:8 endVertex:7];
        [graph addEdges:5 endVertex:4];
        [graph addEdges:0 endVertex:5];
        [graph addEdges:6 endVertex:4];
        [graph addEdges:6 endVertex:9];
        [graph addEdges:7 endVertex:6];
        DirectedCycle  *directedCycle=[[DirectedCycle alloc]initWithGraph:graph];
        if ([directedCycle.cycle count]) {
            NSLog(@"形成有向环的节点为:%@",[directedCycle.cycle componentsJoinedByString:@"--"]);
        }
        NSLog(@"技术交流群:%@",@"228407086");
        NSLog(@"博客园-FlyElephant:http://www.cnblogs.com/xiaofeixiang");

测试效果:

拓扑排序

拓扑排序能解决我们最开始所说的排课问题，任务调度问题，不过只能对有向无环图(Directed Acyclic Graph简称DAG)进行排序，上面的有向环检测可以作为拓扑排序的一个辅助。拓扑排序在同样可以在深度优先搜索上面进行修改，深度搜索会访问每个顶点刚好一次，可以在深度搜索递归的时候将参数顶点存放在一个数据结构中，遍历数据结构就可以访问图中所有的顶点，遍历的书序取决于调用的的时间，可以在递归之前也可以在递归之后。

通常来说有三种排列顺序:

前序:在递归之前加入数组中；
后序:在递归之后加入数组中；
逆后序:在递归值周加入数组中，不过每次都存放在首位，类似栈;

顶点排序:

@interface DepthFirstOrder : NSObject

//记录顶点是否被标记
@property  (strong,nonatomic)  NSMutableArray  *marked;

@property  (strong,nonatomic)  NSMutableArray  *preQueue;//所有顶点的前序排列

@property  (strong,nonatomic)  NSMutableArray  *postQueue;//所有顶点的后序排列

@property  (strong,nonatomic)   NSMutableArray  *reversePostStack;//所有顶点的逆后序排列


@property (assign,nonatomic)  NSInteger count;
//找到与七点vertex所有连通的节点
-(instancetype)initWithGraph:(Digraph *)graph;

-(void)depthSearch:(Digraph *)graph  vertex:(NSInteger)vertex;

//节点是否被标记
-(Boolean)isMarked:(NSInteger)vertex;

@end

实现文件:

@implementation DepthFirstOrder

#pragma mark  getter and setter
-(NSMutableArray *)marked{
    if (!_marked) {
        _marked=[[NSMutableArray alloc]initWithCapacity:1];
    }
    return _marked;
}

-(NSMutableArray *)preQueue{
    if (!_preQueue) {
        _preQueue=[[NSMutableArray alloc]initWithCapacity:1];
    }
    return _preQueue;
}

-(NSMutableArray *)postQueue{
    if (!_postQueue) {
        _postQueue=[[NSMutableArray alloc]initWithCapacity:1];
    }
    return _postQueue;
}

-(NSMutableArray *)reversePostStack{
    if (!_reversePostStack) {
        _reversePostStack=[[NSMutableArray alloc]initWithCapacity:1];
    }
    return _reversePostStack;
}

-(instancetype)initWithGraph:(Digraph *)graph{
    self=[super init];
    if (self) {
        for (NSInteger i=0; i<graph.vertexs;i++) {
            [self.marked addObject:[NSNull null]];
        }
        //遍历图的顶点
        for (NSInteger s=0; s<graph.vertexs; s++) {
            if (![self isMarked:s]) {
                [self depthSearch:graph vertex:s];
            }
        }
    }
    return self;
}
//http://www.cnblogs.com/xiaofeixiang/
-(void)depthSearch:(Digraph *)graph vertex:(NSInteger)vertex{
    [self.preQueue addObject:[NSNumber numberWithInteger:vertex]];
    
    self.marked[vertex]=[NSNumber numberWithBool:true];
    self.count++;
    for (NSInteger i=0; i<[graph.adjDataSource[vertex] count]; i++) {
        NSInteger temp=[[graph.adjDataSource[vertex] objectAtIndex:i] integerValue];
        if (![self isMarked:temp]) {
            [self depthSearch:graph vertex:temp];
        }
    }
    
    [self.postQueue addObject:[NSNumber numberWithInteger:vertex]];
    [self.reversePostStack insertObject:[NSNumber numberWithInteger:vertex] atIndex:0];
}

-(Boolean)isMarked:(NSInteger)vertex{
    return self.marked[vertex]==[NSNull null]?false:[self.marked[vertex] boolValue];
}

@end

有向环检查和顶点排序都是为拓扑排序准备的，拓扑排序只需要调用即可:

@interface TopologicalSort : NSObject

@property  (strong,nonatomic)  NSMutableArray  *order;

-(instancetype)initWithDigraph:(Digraph *)graph;

@end

实现文件:

@implementation TopologicalSort

#pragma mark getter and  setter
-(NSMutableArray *)order{
    if (!_order) {
        _order=[[NSMutableArray alloc]initWithCapacity:1];
    }
    return _order;
}

-(instancetype)initWithDigraph:(Digraph *)graph{
    self=[super init];
    if (self) {
        DirectedCycle *cyclefinder=[[DirectedCycle alloc]initWithGraph:graph];
        if (!cyclefinder.hasCycle) {
            DepthFirstOrder  *dfs=[[DepthFirstOrder alloc]initWithGraph:graph];
            self.order=dfs.reversePostStack;
        }
    }
    return self;
}

@end

我们可以通过下面这幅图检测一下程序的正确性:

测试代码:

        Digraph  *digraph=[[Digraph alloc]initWithVertex:13];
        [digraph addEdges:0 endVertex:6];
        [digraph addEdges:0 endVertex:1];
        [digraph addEdges:0 endVertex:5];
        [digraph addEdges:2 endVertex:0];
        [digraph addEdges:2 endVertex:3];
        [digraph addEdges:3 endVertex:5];
        [digraph addEdges:5 endVertex:4];
        [digraph addEdges:6 endVertex:4];
        [digraph addEdges:6 endVertex:9];
        [digraph addEdges:7 endVertex:6];
        [digraph addEdges:8 endVertex:7];
        [digraph addEdges:9 endVertex:10];
        [digraph addEdges:9 endVertex:12];
        [digraph addEdges:9 endVertex:11];
        [digraph addEdges:11 endVertex:12];
        TopologicalSort  *logicSort=[[TopologicalSort alloc]initWithDigraph:digraph];
        for (NSInteger i=0; i<[logicSort.order count]; i++) {
            NSLog(@"节点%ld",[logicSort.order[i] integerValue]);
        }
        NSLog(@"技术交流群:%@",@"228407086");
        NSLog(@"博客园-FlyElephant:http://www.cnblogs.com/xiaofeixiang");

测试结果:

如果用节点表示可能会更直接一点，效果如下:

posted @ 2015-08-09 08:36 Fly_Elephant 阅读(2527) 评论(0) 收藏举报

刷新页面返回顶部

算法-有向环和拓扑排序

有向环检测

拓扑排序

公告