Timeline for How do we define "deterministic", and is it required by default?
Current License: CC BY-SA 3.0
10 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 31, 2017 at 10:09 | history | edited | Sanchises | CC BY-SA 3.0 | added 37 characters in body |
| May 31, 2017 at 9:40 | comment | added | Sanchises | @ymbirtt Exactly! (Although I changed your edit a little bit, because "some arbitrary finite time bound" could be interpreted as "I'm advocating we should set the time limit to 2*pi*sqrt(2) minutes" instead of the mathematical concept of "finite but arbitrarily large".) | |
| May 31, 2017 at 9:38 | history | edited | Sanchises | CC BY-SA 3.0 | "Arbitrary time bound" is open to misintepretation for those unfamiliar with the mathematical meaning of "arbitrary". |
| May 31, 2017 at 8:45 | history | edited | ymbirtt | CC BY-SA 3.0 | Clarify that this answer requires a finite time bound |
| May 31, 2017 at 8:43 | comment | added | ymbirtt | Though I disagree with this answer, I don't think that this actually sets a hard time limit on solutions. The difference between my proposal and this one is that this approach requires all solutions to terminate after some finite amount of time, but there's no actual limit on what that finite time is. My proposal does not require solutions to guarantee termination within any time limit, so long as we know that it'll happen "eventually" | |
| May 30, 2017 at 17:52 | comment | added | Nathan Merrill | As far as I understand, you're trying to set a time limit on every submission by default. This is new, and you need to provide how that time limit is derived, or post a new question looking for suggestions. Either way, I can't support this answer until we have more guidelines on how reasonable is different from problem to problem. | |
| May 30, 2017 at 17:36 | comment | added | Sanchises | @NathanMerrill that's a whole other discussion. But I do not think that a possibly infinite runtime is considered "reasonable" for problems that can be solved deterministically, so I feel that's safe to exclude | |
| May 30, 2017 at 15:08 | comment | added | Nathan Merrill | The biggest problem I see is 'reasonable' depends on the problem. Who is the one that decides which problems can have infinitely long solutions, and which problems can't? If it's up to the OP, then it should be in the post already (and no default required). If its up to the voters, then how are we supposed to decide? | |
| May 30, 2017 at 13:00 | history | edited | Sanchises | CC BY-SA 3.0 | added 74 characters in body |
| May 30, 2017 at 12:55 | history | answered | Sanchises | CC BY-SA 3.0 |