Запитання з тегом «finite-model-theory»

Іммерман-Варді теорема стверджує , що PTIME (або P) є саме клас мов , які можуть бути описані пропозиції першого порядку логіки разом з оператором фіксованого точкою, по класу впорядкованих структур. Оператор з фіксованою точкою може бути або найменш фіксованою (як вважають Іммерман та Варді), або інфляційною фіксованою. (Стефан Кройцер, Експресивна …

38 cc.complexity-theory  lo.logic  descriptive-complexity  finite-model-theory 

Чи можливо алгоритмічно перевірити, чи є обчислюване число раціональним чи цілим? Іншими словами, чи можливо бібліотеці, яка реалізує обчислювані числа, надавати функції isIntegerабо isRational? Я здогадуюсь, що це неможливо, і що це якимось чином пов'язане з тим, що неможливо перевірити, чи є два числа рівними, але я не бачу, як …

18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 

Контекст: відносини між логікою та автоматами Теорема Бючі говорить, що логіка Монадичного другого порядку над рядками (MSO) захоплює клас регулярних мов. Доказ фактично показує, що екзистенціальної MSO ( або EMSO ) над рядками достатньо для захоплення звичайних мов. Це може бути трохи дивно, оскільки для загальних структур MSO суворо виражає, …

17 reference-request  lo.logic  regular-language  finite-model-theory 

В теорії автоматів (кінцеві автомати, пушдауд-автомати, ...) і в складності існує поняття "неоднозначність". Автомат неоднозначний, якщо є слово www з принаймні двома чітко прийнятими прогонами. Машина kkk неоднозначна, якщо для кожного слова wшw прийнятого машиною, існує максимум kkk різних чітких циклів, щоб прийняти www . Це поняття також визначається в …

17 lo.logic  automata-theory  regular-language  nondeterminism  finite-model-theory 

Проблема обслуговування замовлення (або "підтримка порядку в списку") полягає в підтримці операцій: singleton: створює список з одним елементом, повертає на нього вказівник insertAfter: дається вказівник на елемент, вставляє після нього новий елемент, повертаючи вказівник на новий елемент delete: надавши вказівник на елемент, видаляє його зі свого списку minPointer: надавши два …

15 ds.data-structures  soft-question  pl.programming-languages  graph-theory  tree  cc.complexity-theory  pcp  co.combinatorics  cg.comp-geom  pr.probability  vc-dimension  cc.complexity-theory  complexity-classes  relativization  soft-question  advice-request  career  soft-question  research-practice  paper-review  journals  co.combinatorics  cc.complexity-theory  complexity-classes  pr.probability  average-case-complexity  cc.complexity-theory  lo.logic  descriptive-complexity  finite-model-theory  ds.algorithms  cc.complexity-theory  approximation-hardness  csp  pcp  cc.complexity-theory  circuit-complexity 

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

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

Щоб краще зрозуміти документ, я намагаюся коротко зрозуміти логіку найменш фіксованої точки. Є кілька моментів, де я застряг. Якщо G=(V,E)G=(V,E)G = (V,E) є графіком і Φ(P)={(a,b)∣G⊨E(a,b)∨P(a,b)∨∃z(E(a,z)∧P(z,b))}Φ(P)={(a,b)∣G⊨E(a,b)∨P(a,b)∨∃z(E(a,z)∧P(z,b))} \Phi(P) = \{(a,b) \mid G \models E(a,b) \lor P(a,b) \lor \exists z (E(a,z) \land P(z,b)) \} є оператором на бінарне відношення PPP. Я не …

9 lo.logic  descriptive-complexity  finite-model-theory 

Моє запитання щодо теорії кінцевих моделей / описової складності, так ЖO ( R )FO(R)FO(R) означатиме "перший порядок над кінцевими двійковими словами, використовуючи предикати Rs та одинарний предикат P true на позиції 1 у слові". Я хотів би знати, чи існують якісь характеристики ЖO ( &lt; , R )FO(&lt;,R)FO(<,R) з R …

9 cc.complexity-theory  lo.logic  circuit-complexity  descriptive-complexity  finite-model-theory 

Здається, що в популярних мовах запитів для реляційних баз даних можна створити запити, на які буде потрібно багато ресурсів, щоб відповісти. На практиці адміністратори бази даних керують цим, обмежуючи об'єм пам'яті на запит і перевіряючи наявність тривалих запитів, чи є уповільнення роботи бази даних. Це здається досить тимчасовим, чи є …

9 cc.complexity-theory  pl.programming-languages  db.databases  finite-model-theory