AI + classical algorithms is my sweet daydream. Trained heuristics (even better domain specific ones), deployed for classical A*, ILP families, focal search, etc etc.
For all we know, some of the current best (still exponential) algorthms were guided by AI. If a mathematician solves a problem using mathematica, they don't usually write in the paper what tools they used.
jvanderbot|2 years ago
That is going to be really amazing.
blt|2 years ago
amelius|2 years ago
cs702|2 years ago
nyrikki|2 years ago
(S)ETH is a bit of a bummer if you only consider the dominate term in big-O, for the general case.
https://web.stanford.edu/class/cs354/scribe/lecture17.pdf
Davidzheng|2 years ago
thomasahle|2 years ago