Skip to main content
Bjørn Kjos-Hanssen's user avatar
Bjørn Kjos-Hanssen's user avatar
Bjørn Kjos-Hanssen's user avatar
Bjørn Kjos-Hanssen
  • Member for 14 years, 9 months
  • Last seen this week
comment
Is there a name for sets for which it is easier to test membership than to find members---and vice versa?
It's only meant as an example, so I'll take a different example... if we let $f(x)$ be the unary representation of $x$, where $x$ is a number given in binary, then $f(x)$ always exists (so the question whether it exists is trivial), but is time-intensive to compute.
comment
Is there a name for sets for which it is easier to test membership than to find members---and vice versa?
In $Mx=0$, assuming $x\ne 0$, there are two separate questions: is there such an $x$, and how do you find one if there is one. Conceivably the former could be easy while the latter is hard, so maybe some clarification of the question?
Loading…
revised
Loading…
revised
Loading…
revised
Loading…
Loading…
revised
Loading…
comment
Is the distance function from a point to the Mandelbrot set computable?
@Andrej Bauer: Yes, (1) is a good restatement of the inequality above. (2) is also true but only because of (1).
awarded
revised
Loading…
revised
Is the distance function from a point to the Mandelbrot set computable?
added 40 characters in body; deleted 26 characters in body; deleted 1 characters in body
Loading…
revised
Is the distance function from a point to the Mandelbrot set computable?
added 101 characters in body; added 9 characters in body
Loading…
revised
Loading…
revised
Is the distance function from a point to the Mandelbrot set computable?
added 29 characters in body; added 35 characters in body
Loading…
Loading…
Loading…
revised
Loading…
Loading…
1
76 77
78
79 80
84