305 reputation
215
bio website
location Czech Republic
age 23
visits member for 1 year, 9 months
seen Jul 3 at 6:50

student of Czech technical university in Prague


Jul
2
awarded  Curious
Jun
3
accepted $f(n) \in o(g(n))$ and $g(n) \in o(f(n))$
Jun
3
comment $f(n) \in o(g(n))$ and $g(n) \in o(f(n))$
Ok, right, but small o notation requires the second function to grow asymptotically faster than $f(n)$ - equality is not permitted here!
Jun
3
comment $f(n) \in o(g(n))$ and $g(n) \in o(f(n))$
That is right, $f$ is not in $o(f(n))$ because small $o(g(n))$ notation means, that $g(n)$ is bigger (not $\geq$) than $f(n)$
Jun
3
comment $f(n) \in o(g(n))$ and $g(n) \in o(f(n))$
But the second definition is basically big O notation, right? Small o notation is stronger...
Jun
3
asked $f(n) \in o(g(n))$ and $g(n) \in o(f(n))$
Jun
2
accepted Proof that SAT is NPC
Jun
2
asked Proof that SAT is NPC
May
21
accepted Existence of a trail of given length in a graph - NPC?
May
21
comment Existence of a trail of given length in a graph - NPC?
My bad.. of course you are right! I guess that this is enough for my proof. Thanks
May
20
comment Existence of a trail of given length in a graph - NPC?
That is a nice trick but does it apply to all graphs? What I mean is: can planar graphs be transofrmed into 3-regular cubic graphs in polynomial time? If not, it is not very useful, I suppose...
May
19
asked Existence of a trail of given length in a graph - NPC?
May
4
awarded  Popular Question
Jan
10
accepted Lambda calculus - function reduction
Jan
10
comment Lambda calculus - function reduction
One last question: If I understand it clearly... so Normal reduction terminates and it gives the output $\lambda x.x$, while applicative gets stuck in infinite loop? Is it so?
Jan
10
revised Lambda calculus - function reduction
deleted 638 characters in body
Jan
10
comment Lambda calculus - function reduction
Thanks, I think I understand it more claerly now...
Jan
10
comment Lambda calculus - function reduction
It is described here: cs.stackexchange.com/questions/7702/…
Jan
10
asked Lambda calculus - function reduction
Oct
6
awarded  Yearling