Jirka Hanika

156

Reputation

119 views

Registered User

Name	Jirka Hanika
Member for	1 year
Seen	Mar 15 at 17:20
Website
Location	Prague
Age	38

I am a software developer living in Prague who comes to Math Overflow to relax and sharpen a tool. My background includes some logic, set theory, computational complexity and discrete math.

stats recent reputation favorites

Questions

votes

answer

206

views

Is $MIN^P$ search problem (partial order) reducible to $MIN^L$ (linear order) search problem?

computational-complexity lo.logic

feb 26 12 at 21:39 Jirka Hanika 156●6

Answers

votes newest views recent

Does every feasible partial order relation on the natural numbers extend to a feasible linear order relation?

getting rid of existential quantifiers

Do there exist chess positions that require exponentially many moves to reach?

Set Cardinality Game - Can a player with numbers in R win over a player with numbers in N as each of them in one turn has to present a new number?

Votes

Badges

● Commentator
● Scholar

● Teacher
● Supporter

● Student
● Editor

user feed