Theoretical Computer Science

Editor

 Editor
First edit.
Awarded 3958 times.
Does a graph resulting from the union of triangles has a particular name?
Awarded yesterday
Derandomizing arbitrary width *read-many* and *ordered* branching programs?
Awarded Oct 14 at 15:01
exact path cover for undirected graph
Awarded Oct 14 at 9:06
(post deleted or otherwise unavailable)
Awarded Oct 7 at 11:26
Minimal lexicographical path on DAG in O(||V| + |E|)
Awarded Oct 4 at 12:47
Halting problem for finitary PCF
Awarded Oct 3 at 16:33
A Special case of Weighted Set Cover Problem
Awarded Oct 3 at 16:16
Are runtime bounds in P decidable? (answer: no)
Awarded Oct 1 at 5:27
(post deleted or otherwise unavailable)
Awarded Sep 30 at 18:36
$\mathbf{AC}^0$ lower bounds for $\mathsf{Gap}\text{-}\mathsf{Max3SAT}$
Awarded Sep 30 at 14:12
Is polynomial-time the same in all classical computational models?
Awarded Sep 28 at 13:55
(post deleted or otherwise unavailable)
Awarded Sep 28 at 4:40
Is it possible to count the total number of local minima for a scalar, multivariate function?
Awarded Sep 28 at 0:06
(post deleted or otherwise unavailable)
Awarded Sep 26 at 13:42
How does axiom K contradict univalence?
Awarded Sep 26 at 1:27
complexity class of a function - linear combinations and reductions (Fermionant, immanant, $GL_n$ representations)
Awarded Sep 22 at 18:11
Low-Treewidth Sorting Networks
Awarded Sep 21 at 12:43
How do we evalute the difference between a predicted value $\hat{v}$ and the true nash equlibrium value $v$
Awarded Sep 16 at 3:10
Programming language supporting infinitary rewriting of regular term graphs?
Awarded Sep 14 at 15:56
Is this a novel technique for determining whether or not two rotated rectangles collide?
Awarded Sep 13 at 23:22
Finding top-K items in a sliding window
Awarded Sep 13 at 12:21
Complexity for universal Counter Machine with {0,1}-valued registers
Awarded Sep 13 at 0:06
Partition a graph into two clusters
Awarded Sep 10 at 10:11
(post deleted or otherwise unavailable)
Awarded Sep 3 at 19:20
Some issues with proof of Fundamental Theorem of Statistical learning
Awarded Aug 28 at 4:57
(post deleted or otherwise unavailable)
Awarded Aug 27 at 23:16
Computational Complexity of the Divisor summatory function
Awarded Aug 26 at 19:48
Input length and calculation time to simulate a quantum measurement
Awarded Aug 23 at 21:49
(post deleted or otherwise unavailable)
Awarded Aug 21 at 22:34
Complexity of "can we get a cycle by stacking directed bipartite graphs?"
Awarded Aug 20 at 7:17
How would I go about learning the underlying theory of the Coq proof assistant?
Awarded Aug 18 at 23:25
(post deleted or otherwise unavailable)
Awarded Aug 17 at 11:35
Can theoretical computer science be applied in social sciences?
Awarded Aug 17 at 10:57
Can theoretical computer science be applied in social sciences?
Awarded Aug 17 at 6:04
Can theoretical computer science be applied in social sciences?
Awarded Aug 16 at 6:17
(post deleted or otherwise unavailable)
Awarded Aug 13 at 9:42
(post deleted or otherwise unavailable)
Awarded Aug 10 at 20:08
(post deleted or otherwise unavailable)
Awarded Aug 7 at 12:36
(post deleted or otherwise unavailable)
Awarded Aug 7 at 9:04
List of TCS conferences and workshops
Awarded Aug 6 at 15:05
BCH codes and polynomials with many values in a subfield
Awarded Aug 3 at 16:56
Max-k-cut with negative edge weights
Awarded Aug 3 at 15:26
(post deleted or otherwise unavailable)
Awarded Jul 31 at 6:25
(post deleted or otherwise unavailable)
Awarded Jul 30 at 17:10
An (unusual?) risk bound
Awarded Jul 30 at 8:11
Problem in the paper "Stable Minimum Space Partitioning in Linear Time"
Awarded Jul 27 at 16:19
Where does "Quine's Method" in propositional logic originate?
Awarded Jul 17 at 1:34
(post deleted or otherwise unavailable)
Awarded Jul 16 at 13:36
What is this structure? (monad with a kind of partial inverse comonad)
Awarded Jul 14 at 21:26
(post deleted or otherwise unavailable)
Awarded Jul 13 at 20:07
(post deleted or otherwise unavailable)
Awarded Jul 11 at 2:48
(post deleted or otherwise unavailable)
Awarded Jul 9 at 8:03
(post deleted or otherwise unavailable)
Awarded Jul 8 at 12:08
How to acknowledge answers of TCS in the paper?
Awarded Jul 8 at 5:45
(post deleted or otherwise unavailable)
Awarded Jul 7 at 21:35
Commutative operation benefits
Awarded Jul 7 at 20:05
Parametrization of context-sensitive language in polynomial time
Awarded Jul 6 at 9:05
(post deleted or otherwise unavailable)
Awarded Jul 5 at 10:31
(post deleted or otherwise unavailable)
Awarded Jul 1 at 11:07
(post deleted or otherwise unavailable)
Awarded Jun 29 at 12:20
1
2 3 4 5
…
66

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.