David Cash, Dennis Hofheinz, et al.
Journal of Cryptology
When a weighted graph is an instance of the Distance Geometry Problem (DGP), certain types of vertex orders (called discretization orders) allow the use of a very efficient, precise and robust discrete search algorithm (called Branch-and-Prune). Accordingly, finding such orders is critically important in order to solve DGPs in practice. We discuss three types of discretization orders, the complexity of determining their existence in a given graph, and the inclusion relations between the three order existence problems. We also give three mathematical programming formulations of some of these ordering problems.
David Cash, Dennis Hofheinz, et al.
Journal of Cryptology
Imran Nasim, Michael E. Henderson
Mathematics
Hannaneh Hajishirzi, Julia Hockenmaier, et al.
UAI 2011
Minghong Fang, Zifan Zhang, et al.
CCS 2024