Запитання з тегом «undecidability»

Припустимо, у мене є дві функції і і мені цікаво визначити, чи єFFFGGG F(x)=∫G(x)dx.F(x)=∫G(x)dx.F(x) = \int G(x)dx. Припустимо, що мої функції складаються з елементарних функцій (многочленів, експоненціалів, журналів і тригонометричних функцій), але не, скажімо, з ряду Тейлора. Чи вирішується ця проблема? Якщо ні, то це напіввідкладно? (Я запитую, тому що …

9 computability  undecidability  mathematical-analysis  computer-algebra 

На середину середини існував варіант наступного питання: Для рішучого LLL визначити Pref ( L ) = { x ∣ ∃ y ст х у∈ L }Pref(L)={x∣∃y s.t. xy∈L}\text{Pref}(L) = \{ x \mid \exists y \text{ s.t. } xy \in L\} Покажи це Попередньо ( L )Pref(L)\text{Pref}(L) не обов'язково вирішувати. Але …

9 computability  undecidability