存在这样的运算吗？ 如果有，有多少个？

superacid

S={1,2,3,4,5,6,7,8,9,10,11}
问是否存在S中的二元运算※满足：
(1) 交换律 a※b=b※a
(2) 结合律 (a※b)※c=a※(b※c)
(3) 消去律 若a※b=a※c，则b=c
(4) 若ab<=11，则a※b=ab。



由于16楼给出了正确的答案，现在增加难度，问有多少个这样的运算？

[ 本帖最后由 superacid 于 2009-6-3 22:01 编辑 ]

yq_118

这也太狠了吧

superacid

就是用穷举法的

superacid

楼上正确!!

Cielo

原帖由 superacid 于 2009-6-2 15:56 发表
现在增加难度，问有多少个这样的运算？

呃只会穷举

还是接着那个思路：1→0，2→1，4→2，8→3，则 0、1、2、3 已被确定，只剩下 4~10 需要分配。
此时 3 或 5 不能对应到 10，否则 4 或 6 对应到 0，矛盾！
且 3 不能对应到 6 或 7，否则 9 对应到 1 或 3，矛盾！所以 3 只能对应到 4、5、8、9 中的一个。分情况讨论：
⑴
3→4，则 6→5，9→8，此时 5 不能对应到 4 或者 7，否则 10 对应到 5 或者 8，矛盾！5 只能对应到 6 或者 9。
① 5→6，则 10→7，7 和 11 对应到剩下的 9 和 10 即可；
② 5→9，则 10→10，7 和 11 对应到剩下的 6 和 7 即可；

⑵
3→5，则 6→6，9→10，此时 5 不能对应到 4 或者 9，否则 10 对应到 5 或者 10，矛盾！5 只能对应到 7 或者 8。
①5→7，则 10→8，7 和 11 对应到剩下的 4 和 9 即可；
②5→8，则 10→9，7 和 11 对应到剩下的 4 和 7 即可；

⑶
3→8，则 6→9，9→5，此时 5 不能对应到 4 或者 7 或者 8，否则 10 对应到 5 或者 8 或者 9，矛盾！5 只能对应到 6。
则 10→7，7 和 11 对应到剩下的 4 和 6 即可；

⑷
3→9，则 6→10，9→7，此时 5 不能对应到 6 或者 8 或者 9，否则 10 对应到 7 或者 9 或者 10，矛盾！5 只能对应到 4 或者 5。
①5→4，则 10→5，7 和 11 对应到剩下的 6 和 8 即可；
②5→5，则 10→6，7 和 11 对应到剩下的 4 和 8 即可；

共（2+2+1+2）x 2 = 14 种，不知道对不对

yq_118

答案呢，怎么还没有

lulijie

不需要把※一定与我们常见的运算相对应。
根据第4和1条件，可得出以下结论
1※1=1，1※2=2，1※3=3，1※4=4，1※5=5，1※6=6，1※7=7，1※8=8，1※9=9，1※10=10，1※11=11
2※1=2，2※2=4，2※3=6，2※4=8，2※5=10
3※1=3，3※2=6，3※3=9
4※1=4，4※2=8
5※1=5，5※2=10
6※1=6
7※1=7
8※1=8
9※1=9
10※1=10
11※1=11
--------------------------------------------------------------
11个元素，※运算总共有11*11=121种式子，其中上述的29个式子已经确定。
确定剩下的92个式子，使得其都满足前三个条件。第三个条件要求这11个元素（1到11共11个数）乘以同一个元素所得的值都不相同（结果也是1到11中的某数）。
-------------------------------------------------------------------
我有个想法，可以让电脑采用穷举法，穷举这92个式子，然后检验它们是否都满足那三个条件。全部满足的让电脑记下它们。这样就能找到满足条件的所有的※运算。
--------------------------------------------------------------
关键是如何设计优化算法，使得电脑计算的时间不至于难以忍受。

[ 本帖最后由 lulijie 于 2009-6-6 00:26 编辑 ]

superacid

群论我也不太懂。

superacid

恭喜答对，是正确的。

conwood

群论不太记得了
群要求：封闭性、结合律、单位元、逆元。

按楼主的定义，封闭性是肯定的。结合律也有，根据(4)知道有单位元。根据消去律，知道有逆元。所以必须是群，素数阶有限群的结构是唯一的，所以这个群应该同构于0~10的模11加法群。

而这个群和ab<11时，axb=ab的结构不一致，所以不存在。

这个证明有问题吗

原帖由 Cielo 于 2009-6-3 01:38 发表


这么肯定啊……

素数阶群是循环群，所以我们实际上需要把1~11中的※运算和0~10中的加法（mod11）运算对应起来。