Majid_GC
13th January 2012, 12:16 AM
http://portal.gaj.ir/images/content/news_pix/245afc2ecf569c2cc11309d7e277f304-little.jpg
به گزارش سرويس علمی خبرگزاری دانشجويان ايران (ايسنا)، جدول سودوكو برای سطح پايه از يك مربع 9 در 9 از رديف‌ها و ستون‌هايي از خانه‌هايي ساخته شده كه بايد با اعداد يك تا 9 پر شوند.
اين جدول به 9 بخش سه در سه تقسيم مي‌شود و براي حل آن بايد اعدادي در اين مربع‌ها قرار گيرند كه در ستون‌ها يا مربع‌ها تكراري نباشند. در زمان ايجاد اين جدول برخي از خانه‌هاي آن از پيش پر مي‌شوند و آن را به صورت يك معما درمي‌آورند تا فرد با تلاش بتواند ساير خانه‌هاي جدول را پر كند.
در اين جدول هر چه تعداد خانه‌هاي از پيش پر شده بيشتر باشد، نشانه‌هاي بيشتري براي حل كامل آن در اختيار فرد قرار گرفته و ساده‌تر خواهد شد.
گري مك‌گوواير و همكاران وي در دانشگاه كالج دوبلين براي اثبات عدد 17 از رويكرد brute force استفاده كردند كه در آن تمام پاسخ‌هاي ممكن براي خانه‌هاي خالي مورد استفاده قرار مي‌گيرد. متاسفانه اين رويكرد بسيار زمانبر بوده، از اين رو اين محققان از روش ديگر استفاده كردند.
در شيوه‌ی جديد آنها گزينه‌هاي معادل را كنار گذاشتند كه باعث كاهش گزينه‌هاي مورد آزمايش مي‌شود. اين محققان همچنين يك برنامه‌ی روزمره نوشتند كه به آزمايش احتمال معادل بودن زيرمجموعه‌هاي خاص جدول با گزينه‌هاي ديگر مي‌پردازد كه ضرورت آزمايش تمام گزينه‌ها را از بين مي‌برد و كاهش قابل توجهي در زمان بوجود مي‌آورد.اگرچه اجراي اين برنامه يك سال كامل بطول انجاميد، اما دانشمندان توانستند در انتها تعداد 17 نشانه را براي حل جدول اثبات كنند.
به گزارش سرويس علمی خبرگزاری دانشجويان ايران (ايسنا)، جدول سودوكو برای سطح پايه از يك مربع 9 در 9 از رديف‌ها و ستون‌هايي از خانه‌هايي ساخته شده كه بايد با اعداد يك تا 9 پر شوند.
اين جدول به 9 بخش سه در سه تقسيم مي‌شود و براي حل آن بايد اعدادي در اين مربع‌ها قرار گيرند كه در ستون‌ها يا مربع‌ها تكراري نباشند. در زمان ايجاد اين جدول برخي از خانه‌هاي آن از پيش پر مي‌شوند و آن را به صورت يك معما درمي‌آورند تا فرد با تلاش بتواند ساير خانه‌هاي جدول را پر كند.
در اين جدول هر چه تعداد خانه‌هاي از پيش پر شده بيشتر باشد، نشانه‌هاي بيشتري براي حل كامل آن در اختيار فرد قرار گرفته و ساده‌تر خواهد شد.
گري مك‌گوواير و همكاران وي در دانشگاه كالج دوبلين براي اثبات عدد 17 از رويكرد brute force استفاده كردند كه در آن تمام پاسخ‌هاي ممكن براي خانه‌هاي خالي مورد استفاده قرار مي‌گيرد. متاسفانه اين رويكرد بسيار زمانبر بوده، از اين رو اين محققان از روش ديگر استفاده كردند.
در شيوه‌ی جديد آنها گزينه‌هاي معادل را كنار گذاشتند كه باعث كاهش گزينه‌هاي مورد آزمايش مي‌شود. اين محققان همچنين يك برنامه‌ی روزمره نوشتند كه به آزمايش احتمال معادل بودن زيرمجموعه‌هاي خاص جدول با گزينه‌هاي ديگر مي‌پردازد كه ضرورت آزمايش تمام گزينه‌ها را از بين مي‌برد و كاهش قابل توجهي در زمان بوجود مي‌آورد.اگرچه اجراي اين برنامه يك سال كامل بطول انجاميد، اما دانشمندان توانستند در انتها تعداد 17 نشانه را براي حل جدول اثبات كنند.