text: Граф является птолемеевым тогда и только тогда, когда он удовлетворяет следующим эквивалентным условиям: Расстояния по кратчайшему пути удовлетворяют неравенству Птолемея — для любых четырёх вершин u, v, w и x выполняется неравенство d(u,v)d(w,x) + d(u,x)d(v,w) ≥ d(u,w)d(v,x).