Theoretical Computer Science

Editor

 Editor
First edit.
Awarded 3871 times.
Reduction of CNF-SAT to 3-dominating set
Awarded 27 mins ago
The implication of $ S(SAT)=2^{\Omega{(n)}} $ Conjecture (5.7 in Avi Book)
Awarded 1 hour ago
(post deleted or otherwise unavailable)
Awarded 8 hours ago
Are there strongly normalizing lambda terms that cannot be given a System F type?
Awarded May 1 at 19:23
Hamiltonian Cycle as an integer linear programming problem
Awarded Apr 29 at 18:57
Efficiently checking if removing a vertex yields a connected partition
Awarded Apr 29 at 7:27
program search with optimization methods for (resource bounded) Kolmogorov complexity
Awarded Apr 28 at 8:49
Algorithms Careers
Awarded Apr 26 at 14:10
Regular languages from category-theoretical point of view
Awarded Apr 26 at 7:48
Find the most number of intermediate nodes you can travel to given a weight limit and a start and destination node (weighted graph) [closed]
Awarded Apr 25 at 2:36
A complete study of theoretical computer science - Literature
Awarded Apr 20 at 16:52
How shall backpropagation manage multiple patterns?
Awarded Apr 13 at 21:39
Enumerating results of a variant of LCE queries
Awarded Apr 13 at 8:47
KRW Conjecture: separation of NC^1 and P
Awarded Apr 11 at 21:16
Ambiguity of regular expressions
Awarded Apr 11 at 10:16
What is the information content of unit tests?
Awarded Apr 10 at 13:09
Deterministic one way communication complexity for message with arbitrary length
Awarded Apr 10 at 2:20
(post deleted or otherwise unavailable)
Awarded Apr 6 at 1:42
Minimal partition covering?
Awarded Apr 5 at 23:27
(post deleted or otherwise unavailable)
Awarded Apr 5 at 11:05
Are read-once Boolean function in AC^0?
Awarded Apr 5 at 3:48
(post deleted or otherwise unavailable)
Awarded Apr 4 at 14:08
Algorithm to find $n$ player nash equilibrium
Awarded Apr 4 at 10:30
Enumerating topological sorts of a vertex-labeled DAG
Awarded Apr 2 at 20:06
Two valued variant of subset sum problem
Awarded Mar 27 at 7:18
Two valued variant of subset sum problem
Awarded Mar 25 at 2:19
(post deleted or otherwise unavailable)
Awarded Mar 24 at 11:57
Do theoretical computer scientists work more with proving theorems, or work more with data?
Awarded Mar 24 at 6:35
“Guarded” negative occurrences in definition of inductive types, always bad?
Awarded Mar 22 at 9:42
(post deleted or otherwise unavailable)
Awarded Mar 18 at 16:48
Maximum weight matching with classes of edges in a multi-edge bipartite graph
Awarded Mar 17 at 9:17
Subset sum for lists [closed]
Awarded Mar 14 at 22:17
Complexity of real coefficients Linear Programs
Awarded Mar 7 at 20:41
(post deleted or otherwise unavailable)
Awarded Mar 7 at 12:40
Is there an approximation algorithm for the three-person stable roommates problem? [closed]
Awarded Mar 5 at 10:49
Impredicativity + large eliminations (with no excluded middle) in Coq
Awarded Mar 4 at 14:48
What advantages does having a null-able string type confer to a programming language?
Awarded Mar 4 at 10:56
Reference Material for Axiomatic Semantics
Awarded Mar 1 at 20:16
An optimization problem
Awarded Mar 1 at 17:06
Trading treewidth for depth in Boolean circuits
Awarded Feb 28 at 13:55
(post deleted or otherwise unavailable)
Awarded Feb 28 at 12:16
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
(post deleted or otherwise unavailable)
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
1
2 3 4 5
…
65

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.