As this related question mentions, the reduction tag has no usage guidance and as can be seen from this Wikipedia page, has several meanings in the context of "Computing and algorithms". It seems to be used on multiple different kinds of questions:
- Reduction in the sense of reducing an array under an operation. Skimming random pages of questions tagged with reduction, the majority of questions tagged reduction seem to be using this meaning, but perhaps they could just use fold instead (however, they're not the same thing, as Cimbali's answer points out). reducers, which Bergi pointed out, also means basically the same thing.
- Reduction in the sense of transforming one problem into another. This and this are two examples.
- Reduction from lambda calculus - This question is an example.
- Reduction in the sense of compressing something - This and this are examples. In this specific case, the reduction tag could perhaps be removed entirely in favor of the compression tag.
- Reduction functions in the context of rainbow tables - This question is an example.
- Reduction in the sense of making code shorter/simpler - This, this and this are examples. These are the only three questions I found, though, and the first, at least, can be edited to remove the reduction tag (I tried removing it, but my edit wouldn't go through because of the title).
I've probably missed a couple. Since this tag is ambiguous, I feel that separate tags should be made for each general meaning of "reduction". reduction doesn't really meet the burnination criteria, but it's ambiguity is probably enough of a problem.
- Does it describe the contents of the questions to which it is applied? and is it unambiguous?
I think so. For APL questions involving the reduce operator (/
), it definitely describes the question. I assume this is true for most questions. In each context, the meaning of "reduction" is more or less unambiguous - I don't think there's too much overlap in the categories listed above.
- Is the concept described even on-topic for the site?
Definitely. The different meanings mentioned above and on Wikipedia appear to be on-topic.
- Does the tag add any meaningful information to the post?
I think it does. For a complexity-theory question, it lets the reader know that the question's possibly about simplifying a problem, and not say, function problems.
- Does it mean the same thing in all common contexts?
No, it does not.
How should this be handled? Should reduction be kept as is, should it be burninated, or should different tags be made (and if so, what should they be?)?