Theoretical Computer Science

Editor

 Editor
First edit.
Awarded 4193 times.
(post deleted or otherwise unavailable)
Awarded Jan 22 at 16:35
Bad Cycles in Interaction Nets
Awarded Jan 20 at 9:57
Chernoff bound for weighted sums of Bernoulli random variables
Awarded Jan 15 at 23:19
The generated proof $h_{1}k_{1}k_{2}^{-1}h_{2}^{-1}\in\left\{h\cdot k\mid h\in H,k\in K\right\}$ for $\cdots j^{-1}i^{-1}h^{-1}g^{-1}kghij\cdots\in K$
Awarded Jan 13 at 12:41
(post deleted or otherwise unavailable)
Awarded Jan 12 at 16:57
Boosting the probability of success(random projections, johnson lindenstrauss)
Awarded Jan 11 at 21:25
Characterizing indices of p.c. functions when intersected over arity
Awarded Jan 10 at 17:10
Complexity of applying a permutation in-place
Awarded Jan 10 at 4:31
Algebraic equivalent of SAT?
Awarded Jan 9 at 19:07
Can the ellipsoid method be used with a randomized separation oracle?
Awarded Jan 6 at 22:12
Simple Lambda Calculus Question
Awarded Jan 5 at 15:46
Resources for first-order and second-order monadic logics with a model-checking objective
Awarded Jan 5 at 10:56
Are regular expressions inherently more difficult to construct than DFAs for humans?
Awarded Jan 5 at 9:08
(post deleted or otherwise unavailable)
Awarded Jan 2 at 18:16
(post deleted or otherwise unavailable)
Awarded Jan 1 at 8:43
(post deleted or otherwise unavailable)
Awarded Jan 1 at 0:07
What is "structural model checking"?
Awarded Dec 31, 2022 at 12:57
Do uniformity lower than DLOGTIME rlead to same result?
Awarded Dec 30, 2022 at 9:35
Restrictions on set of infinitely many n's for which an algorithm breaks distributional hardness
Awarded Dec 26, 2022 at 11:41
(post deleted or otherwise unavailable)
Awarded Dec 22, 2022 at 22:04
Can the mutual information of a "cell" be negative?
Awarded Dec 21, 2022 at 10:17
Is complexity class containment preserved relative to any oracle?
Awarded Dec 20, 2022 at 22:15
(post deleted or otherwise unavailable)
Awarded Dec 18, 2022 at 14:52
Boolean matrix $M$ with Boolean rank $r$ but real rank $2^r$
Awarded Dec 13, 2022 at 4:05
(post deleted or otherwise unavailable)
Awarded Dec 11, 2022 at 14:03
Treewidth relations between Boolean formulas and Tseitin encodings
Awarded Dec 9, 2022 at 11:05
Is this subsequence problem NP-hard?
Awarded Dec 8, 2022 at 22:47
Savitch's theorem for time complexity
Awarded Dec 5, 2022 at 16:31
Does ${\bf CPO}$ have $\omega$-colimits?
Awarded Dec 2, 2022 at 20:55
Is it proved that error rate of quantum computation is bounded by constant rather than a function dependent on time and environment by quantum theory
Awarded Dec 2, 2022 at 13:35
Unclear explanation of basic parallel DAG computation
Awarded Dec 1, 2022 at 14:21
(post deleted or otherwise unavailable)
Awarded Nov 30, 2022 at 19:06
(post deleted or otherwise unavailable)
Awarded Nov 28, 2022 at 2:06
Queueing theory. How to figure out if steady state or grows without bound?
Awarded Nov 26, 2022 at 21:05
(post deleted or otherwise unavailable)
Awarded Nov 24, 2022 at 21:40
(post deleted or otherwise unavailable)
Awarded Nov 21, 2022 at 6:32
(post deleted or otherwise unavailable)
Awarded Nov 20, 2022 at 16:45
Reducing #SAT to MAJ-SAT
Awarded Nov 19, 2022 at 14:26
Sampling strategies for Quicksort
Awarded Nov 19, 2022 at 6:56
Solving linear programs with special structure
Awarded Nov 18, 2022 at 8:42
On the Reductions of Functional complexity Classes
Awarded Nov 16, 2022 at 5:27
(post deleted or otherwise unavailable)
Awarded Nov 15, 2022 at 9:45
(post deleted or otherwise unavailable)
Awarded Nov 13, 2022 at 21:04
Composition with recursion in functions between types
Awarded Nov 12, 2022 at 1:00
A bound that follows from submodularity
Awarded Nov 10, 2022 at 22:36
How do I calculate the information content of a mass spectrum?
Awarded Nov 5, 2022 at 22:55
(post deleted or otherwise unavailable)
Awarded Nov 5, 2022 at 0:26
What's the expressive power of Simply Typed Lambda calculus?
Awarded Nov 3, 2022 at 13:10
(post deleted or otherwise unavailable)
Awarded Nov 2, 2022 at 16:16
What is a "strongly complementary pair" of primal/dual solutions to a linear program?
Awarded Oct 31, 2022 at 9:11
Prefix free code unbalancing 0 and 1 bits
Awarded Oct 31, 2022 at 4:26
Spanning Tree that Preserves the Number of Branch Vertices
Awarded Oct 27, 2022 at 7:18
(post deleted or otherwise unavailable)
Awarded Oct 24, 2022 at 16:48
Interpretation of the degree of a redex
Awarded Oct 23, 2022 at 20:34
Fastest algorithm for non-empty bins
Awarded Oct 21, 2022 at 13:06
(post deleted or otherwise unavailable)
Awarded Oct 21, 2022 at 12:02
(post deleted or otherwise unavailable)
Awarded Oct 20, 2022 at 10:45
Complexity of Maximizing Hamming Distances Below a Threshold
Awarded Oct 19, 2022 at 18:55
Uniformly redistributing items across bins. What problem is this?
Awarded Oct 18, 2022 at 18:35
(post deleted or otherwise unavailable)
Awarded Oct 18, 2022 at 9:47
1
2 3 4 5
…
70

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.