Content deleted Content added
Line 111:
*'''Oppose''' This article is, in its current state, confusing, but the proposed rename won't resolve the confusion. It seems there are at least two kinds of things that are referred to as "Nondeterministic algorithms" in the literature: A) Algorithms written using primitives associated with [[nondeterministic model of computation|nondeterministic models of computation]]/NTMs. This is discussed above by Sam Staton, RobinK, and Ph14nix above, and in [https://cs.nyu.edu/courses/spring03/G22.2560-001/nondet.html this EL] (and the NIST EL and the Floyd paper) B) Algorithms whose behaviour might vary from run to run. According to Schapel above, [[CLRS]] uses this sense (though they don't indicate whether the work specifically uses the phrase "nondeterministic algorithm"). This other meaning is also alluded to in some other comments above, including a reply from Robink. Right now, this article gives a mish-mash of concepts A and B, which is bad, because they're totally different.
:Most of the article's current content, and all its references/external links (except CLRS), relate to meaning A. We also have pretty good evidence that the current title is the [[WP:COMMONNAME]] for meaning A. The remnants of B should therefore probably be swept away (possibly into a separate article, if there's enough coverage of it as a distinct concept. [[User:Colin M|Colin M]] ([[User talk:Colin M|talk]]) 00:19, 24 October 2019 (UTC)
:: As explained above, for me, meaning A is a subset of meaning B. I agree the two notions should be discussed in separate articles. I'm not sure how best to resolve that. [[User:Rp|Rp]] ([[User talk:Rp|talk]]) 17:13, 25 October 2019 (UTC)
:::IMO, the solution of the problem is
:::*To make [[Nondeterministic algorithm]] a disambiguation page for disambiguating between meanings A and B
:::*To make {{noredirect|Nondeterministic model of computation}} an article for the meaning A (presently, this is a redirect to [[Nondeterministic Turing machine]])
:::*To move, as requested, [[Nondeterministic algorithm]] to [[Nondeterministic computation]], and to update it for making clear that it is about meaning B, and that "Nondeterministic algorithm" is often used for this meaning B
:::This is what I had in mind when I requested this move, except that I thought of leaving a redirect rather than a dab page. I am now convinced that a dab page is better. [[User:D.Lazard|D.Lazard]] ([[User talk:D.Lazard|talk]]) 18:10, 25 October 2019 (UTC)
| |||