Computer Science
Meta user
519
reputation
1
5
14

revisingcomplexity

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

2
answers
23
questions
~30k
people reached
  • Member for 5 years, 10 months
  • 83 profile views
  • Last seen Apr 18 '18 at 17:31

Communities (1)

Top network posts

We respect a laser-like focus on one topic.

Top tags (22)

Score 1
Posts 4
Posts % 16
Score 1
Posts 2
Score 1
Posts 1
Score 1
Posts 1
Score 0
Posts 13
Score 0
Posts 4
View all tags →

Top posts (25) All Questions Answers | Votes Newest

6 Halting problem reducing to the blank tape halting problem Apr 11 '15
5 Non-deterministic Turing machine to solve graph colouring Apr 15 '15
4 Can I encode a graph in a unary alphabet Apr 29 '15
3 Calculate Pagerank of three nodes Apr 19 '15
3 Can a recursive language be uncountable? Apr 29 '15
3 Is deciding whether the language of a TM contains all strings of length 4 computable? Apr 27 '15
3 Why does SAT not reduce to QBF? Apr 15 '15
2 Understanding multi-variable big O (time complexity) Sep 27 '15
2 Proving the set of finite languages is countable without using the union of countable sets Apr 30 '15
1 Definitions for Validity, Consistency, Integrity, Soundness and Completeness in Proof Systems Apr 19 '17
View all questions and answers →

Badges (20)

Gold

1

Rarest

Silver

5

Rarest

Bronze

14

Rarest

View all badges →