user avatar
user avatar
user avatar
usul
  • Member for 10 years, 6 months
  • Last seen this week
4 votes
1 answer
1k views

Maximizing a monotone supermodular function s.t. cardinality

5 votes
0 answers
130 views

Implications of a deterministic polytime prime-finding algorithm

1 vote
0 answers
132 views

Properties of "second-order" NP (complete) languages

6 votes
0 answers
430 views

What makes for a good paper abstract?

11 votes
2 answers
372 views

The Examiner's Problem (uniform generation of SAT decision instances/answers)

13 votes
1 answer
313 views

Do we have any nontrivial uniform circuits?

9 votes
1 answer
586 views

When do $\epsilon$-Nash equilibrium strategies converge to Nash Equilibrium strategies?

9 votes
2 answers
397 views

Complexity results for Lower-Elementary Recursive Functions?

26 votes
4 answers
2k views

When does (or should) Theoretical CS care about intuitionistic proofs?

13 votes
2 answers
3k views

The relation of Gödel's Incompleteness Theorems to the Church-Turing Thesis