求翻译：since a complex circuit can contain milions of polygons that must be checked against each other,efficiency if the most important property of a good DRC tool是什么意思？