4,606 reputation
413
bio website liafa.univ-paris-diderot.fr/…
location
age
visits member for 1 year, 9 months
seen 2 days ago

2d
comment Are there any examples of non-computable real numbers?
Yes it is more or less the same idea up to encoding, which is basically the reason why we can exhibit uncomputable real numbers, because a real number can encode an undecidable language.
Dec
15
comment Christmas protocol
It is on average, but it can go bad... Anyway I am interested in the theoretic question whether such a protocol exists, with guaranteed bound.
Dec
15
revised Christmas protocol
added 143 characters in body
Dec
15
comment Christmas protocol
(my comment can be resolved by an anonymous voting to retry protocol)
Dec
15
comment Christmas protocol
I have also added a finite-time constraint to spice it up ;)
Dec
15
revised Christmas protocol
added 143 characters in body
Dec
15
comment Christmas protocol
you still lean something: if someone asks to repeat the test, you know the present you get is not his.
Dec
15
asked Christmas protocol
Dec
11
awarded  Scholar
Dec
11
accepted Dimension of R over Q without cardinality argument.
Dec
10
revised Is this a regular language ? SubString(L1, L2) = {w | ∃x, y ∈ L1, xwy ∈ L2}
added 119 characters in body
Dec
10
comment Is this a regular language ? SubString(L1, L2) = {w | ∃x, y ∈ L1, xwy ∈ L2}
OK I put the answer instead.
Dec
8
comment Proper $n$-coloring of a graph clarification
actually the theorem states that even $4$ colors are enough.
Dec
8
answered Is this a regular language ? SubString(L1, L2) = {w | ∃x, y ∈ L1, xwy ∈ L2}
Dec
8
answered Can a Turing Machine process an infinite string?
Dec
3
revised Amount of binary strings
added 1 character in body
Dec
3
answered Amount of binary strings
Dec
2
comment What is the most effective strategy to win at this game?
@DanielV the numbers have to be ordered, only the first one is correct
Dec
2
comment What is the most effective strategy to win at this game?
no strategy wins against all the others, playing random is probably the best. This is similar to rock-paper-scissors
Dec
1
answered Definition of “equivalence classes”