Computer Science
SVMteamsTool's user avatar
SVMteamsTool's user avatar
SVMteamsTool's user avatar
SVMteamsTool
  • Member for 1 year, 10 months
  • Last seen more than a week ago
Profile Activity
Stats
423
reputation
5k
reached
2
answers
32
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
1
silver badge
12
bronze badges
Top tags
View all tags
1
Score
7
Posts
21
Posts %
1
Score
4
Posts
12
Posts %
1
Score
4
Posts
12
Posts %
0
Score
5
Posts
15
Posts %
0
Score
5
Posts
15
Posts %
0
Score
3
Posts
9
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, 2022
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, 2022
question
2
Cost of increasing a binary counter with a starting value n times
Apr 21, 2022
question
2
Bounding the height of a tree in a variant of disjoint set union
Apr 21, 2022
question
2
An α-good tree with n nodes has height O(log n)
May 11, 2022
question
2
Proving that the number of leaves in a tree >= number of unmatched vertices
May 12, 2022
question
2
FPT algorithm for dominating set
Jun 4, 2022
question
1
Dual Linear Program of the Densest-Subset Problem
Mar 16, 2022
question
1
Showing that a QBF in 3DNF form is in $NP^{NP}$
Mar 21, 2022
question
1
Showing that for every NFA with n states, there is a regular expression of length $O(2^n)$
Apr 5, 2022
Top network posts
View all network posts
5
Showing that two unitary matrices are equal up to a global phase
5
Quantum Algorithm for Linear interpolation

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.