1,072 reputation
523
bio website
location Aachen, Germany
age 25
visits member for 3 years, 1 month
seen Dec 8 at 20:42

I'm computer science grad student in my first master semester majoring in theoretical computer science.


May
28
revised Homomorphical Equivalence is NP-complete
Format, Capitalization
May
28
accepted Homomorphical Equivalence is NP-complete
May
28
suggested approved edit on Homomorphical Equivalence is NP-complete
May
21
answered Notation for Model-Relation of formulae with free variables
May
21
asked Notation for Model-Relation of formulae with free variables
May
13
awarded  Excavator
May
13
revised Projected graph and given graph
Grammar, Latex, Spacing
May
13
suggested approved edit on Projected graph and given graph
May
10
revised Bad proof or not?
Formatting, Latex, Math stuff
May
10
suggested approved edit on Bad proof or not?
May
9
revised Finding 1000th 5-smooth number
Beautify, Latex ...
May
9
suggested approved edit on Finding 1000th 5-smooth number
May
9
accepted Reusing Variables First Order Logics
May
8
asked Reusing Variables First Order Logics
Mar
28
awarded  Tumbleweed
Mar
21
accepted Natural Decision Problem not in PTIME
Mar
21
answered Natural Decision Problem not in PTIME
Mar
21
asked Depth in acyclic graphs
Mar
3
asked Natural Decision Problem not in PTIME
Feb
13
comment Selecting a unique pair satisfying a condition $\varphi$ with an ordering
Okay, you're right. I tried to make this problem as general as possible. But it back-fired. $A$ is finite. Furthermore, we assume that there is always a pair which satisfies $\varphi$.