图可形象地称为“树”的条件，一是连通，二是（）。

______的任务是诊断和改正程序中的错误。