Научный форум dxdy. Магические квадраты в Чатуранге

Дизайн с включением рандомизированных блоков позволяет изолировать один искажающий фактор. Латинский квадрат дает возможность изолировать уже как минимум две переменные, угрожающие внутренней валидности исследования .

Латинский квадрат - это древняя математическая головоломка; его составление является частным случаем решения магических квадратов. В общем виде фигура представляет собой равностороннюю матрицу, заполненную латинскими буквами таким образом, что в каждой строке и в каждом столбце таблицы буква алфавита встречается в точности один раз (рис. 9.8).

Рис. 9.8.

С помощью латинского квадрата можно блокировать не только строки, но и столбцы. В исследовании это может выглядеть следующим образом: допустим, у нас есть искомое условие (X) и две переменные и С), воздействие которых нужно поставить под контроль. Это можно сделать, задав как горизонтальные, так и вертикальные блоки. Решение выглядит так, как показано на рис. 9.9. Задача заключается в составлении общей таблицы независимых переменных таким образом, чтобы комбинации в строках и столбцах не повторялись. Для трех переменных будет уже девять комбинаций.

Разумеется, вместо трех уровней независимой переменной можно использовать три разных переменных: решение от этого не изменится. Для эксперимента с латинским квадратом формулируются три нулевые гипотезы:

  • - равенство средних значений групп с разными уровнями условия (X);
  • - равенство средних значений групп с разными уровнями фактора В (строки);
  • - равенство средних значений групп с разными уровнями фактора С (столбцы).

Следует отметить некоторые недостатки латинского квадрата. Во-первых, теоретически исследователь может включить любое число уровней независимой переменной. Тем не менее на практике редко используются квадраты, включающие более десяти градаций условия . В то же время при уровне в 4 и меньше присутствует слишком мало степеней свободы, что увеличивает ошибку. Кроме того, если между условием, строками и столбцами существуют эффекты взаимодействия, результат окажется искаженным. Однако проверка модели на взаимодействие возможна только при достаточной величине стороны квадрата. Во-вторых, количество число уровней независимой переменной, строк и столбцов должно быть одинаковым, что не всегда бывает возможным. Наконец, провести рандомизацию для данного плана довольно-таки сложно.


Рис. 9.9.

Латинский квадрат - это базовая фигура для исследований с многомерным блокированием. На его основе можно построить и более сложные планы, например, греко-латинский квадрат и гипер-греко-латинский квадрат.

Несмотря на кажущуюся сложность, анализ эффекта воздействия результатов эксперимента с использованием латинского квадрата выполняется примерно по такому же алгоритму, как и анализ в исследовании с применением рандомизированных блоков.

Выше представлена небольшая часть разработанных в теории экспериментов планов. Используя их как основу и комбинируя друг с другом, можно создать практически неограниченное число самых разных исследований, которые, однако, потребуют более сложных процедур оценки эффекта воздействия и контроля фоновых факторов.

Может возникнуть вопрос: зачем уделять такое количество времени строгому эксперименту, если возможности его применения в социологии ограничены? С одной стороны, социальное взаимодействие во всех своих проявлениях действительно является сложно контролируемым феноменом, и во многих случаях социолог не может проводить рандомизацию, а также оказывать влияние на независимую переменную. С другой стороны, трудности экспериментирования связаны не только с характером объекта, но и со слабой заинтересованностью социологического сообщества. Эксперимент является довольно сложным методом, использование которого сопряжено с кропотливой работой по контролю, изоляции искомых переменных, а также с применением сложных процедур измерения эффекта тестирования. Учитывая общий дескриптивный характер современной социологии и зачастую относительно невысокий уровень рефлексии касательно валидности каузальных аргументов, экспериментальные исследования составляют не слишком большую долю в общей совокупности выпускаемых работ.

Данный факт не означает, что ниша эксперимента в общественных науках всегда будет ограниченной. Оглядываясь вокруг, мы можем заметить, что в других областях социального знания теория экспериментирования развивается куда более быстрыми темпами. Не секрет, что социальная психология уже долгое время работает как экспериментальная наука и не мыслит себя вне данного метода. Вместе с тем, можно наблюдать такое динамично развивающееся направление, как экспериментальная экономика. Словарная статья Вернона Смита «Экспериментальные методы в экономике» начинается словами: «Исторически предмет и метод экономики предполагал неэкспериментальный характер науки (подобно астрономии и метеорологии)» . Раскрывая современное состояние науки, автор показывает, что начиная с 1980-х годов экономика все более становится экспериментальной наукой.

Присмотримся к сравнительной политологии. Сто лет назад в послании к Американской ассоциации политической науки ее тогдашний руководитель Лоуренс Новелл заявлял: «Мы ограничены отсутствием возможности экспериментирования... Политические исследования являются обсервационной, а не экспериментальной наукой». Вышедшая в 2007 г. книга “The Oxford Handbook of Experimental Political Science” указывает, что ситуация меняется стремительным образом по мере того, как исследователи политики уделяют все большее влияние каузальным аргументам и эмпирическому изучению своего предмета . Достаточно перечислить многочисленные работы по таким темам, как мобилизация, голосование, парламентаризм, бюрократия, международные отношения, переговоры, внешняя политика, создание коалиций, политическая культура, «экспорт демократии», электоральные системы, право. Практически все эти области, казалось бы, оставляют ученому возможность лишь пассивного наблюдения и регистрации фактов, но рандомизированные эксперименты здесь проводятся и весьма успешно.

Не отрицая объективных трудностей использования строгого эксперимента в социологии, можно предположить, что повышение интереса к сравнительным исследованиям будет способствовать и росту числа экспериментов. Кроме того, развитие перспективных областей микросоциологии (например, изучения повседневности) также может способствовать развитию теории и практики полевого экспериментирования.

Наиболее очевидным полем внедрения экспериментальных исследований представляется область виртуальных технологий.

Социологический эксперимент обычно проводится в лаборатории или «реальных» условиях, при этом изучаются небольшие группы. Однако социология не интересуется индивидом, а в качестве объяснительных конструкций оперирует аргументами макроуровня, подтверждение которых требует множества наблюдений. Сети дают такую возможность. Например, группа молодых ученых из Колумбийского университета изучала влияние социальных факторов на функционирование музыкального рынка . Для этого они создали веб-сайт, на который выложили аудиозаписи 48 неизвестных инди-музыкантов для свободного скачивания. Все посетители страницы случайным образом назначались в группы, которые отличались способом представления информации на сайте (случайный порядок песен против ранжированного по количеству скачиваний и т. д.). Выяснилось, что выбор пользователей, испытывавших социальное влияние, оказывался куда менее предсказуемым, чем тех, кто не видел рейтингов, рекомендаций, количества «лайков» ит.д., причем эта зависимость обратна пропорциональна уровню социального влияния.

В книге «Основания социальной теории» Дж. Коулман писал, что даже если ученый строит каузальные аргументы на макроуровне (например, как модели социального взаимодействия влияют на силу норм), надлежащее объяснение требует определения микрооснований этих процессов . Как подчеркивал Коулман, переход от микро- к макроуровню является основным препятствием на пути интеллектуального развития социологической теории, поскольку требует изучения динамических процессов формирования и развития социальных процессов, которые сложно получить с помощью традиционных социологических методик (опросов и наблюдений). Однако использование экспериментального метода (в частности, в интернет-исследованиях) позволяет не только увидеть результат, но и воспроизвести схему переходов «макро-микро», «микро-микро» и «макро-микро». Фактически в распоряжении исследователя имеется мощный инструмент, который, с одной стороны, позволяет работать с большими массивами данных, а с другой - фиксировать взаимодействие индивидов per se.

Еще одна причина, по которой эксперимент достоин внимания, более прагматична. Как уже неоднократно отмечалось, в тех случаях, когда экспериментальный дизайн невозможен (а это применительно, например, ко всей исторической социологии), социальный ученый пытается создать нечто похожее на экспериментальную ситуацию. Вместе с тем сложный характер причинно-следственных отношений и необходимость контроля факторов требуют использования методов, симулирующих эксперимент. В таком случае эксперимент представляется идеально-типическим исследованием, по канонам которого ученый работает и к строгости которого стремится приблизиться. Собственно, количественная и качественная стратегия, по мысли Ч. Рагина, являются разными вариантами ответа на вопрос о том, возможно ли в социальном исследовании воспроизведение логики эксперимента .

Представленные выше планы являются своеобразными шаблонами, по лекалам которых социологи работают и с объектами, в отношении которых эксперимент принципиально невозможен. В сущности, такое каузальное исследование будет моделироваться и анализироваться с использованием похожих, но, разумеется, более сложных методик и техник. Поэтому в процессе изучения гл. 10, посвященной квазиэксперименталь- ному дизайну, рекомендуется соотносить описываемые планы с тем, что уже известно, искать различия и возможные угрозы внутренней и внешней валидности. Это облегчит понимание «механики» сравнительного квазиэкспериментального исследования.

Начала писать обзорную статью о методах построения магических квадратов. Штудирую материалы по этой теме во всех источниках. Вот в книге Чебракова нахожу "Метод латинских квадратов" (Ю. В. Чебраков. Магические квадраты. Терия чисел, алгебра, комбинаторный анализ. - С.-Петербург, 1995; стр.96-97).
Цитата из книги: "Первый латинский квадрат строят следующим образом: а) произвольно заполняют нижний горизонтальный ряд квадратной таблицы n*n целыми числами от 0 до n-1, следя лишь за тем, чтобы последняя клетка горизонтального ряда была заполнена числом k="; б) остальные горизонтальные ряды таблицы заполняют снизу вверх так, чтобы каждый следующий ряд получался из предыдущего циклической перестановкой - первое число переносится в конец строки. Второй латинский квадрат получается из первого путём его поворота на девяносто градусов".
Ну, как строится первый латинский квадрат, понятно. В книге дана иллюстрация построения. Вот первый латинский квадрат, изображённый на иллюстрации:

2 1 4 0 3
3 2 1 4 0
0 3 2 1 4
4 0 3 2 1
1 4 0 3 2


А как составляется второй латинский квадрат, убей не понимаю! Целый час поворачивала первый латинский квадрат, но так и не смогла получить тот квадрат, который изображён на картинке у автора книги. Вот какой второй латинский квадрат дан автором:

0 3 4 1 2
3 4 1 2 0
4 1 2 0 3
1 2 0 3 4
2 0 3 4 1


Пожалуйста, объясните мне, какой здесь поворот на 90 градусов? Вокруг чего? В какую сторону?
Вот какой магический квадрат построил автор из пары составленных им ортогональных латинских квадратов:

11 9 25 2 18
19 15 7 23 1
5 17 13 6 24
22 3 16 14 10
8 21 4 20 12


Тогда я составила второй латинский квадрат по-своему: отражение первого латинского квадрата относительно горизонтальной оси симметрии. И вот какой магический (к тому же и ассоциативный; ну, ассоциативность обеспечивается удачно составленным первым латинским квадратом - он является нетрадиционным ассоциативным магическим квадратом; мой второй латинский квадрат тоже является нетрадиционным ассоциативным магическим квадратом, в отличие от второго квадрата Чебракова) квадрат получен из моей пары ортогональных латинских квадратов:

12 10 21 4 18
20 11 9 23 2
1 19 13 7 25
24 3 17 15 6
8 22 5 16 14


Если мы будем строить магический квадрат седьмого порядка по Чебракову, то как составить второй латинский квадрат? Первый латинский квадрат может быть, например, такой:

3 2 5 0 1 4 6
6 3 2 5 0 1 4
4 6 3 2 5 0 1
1 4 6 3 2 5 0
0 1 4 6 3 2 5
5 0 1 4 6 3 2
2 5 0 1 4 6 3


Правильно Теперь скажите, куда и как надо повернуть на 90 градусов этот латинский квадрат, чтобы получить второй латинский квадрат по Чебракову
Продолжаю проверять свой способ. Составляю второй латинский квадрат отражением первого относительно горизонтальной оси симметрии. Cтрою из полученной пары ортогональных латинских квадратов магический квадрат:

Пробельного материала для заполнения крупных промежутков в строках.

Большой Энциклопедический словарь . 2000 .

Синонимы :

Смотреть что такое "КВАДРАТ" в других словарях:

    - (лат. quadratum, от quadrare сделать четырехугольным). 1) прямоугольный, равносторонний четырехугольник. 2) такое число, которое, будучи умножено само на себя, дает данное число. 3) единица для измерения плоскостей; напр.: квадратн. фут, дюйм и… … Словарь иностранных слов русского языка

    В квадрате. Жарг. мол. Пренебр. О крайне тупом, безнадёжно глупом человеке. /i> Квадрат глупый, несообразительный чаловек. Никитина 1996, 82. Квадрат твою гипотенузу! Жарг. шк. Бран. Выражение досады, раздражения, негодования. ВМН 2003, 62.… … Большой словарь русских поговорок

    КВАДРАТ, в биологии квадратная рама, используемая для разметки участка поверхности с целью изучения растений, находящихся на нем. Квадратом называют также и сам этот участок почвы. Как правило, такой квадрат равен 0,5 или 1 м2. Пользуясь этим… … Научно-технический энциклопедический словарь

    КВАДРАТ, квадрата, муж. (лат. quadratus четырехугольный). 1. Равносторонний прямоугольник (мат.). 2. Форма такого прямоугольника у какого нибудь предмета (книжн.). Ярко освещенный квадрат окна. 3. Четырехугольный гартовый брусок мера для… … Толковый словарь Ушакова

    Муж. равносторонний и прямоугольный четыреугольник; народ называет его круглым четыреугольником или клеткою. Разбить площадь на квадраты, на участки этого вида. | Квадрат числа, произведение его от умножения самого на себя. Узор квадратцами или… … Толковый словарь Даля

    Параллелограмм, клетка, материал, прямоугольник, степень, квадратик Словарь русских синонимов. квадрат сущ., кол во синонимов: 9 гиперкуб (12) … Словарь синонимов

    квадрат - КВАДРАТ, а, м. Тюрьма; камера. квадрат топтать находиться в тюрьме, камере. Из уг … Словарь русского арго

    квадрат - (Quad) 1. Одна из основных единиц типометрической системы Дидо, равная 4 цицеро, или 48 пунктам. 1 квадрат равен 18,048 мм. 2. Пробельный материал, используемый при изготовлении наборных печатных форм способа высокой печати. Квадраты различают по … Шрифтовая терминология

    «Квадрат» - «Квадрат», клуб любителей джазовой музыки (джаз клуб). Создан в 1964 при ДК имени Ленсовета (с 1965 размещался в ДК имени С. М. Кирова, с 1986 — во Дворце молодёжи). Объединяет музыкантов и любителей классического джаза. «Квадрат» продолжил… … Энциклопедический справочник «Санкт-Петербург»

    - (от латинского quadratus четырехугольный), 1) равносторонний прямоугольник. 2) Вторая степень a2 числа a (название связано с тем, что именно так выражается площадь квадрата со стороной a) … Современная энциклопедия

Книги

  • Квадрат , Вилли Карлссон. Книгу видного деятеля Коммунистической партии Дании можно назвать подлинной летописью рабочего движения в стране в бурную эпоху с начала кризиса 30-X годов до оккупации Дании нацистами.…
  • Квадрат неба. Сборник антиутопий , Маргарита Пальшина. Квадрат неба человек видит из окна… тюремной камеры, откуда нет выхода, чтобы увидеть его беспредельность. Камеры необязательно буквальной, в тюрьму превращаетсялюбой мир или общество,…

6. ПЛАНЫ ДЛЯ ОЦЕНКИ ВЛИЯНИЯ ФАКТОРОВ

6.1. Планы на латинских квадратах

При составлении планов поиска оптимальных значений функции и описания поверхности отклика предполагалось, что факторы представляют собой непрерывные величины. Однако некоторые параметры систем носят дискретный характер и принимают только относительно небольшое количество значений, например, емкость запоминающих устройств, тактовая частота системной шины персонального компьютера. Другие факторы по своей природе имеют не количественную, а качественную природу, в частности, однотипные изделия выпускаются целым рядом изготовителей. Этим изделиям можно приписать некоторые обозначения в номинативной шкале измерений.

Таким образом, существует параметры (характеристики), принимающие некоторое ограниченное количество значений, задаваемых в количественной или качественной шкале измерений. Необходимо в условиях воздействия других факторов оценить влияние таких параметров на показатель качества системы или определить их значимость. Полный перебор возможных сочетаний параметров системы потребует чрезмерно большого количества опытов. С целью рационального сокращения экспериментальных исследований применяют специальный вид планов – планы на латинских квадратах.

Латинский квадрат характеризуется особым расположением некоторого числа символов в ячейках, сгруппированных в строки и столбцы так, что каждый символ встречается один раз в каждой строке и в каждом столбце. Пример латинского квадрата, размером n ×n , для n = 3 представлен в табл. 6.1.

Таблица 6.1

Для любого n > 2 существует множество вариантов построения латинских квадратов. Количество вариантов латинских квадратов с ростом n быстро увеличивается и определяется формулой

N (n , n ) = n !(n – 1)!L (n ).

Некоторые значения L (n ) представлены в табл. 6.2.

Таблица 6.2

L (n )

Латинскому квадрату можно сопоставить план эксперимента, в котором строки соответствуют различным значениям одного фактора, столбцы – значениям другого, а латинские буквы – значениям третьего фактора, т.е. латинский квадрат позволяет исследовать влияние не более чем трех факторов. Пример представления латинского квадрата для факторов L , P , Z , каждый из которых варьируется на четырех уровнях (n = 4) приведен в табл. 6.3.

Таблица 6.3

Применение плана, построенного на основе латинского квадрата, позволяет оценить дифференциальный (разностный) эффект пар уровней, но не дает информации о взаимодействии между факторами (иначе говоря, факторы не зависят друг от друга). Так, сумма результатов экспериментов, соответствующих столбцу j , будет оценивать эффект P j , усредненный по всем L и Z . Тогда дифференциальный эффект увеличения значения фактора P от уровня 1 до уровня 2, усредненный по всем L и Z , можно оценить по разности между суммой значений функции отклика столбца 2 и столбца 1. Порядок перечисления уровней факторов роли не играет.

В частности, рассмотренный план позволяет оценить влияние размера видеопамяти графического адаптера (P ) на скорость вывода видеоизображений при различном быстродействии (L ) процессора компьютера и разном разрешении дисплея (Z ). Применительно к рассмотренному примеру для трех факторов при четырех уровнях варьирования ПФЭ требует 4 3 = 64 опытов, а с применением латинского квадрата – только 16. Экономия достигается за счет потери информации о взаимодействии факторов.

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

Приведенный пример является одним из возможных расположений уровней факторов, позволяющих получить несмещенные оценки главных эффектов. Латинские квадраты можно накладывать друг на друга, образуя греко-латинские квадраты . Например, два латинских квадрата 3´3 можно преобразовать в греко-латинский квадрат

Здесь латинские буквы образуют один латинский квадрат, а греческие буквы – другой латинский квадрат. Каждая латинская буква встречается в паре с конкретной греческой буквой только один раз. С помощью этого греко-латинского квадрата можно оценить главные эффекты четырех 3-х уровневых факторов (фактора строк, фактора столбцов, римских букв и греческих букв) проведя только 9 опытов.

Если наложить друг на друга три различных варианта латинских квадратов, то получится план гипер-греко-латинского квадрата . С его помощью можно оценить главные эффекты пяти факторов (фактора строк, столбцов и трех расположений квадратов). В частности, для пяти трехуровневых факторов потребуется провести только 9 опытов вместо 243 опытов при переборе всех возможных сочетаний факторов.

Итак, планы латинских (греко-латинских) квадратов используются в тех случаях, когда требуется оценить влияние факторов, варьируемых более чем на двух уровнях и заранее известно, что между факторами нет взаимодействий или этим взаимодействиями можно пренебречь. Имеются таблицы латинских и греко-латинских квадратов различных размеров, за исключением одного практически важного случая – не существует греко-латинского квадрата для 6 уровней факторов.

Лати́нский квадра́т n -го порядка - таблица L=(l ij) размеров n × n , заполненная n элементами множества M таким образом, что в каждой строке и в каждом столбце таблицы каждый элемент из M встречается в точности один раз. Пример латинского квадрата 3-го порядка:

Впервые латинские квадраты (4-го порядка) были опубликованы в книге «Шамс аль Маариф» («Книга о Солнце Гнозиса»), написанной Ахмадом аль-Буни в Египте приблизительно в 1200 году.

Пары ортогональных латинских квадратов впервые были упомянуты Жаком Озанамом в 1725 году . В книге, представляющей собой сборник задач по физике и математике, приведена следующая задача:

Необходимо разместить 16 игральных карт из тузов, королей, дам и валетов всех четырёх мастей в виде квадрата так, чтобы все масти и карты всех достоинств встречались в каждой строке и в каждом столбце ровно один раз.

Эта задача имеет 6912 решений (если дополнительно потребовать, чтобы и диагонали квадрата удовлетворяли тому же условию, то число решений уменьшится в 6 раз и станет равным 1152).

Важной вехой в истории исследований латинских квадратов стала работа Эйлера . Он занимался в ней методами построения магических квадратов и предложил метод, основанный на паре ортогональных латинских квадратов. Исследуя такие пары, Эйлер выяснил, что проблема их построения подразделяется на три случая в зависимости от остатка от деления числа n на 4. Он предложил способы построения пар ортогональных квадратов для n , делящихся на 4 и для нечётных n . Очевидно, что при n = 2 таких пар не существует. Ему не удалось построить пары ортогональных латинских квадратов для n = 6, 10 и он высказал гипотезу о том, что не существует пар ортогональных квадратов для n = 4t +2. Для n = 6 он сформулировал «задачу о 36 офицерах»:

Необходимо разместить 36 офицеров шести различных полков и шести различных воинских званий в каре так, чтобы в каждой колонне и в каждом ряду был ровно один офицер каждого полка и каждого воинского звания.

В 1920-1930 годы стали интенсивно изучаться неассоциативные алгебраические структуры, что привело, в частности, к созданию теории квазигрупп , тесно связанной с изучением латинских квадратов, так как между латинскими квадратами и таблицами Кэли квазигрупп существует взаимно-однозначное соответствие.

Точная формула для числа L (n ) латинских квадратов n -го порядка неизвестна. Наилучшие оценки для L (n ) дает формула

Каждому латинскому квадрату можно поставить в соответствие нормализованный (или редуцированный) латинский квадрат, у которого первая строка и первый столбец заполнены в соответствии с порядком, заданном на множестве M . Пример нормализованного латинского квадрата:

Число R(n) нормализованных латинских квадратов n -го порядка (последовательность A000315 в OEIS) в n!(n-1)! раз меньше, чем L(n) (последовательность A002860 в OEIS).

Два латинских квадрата называют изотопными, если один из них может быть получен из другого в результате изотопии - композиции из перестановки строк, перестановки столбцов и замены элементов множества M по подстановке из симметрической группы S(M) .

Латинский квадрат можно рассматривать как ортогональный массив . Меняя порядок элементов в каждой упорядоченной тройке этого массива, можно получить 6 латинских квадратов, которые называются парастрофами. В частности, парастрофом является латинский квадрат, полученный в результате транспонирования.

Композиция изотопии и парастрофии называется изострофией. Это ещё одно отношение эквивалентности, его классы называются главными классами. Каждый главный класс содержит 1, 2, 3 или 6 изотопических классов. В случае совпадения исходного латинского квадрата и изострофного ему, говорят об автострофии. С ростом n почти все латинские квадраты имеют тривиальную группу автострофий.

Два латинских квадрата L=(l ij) и K=(k ij) n -го порядка называются ортогональными, если все упорядоченные пары (l ij ,k ij) различны. Пример двух ортогональных латинских квадратов и соответствующие им упорядоченные пары:

Эйлер называл такие квадраты «полными». В его честь в научной литературе их раньше называли «эйлеровыми» или «греко-латинскими» (так как Эйлер использовал буквы греческого алфавита для квадрата, ортогонального латинскому).

Ортогональные латинские квадраты существуют для любого n , не равного 2 и 6.

Латинский квадрат L n -го порядка имеет ортогональный ему квадрат тогда и только тогда, когда в L существует n непересекающихся трансверсалей .

Особый интерес в связи с многочисленными приложениями вызывают множества из нескольких попарно ортогональных латинских квадратов n -го порядка. Максимально возможная мощность N(n) такого множества равна n -1, в этом случае множество называется полным.

Если n ≡ 1 (mod 4) или n ≡ 2 (mod 4) и свободная от квадрата часть числа n содержит хотя бы один простой множитель p ≡ 3 (mod 4), то для таких n полного множества попарно ортогональных латинских квадратов не существует.

Известные нижние оценки числа N(n) при n < 33 приведены в следующей таблице (выделены оценки, которые могут быть улучшены):

Построение ортогональных квадратов - сложная комбинаторная задача. Для её решения применяются как алгебраические конструкции, так и комбинаторные (трансверсали, ортогональные массивы, дизайны, блок-схемы, тройки Штейнера и др.) Существует несколько подходов к решению этой задачи, их можно разделить на две группы. К первой группе относятся методы, основанные на выборе базового латинского квадрата, к которому отыскиваются изотопные ортогональные латинские квадраты. Например, пять попарно ортогональных латинских квадратов 12-го порядка были найдены в результате построения четырех ортоморфизмов абелевой группы , являющейся прямым произведением циклических групп порядков 6 и 2.

Ко второй группе относятся методы, использующие для построения ортогональных латинских квадратов комбинаторные объекты (включая сами латинские квадраты) меньших порядков. Например, два латинских квадрата 22-го порядка были построены Bose и Shrikhande на основе двух дизайнов 15-го и 7-го порядка.

Латинский квадрат называется диагональным, если в дополнение к требованиям уникальности элементов в строках и столбцах, свойственным для латинского квадрата, добавляются требования уникальности элементов на главной и побочной диагоналях . Аналитическая оценка числа диагональных латинских квадратов неизвестна, их число для размерностей N<10 было определено в 2016 г. в проекте добровольных распределенных вычислений Gerasim@Home (последовательность A274171 в OEIS и последовательность A274806 в OEIS). Для диагональных латинских квадратов, как и для просто латинских, возможно построение ортогональных пар, часть из которых (порядка 9 и 10) была найдена в проекте добровольных распределенных вычислений A287695 в OEIS). Открытой математической проблемой является существование тройки попарно ортогональных диагональных латинских квадратов порядка 10 (на текущий момент наилучшим приближением к ее решению является тройка квадратов, в которой две пары квадратов ортогональны, а третья частично ортогональна в 74 ячейках ).

Квадрат, в котором каждый элемент множества M в каждой строке и в каждом столбце встречается не более одного раза, называется частичным.

Задача распознавания того, может ли частичный квадрат быть дополнен до латинского, является NP-полной .

Введено понятие критического множества, соответствующего частичному квадрату, который однозначно может быть дополнен до латинского, причем никакое его подмножество условию однозначности не удовлетворяет. Мощность C(n) критического множества для квадратов размеров n × n известна для n < 7:

Помимо задачи нахождения формулы для величины L (n ), имеется большое количество нерешенных задач относительно латинских квадратов. Ряд таких задач был сформулирован на конференции Loops’03:

Латинские квадраты находят широкое применение в алгебре, комбинаторике, статистике, криптографии, теории кодов и многих других областях.

Существует ряд игр, в которых используются латинские квадраты. Наиболее известна из них судоку . В ней требуется частичный квадрат дополнить до латинского квадрата 9-го порядка, обладающего дополнительным свойством: все девять его подквадратов содержат по одному разу все натуральные числа от 1 до 9.

Пользуются популярностью также задачи построения латинских квадратов и на их основе магических квадратов, обладающих дополнительными свойствами (например, диагональные квадраты).