- 博客(7)
- 收藏
- 关注
RSS订阅翻译 计算群论基础算法：Schreier-Sims 算法
Schreier-Sims 算法是一种寻找置换群的强生成元（SGS）的有效算法，它在计算群论中非常有用，如果找到一组 SGS，可以很容易判断任意置换是否在置换群中，如果在群中，还可以求出该置换具体如何由生成元表示。本人了解这个算法的动机是听说它可以用来破解魔方……众所周知，普通的三阶魔方有 48 个贴纸，因此魔方的任意操作都可以看做对 48 个贴纸做置换，从而魔方的操作构成了对称群 S48S_{...
2018-12-15 11:07:45
3069
翻译 UyHiP 往期趣题整理（6）2017 / 05~07
因为往后只剩 6 个月的题，有些题有好几小问，所以分两篇。2017-05这题是 2007-12 和 2010-06 题目的延伸，这两道题就等我哪年整理到那儿再说……（1）设 n>1 是整数，请问对怎样的 n，存在 n 元交换群 (S, +) 以及 S→S 的一一映射 A, B, C，使得 A(x)+B(x)=C(x) 恒成立？（2）设 n>1 是整数，请问对怎样的 n，存在 n 元群 ...
2018-04-07 14:50:05
383
翻译 UyHiP 往期趣题整理（5）2017 / 01~04
2017-01请用 O(n) 的时间输出区间 [1, n] 内的所有素数。（这里需要做一些假设：运行程序的计算机有无限空间，且只能存储区间 [0, n] 内的整数；整数的输出、比较大小、加减乘除等操作只需耗费常数时间（这只是理想化的假设，当 n 很大时这一假设就不成立了）。类似的假设在 UyHiP 的算法题中经常使用，参考这里。）2017-02请用 o(n) 的时间输出区间 [1, n] 内的所有...
2018-04-07 00:27:59
199
翻译 UyHiP 往期趣题整理（4）2016 / 09~12
2016-09一种简单的数据查错机制如下：给定整数 x，记录 r = kx mod A 的值（k, A 是选定的正整数）如果数据 x 由于某种原因出现误差变为 x+e，通过 r 的值便可检测出错误。当然，如果 k(x+e) mod A 恰好等于 r 就检测不到错误，此时有 A 整除 ke 。显然选一个与 A 互素的 k 比较好，这样只有当 A 整除 e 时才会出问题。如果假设 e 除以 A 的余数...
2018-04-06 22:03:22
180
翻译 UyHiP 往期趣题整理（3）2016 / 05~08
2016-05（这个题比较怪异……谨慎阅读）我们想把平均值的概念推广到一般的度量空间 S 上。关于度量空间的定义和性质这里列不下，请自行搜索。请务必注意：S 上没有定义任何算术运算，也未必存在一个对应某个通常意义下实数的元素。S 上定义了一个 S→S 的对合函数 y=x'，所谓对合，指该函数必须满足条件 x''=x（S 中任意元素经过两次映射回到自身）。显然 S 是一一映射。我们把这个函数称为 S...
2018-04-05 21:46:06
271
翻译 UyHiP 往期趣题整理（2）2016 / 01~04
2016-01在 n*n 的二维数组中填入 [0, n) 区间内的整数，如果数组中没有两个相同元素在同一行或同一列（即各行各列都是 0~n-1 的全排列），就称这个数组为 n 阶拉丁方。（既然是在程序员网站上写，当然要改成从 0 开始计数）两个 n 阶拉丁方可以逐个位置配对，合成一个元素类型为有序对 (x, y) 的二维数组。x, y 都在 [0, n) 中取值，也就是说 (x, y) 的不同取值...
2018-04-05 16:52:39
246
翻译 UyHiP 往期趣题整理（1）2015 / 09~12
UyHiP 去年 10 月停止更新，这个系列能写到第几篇全看我有多闲，而且尽管立下遍历所有题目的 flag ，将来有些实在看不懂或者太麻烦的题说不定就跳过了。总共 2^7 道题看上去也不多，好像很快就能弄完了……算了还是不做梦了，放假后一段时间还有很多事。2015-09典狱官与犯人 A, B 玩游戏，典狱官在一个 8*8 国际象棋棋盘的每个格子上放一枚硬币（所有硬币均相同；硬币有正反两面，哪面朝上...
2018-04-05 10:50:44
440
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人