Theoretical Computer Science

Editor

 Editor
First edit.
Awarded 3762 times.
VC-dimension of a ball [closed]
Awarded Nov 25 at 11:15
Difference between a lossy encoder and a noisy channel in Information Theory
Awarded Nov 24 at 12:07
Request for an update on a discussion about coinductive types in HoTT (or anywhere else)
Awarded Nov 20 at 13:55
Is 4-Coloring restricted to graphs with crossing number 1 NP-complete?
Awarded Nov 19 at 21:03
(post deleted or otherwise unavailable)
Awarded Nov 17 at 17:07
Iterated Parity Complexity
Awarded Nov 16 at 21:21
Recovering a parse forest from an Earley parser?
Awarded Nov 16 at 17:01
Is solving the following system of boolean equations NP-hard?
Awarded Nov 16 at 11:40
Bounds on this Strategy for Separating Words
Awarded Nov 13 at 18:06
(post deleted or otherwise unavailable)
Awarded Nov 12 at 16:51
Computability and continuity
Awarded Nov 11 at 3:18
(post deleted or otherwise unavailable)
Awarded Nov 10 at 10:32
Extending cographs with product operation
Awarded Nov 9 at 12:56
(post deleted or otherwise unavailable)
Awarded Nov 8 at 9:46
(post deleted or otherwise unavailable)
Awarded Nov 3 at 19:35
(post deleted or otherwise unavailable)
Awarded Nov 3 at 1:43
(post deleted or otherwise unavailable)
Awarded Nov 2 at 21:18
(post deleted or otherwise unavailable)
Awarded Oct 30 at 22:10
(post deleted or otherwise unavailable)
Awarded Oct 27 at 13:27
(post deleted or otherwise unavailable)
Awarded Oct 27 at 8:26
(post deleted or otherwise unavailable)
Awarded Oct 26 at 7:41
Implications of unprovability of $P\neq NP$
Awarded Oct 22 at 9:09
Functional abbreviation for Inst expression in Turing's 1936 paper
Awarded Oct 20 at 9:31
How to calculate complexity in a high dimensional space?
Awarded Oct 20 at 8:25
(post deleted or otherwise unavailable)
Awarded Oct 18 at 10:09
Phonology and lambda calculus
Awarded Oct 17 at 16:17
Is every countable, finite-branching LTS bisimilar to a tree?
Awarded Oct 16 at 20:40
On the usage of Arora and Barak's main lemma in their proof of the PCP theorem
Awarded Oct 15 at 22:15
Time complexity of finding chain decomposition of partially ordered set
Awarded Oct 14 at 15:26
Deciding whether an arbitrary context-free grammar generates a deterministic push-down automata?
Awarded Oct 12 at 23:57
(post deleted or otherwise unavailable)
Awarded Oct 9 at 9:20
Biased binary search?
Awarded Oct 9 at 9:15
Lipschitz composable compressor
Awarded Oct 6 at 1:04
(post deleted or otherwise unavailable)
Awarded Oct 1 at 5:27
Realizability theory: difference in power between Lambda calculus and Turing Machines
Awarded Sep 29 at 23:43
Sum-of-Squares Certificates
Awarded Sep 29 at 20:57
Alternative exponential definition of Kolmogorov complexity
Awarded Sep 29 at 11:07
(post deleted or otherwise unavailable)
Awarded Sep 28 at 14:12
Can we derive Cubical Type Theory from Self-Types?
Awarded Sep 23 at 7:50
(post deleted or otherwise unavailable)
Awarded Sep 22 at 18:32
(post deleted or otherwise unavailable)
Awarded Sep 22 at 6:11
Is there a known notion of “stochastic dependent pair”?
Awarded Sep 21 at 19:50
(post deleted or otherwise unavailable)
Awarded Sep 18 at 20:11
Calculation of sum of weights of nodes in a tree graph
Awarded Sep 16 at 11:57
Exact algorithms for $k$-means
Awarded Sep 15 at 21:42
Big O question concerning time complexity
Awarded Sep 14 at 18:34
Algorithm to calculate coordinated radio frequencies
Awarded Sep 14 at 13:48
Isomorphism of ‘ordered’ DAGs / acyclic semiautomata
Awarded Sep 12 at 11:27
(post deleted or otherwise unavailable)
Awarded Sep 11 at 22:01
(post deleted or otherwise unavailable)
Awarded Sep 10 at 9:36
Can hash functions speed up quantum simulation? (Generalizing May and Schlieper's idea) [closed]
Awarded Sep 8 at 21:26
Is finding the optimal ordering of predicates NP?
Awarded Sep 6 at 0:35
Explicit Bits-back Coding (a.k.a. Free Energy Coding) applied to Gaussian mixtures
Awarded Sep 3 at 17:07
(post deleted or otherwise unavailable)
Awarded Sep 2 at 20:33
(post deleted or otherwise unavailable)
Awarded Aug 31 at 17:19
Publishing short and simple results
Awarded Aug 31 at 6:42
(post deleted or otherwise unavailable)
Awarded Aug 29 at 14:57
Hardness of approximation by reduction from MAX-E3SAT
Awarded Aug 24 at 9:41
Graphs-like data structure with weighted vertices
Awarded Aug 24 at 7:21
(post deleted or otherwise unavailable)
Awarded Aug 21 at 9:52
1
2 3 4 5
…
63