Abstract

ALONSO, Roberto  and  MONROY, Raúl. Es NP-completo calcular la comunidad entre los objetos sobre los que una colección de agentes ha realizado una acción. Comp. y Sist. [online]. 2013, vol.17, n.4, pp.489-500. ISSN 2007-9737.

En este trabajo demostramos que el problema que llamamos Comunalidad de grupos sociales (SGC por sus siglas en inglés) es NP-completo. Este problema consulta la comunalidad entre los objetos tocados por una colección de agentes que ejecutan acciones. Aunque se presenta naturalmente en varios contextos e.g., perfilar el comportamiento de un conjunto de usuarios de un sistema, SGC ha sido, acorde al conocimiento de los autores, ignorado. Nuestra demostración consiste en una reducción de Karp a partir del problema conocido como Longest Common Subsequence (LCS). Probamos también que un caso especial, al que llamamos 2-SGC, donde la comunalidad entre las acciones esta limitada a pares de agentes, sigue siendo NP-completo. Para probar 2-SGC, nuestra reducción parte del problema conocido como Hitting Set. Antes de concluir con el articulo, especulamos que la versión de optimización de SGC es NP-duro, dando indicaciones de como realizar la demostración necesaria.

Keywords : Comunalidad de grupos sociales; teoría de la complejidad; redes sociales; grafos.