Н. Макарова

 

МЕТОД ПОСТРОЕНИЯ ПАР ОЛК ПОРЯДКА n = 6k + 4

 

 

Алгоритм построения пар ОЛК серии порядков n = 6k + 4, k = 1, 2, 3, … разработан мной на основе алгоритма для порядков вида n ≡ 10 (mod 12), который известен давно. Здесь я хочу показать разработанный мной алгоритм с применением квази-разностных матриц (КРМ). Пары ОЛК данной серии порядков, строящиеся по указанному алгоритму, содержат латинские подквадраты и имеют одинаковую структуру. Поэтому и КРМ для этих пар ОЛК имеют одинаковую структуру. О КРМ читайте в цикле статей “Подробно о квази-разностной матрице” (начиная с этой страницы: http://www.natalimak1.narod.ru/quazi.htm ).

 

Итак, представляю КРМ в общем виде для любого порядка n = 6k + 4, k = 1, 2, 3, … Размер латинских подквадратов определяется по формуле: t = 2k + 1. В КРМ содержатся символьные элементы: a1, a2, a3, …, at. Эти символьные элементы принимают значения 0, 2t + 2, 2t + 3, …, 3t – 1, 3t в любой комбинации. На рис. 1 вы видите КРМ в общем виде.

 

a1

a2

a3

at-2

at-1

at

0

0

0

0

0

0

0

0

0

0

0

0

0

0

0

0

0

0

0

0

0

0

0

a1

a2

a3

at-2

at-1

at

0

1

2

3

t-2

t-1

t

t+1

t+2

2t-1

2t

3

5

7

n-t-4

n-t-2

n-t

2

3

4

t-1

t

t+1

1

n-t

n-t-1

n-t-2

t+4

t+3

t+2

at

at-1

a2

a1

2

3

4

t-1

t

t+1

3

5

7

n-t-4

n-t-2

n-t

1

a1

a2

a3

at-2

at-1

at

2

4

2t-2

2t

 

Рис. 1

 

Понятно, что составление КРМ очень легко запрограммировать, а по КРМ можно запрограммировать и построение латинских квадратов пары ОЛК. Таким образом, мы имеем алгоритм построения пар ОЛК указанной серии порядков, который легко формализовать и запрограммировать.

 

Теперь приведу два примера составления КРМ и построения пары ОЛК по данному алгоритму. Начну с минимального порядка n = 10. В этом случае k = 1, t = 3. Символьные элементы a1, a2, a3 принимают значения 0, 8, 9 в любой комбинации. КРМ  имеет следующий вид (рис. 2):

 

a1

a2

a3

0

0

0

0

0

0

0

0

0

0

0

0

0

a1

a2

a3

0

1

2

3

4

5

6

3

5

7

2

3

4

1

7

6

5

a3

a2

a1

2

3

4

3

5

7

1

a1

a2

a3

2

4

6

 

Рис. 2

 

На рис. 3 – 4 показана пара ОЛК, построенная по данной КРМ.

 

Первый латинский квадрат

 

1

a1

a2

a3

2

4

6

3

5

7

7

2

a1

a2

a3

3

5

4

6

1

6

1

3

a1

a2

a3

4

5

7

2

5

7

2

4

a1

a2

a3

6

1

3

a3

6

1

3

5

a1

a2

7

2

4

a2

a3

7

2

4

6

a1

1

3

5

a1

a2

a3

1

3

5

7

2

4

6

2

3

4

5

6

7

1

a1

a2

a3

3

4

5

6

7

1

2

a2

a3

a1

4

5

6

7

1

2

3

a3

a1

a2

 

Рис. 3

 

Второй латинский квадрат

 

1

7

6

5

a3

a2

a1

2

3

4

a1

2

1

7

6

a3

a2

3

4

5

a2

a1

3

2

1

7

a3

4

5

6

a3

a2

a1

4

3

2

1

5

6

7

2

a3

a2

a1

5

4

3

6

7

1

4

3

a3

a2

a1

6

5

7

1

2

6

5

4

a3

a2

a1

7

1

2

3

3

4

5

6

7

1

2

a1

a2

a3

5

6

7

1

2

3

4

a3

a1

a2

7

1

2

3

4

5

6

a2

a3

a1

 

Рис. 4

 

Теперь построим пару ОЛК следующего порядка n = 16. Хотя для данного порядка можно построить пары ОЛК несколькими другими способами, тем не менее, данный алгоритм тоже работает. В этом случае k = 2, размер подквадратов t = 5. Символьные элементы a1, a2, a3, a4, a5 принимают значения 0, 12, 13, 14, 15 в любой комбинации. На рис. 5 показана КРМ для пары ОЛК 16-го порядка.

 

 

a1

a2

a3

a4

a5

0

0

0

0

0

0

0

0

0

0

0

0

0

0

0

0

0

0

0

0

0

a1

a2

a3

a4

a5

0

1

2

3

4

5

6

7

8

9

10

3

5

7

9

11

2

3

4

5

6

1

11

10

9

8

7

a5

a4

a3

a2

a1

2

3

4

5

6

3

5

7

9

11

1

a1

a2

a3

a4

a5

2

4

6

8

10

 

Рис. 5

 

На рис 6 – 7 показаны латинские квадраты пары ОЛК, построенные по этой КРМ.

 

Первый латинский квадрат

 

1

a1

a2

a3

a4

a5

2

4

6

8

10

3

5

7

9

11

11

2

a1

a2

a3

a4

a5

3

5

7

9

4

6

8

10

1

10

1

3

a1

a2

a3

a4

a5

4

6

8

5

7

9

11

2

9

11

2

4

a1

a2

a3

a4

a5

5

7

6

8

10

1

3

8

10

1

3

5

a1

a2

a3

a4

a5

6

7

9

11

2

4

7

9

11

2

4

6

a1

a2

a3

a4

a5

8

10

1

3

5

a5

8

10

1

3

5

7

a1

a2

a3

a4

9

11

2

4

6

a4

a5

9

11

2

4

6

8

a1

a2

a3

10

1

3

5

7

a3

a4

a5

10

1

3

5

7

9

a1

a2

11

2

4

6

8

a2

a3

a4

a5

11

2

4

6

8

10

a1

1

3

5

7

9

a1

a2

a3

a4

a5

1

3

5

7

9

11

2

4

6

8

10

2

3

4

5

6

7

8

9

10

11

1

a1

a2

a3

a4

a5

3

4

5

6

7

8

9

10

11

1

2

a2

a3

a4

a5

a1

4

5

6

7

8

9

10

11

1

2

3

a3

a4

a5

a1

a2

5

6

7

8

9

10

11

1

2

3

4

a4

a5

a1

a2

a3

6

7

8

9

10

11

1

2

3

4

5

a5

a1

a2

a3

a4

 

Рис. 6

 

Второй латинский квадрат

 

1

11

10

9

8

7

a5

a4

a3

a2

a1

2

3

4

5

6

a1

2

1

11

10

9

8

a5

a4

a3

a2

3

4

5

6

7

a2

a1

3

2

1

11

10

9

a5

a4

a3

4

5

6

7

8

a3

a2

a1

4

3

2

1

11

10

a5

a4

5

6

7

8

9

a4

a3

a2

a1

5

4

3

2

1

11

a5

6

7

8

9

10

a5

a4

a3

a2

a1

6

5

4

3

2

1

7

8

9

10

11

2

a5

a4

a3

a2

a1

7

6

5

4

3

8

9

10

11

1

4

3

a5

a4

a3

a2

a1

8

7

6

5

9

10

11

1

2

6

5

4

a5

a4

a3

a2

a1

9

8

7

10

11

1

2

3

8

7

6

5

a5

a4

a3

a2

a1

10

9

11

1

2

3

4

10

9

8

7

6

a5

a4

a3

a2

a1

11

1

2

3

4

5

3

4

5

6

7

8

9

10

11

1

2

a1

a2

a3

a4

a5

5

6

7

8

9

10

11

1

2

3

4

a3

a4

a5

a1

a2

7

8

9

10

11

1

2

3

4

5

6

a5

a1

a2

a3

a4

9

10

11

1

2

3

4

5

6

7

8

a2

a3

a4

a5

a1

11

1

2

3

4

5

6

7

8

9

10

a4

a5

a1

a2

a3

 

Рис. 7

 

Понятно, что латинские подквадраты 5х5 (они выделены на рис. 6 – 7 жёлтым цветом) можно заменить любой другой парой ортогональных латинских квадратов 5-го порядка. При этом мы будем получать новые (неизоморфные) пары ОЛК 16-го порядка.

Покажу данную пару ОЛК при конкретных значениях символьных элементов: a1 = 15, a2 = 14, a3 = 13, a4 = 12, a5 = 0 (рис. 8 – 9). Как уже сказано, эти значения можно присваивать произвольным образом.

 

Первый латинский квадрат

 

1

15

14

13

12

0

2

4

6

8

10

3

5

7

9

11

11

2

15

14

13

12

0

3

5

7

9

4

6

8

10

1

10

1

3

15

14

13

12

0

4

6

8

5

7

9

11

2

9

11

2

4

15

14

13

12

0

5

7

6

8

10

1

3

8

10

1

3

5

15

14

13

12

0

6

7

9

11

2

4

7

9

11

2

4

6

15

14

13

12

0

8

10

1

3

5

0

8

10

1

3

5

7

15

14

13

12

9

11

2

4

6

12

0

9

11

2

4

6

8

15

14

13

10

1

3

5

7

13

12

0

10

1

3

5

7

9

15

14

11

2

4

6

8

14

13

12

0

11

2

4

6

8

10

15

1

3

5

7

9

15

14

13

12

0

1

3

5

7

9

11

2

4

6

8

10

2

3

4

5

6

7

8

9

10

11

1

15

14

13

12

0

3

4

5

6

7

8

9

10

11

1

2

14

13

12

0

15

4

5

6

7

8

9

10

11

1

2

3

13

12

0

15

14

5

6

7

8

9

10

11

1

2

3

4

12

0

15

14

13

6

7

8

9

10

11

1

2

3

4

5

0

15

14

13

12

 

Рис. 8

 

Второй латинский квадрат

 

1

11

10

9

8

7

0

12

13

14

15

2

3

4

5

6

15

2

1

11

10

9

8

0

12

13

14

3

4

5

6

7

14

15

3

2

1

11

10

9

0

12

13

4

5

6

7

8

13

14

15

4

3

2

1

11

10

0

12

5

6

7

8

9

12

13

14

15

5

4

3

2

1

11

0

6

7

8

9

10

0

12

13

14

15

6

5

4

3

2

1

7

8

9

10

11

2

0

12

13

14

15

7

6

5

4

3

8

9

10

11

1

4

3

0

12

13

14

15

8

7

6

5

9

10

11

1

2

6

5

4

0

12

13

14

15

9

8

7

10

11

1

2

3

8

7

6

5

0

12

13

14

15

10

9

11

1

2

3

4

10

9

8

7

6

0

12

13

14

15

11

1

2

3

4

5

3

4

5

6

7

8

9

10

11

1

2

15

14

13

12

0

5

6

7

8

9

10

11

1

2

3

4

13

12

0

15

14

7

8

9

10

11

1

2

3

4

5

6

0

15

14

13

12

9

10

11

1

2

3

4

5

6

7

8

14

13

12

0

15

11

1

2

3

4

5

6

7

8

9

10

12

0

15

14

13

 

Рис. 9

 

Латинские квадраты построенной пары ОЛК не являются диагональными, поэтому пара ОЛК не пригодна для построения магических квадратов без предварительного преобразования. Преобразовать квадраты очень просто. В обоих квадратах неправильная только одна диагональ. При этом набор чисел в неправильной диагонали в обоих квадратах одинаковый. Поэтому оба квадрата преобразовываются одной и той же трансформацией тождественной перестановки чисел. Это всего одна взаимозамена: 0 à 5, 5 à 0. На рис. 10 – 11 вы видите преобразованные латинские квадраты этой пары ОЛК.

 

Первый преобразованный латинский квадрат

 

1

15

14

13

12

5

2

4

6

8

10

3

0

7

9

11

11

2

15

14

13

12

5

3

0

7

9

4

6

8

10

1

10

1

3

15

14

13

12

5

4

6

8

0

7

9

11

2

9

11

2

4

15

14

13

12

5

0

7

6

8

10

1

3

8

10

1

3

0

15

14

13

12

5

6

7

9

11

2

4

7

9

11

2

4

6

15

14

13

12

5

8

10

1

3

0

5

8

10

1

3

0

7

15

14

13

12

9

11

2

4

6

12

5

9

11

2

4

6

8

15

14

13

10

1

3

0

7

13

12

5

10

1

3

0

7

9

15

14

11

2

4

6

8

14

13

12

5

11

2

4

6

8

10

15

1

3

0

7

9

15

14

13

12

5

1

3

0

7

9

11

2

4

6

8

10

2

3

4

0

6

7

8

9

10

11

1

15

14

13

12

5

3

4

0

6

7

8

9

10

11

1

2

14

13

12

5

15

4

0

6

7

8

9

10

11

1

2

3

13

12

5

15

14

0

6

7

8

9

10

11

1

2

3

4

12

5

15

14

13

6

7

8

9

10

11

1

2

3

4

0

5

15

14

13

12

 

Рис. 10

 

Второй преобразованный латинский квадрат

 

1

11

10

9

8

7

5

12

13

14

15

2

3

4

0

6

15

2

1

11

10

9

8

5

12

13

14

3

4

0

6

7

14

15

3

2

1

11

10

9

5

12

13

4

0

6

7

8

13

14

15

4

3

2

1

11

10

5

12

0

6

7

8

9

12

13

14

15

0

4

3

2

1

11

5

6

7

8

9

10

5

12

13

14

15

6

0

4

3

2

1

7

8

9

10

11

2

5

12

13

14

15

7

6

0

4

3

8

9

10

11

1

4

3

5

12

13

14

15

8

7

6

0

9

10

11

1

2

6

0

4

5

12

13

14

15

9

8

7

10

11

1

2

3

8

7

6

0

5

12

13

14

15

10

9

11

1

2

3

4

10

9

8

7

6

5

12

13

14

15

11

1

2

3

4

0

3

4

0

6

7

8

9

10

11

1

2

15

14

13

12

5

0

6

7

8

9

10

11

1

2

3

4

13

12

5

15

14

7

8

9

10

11

1

2

3

4

0

6

5

15

14

13

12

9

10

11

1

2

3

4

0

6

7

8

14

13

12

5

15

11

1

2

3

4

0

6

7

8

9

10

12

5

15

14

13

 

Рис. 11

 

Каждый преобразованный латинский квадрат является нетрадиционным магическим квадратом с магической константой 120. Можно строить магические квадраты. На рис. 12 показан один из магических квадратов, построенный из данной пары ОЛК.

 

18

252

235

218

201

88

38

77

110

143

176

51

4

117

145

183

192

35

242

236

219

202

89

54

13

126

159

68

101

129

167

24

175

32

52

243

226

220

203

90

70

109

142

5

113

151

184

41

158

191

48

69

244

227

210

204

91

6

125

97

135

168

25

58

141

174

31

64

1

245

228

211

194

92

102

119

152

185

42

75

118

157

190

47

80

103

241

229

212

195

82

136

169

26

59

12

83

134

173

30

63

16

120

247

225

213

196

153

186

43

76

98

197

84

150

189

46

79

112

137

248

231

209

170

27

60

2

115

215

193

85

166

29

62

15

128

154

249

232

187

44

66

99

132

233

216

199

81

182

45

78

111

144

171

250

28

50

3

116

149

251

234

217

200

87

22

61

14

127

160

188

34

67

100

133

161

36

53

65

7

104

121

138

155

172

178

19

256

239

222

205

86

49

71

8

105

122

139

156

162

179

20

37

238

221

198

96

255

72

9

106

123

140

146

163

180

21

33

55

214

208

95

254

237

10

107

124

130

147

164

181

17

39

56

73

207

94

253

230

224

108

114

131

148

165

177

23

40

57

74

11

93

246

240

223

206

 

Рис. 12

 

Второй магический квадрат получится, если в формуле для построения магических квадратов поменять местами латинские квадраты.

 

В заключение отмечу, что описанный алгоритм работает и для случая n = 4. Тогда k = 0 и размер подквадрата t = 1. Символьный элемент будет всего один – a1, его значение равно 0. На рис. 13 показана КРМ для пары ОЛК 4-го порядка.

 

a1

0

0

0

0

0

a1

0

1

2

3

2

1

3

a1

2

3

1

a1

2

 

Рис. 13

 

На рис. 14 изображена  пара ОЛК, построенная по данной КРМ.

 

1

a1

2

3

 

1

3

a1

2

3

2

a1

1

a1

2

1

3

a1

1

3

2

2

a1

3

1

2

3

1

a1

3

1

2

a1

 

Рис. 14

 

6 – 7 апреля 2009 г.

г. Саратов

 

 

 

Читайте мою виртуальную книгу “Волшебный мир магических квадратов”:

 

http://www.klassikpoez.narod.ru/glavnaja.htm

 

Скачайте электронную версию этой книги:

 

http://narod.ru/disk/5834353000/Magic_squares.pdf.html

 

 

Заодно прихватите книгу “Позиционные системы счисления”, авось, пригодится:

 

http://narod.ru/disk/5936760000/pozic4.pdf.html

 

       Пишите мне!

Рейтинг@Mail.ru

На главную страницу

 



Hosted by uCoz