Benchmark de grafos para el problema del máximo clique (2020-2023)

This dataset contains the testbed of 501 structured clique instances employed to evaluate the performance of CliSAT, a very efficient state-of-the-art exact algorithm for the Maximum Clique Problem (MCP).

3. Descripción del proyecto

El proyecto ACOGES tiene como objetivo principal general el diseño, el desarrollo y la validación de robots de asistencia personal. Con este fin, uno de los objetivos específicos consiste en el Modelado del entorno y del usuario capaz de identificar los elementos diferenciadores.

4. Descripción del dataset

Dataset de grafos empleados para la evaluación del problema del máximo clique. El dataset contiene 501 instancias sintéticas difíciles para el problema elegidas cuidadosamente de diferentes fuentes. La estructura de los datos es la siguiente:

Directorio raíz: instances
- Subdirectorio csplib: instancias del problema satisfacción de restricciones (CSP) reducidas al problema del máximo clique.
- Subdirectorio misclib: instancias de diferentes problemas reducidas al máximo clique

fichero: bhoshlib.zip - recopilación de la base de grafos BHOSHLIB (acceso abierto)
fichero: dimacs.zip - recopilación de la base de grafos DIMACS (acceso abierto)

La información disponible se compone de:

archivos de texto ASCII, extensión .txt en formato DIMACS