« first day (2599 days earlier)      last day (1312 days later) » 

Martin Sleziak
Martin Sleziak
4:23 AM
in Set theory, Sep 28 at 20:58, by A.Gharbi
Good morning/afternoon everyone. I had the set-theory tags removed from this question https://mathoverflow.net/questions/370042/search-algorithms-with-mappings-functions-sets-as-variables and I was wondering why this wouldn't be considered as a problem in set-theory?
7
Q: Search algorithms with mappings/functions/sets as variables

A.GharbiI apologize in advance if this sounds vague but I am trying to find directions as to what to look for. All the sets in this problem are finite. Suppose we have two functions $f_1\colon X_1\times Y_1\to X_1$ and $f_2\colon X_2\times Y_2\to X_2$. Problem. Decide whether there exist two surjective ...

computer-science
@A.Gharbi The tags were edited by Andrés E. Caicedo, who is among the top users in the set-theory tag, so it seems reasonable to trust his judgement.
0
Q: Search algorithm with sets as variables

A.GharbiI apologize in advance if this sounds vague but I am trying to find directions as to what to look for. All the sets in this problem are finite. Suppose I have two functions $f_1:X_1\times Y_1->X_1$ and $f_2: X_2\times Y_2-> X_2$. Show if the following surjective mappings $p:X_2->X_1$ and $q:Y_2->...

optimization searching set-valued-analysis
As a side note, if you post the same question to several sites, you should link them to each other. See: Cross posts to Math SE and also some other posts on Mathematics Meta.
in Set theory, 30 secs ago, by Martin Sleziak
@A.Gharbi Since you're asking about tags on a question posted on MathOverflow, it would probably be better to hear from MO users. I have posted your message into MO editors' lounge (which is a room associated with MO), maybe somebody will respond there: https://chat.stackexchange.com/transcript/10243/2020/10/3
 
Martin Sleziak
Martin Sleziak
4:51 AM
Personally, I would consider the tag elementary-set-theory fine for the question on Mathematics. But on MathOverflow, such tag does not exist.
 
Martin Sleziak
Martin Sleziak
5:30 AM
I wish I had something to say although about the actual mathematical problem. Still, you have asked about the tags for that question - I tried to reply at least to that. (And maybe somebody else might notice the question here and add some further comments.)
 
 
4 hours later…
YCor
YCor
9:55 AM
@MartinSleziak @a.gharbi I've added co.combinatorics which is broad. Possibly some further tag could be useful, in the computational side (computer-science being quite unfocussed); I also thought of op.optimization-and-control. I guess "combinatorics of maps between finite sets" is considered quite disjoint to current research called "set theory".
 

« first day (2599 days earlier)      last day (1312 days later) »