Numerator

less info

network profile

192 reputation

7

bio	website
	location
	age
visits	member for	1 year
	seen	Jan 21 at 18:55
stats	profile views	22

summary answers questions tags badges favorites bounties reputation activity

6 Questions

votes activity newest

7	Prove or refute: BPP(0.90,0.95) = BPP
7	Proof that $\{⟨M⟩ ∣ L(M) \mbox{ is context-free} \}$ is not (co-)recursively enumerable
6	Show that the halting problem is decidable for one-pass Turing machines
6	Is SAT in P if there are exponentially many clauses in the number of variables?
5	randomized algorithm for checking the satisfiability of s-formulas, that outputs the correct answer with probability at least $\frac{2}{3}$

view more

192 Reputation

+5	Proof that $\{⟨M⟩ ∣ L(M) \mbox{ is context-free} \}$ is not (co-)recursively enumerable
+25	randomized algorithm for checking the satisfiability of s-formulas, that outputs the correct answer with probability at least $\frac{2}{3}$
+35	Prove or refute: BPP(0.90,0.95) = BPP
+5	Is SAT in P if there are exponentially many clauses in the number of variables?

view more

0 Answers

votes activity newest

This user has not answered any questions

13 Tags

0 computability × 3	0 randomized-algorithms
0 turing-machines × 3	0 probabilistic-algorithms
0 complexity-theory × 3	0 polynomial-time
0 time-complexity × 2	0 context-free
0 formal-languages × 2	0 check-my-proof

view more

6 Accounts

	Stack Overflow	378 rep	1419
	Computer Science	192 rep	7
	English Language & Usage	106 rep	2
	Cross Validated	101 rep
	Ask Ubuntu	101 rep

7 Badges

recent class name

Promoter	Supporter
Commentator	Editor
Critic	Student
Scholar

0 Active bounties

active offered earned

This user has no active bounties

13 Votes Cast

all time			by type
12	up		4	question
1	down		9	answer

Technology			Life / Arts	Culture / Recreation	Science	Other
Stack Overflow Server Fault Super User Web Applications Ask Ubuntu Webmasters Game Development TeX - LaTeX	Programmers Unix & Linux Ask Different (Apple) WordPress Answers Geographic Information Systems Electrical Engineering Android Enthusiasts IT Security	Database Administrators Drupal Answers SharePoint User Experience Mathematica more (14)	Photography Science Fiction & Fantasy Seasoned Advice (cooking) Home Improvement more (13)	English Language & Usage Skeptics Mi Yodeya (Judaism) Travel Arqade (gaming) Bicycles Role-playing Games more (22)	Mathematics Cross Validated (stats) Theoretical Computer Science Physics more (7)	Stack Apps Meta Stack Overflow Area 51 Stack Overflow Careers

site design / logo © 2013 stack exchange inc; user contributions licensed under cc-wiki with attribution required

rev 2013.5.22.697