3 ms·
It doesn't matter what you _need_: my point is you can't _have_ one in the general case. As for your 80% and non-TC solutions, see my other response (https://n
by shriramkmurthi 12y ago
It doesn't matter what you _need_: my point is you can't _have_ one in the general case.
As for your 80% and non-TC solutions, see my other response (https://news.ycombinator.com/item?id=8294806 https://news.ycombinator.com/item?id=8294806). Maybe you've built such engines, in which case I'd love to hear more (because we're actively working on related problems). It's pretty damn hard because of the nature of reasoning you need for non-trivial examples.