2-sat binary search bitmasks brute force CRT combinatorics constructive data structures dfs divide and conquer dp dsu expression parsing fft flows games geo graph matchings graphs greedy hashing implementation interactive math matrices meet in the middle number theory probabilities schedules shortest paths sortings string suffix structures strings ternary search trees two pointers