Theoretical Computer Science

Editor

 Editor
First edit.
Awarded 3695 times.
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
How to efficiently read the theoretical computer science research papers?
Awarded Oct 21 '19 at 16:50
(post deleted or otherwise unavailable)
Awarded Oct 19 '19 at 11:35
LogSpace reductions vs. PTime reductons for defining PSpace-completeness
Awarded Oct 18 '19 at 8:10
Majority function stability under deletion and addition of entries
Awarded Oct 17 '19 at 23:30
Maximization of Mutual Information
Awarded Oct 17 '19 at 20:50
Maximization of Mutual Information
Awarded Oct 17 '19 at 19:20
conversion to DAG
Awarded Oct 13 '19 at 16:10
(post deleted or otherwise unavailable)
Awarded Oct 12 '19 at 21:05
Chomsky-Schutzenberg Hierarchies explained for physicist (general) [closed]
Awarded Oct 10 '19 at 0:55
(post deleted or otherwise unavailable)
Awarded Oct 9 '19 at 17:00
Finding simple fixed length paths in directed graphs
Awarded Oct 8 '19 at 21:50
(post deleted or otherwise unavailable)
Awarded Oct 8 '19 at 17:55
Breaking cycles in network graph by adding nodes and rerouting edges
Awarded Oct 8 '19 at 14:35
Difference between CTMC, DTMC, and MDP
Awarded Oct 6 '19 at 1:15
Reordering data (set of strings) to optimize for compression?
Awarded Oct 5 '19 at 4:25
(post deleted or otherwise unavailable)
Awarded Oct 2 '19 at 12:00
(post deleted or otherwise unavailable)
Awarded Sep 27 '19 at 10:35
Obtaining the Axiom of Choice through a modality in HTT
Awarded Sep 25 '19 at 17:45
Network Reliability Problem
Awarded Sep 23 '19 at 16:40
(post deleted or otherwise unavailable)
Awarded Sep 23 '19 at 3:10
Open access journals
Awarded Sep 20 '19 at 8:50
What papers should everyone read?
Awarded Sep 19 '19 at 22:15
When is the duality gap of semidefinite programming (SDP) zero?
Awarded Sep 19 '19 at 21:35
(post deleted or otherwise unavailable)
Awarded Sep 19 '19 at 12:25
Reconstruction of a sequence generated by a Markov chain - reference request
Awarded Sep 17 '19 at 14:40
(post deleted or otherwise unavailable)
Awarded Sep 16 '19 at 16:00
(post deleted or otherwise unavailable)
Awarded Sep 15 '19 at 20:15
Volume computation of special polytopes
Awarded Sep 11 '19 at 20:55
Satisfiability problems with restricted (not bounded) number of occurrences per variable
Awarded Sep 11 '19 at 11:55
(post deleted or otherwise unavailable)
Awarded Sep 10 '19 at 23:55
(post deleted or otherwise unavailable)
Awarded Sep 8 '19 at 14:00
Completeness under injective Karp reductions
Awarded Sep 7 '19 at 8:45
Complete problems for FP
Awarded Sep 5 '19 at 20:05
(post deleted or otherwise unavailable)
Awarded Aug 31 '19 at 4:05
An efficient algorithm for maximizing gain by choosing from a set of options
Awarded Aug 27 '19 at 12:45
Prove proof irrelevance in Coq?
Awarded Aug 26 '19 at 15:40
Complexity of extracting a coefficient of a polynomial in multiple variables
Awarded Aug 26 '19 at 4:50
How to prove a general convex set is nonempty or empty in polynomial time?
Awarded Aug 22 '19 at 7:15
3-coloring planar graphs in $O\left(3^{n^.5}\right)$?
Awarded Aug 20 '19 at 0:20
(post deleted or otherwise unavailable)
Awarded Aug 19 '19 at 16:50
Formalizing and optimizing constraints involving booleans, pairs of booleans, and integer sums
Awarded Aug 14 '19 at 12:30
(post deleted or otherwise unavailable)
Awarded Aug 14 '19 at 6:20
Characterizing the ANF of Single-Cycle Boolean Permutations
Awarded Aug 13 '19 at 22:40
Correlation between noise resilience and output distribution of Boolean circuits
Awarded Aug 11 '19 at 8:50
The asymptotic behavior of a recurrence related to stable matchings
Awarded Aug 9 '19 at 16:35
Does small circuits for a NP-complete problem contradict ETH?
Awarded Aug 9 '19 at 11:20
what does NP ⊆ DTIME(…) mean?
Awarded Aug 8 '19 at 2:05
Matching of two weighted graphs allowing one-to-many mapping
Awarded Aug 5 '19 at 21:30
Equivalent formula for LTL with and without past operators
Awarded Aug 5 '19 at 11:45
Language recongized by a “quasi realtime register machine”?
Awarded Aug 3 '19 at 15:40
Finding whether $n$ polytopes have nontrivial intersection from pairwise comparisons
Awarded Jul 30 '19 at 12:35
(post deleted or otherwise unavailable)
Awarded Jul 27 '19 at 19:50
Sensitivity and Low-Degree Approximation under Non-Uniform Distribution
Awarded Jul 27 '19 at 1:55
Is convex optimisation in P?
Awarded Jul 25 '19 at 17:20
1 2 3
4
5
…
62