محک تعامد: بررسی تکراری نبودن زوجهای متناظر دو مربع لاتین
مفهوم پایه: مربع لاتین چیست و چه کاربردی دارد؟
مربع لاتین1 یک آرایهٔ مربعی $ n \times n $ است که در هر سطر و هر ستون آن، هر یک از نمادها (اغلب اعداد یا حروف) دقیقاً یک بار ظاهر میشود. به عنوان نمونه، یک مربع لاتین $ 3 \times 3 $ با نمادهای $ \{1,2,3\} $ به صورت زیر است:
| سطر ۱ | سطر ۲ | سطر ۳ |
|---|---|---|
| 1 | 2 | 3 |
| 2 | 3 | 1 |
| 3 | 1 | 2 |
کاربرد مربعهای لاتین در طراحی آزمایشها، جدولهای ضرب گروهی و رمزنگاری دیده میشود. اما زمانی که دو مربع لاتین داشته باشیم، مفهوم «تعامد»2 اهمیت پیدا میکند.
محک تعامد: قانون زوجهای متناظر یکتا
فرض کنید دو مربع لاتین $ A $ و $ B $ با ابعاد $ n \times n $ داریم. اگر خانه به خانه روی هم قرار گیرند، در هر خانه یک زوج مرتب $(a_{ij}, b_{ij})$ تشکیل میشود. شرط تعامد این است که همهٔ این $ n^2 $ زوج، با هم متفاوت باشند؛ یعنی هیچ زوجی تکرار نشود. به این قانون «محک تعامد» یا «اصل تکراری نبودن زوجهای متناظر» میگوییم.
مثال عددی ساده: دو مربع $ 3 \times 3 $ زیر را در نظر بگیرید. مربع اول $ L_1 $ و مربع دوم $ L_2 $:
| مربع $ L_1 $ | مربع $ L_2 $ |
|---|---|
| 1 2 3 2 3 1 3 1 2 |
1 2 3 3 1 2 2 3 1 |
حال زوجهای متناظر خانه به خانه را میسازیم:
- سطر اول: (1,1), (2,2), (3,3)
- سطر دوم: (2,3), (3,1), (1,2)
- سطر سوم: (3,2), (1,3), (2,1)
همهٔ $ 9 $ زوج متفاوت هستند. بنابراین این دو مربع لاتین متعامد هستند.
تشخیص تکراری نبودن: روش گامبهگام جدولی
برای بررسی هر دو مربع لاتین دلخواه، میتوانیم یک جدول مقایسه بسازیم. فرض کنید دو مربع $ 4 \times 4 $ با نمادهای $ \{A,B,C,D\} $ داریم:
| موقعیت (سطر، ستون) | مقدار در مربع اول | مقدار در مربع دوم | زوج مرتب | وضعیت یکتایی |
|---|---|---|---|---|
| (۱,۱) | A | A | (A,A) | تاکنون یکتا |
| (۱,۲) | B | D | (B,D) | یکتا |
| (۲,۱) | C | B | (C,B) | تکراری (با زوج دیگر) |
به محض دیدن یک زوج تکراری، دو مربع لاتین «غیرمتعامد» یا «وابسته» نامیده میشوند. در مثال بالا اگر زوج (C,B) قبلاً دیده شده باشد، شرط تعامد نقض میشود.
کاربرد عملی: طراحی آزمایش با دو عامل بدون تداخل
در طراحی آزمایشهای کشاورزی یا صنعتی، گاهی میخواهیم اثر دو عامل را همزمان بررسی کنیم بدون اینکه ترکیب خاصی از سطوح آنها تکرار شود. اگر سطوح عامل اول و دوم را به ترتیب در دو مربع لاتین متعامد قرار دهیم، آنگاه هر ترکیب ($ \text{سطح عامل اول} , \text{سطح عامل دوم} $) دقیقاً یک بار اتفاق میافتد. این ویژگی به پژوهشگر اجازه میدهد تا تأثیر هر عامل را به طور جداگانه برآورد کند.
مثلاً در یک مزرعه، میخواهیم $ 4 $ نوع کود و $ 4 $ روش آبیاری را روی $ 16 $ کرت آزمایش کنیم. با کمک دو مربع لاتین متعامد مرتبه $ 4 $ میتوانیم کرتها را چنان بچینیم که هر جفت (کود، روش آبیاری) فقط یک بار دیده شود. این کار خطای آزمایش را کاهش میدهد.
چالشهای مفهومی
سؤال ۱: آیا هر دو مربع لاتین دلخواه حتماً متعامدند؟
خیر. تعامد شرط بسیار قویای است. برای مرتبه $ 3 $ حداکثر $ 2 $ مربع لاتین متعامد با هم وجود دارد، برای مرتبه $ 6 $ ثابت شده است که هیچ دو مربع لاتین متعامدی وجود ندارد (مسئلهٔ $ 36 $ افسر اویلر).
سؤال ۲: چگونه میتوان سریعاً تکراری بودن زوجها را بررسی کرد؟
روش ساده: یک مجموعه (set) از زوجها بسازید. هر زوج جدید را در مجموعه جستجو کنید. اگر از قبل وجود داشت، تعامد برقرار نیست. برای مربع $ n \times n $ حداکثر $ n^2 $ زوج ساخته میشود.
سؤال ۳: آیا شرط متعامد بودن متقارن است؟
بله، اگر مربع $ A $ با مربع $ B $ متعامد باشد، آنگاه $ B $ نیز با $ A $ متعامد است، زیرا زوجهای $(a,b)$ با زوجهای $(b,a)$ تفاوت دارند ولی تعداد آنها و یکتایی حفظ میشود.
جمعبندی
پاورقی
1 مربع لاتین (Latin square): آرایهٔ $ n \times n $ شامل $ n $ نماد متفاوت که در هر سطر و هر ستون هر نماد یک بار دیده میشود.
2 تعامد (Orthogonality): ویژگی دو مربع لاتین که در آن همهٔ زوجهای حاصل از روی همگذاری، یکتا باشند.
3 مربع لاتین یونانی-لاتین (Graeco-Latin square): ترکیب دو مربع لاتین متعامد که خانههای آن زوجهای مرتب منحصربهفرد هستند.
