Theoretical Computer Science

Editor

 Editor
First edit.
Awarded 4055 times.
(post deleted or otherwise unavailable)
Awarded Jun 14, 2021 at 0:22
(post deleted or otherwise unavailable)
Awarded Jun 13, 2021 at 0:27
Is there a good notion of non-termination and halting proofs in type theory?
Awarded Jun 12, 2021 at 19:18
Sublinear Time Regular Expression Search
Awarded Jun 10, 2021 at 20:41
How is a "low-degree polynomial" precisely defined in Algebrization?
Awarded Jun 10, 2021 at 18:42
Find research partner (profession and beginner)
Awarded Jun 3, 2021 at 4:07
What is the polynomial representation of the Hamming weight function?
Awarded Jun 1, 2021 at 14:54
Example of an context-sensitive language with a specific number of words of length $n$
Awarded May 28, 2021 at 20:07
Finding uniformly random perfect matching of a graph
Awarded May 27, 2021 at 14:30
Resource for Understanding this Notation [closed]
Awarded May 27, 2021 at 3:46
(post deleted or otherwise unavailable)
Awarded May 25, 2021 at 16:55
Detect if a graph has a $k$ cycle in space complexity $O((\log k)^d)$ for fixed $d \geq1$
Awarded May 24, 2021 at 18:51
(post deleted or otherwise unavailable)
Awarded May 23, 2021 at 2:12
(post deleted or otherwise unavailable)
Awarded May 23, 2021 at 0:27
MLTT/MiniTT: why do normal forms of sum types carry environments?
Awarded May 22, 2021 at 12:51
(post deleted or otherwise unavailable)
Awarded May 18, 2021 at 7:42
(post deleted or otherwise unavailable)
Awarded May 18, 2021 at 4:09
How hard is this combinatorial optimisation problem?
Awarded May 17, 2021 at 5:55
Why is regularity a problem in cubical type theory?
Awarded May 15, 2021 at 11:27
(post deleted or otherwise unavailable)
Awarded May 12, 2021 at 13:55
(post deleted or otherwise unavailable)
Awarded May 11, 2021 at 23:16
(post deleted or otherwise unavailable)
Awarded May 10, 2021 at 14:19
Definitional function extensionality for functions out of $\mathbf{2}$
Awarded May 10, 2021 at 6:56
Finding vertex separator such that the induced subgraph has minimal number of edges
Awarded May 8, 2021 at 10:07
(post deleted or otherwise unavailable)
Awarded May 6, 2021 at 0:10
The implication of $ S(SAT)=2^{\Omega{(n)}} $ Conjecture (5.7 in Wigderson Book)
Awarded May 5, 2021 at 23:23
(post deleted or otherwise unavailable)
Awarded May 5, 2021 at 15:49
Are there strongly normalizing lambda terms that cannot be given a System F type?
Awarded May 1, 2021 at 19:23
Hamiltonian Cycle as an integer linear programming problem
Awarded Apr 29, 2021 at 18:57
(post deleted or otherwise unavailable)
Awarded Apr 29, 2021 at 7:27
program search with optimization methods for (resource bounded) Kolmogorov complexity
Awarded Apr 28, 2021 at 8:49
Algorithms Careers
Awarded Apr 26, 2021 at 14:10
Regular languages from category-theoretical point of view
Awarded Apr 26, 2021 at 7:48
(post deleted or otherwise unavailable)
Awarded Apr 25, 2021 at 2:36
(post deleted or otherwise unavailable)
Awarded Apr 20, 2021 at 16:52
(post deleted or otherwise unavailable)
Awarded Apr 13, 2021 at 21:39
Enumerating results of a variant of LCE queries
Awarded Apr 13, 2021 at 8:47
KRW Conjecture: separation of NC^1 and P
Awarded Apr 11, 2021 at 21:16
Ambiguity of regular expressions
Awarded Apr 11, 2021 at 10:16
(post deleted or otherwise unavailable)
Awarded Apr 10, 2021 at 13:09
Deterministic one way communication complexity for message with arbitrary length
Awarded Apr 10, 2021 at 2:20
(post deleted or otherwise unavailable)
Awarded Apr 6, 2021 at 1:42
Minimal partition covering?
Awarded Apr 5, 2021 at 23:27
(post deleted or otherwise unavailable)
Awarded Apr 5, 2021 at 11:05
(post deleted or otherwise unavailable)
Awarded Apr 5, 2021 at 3:48
(post deleted or otherwise unavailable)
Awarded Apr 4, 2021 at 14:08
Algorithm to find $n$ player nash equilibrium
Awarded Apr 4, 2021 at 10:30
Enumerating topological sorts of a vertex-labeled DAG
Awarded Apr 2, 2021 at 20:06
Two valued variant of subset sum problem
Awarded Mar 27, 2021 at 7:18
Two valued variant of subset sum problem
Awarded Mar 25, 2021 at 2:19
(post deleted or otherwise unavailable)
Awarded Mar 24, 2021 at 11:57
Do theoretical computer scientists work more with proving theorems, or work more with data?
Awarded Mar 24, 2021 at 6:35
"Guarded" negative occurrences in definition of inductive types, always bad?
Awarded Mar 22, 2021 at 9:42
(post deleted or otherwise unavailable)
Awarded Mar 18, 2021 at 16:48
Maximum weight matching with classes of edges in a multi-edge bipartite graph
Awarded Mar 17, 2021 at 9:17
Subset sum for lists [closed]
Awarded Mar 14, 2021 at 22:17
Complexity of real coefficients Linear Programs
Awarded Mar 7, 2021 at 20:41
(post deleted or otherwise unavailable)
Awarded Mar 7, 2021 at 12:40
Is there an approximation algorithm for the three-person stable roommates problem? [closed]
Awarded Mar 5, 2021 at 10:49
Impredicativity + large eliminations (with no excluded middle) in Coq
Awarded Mar 4, 2021 at 14:48
1 2 3
4
5
…
68

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.