Se presenta en esta ponencia la librería BITSCAN concebida para la manipulación eficiente de cadenas de bits. BITSCAN es una librería C++ multiplataforma muy optimizada para operaciones de escaneado de bits típicas en estas estructuras de datos.
A diferencia de otras soluciones muy extendidas (como por ejemplo std∷bitset o boost∷dynamic_bistset), BITSCAN surge a partir del trabajo de investigación del desarrollador en el campo de la optimización combinatoria; en particular acerca de problemas NP-difíciles del dominio de grafos. En concreto, BITSCAN se encuentra en el corazón del algoritmo BBMC, actualmente considerado uno de los mejores algoritmos exactos para encontrar el número de clique de un grafo.
Para terminar se presentarán ejemplos concretos de cómo se pueden diseñar algoritmos eficientes orientados a cadenas de bits para resolver problemas de optimización combinatoria; es este un campo de investigación que ha tenido un gran auge en los últimos años.
Pablo San Segundo es Doctor Ingeniero Industrial en Inteligencia Artificial por la UPM y Profesor Titular en la misma desde 2014. Sus trabajos de investigación se centran en algoritmos de búsqueda para problemas computacionalmente costosos de optimización combinatoria. En particular sus algoritmos exactos para el problema del coloreado de vértices y del máximo clique son referentes para la comunidad investigadora en este campo.
Apasionado también del ajedrez, es Gran Maestro Internacional desde 2005, Campeón de España Absoluto en 1997 y miembro del Equipo Olímpico desde 1994 hasta 2008.
using std::cpp 