Bedeutet die Tatsache, dass ein Problem EXP-Zeit vollständig ist, dass A nicht in D T I M E ( 2 o ( n ) ) ist ?
Mir ist bewusst, dass nach dem Zeithierarchiesatz nicht in E = D T I M E ( 2 O ( n ) ) enthalten ist . Dies scheint jedoch die Existenz subexponentieller Zeitalgorithmen für jedes EXP-vollständige Problem A nicht sofort auszuschließen , da beim Reduzieren einer Instanz x eines Problems B ∈ E X P.In einem Fall von Problem kann es zu einem Polynom kommen. Mit anderen Worten, | y | = | x | O ( 1 ) .
Meine Frage ist also, ob es ein Argument gibt, das die Existenz subexponentieller Zeitalgorithmen für EXP-vollständige Probleme bedingungslos ausschließt.