Median for an odd number of linear order relations and its use in group choice problems

We consider the problem of constructing a median for an odd set of linear order relations defined on a finite set A = {a1,a2,..., an}, which is also sought in the class of linear order relations. We arrive at a similar problem when considering some group choice problems. The distance between binary relations is the Hamming distance between their adjacency matrices. In the case under consideration, the binary relation ρ, which has the minimum total distance to the given set of binary relations, is the median for these relations and, moreover, is unique. However, this median is not always transitive (and in this case is neither linear order, nor even a quasi-order), and therefore cannot be taken as a solution to a given problem. However, the median ρ necessarily belongs to the set LA[n] (of linear asymmetric binary relations on A), to which, in particular, all linear orders on A also belong. Some properties of binary relations from LA[n] are investigated. The concepts of “almost optimal” and Δ-optimal relations are introduced, which are linear orders and, at the same time, exact solutions of the stated problem. Algorithms for finding them are given, based on the obtained statements about binary relations from LA[n] and having polynomial computational complexity. An equivalence relation on the set LA[n] is considered, which allows one to divide this set into equivalence classes, the number of which Kn is much less than the number of elements in LA[n]. For example, |LA[5] | = 1024, K5 = 12. Thus, each binary relation from LA[n] is equivalent to exactly one of the Kn representatives of the equivalence classes and, therefore, has its main properties. But then the study of a wide class of problems can be reduced to considering a relatively small set of them. The process of finding the specified set of equivalence class representatives is illustrated for n = 2,3,4, 5. A method for solving the problem posed is also given, using the representation of binary relations in the form of graphs (the method of selecting the minimum sets of contour representatives in the median ρ), which has exponential computational complexity.