Здравствуйте, Kir., Вы писали:

K>У меня есть функция M(A,B) которая показывает степень близости между A и B, котроя достаточно близко подходит к мнению человека по данному вопросу.

K>Дело в том, что эта функция не удовлетворяет следующим условниям.
K>1) M(A,B) == M(B,A) (для любых A, B)
K>2) M(A,B) <= M(A,Z) + M(Z,B) (для любых A, B, Z)

K>У меня есть возможность воспользоваться другой метрикой (без кавычек), но тогда качество сравнения (а, соответстенно, и поиска) резко упадет. А, т.к. я создаю поисковую систему, это неприемлемо, точно так же неприемлема "потеря" объектов при поиске, которая возникнет, если я плюну на кавычки и воспользуюсь первой "метрикой".

Интересно было бы узнать о физической природе объектов и о самой метрике...

Можно ли выделить в множестве такие подмножества, на которых наблюдалось бы правило треугольника (m(a,b)<=m(a,c)+m(c,b)) ? Можно ли выделить такие подмножества, в которых m(a,b)==m(b,a) ?
Тогда поиск сведётся к перебору этих подмножеств, в каждом из которых поиск будет направленным.