Theoretical Computer Science
Dmytro Taranovsky's user avatar
Dmytro Taranovsky's user avatar
Dmytro Taranovsky's user avatar
Dmytro Taranovsky
  • Member for 6 years, 3 months
  • Last seen this week
Profile Activity
Stats
2,537
reputation
11k
reached
24
answers
14
questions
Communities
Badges
View all badges
1
gold badge
10
silver badges
24
bronze badges
Top tags
View all tags
64
Score
27
Posts
71
Posts %
33
Score
12
Posts
32
Posts %
26
Score
12
Posts
32
Posts %
14
Score
9
Posts
24
Posts %
13
Score
4
Posts
11
Posts %
7
Score
5
Posts
13
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
23
Fine-grained complexity of BPP
Oct 5, 2017
question
15
Does $∩_{ε>0} \mathrm{DTIME}(O(n^{2+ε})) = \mathrm{DTIME}(n^{2+o(1)})$?
Sep 15, 2017
question
15
An algebra of complexity classes
Aug 27, 2018
question
14
Sorting with an average of $\mathrm{lg}(n!)+o(n)$ comparisons
Sep 4, 2018
answer
10
Does $∩_{ε>0} \mathrm{DTIME}(O(n^{2+ε})) = \mathrm{DTIME}(n^{2+o(1)})$?
Sep 17, 2017
question
9
Complexity of fractional SAT
Oct 14, 2018
question
9
Best known asymptotic PCP sizes / 3-SAT
Oct 30, 2018
answer
7
How to prove $P^{Halt} = PSPACE^{Halt}$
Oct 28, 2017
answer
7
Sorting with an average of $\mathrm{lg}(n!)+o(n)$ comparisons
Sep 4, 2018
answer
6
Time Hierarchies in DSPACE(O(s(n)))
Sep 22, 2017
Top network posts
View all network posts
33
Examples of statements with a high quantifier complexity
20
Do we expect that sufficiently large computable ordinals settle every question of arithmetic?
17
Minimum transitive models and V=L
17
Is the analysis as taught in universities in fact the analysis of definable numbers?
16
Consistency strength of $j:L_δ→L_δ$ for some δ

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.