List questions from descriptive-complexity

Published on 11 Mar 2014 - 8:14

253

Views

The problem $K(x) \le K(y)$ is not decidable for Kolmogorov complexity $K$

Published on 19 Apr 2017 - 13:38

103

Views

Proof complexity and computational complexity

Published on 17 Sep 2017 - 13:22

191

Views

LFP - shortest path problem

Published on 10 May 2012 - 15:06

45

Views

"linear order" in descriptive complexity description of class P

Published on 24 Feb 2013 - 15:48

61

Views

Show that set of words in NP

Published on 28 Jan 2021 - 6:59

351

Views

Number of possible boolean functions in a DAG of lookup tables?

Published on 01 Sep 2021 - 10:44

179

Views

Applications of Model Theory and Category Theory

Published on 09 Oct 2021 - 1:44

26

Views

How To Get Subset Behavior In A Sum?

Published on 05 Jul 2022 - 7:58

34

Views

Has it been proven that second order statements cannot be computed in polynomial time? Can some statements be proven to only be second order expresibl

Published on 08 Sep 2022 - 6:38

226

Views

Kolmogorov Complexity and Compression Schemes

Published on 02 Jan 2023 - 7:24

List Question

A question on Kolmogorov Complexity

The problem $K(x) \le K(y)$ is not decidable for Kolmogorov complexity $K$

Proof complexity and computational complexity

LFP - shortest path problem

"linear order" in descriptive complexity description of class P

Show that set of words in NP

Number of possible boolean functions in a DAG of lookup tables?

Applications of Model Theory and Category Theory

How To Get Subset Behavior In A Sum?

Has it been proven that second order statements cannot be computed in polynomial time? Can some statements be proven to only be second order expresibl

Kolmogorov Complexity and Compression Schemes

Trending Questions

Popular # Hahtags

Popular Questions