1,057 reputation
420
bio website
location Aachen, Germany
age 25
visits member for 2 years, 9 months
seen Aug 16 at 10:41

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


May
5
accepted Infinite Chomp is a finite game?
May
5
comment Infinite Chomp is a finite game?
Thanks. That narrows it down to problem I have. There are infinite proper subsets of $\omega$ right (e.g. $\omega \setminus \{1\})$? Isn't it possible for example to choose a bite of $(1\times1)$ still resulting in a infinite choclate bar of size $\omega-1 \times \omega-1$?
May
5
asked Infinite Chomp is a finite game?
Mar
18
accepted Non-isomorphic structures with equal cardinality
Mar
18
asked Non-isomorphic structures with equal cardinality
Mar
8
accepted Different formulation of a Traveling Salesman Problem
Mar
8
asked Different formulation of a Traveling Salesman Problem
Feb
4
accepted Warehouse Location Problem as an integer progam instead of a mixed-integer program
Feb
3
revised Warehouse Location Problem as an integer progam instead of a mixed-integer program
spelling
Feb
3
asked Warehouse Location Problem as an integer progam instead of a mixed-integer program
Feb
3
awarded  Civic Duty
Jan
20
revised First Order logic with vertex covers
defining vertex cover. correcting syntax of binary relations.
Jan
20
suggested suggested edit on First Order logic with vertex covers
Jan
20
comment First Order logic with vertex covers
Try using Ehrenfeucht–Fraïssé game. I'm trying to figure it out, too.
Jan
19
awarded  Critic
Jan
19
awarded  Informed
Jan
19
revised First Order logic with vertex covers
spelling and latex
Jan
19
suggested suggested edit on First Order logic with vertex covers
Jan
19
comment Define infinite path with a finite relation in a graph with Least Fixed Point logic
Okay, the existence of a reachable node is similar to the transitive closure but how do I model an infinite path with a single formula without a set of formulas?
Jan
19
awarded  Organizer