计算机科学中是否存在任何只能在double exponential时间内解决的重大问题？如果它们存在，那么它们属于哪类问题？
答案 0 :(得分：9)
来自Wikipedia：
在计算复杂性理论中，一些算法采用双指数时间：
Presburger算法的每个决策程序可证明至少需要双指数时间
在一个领域计算Gröbner基础。在最坏的情况下，Gröbner基础可能有许多元素，这些元素在变量数量上呈双倍指数。
寻找一套完整的关联交换统一体
满意CTL +（实际上是2-EXPTIME-complete）
实际闭合场上的量词消除需要一个双指数时间（参见圆柱代数分解）。
计算正则表达式的补集