Theoretical Computer Science

Editor

 Editor
First edit.
Awarded 3836 times.
Reference Material for Axiomatic Semantics
Awarded 8 hours ago
An optimization problem
Awarded 11 hours ago
Trading treewidth for depth in Boolean circuits
Awarded yesterday
(post deleted or otherwise unavailable)
Awarded yesterday
Does Memcomputing really solve an NP-complete problem?
Awarded Feb 24 at 17:21
(post deleted or otherwise unavailable)
Awarded Feb 23 at 15:33
Problem conditions to use Laplacian solvers
Awarded Feb 20 at 15:33
Pursuing Theoretical Computer Science after CS major
Awarded Feb 18 at 16:22
A stronger Flow Decomposition Theorem?
Awarded Feb 18 at 13:47
(post deleted or otherwise unavailable)
Awarded Feb 18 at 10:56
Is there a fast algorithm to quickly evaluate $a^{b^c}$ mod $n$?
Awarded Feb 16 at 18:41
(post deleted or otherwise unavailable)
Awarded Feb 16 at 1:48
NP-Completeness of Finding Minimum Automaton, in Gold's paper
Awarded Feb 14 at 19:46
(post deleted or otherwise unavailable)
Awarded Feb 12 at 6:49
Average-case randomized communication complexity in the small-advantage regime
Awarded Feb 10 at 12:58
How to solve an unification problem on $\mathbb{N}$?
Awarded Feb 10 at 9:17
Optimum first stage solution of two stage stochastic shortest path induces tree
Awarded Feb 9 at 14:26
Is there a list of notations developed for regular expressions? [closed]
Awarded Feb 7 at 4:35
Nontrivial Time Complexity for Implicit Deep Copy
Awarded Feb 7 at 1:25
Size of CNF Formula for Adjacency in Configuration Graph
Awarded Feb 5 at 0:11
Difference between self-information and entropy
Awarded Feb 5 at 0:11
CCCs, computational calculi and point-surjectivity
Awarded Feb 3 at 16:47
(post deleted or otherwise unavailable)
Awarded Feb 2 at 14:26
(post deleted or otherwise unavailable)
Awarded Jan 31 at 19:17
Difference between self-information and entropy
Awarded Jan 30 at 17:12
(post deleted or otherwise unavailable)
Awarded Jan 29 at 14:26
How can I find the second cheapest spanning tree?
Awarded Jan 29 at 12:36
(post deleted or otherwise unavailable)
Awarded Jan 28 at 16:09
(post deleted or otherwise unavailable)
Awarded Jan 26 at 11:35
Problems that started out with hopelessly intractable algorithms that have since been made extremely efficient
Awarded Jan 26 at 2:20
(post deleted or otherwise unavailable)
Awarded Jan 24 at 6:50
A class name for series-parallel graphs of same length
Awarded Jan 22 at 15:15
Knapsack problem with dependent weight and profits among the items
Awarded Jan 21 at 9:02
Variable wire weights in DLOGTIME-uniform circuits
Awarded Jan 20 at 18:34
What's the relevant CS theory for CodinGame challenges?
Awarded Jan 20 at 2:31
(post deleted or otherwise unavailable)
Awarded Jan 18 at 18:33
canonical complete problems for $\Delta^P_n$
Awarded Jan 18 at 10:02
Which algorithm can do a stable in-place binary partition with only O(N) moves?
Awarded Jan 16 at 21:17
NP complete problem help
Awarded Jan 15 at 17:33
How many distinct vertices does a random walk visit until it mixes?
Awarded Jan 15 at 16:49
(post deleted or otherwise unavailable)
Awarded Jan 14 at 0:17
Energy-Based Modeling vs Deep Learning
Awarded Jan 13 at 9:40
Can modern SAT-Solvers utilise the symmetry of First Order Logic?
Awarded Jan 11 at 22:22
Formalization of simulation for Turing machines
Awarded Jan 10 at 22:40
What are graph grammars?
Awarded Jan 10 at 17:36
Why isn’t information-probability relationship linear? [closed]
Awarded Jan 9 at 17:47
(post deleted or otherwise unavailable)
Awarded Jan 6 at 8:55
Simple model of computation with homoiconicity
Awarded Jan 6 at 7:16
(post deleted or otherwise unavailable)
Awarded Jan 4 at 16:18
Intuition behind nested positivity and counterexamples
Awarded Jan 4 at 4:25
(post deleted or otherwise unavailable)
Awarded Jan 3 at 5:47
What are some good introductory books on type theory?
Awarded Jan 1 at 15:51
Minimal clique edge cover vs minimalist (assignment-minimum) ones
Awarded Dec 28 '20 at 21:10
Can someone recommend a reference on graph minors structure theorem and sublinear treewidth?
Awarded Dec 27 '20 at 23:18
An optimization problem
Awarded Dec 26 '20 at 18:00
(post deleted or otherwise unavailable)
Awarded Dec 26 '20 at 15:32
(post deleted or otherwise unavailable)
Awarded Dec 24 '20 at 23:11
(post deleted or otherwise unavailable)
Awarded Dec 23 '20 at 2:08
(post deleted or otherwise unavailable)
Awarded Dec 22 '20 at 12:35
NP-hardness for one-dimensional facility location problem with entrance fee for each customer [closed]
Awarded Dec 20 '20 at 15:47
1
2 3 4 5
…
64