Skip to main content
Theoretical Computer Science
D.W.'s user avatar
D.W.'s user avatar
D.W.'s user avatar
D.W.
  • Member for 13 years, 2 months
  • Last seen this week
Profile Activity
Stats
12,232
reputation
122k
reached
259
answers
21
questions
Communities
View all
Badges
View all badges
2
gold badges
36
silver badges
83
bronze badges
Top tags
View all tags
169
Score
48
Posts
17
Posts %
150
Score
71
Posts
25
Posts %
137
Score
21
Posts
8
Posts %
134
Score
24
Posts
9
Posts %
115
Score
30
Posts
11
Posts %
90
Score
21
Posts
8
Posts %
Top posts
View all questions and answers
31
Are there any hard instances of 3-SAT when the clauses can only use literals that are "nearby" each other?
Jul 10, 2018
25
"Almost all objects have property P" vs. "It is easy to test whether an object has property P"
Jan 20, 2020
24
Algebraic equivalent of SAT?
Jan 7, 2023
19
Lower bounds on single-source shortest paths in directed graphs
Oct 1, 2014
18
Password hashing using NP complete problems
Jul 12, 2018
16
Data structure to determine if sets are disjoint in o(n) time
Aug 16, 2018
16
Can theoretical computer science be applied in social sciences?
Aug 16, 2021
16
Cryptography without assumptions -- seeking an overview
Dec 4, 2013
15
Distinguishing between two coins
Apr 29, 2014
14
Checking formulas with two quantifiers ($\forall \exists$) - 2QBF
Apr 8, 2012
Top Meta posts
5
18
14
Please don't migrate bad questions to CS.Stack Exchange
12
Interesting unanswered questions on CS.SE
10
How to signal users that probably are bots?
9
More prominent indication that this site is for research-level questions?
7
Can we get rid of automatic conversion to CW?
Top network posts
View all network posts
220
Please upload DMCA takedowns to the Chilling Effects Clearinghouse / Lumen Database
189
Why do we count starting from zero?
173
Statement from SO: June 5, 2023 Moderator Action
165
Why would someone trust DuckDuckGo or other providers with a similar privacy policy?
162
Should we trust the NIST-recommended ECC parameters?