Tagged Questions
4
votes
0answers
41 views
Proposal: Rename the tag [dynamic] to [dynamic-algorithms]
I propose to rename the tag dynamic (currently 8 questions) to dynamic-algorithms (currently nonexistent), because the questions with the tag are really about dynamic algorithms, that is, algorithms ...
1
vote
1answer
62 views
Rename and synonymize the tags [prg], [pseudorandomness] → [pseudorandom-generators]
Edit: I take back this proposal. See Suresh’s answer.
I think that the tags prg and pseudorandomness have no distinction and should be merged. Also, they can be renamed to a new tag ...
4
votes
1answer
146 views
Make tags cs.fl.formal-languages and formal-language-theory synonyms of fl.formal-languages
Currently the tag formal-language-theory is a synonym for the tag cs.fl.formal-languages, but the tag actually used for questions in formal language theory is fl.formal-languages. Therefore, please ...
10
votes
1answer
172 views
Merge [open-question] to [open-problem]
Please merge [open-question] to [open-problem].
Edit: The tag synonym has been created but we need 4 upvotes for moderators to merge tags according to the current procedure. If you like this ...
1
vote
1answer
124 views
Merge game-theory and cs.gt.game-theory to gt.game-theory
Please merge the tags [game-theory] and [cs.gt.game-theory] into a tag [gt.game-theory], which does not currently exist.
Related: ...