Theoretical Computer Science

Editor

 Editor
First edit.
Awarded 3679 times.
How to write the introduction of a research paper?
Awarded 2 days ago
Data processing inequality for interaction information
Awarded Jul 1 at 16:46
Beta reduction and vacuous lambda abstraction [closed]
Awarded Jul 1 at 9:15
Is full ownership inference possible?
Awarded Jun 29 at 13:56
Chernoff bound for weighted sums
Awarded Jun 29 at 8:11
computaional complexity of frobeius norm of a vector [closed]
Awarded Jun 26 at 11:21
What kind of computational model is the brain? [duplicate]
Awarded Jun 26 at 4:26
Rewrite relations - proof of correctness
Awarded Jun 25 at 11:26
Is there any efficient Network stable sort (not bubble sort)?
Awarded Jun 24 at 17:30
(post deleted or otherwise unavailable)
Awarded Jun 24 at 14:57
Are there enumerations of machines for all languages in 𝑃 such that there exists a simulator that can efficiently run all the machines enumerated?
Awarded Jun 23 at 21:55
(post deleted or otherwise unavailable)
Awarded Jun 22 at 18:08
Has there been any development of complexity theory for other Turing degrees than 0?
Awarded Jun 22 at 13:19
Where is the scientific contribution “attached” to: the algorithm or the article that describes it, or there are two constributions?
Awarded Jun 22 at 5:45
Applications of Game theory in computer science?
Awarded Jun 19 at 19:07
Is the integer factorization problem harder than RSA factorization: $n = pq$?
Awarded Jun 16 at 8:41
(post deleted or otherwise unavailable)
Awarded Jun 14 at 19:03
(post deleted or otherwise unavailable)
Awarded Jun 13 at 7:08
Direct SAT to 3-SAT reduction
Awarded Jun 12 at 15:05
Homologous flows on planar graphs
Awarded Jun 11 at 19:43
(post deleted or otherwise unavailable)
Awarded Jun 10 at 19:33
(post deleted or otherwise unavailable)
Awarded Jun 9 at 9:22
Deciding whether a 2nfa halts on every input on every branch
Awarded Jun 8 at 10:45
(post deleted or otherwise unavailable)
Awarded Jun 8 at 2:08
(post deleted or otherwise unavailable)
Awarded Jun 8 at 1:48
(post deleted or otherwise unavailable)
Awarded Jun 6 at 22:49
Is black box parallel quantum speedup ever nontrivial?
Awarded Jun 6 at 15:02
Determining if transducer automaton has two states with intersecting images, without minimizing?
Awarded Jun 5 at 8:05
(post deleted or otherwise unavailable)
Awarded May 31 at 12:46
a direct polynomial reduction from 3EQU-SUM to EQU-SUM problem [closed]
Awarded May 28 at 3:35
Why do TCS papers have author names in alphabetical order of their surnames?
Awarded May 27 at 12:57
(post deleted or otherwise unavailable)
Awarded May 26 at 6:05
kmeans++ for arbitrary metric spaces and general potential function
Awarded May 25 at 21:10
Funny TCS-related papers etc?
Awarded May 25 at 9:34
(post deleted or otherwise unavailable)
Awarded May 23 at 19:26
Which formalism is best suited for automated theorem proving in set theory?
Awarded May 23 at 16:03
Additive versus multiplicative accuracy
Awarded May 23 at 1:09
Intuition behind the Charikar's LP formulation for densest subgraph problem
Awarded May 20 at 22:55
Topological sorting of a DAG where special vertices have to come in even groups
Awarded May 20 at 17:26
Tree decompositions of optimal width where every vertex is in a bounded number of bags?
Awarded May 20 at 12:40
How to check if a number is a perfect power in polynomial time
Awarded May 18 at 15:09
(post deleted or otherwise unavailable)
Awarded May 18 at 7:21
A total language that only a Turing complete language can interpret
Awarded May 18 at 7:12
How to prove that Supremum preorder coincides with Hoare preorder?
Awarded May 17 at 13:07
(post deleted or otherwise unavailable)
Awarded May 13 at 17:06
(post deleted or otherwise unavailable)
Awarded May 13 at 7:27
(post deleted or otherwise unavailable)
Awarded May 13 at 2:55
(post deleted or otherwise unavailable)
Awarded May 12 at 23:48
Algorithm for finding a 3-cycle cover
Awarded May 12 at 20:07
(post deleted or otherwise unavailable)
Awarded May 8 at 9:10
Is $\{0,1\}$-Vector bin packing NP-Hard when vectors have constant dimension?
Awarded May 4 at 4:20
(post deleted or otherwise unavailable)
Awarded May 2 at 11:12
Why Asymptotic Equipartition Property theorem proofs assume the source is memoryless?
Awarded May 2 at 5:21
Well-formedness condition for inductive types
Awarded Apr 30 at 22:48
(post deleted or otherwise unavailable)
Awarded Apr 30 at 22:01
(post deleted or otherwise unavailable)
Awarded Apr 29 at 19:19
linear programming with non-integer constraints
Awarded Apr 29 at 15:51
(post deleted or otherwise unavailable)
Awarded Apr 27 at 21:46
(post deleted or otherwise unavailable)
Awarded Apr 25 at 12:32
Kleene Algebra for star-free regular expressions
Awarded Apr 23 at 12:20
1
2 3 4 5
…
62