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

Нехай з -термінах бути визначений таким чином :λsizesizesizeλλ\lambda size(x)=1size(x)=1size(x) = 1 , size(λx.t)=size(t)+1size(λx.t)=size(t)+1size(λx.t) = size(t) + 1 , size(ts)=size(t)+size(s)+1size(ts)=size(t)+size(s)+1size(t s) = size(t) + size(s) + 1 . Нехай складність λλ\lambda -term ttt визначається як кількість паралельних скорочень бета-версії від txtxt x до нормальної форми (використовуючи оптимальну оцінку в сенсі Леві). …

12 lo.logic  computability  pl.programming-languages  lambda-calculus 

"Гра з найбільшою кількістю цифр" просить двох гравців записати номер таємно, а переможець - людина, яка записала більшу кількість. Гра зазвичай дозволяє гравцям записувати функції, оцінені в певній точці, тому також було б прийнятним записом.222222222^{2^{2^{2}}} Значення функції Busy Beaver, , не можна визначити (у ZFC або будь-якій розумній послідовній аксіоматичній …

11 computability  undecidability 

Перший термін застосовується Гільбертом у своїй праці 1928 року, але в пізніших роботах Геделя те саме називається Unvollständigkeitssatz ("теорема про незавершеність"). Для сучасних німецьких дослідників CS, здається, Unvollständigkeitssatz частіше використовується, а Entscheidungsproblem ("проблема вирішення") досі розуміється, але не обов'язково асоціюється з дасом Halteproblem (що, як видається, частіше зустрічається після роботи …

11 lo.logic  computability  ho.history-overview 

Існують алгоритмічна теорія графіків / теорія чисел / комбінаторика / теорія інформації / теорія ігор. Чи є алгоритмічний математичний аналіз? Згідно з wiki, математичний аналіз включає теорії диференціації, інтеграції, міри, меж, нескінченних рядів та аналітичних функцій. Добре зосередитись на реальному аналізі (wiki), який має справу з реальними числами та реально …

11 cc.complexity-theory  reference-request  soft-question  computability 

Як відомо, визначення обчислювальної складності алгоритму майже не суперечить, але визначення обчислювальної складності реалів або обчислювальних моделей над реалами не в такому випадку. Ми знаємо модель і модель Блума і Смайла в книзі «Комп'ютерний аналіз». І, здавалося б, модель в обчислювальному аналізі відповідає класичній моделі, але визначення обчислювальної складності дійсних …

11 cc.complexity-theory  reference-request  computability  computing-over-reals  computable-analysis 

Чи існує документально підтверджений спосіб обчислення вузлів? (окружності, вбудовані в тривимірний евклідовий простір). Я маю на увазі, тип даних для їх представлення та алгоритм визначення того, чи є два екземпляри типу даних однаковим вузлом. Якщо відповідь позитивна, як щодо складності цієї проблеми?

11 ds.algorithms  computability 

Це може бути наївним питанням, але ось ідеться. (Редагувати - це не отримує відгуків, але ніхто також не запропонував відповіді; можливо, питання складніше, незрозуміліше або неясне, ніж я думав?) Теорема першої некомплектності Геделя може бути доведена як наслідок невирішеності проблеми зупинки (наприклад, Сіпсер Ч. 6; допис у блозі Скотта Ааронсона …

11 lo.logic  computability  church-turing-thesis 

Наступна проблема вирішується: Враховуючи контекстну граматику , чи ?L ( G ) = ∅GGGL(G)=∅L(G)=∅L(G) = \varnothing Наступна проблема не визначена: Враховуючи контекстну граматику , чи ?L ( G ) = A ∗GGGL(G)=A∗L(G)=A∗L(G) = A^{\ast} Чи є характеристика без контекстних мов з рівномірною рівністю ?L ( G ) = MMMML(G)=ML(G)=ML(G) = …

11 computability  fl.formal-languages 

Чи можливо побудувати алгоритм, який приймає як вхід автоматичний автоматичний вимикач разом із обіцянкою того, що мова, прийнята цим автоматом L ( M ), є детермінованою безконтекстною мовою і видає детермінований автоматичний автоматичний вимикач N, який точно приймає прийняту мову від М ?МMMЛ ( М)L(M)L(M)NNNМMM Еквівалентною проблемою було б побудувати …

11 reference-request  computability  fl.formal-languages  automata-theory 

Я знаю, що питання "чи формула формули першого порядку є моделлю" взагалі не визначається.ϕϕ\phi Хто-небудь міг би дати мені посилання чи книгу, які дають відповідь для обмежених моделей. Якщо у мене формула першого порядку , чи вирішується, чи має кінцеву модель? Я майже впевнений, що питання добре відомо, але я …

11 reference-request  lo.logic  computability  finite-model-theory 

Розглянемо таку гру для двох гравців: Природа випадково вибирає програму Кожен гравець відтворює число у [0, нескінченності] включно у відповідь на рух природи Візьміть мінімальну кількість гравців і запустіть програму на (до), що багато кроків (якщо обидва гравці не обрали нескінченність) Якщо програма зупиняється, гравець, який зіграв мінімальну кількість, отримує …

10 lo.logic  computability  gt.game-theory 

Чи існує поняття обчислюваності для безлічі натуральних чисел? Для аргументу скажімо для множин які бідект з .NSSSNN\mathbb{N} Заманливо сказати "так, це ті функції форми де - будь-яка біекція і - будь-яка обчислювальна функція ". Я з обережністю ставлюся до цього визначення з двох причин. g N → S f N …

10 computability 

В цілому проблеми були класифіковані завдяки складності обчислень. Але чи можна в диференціальних рівняннях класифікувати диференціальні рівняння залежно від їх обчислювальної структури? Наприклад, якщо неоднорідне рівняння першого порядку порівняно важко розв’язати, ніж, скажімо, однорідне рівняння 100-го порядку, чи можна їх класифікувати як окремі класи опуклості, враховуючи, що метод розв'язання був …

10 cc.complexity-theory  complexity-classes  computability  dynamic-algorithms 

Це питання стосується того, чи існують відомі оборотні таріти Тюрінга, де "оборотна" означає в значенні Аксельсена та Глюка , а "tarpit" - набагато неформальне поняття (і може бути не дуже вдалим вибором слова), але я зроблю все можливе, щоб пояснити, що я маю на увазі під цим. Що я маю …

10 fl.formal-languages  computability  machine-models 

Контекст : Кавадіас і Сидері показали, що зворотна 3-SAT проблема є coNP завершеною: Дано набір моделей на змінних, чи існує така формула 3-CNF, що - це її точний набір моделей? Виникає формула негайного кандидата, яка є поєднанням усіх 3-х статей, задоволених усіма моделями в .n ϕ ϕϕϕ\phinnnϕϕ\phiϕϕ\phi Оскільки він містить …

10 cc.complexity-theory  lo.logic  complexity-classes  computability  sat