I have the standard lattice L defined over partitions of 1ldotsn under the split-merge relation. I also have an antimonotone function from L to R that's submodular, and so gives me a metric on L via the construction d(x,y)=2f(xwedgey)−f(x)−f(y).
In general, but on this lattice specifically, I'm wondering if there's a construction that allows me to define a continuous lattice C with the property that L behaves like the "integer points" on C, and a metric d′ can be induced on C that when restricted to L behaves like d.
For example, if I have two points xley in L, I'd like to construct a point z "halfway" between x and y such that under the metric d′,d′(x,z)=d′(z,y), and under the ordering that defines C,xlezley.
No comments:
Post a Comment