Assertion: information distance | /r/CapableOf | minorize computable distance
Facets:
Source sentences:
text: This information distance is shown to be a metric (it satisfies the metric inequalities up to a logarithmic additive term), is universal (it minorizes every computable distance as computed for example from features up to a constant additive term).