Theoretical Computer Science

Editor

 Editor
First edit.
Awarded 3746 times.
The complexity of the permanent of low rank matrices
Awarded Jan 31 at 15:20
Average case hardness of #SAT
Awarded Jan 31 at 14:25
W[1]-hard problems with FPT time approximation algorithms
Awarded Jan 29 at 17:10
Online bipartite matching vs Multi-armed bandits
Awarded Jan 28 at 0:55
(post deleted or otherwise unavailable)
Awarded Jan 26 at 13:45
Minimum Unsatisfiable 3-CNF Formulae
Awarded Jan 24 at 1:20
(post deleted or otherwise unavailable)
Awarded Jan 23 at 8:20
(post deleted or otherwise unavailable)
Awarded Jan 21 at 20:25
(post deleted or otherwise unavailable)
Awarded Jan 18 at 7:45
Known property? Maximum radius of connected induced subgraph
Awarded Jan 17 at 18:55
Fast Computation of First k Eigenvectors of Graph Laplacian
Awarded Jan 15 at 10:50
Can recursion be replaced with a finite set of higher-order functions? [closed]
Awarded Jan 15 at 8:40
(post deleted or otherwise unavailable)
Awarded Jan 11 at 22:45
(post deleted or otherwise unavailable)
Awarded Jan 10 at 10:10
(post deleted or otherwise unavailable)
Awarded Jan 9 at 4:40
(post deleted or otherwise unavailable)
Awarded Jan 7 at 21:50
Convex polygons inclusion relation
Awarded Jan 7 at 16:40
(post deleted or otherwise unavailable)
Awarded Jan 5 at 13:40
Is there a result in computability theory that does not relativize?
Awarded Jan 5 at 0:10
Applications of Barendregt–Geuvers–Klop conjecture
Awarded Jan 3 at 2:15
In quantum money schemes, how is the list of serial numbers provided?
Awarded Jan 2 at 7:10
(post deleted or otherwise unavailable)
Awarded Dec 27 '19 at 14:45
(post deleted or otherwise unavailable)
Awarded Dec 26 '19 at 12:45
(post deleted or otherwise unavailable)
Awarded Dec 24 '19 at 16:50
(post deleted or otherwise unavailable)
Awarded Dec 24 '19 at 8:55
What are the widely used notations for quickly referring to a single component of a multi-component object?
Awarded Dec 23 '19 at 0:00
Representing data with Shannon entropy predicted bits
Awarded Dec 21 '19 at 14:30
Bivariate low-degree polynomial testing of Polishchuk-Spielman
Awarded Dec 20 '19 at 18:45
Hardness of finding if a vertex lies on a simple directed path between two vertices
Awarded Dec 19 '19 at 5:15
(post deleted or otherwise unavailable)
Awarded Dec 18 '19 at 23:35
(post deleted or otherwise unavailable)
Awarded Dec 18 '19 at 15:20
Type System Of $\lambda\mu$-Calculus
Awarded Dec 16 '19 at 11:10
Definition of a prefix-free Turing machine
Awarded Dec 15 '19 at 7:25
$NP$-Completeness of $\epsilon$-balanced graph partitioning for fixed $\epsilon$
Awarded Dec 14 '19 at 21:20
What are the criteria for inviting conference papers (e.g. SODA) for special issue?
Awarded Dec 9 '19 at 4:25
(post deleted or otherwise unavailable)
Awarded Dec 5 '19 at 17:55
Lack of atomic propositions in the Calculus of Constructions from ATTAPL textbook
Awarded Dec 2 '19 at 19:25
(post deleted or otherwise unavailable)
Awarded Nov 29 '19 at 17:20
(post deleted or otherwise unavailable)
Awarded Nov 29 '19 at 9:05
(post deleted or otherwise unavailable)
Awarded Nov 28 '19 at 9:20
(post deleted or otherwise unavailable)
Awarded Nov 27 '19 at 1:00
(post deleted or otherwise unavailable)
Awarded Nov 25 '19 at 14:05
Induction on all polynomial runtimes?
Awarded Nov 23 '19 at 16:05
Lower bounds for list/set data structures without delete
Awarded Nov 18 '19 at 15:10
What Is the Complexity of This Two-to-One Matching Problem?
Awarded Nov 14 '19 at 12:00
(post deleted or otherwise unavailable)
Awarded Nov 14 '19 at 8:55
Are endmarkers necessary for Deterministic Pushdown Automata?
Awarded Nov 13 '19 at 11:05
How to find for each 3-input boolean function the minimum number of NAND operators needed to compute it [closed]
Awarded Nov 11 '19 at 10:50
(post deleted or otherwise unavailable)
Awarded Nov 10 '19 at 15:30
Example of decidable NP-hard problem that is not NP-complete
Awarded Nov 7 '19 at 23:15
Why NL is not L
Awarded Nov 7 '19 at 12:35
(post deleted or otherwise unavailable)
Awarded Nov 6 '19 at 0:30
Which complexity class does this problem belong to?
Awarded Nov 4 '19 at 14:55
(post deleted or otherwise unavailable)
Awarded Nov 4 '19 at 1:10
Site with collection of exercises in TCS?
Awarded Nov 3 '19 at 6:55
Are patents good sources for academic research?
Awarded Oct 29 '19 at 23:30
NP-hardness of a planar SAT variant
Awarded Oct 27 '19 at 22:05
Characterize a point cloud
Awarded Oct 23 '19 at 9:10
Turing meta-oracle
Awarded Oct 23 '19 at 2:20
(post deleted or otherwise unavailable)
Awarded Oct 22 '19 at 2:25
1 2 3
4
5
…
63