|
| |
|
| A145692号 |
| 循环C_n上的不同顶点幻觉总标签数。 |
|
1
|
|
|
|
4, 6, 6, 20, 118, 282, 1540, 7092, 36128, 206848, 1439500, 10066876, 74931690, 613296028, 5263250382, 47965088850
(列表;图表;参考;听;历史;文本;内部格式)
|
|
|
|
抵消
|
3,1
|
|
|
链接
|
安德鲁·贝克和乔·萨瓦达，自行车和车轮上的魔法标记，《计算机科学讲义5165》（组合优化与应用，第二届国际会议，COCOA 2008）。第361-373页。
Mukkai S.Krishnamoorthy、Allen Lavoie、Ali Dasdan、Bharath Santosh、，路径P_n上的唯一边缘逻辑总标签数，arXiv:1402.2878[math.CO]，2014年。
|
|
|
例子
|
对于n=4，a（4）=6的解为：
[1, 4, 8, 3, 2, 6, 5, 7]
[1, 5, 6, 4, 2, 7, 3, 8]
[1, 5, 8, 2, 4, 3, 7, 6]
[1, 7, 5, 2, 6, 3, 4, 8]
[3, 4, 8, 1, 6, 2, 7, 5]
[3, 6, 5, 1, 8, 2, 4, 7]
解[1，4，8，3，2，6，5，7]是C_4上以下顶点魔术标记的编码：
7 1 4 8 3 2 6
o…o…o
| |
+-----------------+
5
在此标记中，顶点标记为7、4、3、6，而边分别标记为1、8、2、5。标记k的顶点魔法常数是13，因为k=5+7+1=1+4+8=8+3+2=2+6+5。
一般来说，对于C_n，标记k的魔常数满足3*n+1-层（（n-1）/2）<=k<=3*n+2+层（（n-1）/2），并且对于n>=6，这个界是紧的。
n=4的解是使用MiniZin模型生成的（例如$miniZin-a-D“n=4；”magiccn.mzn|sort）。
（结束）
|
|
|
黄体脂酮素
|
（迷你锌）
%文件名：magiccn.mzn：生成大小为n的解决方案
%用法：minizn-a--soln-sep“”--search-complete-msg“”-D“n=5；”magiccn.mzn
包括“globals.mzn”；
整数：n；
int:lo=3*n+1-（n-1）div 2；
整数：hi=3*n+2+（n-1）div 2；
变量1..2*n:x的数组[1..2*n]；
变量lo。。嗨：h；
约束所有不同（x）；
所有约束（[h=x[2*i-1]+x[2*i]+x[2]i+1]|i in 1..n-1]）；
约束h=x[2*n-1]+x[2*n]+x[1]；
所有约束（1..n-1]中的[x[1]<x[2*i+1]|i）；%断开旋转
约束x[2]<x[2*n]；%破坏反射对称性
解决满意度；
输出[显示（x）]；
|
|
|
交叉参考
|
|
|
|
关键词
|
非n,更多
|
|
|
作者
|
安德鲁·贝克（abaker04（AT）uoguelph.ca），2008年10月16日
|
|
|
状态
|
经核准的
|
| |
|
|
