извините за сильно дилетантский вопрос, но есть ли доказуемо оптимальный (в каком-нибудь смысле) компилятор, который работает не за линейную асимптотику? (конечно, если бы был за линию, им бы всем пользовались, но возможно есть какая-то тупая кубическая дп, которая позволяет генерировать оптимальный код, просто на сколь либо больших программах ее нельзя применять)