某乡挖一条水渠,如用200人挖,4天可以完成,如用机械施工,2台挖掘机2.5天可以完成,