You can never completely solve the problem because it's mathematically undecideable, which you probably didn't need this preprint to intuit. That said, a better

You can never completely solve the problem because it's mathematically undecideable, which you probably didn't need this preprint to intuit. That said, a better question is whether you can get good enough performance or not.