Linked Questions

6 votes
3 answers
67 views

software-verification vs program verification

We have the tags program-verification and software-verification. Both seem to mean the same thing and should therefore be merged. Please vote on the two answers below which one you think should be ...
Raphael's user avatar
  • 72k
5 votes
2 answers
90 views

What about tags random and randomness?

What are the respective roles of random and randomness? Do we need both, or any of them? Related tags: randomized-algorithms, sampling, random-number-generator, pseudo-random-generators, random-walks,...
Raphael's user avatar
  • 72k
4 votes
1 answer
85 views

Do we need both cluster and clustering tags?

We have both a cluster and clustering tag. There is no tag wiki with guidance for either of them. Do we need both tags? If we do, how should we choose which one to use on any particular question? ...
D.W.'s user avatar
  • 156k
7 votes
1 answer
108 views

About the tag graph-algorithms

Apparently there's a tag graph-algorithms. My personal tagging choice has been algorithms + graphs. I think this covers graph algorithms pretty well. Do we need/want a dedicated tag graph-algorithms?...
Raphael's user avatar
  • 72k
2 votes
2 answers
51 views

Burninate tags: search-algorithms and search-problem

Why not just have a tag for searching? Searching is a problem, no need to add the word to the tag; and there's already a tag for algorithms. Come on, let's get rid of these. EDIT: As pointed out by ...
Patrick87's user avatar
  • 12.8k
6 votes
1 answer
74 views

About [recursion-theory]

From here: what about recursion-theory? Do we need it?
Raphael's user avatar
  • 72k
3 votes
2 answers
66 views

Tags: network-flow, max-flow

I noticed we have tags for both network-flow and max-flow. Does that make sense? Is there any distinction? There seem to be only 2 questions tagged with max-flow. Should we make max-flow a synonym ...
D.W.'s user avatar
  • 156k
3 votes
3 answers
126 views

What is the difference between the tags natural-lang-processing and computational-linguistics?

What is the difference between the tags natural-lang-processing and computational-linguistics? Both tags are used, but it seems to me they should be synonymous. The natural-lang-processing tag wiki ...
babou's user avatar
  • 19.4k
4 votes
1 answer
56 views

Tags around partitions

Currently, we have tags partition, partitions and partition-problem. The tags seem to be used a little arbitrarily, and the former two should probably be synonyms. There are no descriptions helping ...
Raphael's user avatar
  • 72k
1 vote
2 answers
64 views

tags: education/didactics vs learning/teaching

I was confused a bit by education and didactics. Mainly, I guess, since I thought didactics is part of education. Would it be better to change those tags to learning-cs and teaching-cs respectively? ...
Ran G.'s user avatar
  • 20.6k
3 votes
2 answers
40 views

Tags efficiency and performance

Is there a significant difference between the tags performance and efficiency (which we should document then), or are they synonyms?
Raphael's user avatar
  • 72k