Skip to main content
Vitaly Olegovitch's user avatar
Vitaly Olegovitch's user avatar
Vitaly Olegovitch's user avatar
Vitaly Olegovitch
  • Member for 12 years, 2 months
  • Last seen more than 1 year ago
  • Rome, Italy
28 votes
2 answers
11k views

Rule of thumb to know if a problem could be NP-complete

19 votes
3 answers
5k views

Which research languages have a stronger typesystem than Haskell and why?

9 votes
1 answer
361 views

Lower bounds of calculating a function of a set

6 votes
1 answer
286 views

Parallel algorithms on a fixed number of processors

5 votes
1 answer
3k views

Weighted subset sum problem

5 votes
1 answer
759 views

Understanding the Sipser-Gacs-Lautemann theorem

4 votes
2 answers
6k views

Undecidable unary languages (also known as Tally languages)

2 votes
2 answers
626 views

Counting with constant space bounded TMs

2 votes
0 answers
711 views

How to compare distributed systems and big data

1 vote
1 answer
196 views

Category theory structures to describe topics and queues

1 vote
0 answers
225 views

Understanding the correctness of the Euler Tour Technique