Theoretical Computer Science

Editor

 Editor
First edit.
Awarded 4083 times.
Are all linear-rate and -distance classical linear codes expanding?
Awarded Jun 26 at 16:45
What is the problem in "closest pair problem" if all points share the same x-coordinate
Awarded Jun 24 at 7:57
Are the Eigendecomposition and Singular Value Decompositions in the class P?
Awarded Jun 22 at 16:22
Frogs Game Amortized Analysis
Awarded Jun 22 at 12:32
Are there any problems whose best known algorithms have running time $n^{\log \log n}$?
Awarded Jun 22 at 5:27
Does Memcomputing really solve an NP-complete problem?
Awarded Jun 20 at 18:18
Trying to understand the intuition behind Yao's Minimax Principle
Awarded Jun 19 at 17:49
Trying to understand the intuition behind Yao's Minimax Principle
Awarded Jun 15 at 17:43
How do I convert a pseudo-polynomial algorithm to its equivalent exponential form?
Awarded Jun 15 at 14:18
Solving All-Pairs Shortest Paths using a distance matrix in sub-cubic time
Awarded Jun 15 at 10:40
(post deleted or otherwise unavailable)
Awarded Jun 15 at 9:57
How to generate arbitrarily in-order from a set of primes?
Awarded Jun 14 at 14:55
do while loop optimization [closed]
Awarded Jun 14 at 12:22
HYPOTHESIS TESTING DIVEGENCE (CHANNEL CODING THEOREM)
Awarded Jun 12 at 11:28
Is there a relationship between Brown and Palsberg's Self-Interpreter for F-Omega and Lawvere's Fixed Point Theorem?
Awarded Jun 11 at 20:52
Does the Minimum Spanning Tree (MST) problem become NP-hard when adding edge profits?
Awarded Jun 11 at 16:31
Turing Machine that stops after certien steps question [closed]
Awarded Jun 11 at 16:22
PAC guarantees for linear prediction under the squared loss
Awarded Jun 10 at 19:20
Data structures to store monotone functions
Awarded Jun 9 at 8:42
Can a Turing machine quickly move to any position of a large string?
Awarded Jun 8 at 1:11
Disjoint union of databases with distinguished elements
Awarded Jun 7 at 7:19
Question in relating STLC and Free CCC
Awarded Jun 4 at 14:05
Question in relating STLC and Free CCC
Awarded Jun 4 at 13:23
Alternative to binary search trees: A sorted array with empty spaces
Awarded May 31 at 14:26
Alternative to binary search trees: A sorted array with empty spaces
Awarded May 29 at 8:37
(post deleted or otherwise unavailable)
Awarded May 29 at 6:26
What set of sequential 2-bit inputs would it take for any system with 2 bits of memory to not be able to no it is not being tested
Awarded May 28 at 0:04
The Complexity of Multi-Objective Optimization
Awarded May 25 at 11:52
(post deleted or otherwise unavailable)
Awarded May 22 at 13:50
(post deleted or otherwise unavailable)
Awarded May 21 at 13:01
Is there a standard way to "point" at subterms in a lambda expression?
Awarded May 20 at 22:05
Sample complexity lower bound to learn the mode (the value with the highest probability) of a distribution with finite support
Awarded May 19 at 14:17
Complexity of the distance between the average vector of two subsets
Awarded May 19 at 4:07
Oracle Construction for Grover's Algorithm
Awarded May 17 at 16:40
CFG - How can I describe a language that dictates a word and its opposite?
Awarded May 16 at 19:48
(post deleted or otherwise unavailable)
Awarded May 16 at 15:25
(post deleted or otherwise unavailable)
Awarded May 14 at 10:34
How to find the size of an ϵ-net of a vector space?
Awarded May 8 at 8:35
(post deleted or otherwise unavailable)
Awarded May 4 at 21:26
Tensor network contraction "bubbling": why are some approaches more computationally efficient than others (question from a beginner)
Awarded May 1 at 14:26
Seeking references on writing a long string $\ell$ as concatenation of shorter strings $s_1, s_2, s_3, ...$
Awarded Apr 30 at 14:56
Establishing competing memory limits for pushdown automata
Awarded Apr 29 at 2:57
How to show that the median cannot be maintained in $O(1)$ time?
Awarded Apr 27 at 18:02
Programming languages with constraints on values of variables?
Awarded Apr 23 at 14:07
Efficient transformation into CNF preserving entailment
Awarded Apr 23 at 13:12
Pointers for CS applications of logic
Awarded Apr 23 at 6:01
Boolean logic: What is the name of this trick to replace explicit negations by implications?
Awarded Apr 17 at 13:43
Dependently typed monad
Awarded Apr 13 at 8:26
Understanding the construction of an uncomputable function
Awarded Apr 12 at 7:56
Are trace monoids always syntactic monoids?
Awarded Apr 10 at 0:27
Reductions weaker than polynomial-time for $\exists \mathbb{R}$
Awarded Apr 9 at 18:00
Reductions weaker than polynomial-time for $\exists \mathbb{R}$
Awarded Apr 8 at 23:07
(post deleted or otherwise unavailable)
Awarded Apr 8 at 15:00
Does the linear algorithm of Farach for sorting suffixes imply a linear algorithm for sorting a special type of a sequence of integers?
Awarded Apr 8 at 12:51
(post deleted or otherwise unavailable)
Awarded Apr 7 at 15:57
Proving a property of minimal st-separators that are not minimum st-separators
Awarded Apr 7 at 8:50
(post deleted or otherwise unavailable)
Awarded Apr 5 at 6:18
Algorithmically determining proof complexity for Frege systems?
Awarded Apr 4 at 1:46
Find all pairs of values that are close under Hamming distance
Awarded Mar 31 at 10:48
Dynamic programming and shortest path problem
Awarded Mar 31 at 10:42
1
2 3 4 5
…
69

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.