redundant triangulation algorithm mapping architectural properties 1650823