Theoretical Computer Science
Profile Activity
Meta user
Network profile
836
reputation
4
12

dspyz

Apparently, this user prefers to keep an air of mystery about them.

7
answers
13
questions
~7k
people reached
  • Member for 7 years, 10 months
  • 103 profile views
  • Last seen Sep 30 at 6:37

Communities (32)

Top network posts

Top tags (28)

Score 9
Posts 3
Posts % 15
Score 8
Posts 5
Score 5
Posts 3
Score 4
Posts 7
Score 3
Posts 4
Score 2
Posts 5
View all tags →

Top posts (20)

All Questions Answers
Votes Newest
10 Is Almost-2-SAT NP-hard? Dec 19 '13
8 Is Almost-2-SAT NP-hard? Dec 20 '13
6 Would an optimal sorting network ever have to swap two numbers the “wrong” way Jun 26 '14
6 Does the 0-1 principle apply to merge networks? Aug 10 '14
5 Worst case ratio between minimum clique cover and maximum independent set Feb 5 '14
4 Asymptotic complexity of CDCL SAT solver that only selects negative literals Jul 20 '16
3 Translating pure literal elimination into rup Aug 31
2 Are there any problems whose best known algorithm has run time $O\left(\frac{f(n)}{\log n}\right)$ Feb 7 '13
2 M-clique covers in complete graphs Jan 17 '14
2 How to approximate minimum clique edge cover Feb 7 '13
View all questions and answers →

Badges (16)

Gold

—

Silver

4

Rarest

Bronze

12

Rarest

View all badges →