如果两个人挖一个洞需要四天的时间,那么一个人挖半个洞需要多长时间呢?