（判定性问题，decision problem）。而进一步的，formula_5如果在formula_4中的话，formula_5的位置是什么（搜索型问题，search problem）。再比如完美匹配问题（perfect matching）：给定一个二分图formula_11，我们问是不是存在边集formula_12，使得二分图中每个结点恰好属于该边集的一条边（判定型问题）。而进一步的，formula_12存在的话，formula_12具体是什么（搜索型问题）。自然的，我们会发现对于一般的算法问题fo