Forward and inverse image problems in arithmetic dynamics