程序员梗：编码面试就说「把它编码成 3-SAT 次指数求解」

burny_tech 在 AI/技术圈转发一条玩笑，声称编码面试时可直接说“我会把这道题编码成 3-SAT，然后用次指数时间算法求解”。这并非实际解题方案，而是借理论计算机术语调侃面试黑话与荒诞用法。