Transforming Combinatorial Optimization Problems in Fourier Space: Consequences and Uses

[EN]We analyze three permutation-based combinatorial optimization problems in Fourier space, namely, the quadratic assignment problem, the linear ordering problem (LOP), and the symmetric and nonsymmetric traveling salesperson problem (STSP). In previous studies, one can find a number of theorems wi...

Descripción completa

Detalles Bibliográficos
Autores: Elorza Deias, Anne, Benavides Canta, Xabier, Ceberio Uribe, Josu, Hernando Rodríguez, Leticia, Lozano Alonso, José Antonio
Tipo de recurso: artículo
Fecha de publicación:2025
País:España
Institución:Universidad del País Vasco
Repositorio:Addi. Archivo Digital para la Docencia y la Investigación
OAI Identifier:oai:addi.ehu.eus:10810/78573
Acceso en línea:http://hdl.handle.net/10810/78573
Access Level:acceso abierto
Palabra clave:combinatorial optimization problems
equivalent instances
fourier transform
permutations
Descripción
Sumario:[EN]We analyze three permutation-based combinatorial optimization problems in Fourier space, namely, the quadratic assignment problem, the linear ordering problem (LOP), and the symmetric and nonsymmetric traveling salesperson problem (STSP). In previous studies, one can find a number of theorems with necessary conditions that the Fourier coefficients of the aforementioned problems must satisfy. In this manuscript, we prove the sufficiency of these conditions, which implies that they constitute the exact characterization of the problems in Fourier space. In addition, the Fourier coefficients of the LOP and the symmetric and non-STSP are completely characterized by showing certain proportionality patterns that they must follow. Taking the characterization in Fourier space of the problems as a basis, we study classes of equivalent instances of the LOP and the symmetric and non-STSP, considering that two instances are equivalent if they have the same objective function. Furthermore, we give canonical representations for each problem in such a way that the input matrices have the minimum number of nonzero parameters.