Watching Subgraphs to Improve Efficiency in Maximum Clique Search
This paper describes a new technique referred to as watched subgraphs which improves the performance of BBMC, a leading state of the art exact maximum clique solver (MCP). It is based on watched literals employed by modern SAT solvers for Boolean constraint propagation. The paper proposes to watch two subgraphs of critical sets during MCP search to efficiently compute new steps and bounds. Reported results validate the approach as the size and density of problem instances rise, while achieving comparable performance in the general case.
Unable to display preview. Download preview PDF.
- 6.San Segundo, P., Matia, F., Rodriguez-Losada, D., Hernando, M.: An improved bit parallel exact maximum clique algorithm. Optimization Letters (2011), doi:10.1007/s11590-011-0431-yGoogle Scholar
- 8.BBMC release for 64 bit Win O.S. is available at: http://www.intelligentcontrol.es/arabot/sites/default/files/frontpage/bbmc1.0.zip
- 9.Moskewicz, M., Madigan, C., Zhao, Y., Zhang, L., Malik, S.: Chaff: engineering an efficient SAT solver. In: XXXVIII Proc. Annual Design Automation Conference (DAC 2001), pp. 530–535. ACM, New York (2001)Google Scholar