Yeah, seems like classic representation vs traversal complexity trade-off a la David Marr.