充份必要条件是程式中没有一个回圈有二个或二个以上的结束点。简单来说，此处Kosaraju定义的化约是指用相同的「基本动作」及判断，计算相同的函数，但是可能用不同的控制流程（此处的化约比伯姆及贾可皮尼定理中提及的范围要窄）。受到这个结论的启发，在他引入循环复杂度的论文中的第四部份，描述了对应非结构化程式控制流图（CFG）的。使控制流图变得无法结构化的最小子图是：McCabe发现上述这些子图不是彼此独立的，程式无法结构化的充份必要条件是控制流图中有子图有上述四种条件中的三种（或三种以上）。McCabe也发现若