Applying Tabu Search to Determine New Ramsey Graphs
Keyword(s):
In this note an adaptation of heuristic tabu search algorithm for finding Ramsey graphs is presented. As a result, seven new lower bounds for classical Ramsey numbers are established: $R(3,13)\geq 59$, $R(4,10)\geq 80$, $R(4,11)\geq 96$, $R(4,12)\geq 106$, $R(4,13)\geq 118$, $R(4,14)\geq 129$, and $R(5,8)\geq 95$.
2017 ◽
Vol 77
◽
pp. 154-176
◽
2007 ◽
Vol 17
(2)
◽
pp. 168-191
◽
Keyword(s):
Keyword(s):
Keyword(s):
2014 ◽
Vol 24
(2)
◽
pp. 397-404
◽
1998 ◽
Vol 106
(2-3)
◽
pp. 357-372
◽
2012 ◽
Vol 178-181
◽
pp. 1802-1805