假设有人找到了一种在O(n^3)时间内给定CNF布尔表达式创建图的方法，并且该特殊图的任何生成树都将是CNF方程的解。
这个场景似乎暗示某人已经找到了SAT问题的解决方案，并通过使用一个只运行O(n^3)时间的小工具(约简)将SAT问题简化为生成树问题来解决p =NP。
但是如果他们的算法创建的图有n呢!还是2^n个节点和边?
在这种情况下，虽然生成树算法(如DFS或BFS)可以在线性时间内运行节点/边的数量，但它不会在多时间内运行布尔表达式的输入数量。因此，这个人不会找到一个有效的算法来解决SAT问题，因为运行完整的解需要n!是时候评估了
这个推理正确吗?
你的推理是正确的，因为你已经确定算法需要n!而不是n^3的运行时间
javascript python java c# php android html jquery c++ css ios sql mysql arrays asp.net json python-3.x ruby-on-rails .net sql-server django objective-c excel regex ruby linux ajax iphone xml vba spring asp.net-mvc database wordpress string postgresql wpf windows xcode bash git oracle list vb.net multithreading eclipse algorithm macos powershell visual-studio image forms numpy scala function api selenium