标签descriptive-complexity - 这是页1 - GeneraCodice

How to describe Deterministic Transitive Closure in FOL?

https://www.generacodice.com/cn/articolo/2477691/how-to-describe-deterministic-transitive-closure-in-fol
  first-order-logic  -  datalog  -  finite-model-theory  -  descriptive-complexity
cs.stackexchange cs.stackexchange

How to understand the notion of boolean query via Immerman's definition

https://www.generacodice.com/cn/articolo/1608820/how-to-understand-the-notion-of-boolean-query-via-immerman-s-definition
  complexity-theory  -  logic  -  finite-model-theory  -  descriptive-complexity
cs.stackexchange cs.stackexchange

Why doesn't descriptive complexity theory solve P = NP?

https://www.generacodice.com/cn/articolo/1592080/why-doesn-t-descriptive-complexity-theory-solve-p-np
  complexity-theory  -  descriptive-complexity  -  p-vs-np
cs.stackexchange cs.stackexchange

First Order interpretation of arbitrary structures as a graph

https://www.generacodice.com/cn/articolo/1515681/first-order-interpretation-of-arbitrary-structures-as-a-graph
  complexity-theory  -  logic  -  descriptive-complexity  -  graphs
cs.stackexchange cs.stackexchange

Can a transcendental number like $e$ or $\pi$ be compressed as not algorithmically random?

https://www.generacodice.com/cn/articolo/1511801/can-a-transcendental-number-like-e-or-pi-be-compressed-as-not-algorithmically-random
  turing-machines  -  information-theory  -  randomness  -  descriptive-complexity  -  kolmogorov-complexity
cs.stackexchange cs.stackexchange

About proofs in descriptive complexity

https://www.generacodice.com/cn/articolo/1488739/about-proofs-in-descriptive-complexity
  descriptive-complexity
cs.stackexchange cs.stackexchange

该函数何时将字符串映射到其无前缀的Kolmogorov复杂性停止？

https://www.generacodice.com/cn/articolo/1097398/该函数何时将字符串映射到其无前缀的kolmogorov复杂性停止
  terminology  -  computability  -  descriptive-complexity  -  kolmogorov-complexity
cs.stackexchange cs.stackexchange

可以连接可行?

https://www.generacodice.com/cn/articolo/1096740/可以连接可行
  complexity-theory  -  time-complexity  -  database-theory  -  parallel-computing  -  descriptive-complexity
cs.stackexchange cs.stackexchange
发现结果: 31
scroll top