从分手厨房看拓扑排序

2021-01-19 15:03:19 浏览数 (1)

正文

分手厨房(Over Cooked!)是一款以高难度合作著称的游戏,在形形色色的厨房中,你需要和你的同伴一起克服重重难关,按照指定的顺序生产出美味佳肴,满足客人的味蕾。在游戏过程中,制作一道菜需要完成许多的步骤,以第一关中的寿司为例,需要蒸米饭、切鱼片、切黄瓜、然后用紫菜把他们包在一起,与此同时你还要兼顾洗掉脏盘子。不难看出,当有多个玩家参战的时候,这里有些工序是可以同时进行的(比如蒸米饭和切鱼片),但也有些工序是有顺序依赖的(比如只有一个案板,那么切鱼片和切黄瓜就不可能同时进行),那么,如何才能将所有的工序进行一个合理的排序,来保证其正常运作呢?

其实这个问题,正是一个典型的拓扑排序问题,要讲拓扑排序,我们还得先从一种基本的数据结构:**图(Graph)**说起。

图是一种由节点和边组成的数据结构,你可以简单地联想平常使用的思维导图,这就是一种非常典型的图结构。图中的边可以是有方向的,也可以是没有方向的,这两种图分别称为有向图和无向图(注意,并不是所有节点都必须连接在一起):

接下来我们需要看看如何使用图的结构来描述上面制作寿司的工序,因为不同的工序在“顺序”上有依赖,所以需要采用有向图的结构来描述:

如图,我们把游戏中制作寿司的过程用有向图的方式来描述,分别将五个步骤标记为A,B,C,D,E,这便是图的五个节点,除此之外,由于各个步骤之间存在着互相依赖,因此还需要添加四条边(A -> D),(B -> D),(C -> D),(B -> C)。

在此基础上我们需要引入一个额外概念,那就是节点的入度和出度,入度是“指向某个节点的边的数量”,出度则是“从某个节点出发的边的数量”,在上面的图中,各个节点入度和出度的情况如下图所示:

很明显,要制作一个寿司我们需要完成上面的所有5个步骤,但各个步骤实际执行的顺序很重要,比如按照A,B,C,D,E的顺序就可以顺利制作一个寿司,但是按照D,C,B,A,E的顺序就不行,因为执行包紫菜这个步骤的时候,米饭、鱼片、黄瓜都还没有准备好,就无法继续下去了。

那么,如何对这些节点进行合理的排序,得到一个可以执行的序列,这就是图论中的拓扑排序问题,用更加抽象一点的语言来描述,就是要求得一个线性序列,使得该序列中的任意两个节点u,v,如果存在边(u -> v),保证u的顺序在v之前。

关于拓扑排序有两个显而易见的结论:

  • 拓扑排序的结果不是唯一的
  • 如果要排序的有向图中存在环,那么拓扑排序是得不到结果的,所以拓扑排序只能针对有向无环图

接下来看一看如何对一张图进行拓扑排序得到线性序列S吧:

第一步:从图中找到一个入度为0的节点,将其加入序列S

第二步:从图中删除该节点,以及从该节点出发的边,当边被删除后,同步图中所有节点的入度

不断地重复第一步和第二步,直到图中所有的节点都被删除,最终得到的序列就是这张图的一个拓扑排序了。

这个过程其实也非常的容易理解,仍然以寿司的制作为例,来看看整个拓扑排序是如何进行的:

首先选中一个入度为0的节点A,然后删除节点A。此时D的入度更新为2

选中入度为0的节点B,然后删除节点B。此时D的入度更新为1,C的入度更新为0

选中入度为0的节点C,然后删除节点C。此时D的入度更新为0

选中入度为0的节点D,然后删除节点D。

选中入度为0的节点E,然后删除节点E。

得到一个拓扑排序结果(A,B,C,D,E)

Java代码实现

顶点的结构定义

代码语言:javascript复制
public class Vertex<T> {

    /**
     * 节点值
     */
    private T value;

    /**
     * 节点入度
     */
    private int inDegree;

    /**
     * 储存从该定点出发的边
     */
    private List<Edge<T>> edges;
}

边的定义

代码语言:javascript复制
public class Edge<T> {

    /**
     * 终点边
     */
    private Vertex<T> endVertex;

    /**
     * 权重
     */
    private int cost;
}

图的定义

代码语言:javascript复制
public class DirectedGraph<T> {

    private List<Vertex<T>> vertexList;

    private List<Edge<T>> edgeList;
}

拓扑排序实现

代码语言:javascript复制
/**
 * 拓扑排序
 */
public List<T> topologySort() throws Exception {

  int cnt = 0;

  List<T> sortedList = new ArrayList<>();

  Queue<Vertex<T>> queue = new LinkedList<>();
  // 将所有入度为0的节点入队
  for (Vertex<T> vertex: vertexList) {
    if (vertex.getInDegree() == 0) {
      queue.offer(vertex);
    }
  }

  // 如果没有入度为0的节点,说明出现循环依赖
  if (queue.isEmpty()) {
    throw new Exception("detected circle, no zero indegree node.");
  }

  while (!queue.isEmpty()) {
    Vertex<T> v = queue.poll();
    // 排序
    sortedList.add(v.getValue());
    cnt  ;
    for (Edge<T> edge: v.getEdges()) {
      // 更新所有关联顶点的入度
      Vertex<T> endVertex = edge.getEndVertex();
      if (endVertex != null) {
        endVertex.setInDegree(endVertex.getInDegree() - 1);
        if (endVertex.getInDegree() == 0) {
          queue.offer(endVertex);
        }
      }
    }
  }

  if (cnt != vertexList.size()) {
    // 如果拓扑排序结束后数量不匹配,说明有环
    throw new Exception("detected circle!");
  }

  return sortedList;
}

0 人点赞