Computer Science
user avatar
user avatar
user avatar
SVMteamsTool
  • Member for 5 months
  • Last seen this week
Profile Activity
Stats
369
reputation
2k
reached
2
answers
26
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
10
bronze badges
Top tags
View all tags
1
Score
8
Posts
29
Posts %
1
Score
4
Posts
14
Posts %
0
Score
3
Posts
11
Posts %
0
Score
3
Posts
11
Posts %
0
Score
2
Posts
7
Posts %
0
Score
2
Posts
7
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
3
Why can't $QBF$ be reduced to $SAT$
May 14
question
2
An α-good tree with n nodes has height O(log n)
May 11
question
2
Proving that the number of leaves in a tree >= number of unmatched vertices
May 12
question
2
A language of natural numbers is decidable iff it is either finite or the image of some strictly increasing computable function
Apr 6
question
2
Cost of increasing a binary counter with a starting value n times
Apr 21
question
2
Bounding the height of a tree in a variant of disjoint set union
Apr 21
question
2
FPT algorithm for dominating set
Jun 4
question
1
What would $P = NP$ tell us about how the polynomial hierarchy relates to $PSPACE$
May 14
question
1
Probability of a randomised algorithm solving SAT
Jun 7
answer
1
what does **input** mean for the $3SAT$ question? Is it the number of variables $n$ or the number of clauses $m$
May 30

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.