واضح آرشیو وب فارسی:ایرنا: به گزارش روز يکشنبه ايرنا ،روابط عمومي دانشگاه صنعتي اصفهان اعلام کرد:عبدالرحيم بهرامي دانشجوي کارشناسي ارشد مهندسي کامپيوتر با ارايه برنامه اي با عنوان SAT-Power موفق به کسب اين مقام ها شد. استاديار دانشکده مهندسي برق و کامپيوتر دانشگاه صنعتي اصفهان در اين زمينه گفت: SAT يکي از مهمترين مسائل رايانه اي است که تا کنون الگوريتمي با مرتبه زماني چند جمله اي براي آن يافت نشده اما اثبات نيز نشده که چنين الگوريتمي براي آن وجود نخواهد داشت. دکتر سيد رسول موسوي افزود:اهميت اين مسائل به اندازه اي است که از سال 1998 هر ساله همايشي درباره آن و مسائل مشتق شده از آن برگزار مي شود. وي با اشاره به اينکه مسابقاتي نيز از سال 2002 در کنار اين همايشها برگزار مي شود، اظهار داشت: برنامه هاي مختلفي از سراسر جهان براي حل اين مسائل به رقابت مي پردازند. موسوي با بيان اينکه برنامه هايي که بيشترين نمونه ها را در کمترين زمان حل کند در اين مسابقات بعنوان برنده شناخته مي شود، گفت: فقط 19 برنامه در مسابقات SAT 2010 از کشورهاي ايران،اسپانيا، امريکا، چين، فرانسه، سوئد، اتريش و آلمان به مرحله نهايي راه يافتند. به گفته وي تيم دانشگاه صنعتي اصفهان در مسابقات سال 2009 در دانشگاه Swansea ولز در بريتانيا نيز در بين 51 تيم از سراسر جهان موفق به کسب مقام سوم و مدال برنز شد. تيم دانشگاه صنعتي اصفهان براي شرکت در مسابقات SAT-Race 2010 شامل عبدالرحيم بهرامي، مريم فرشچيان و دکتر سيد رسول موسوي بود. اين مسابقات 11 تا 14 جولاي در دانشگاه ادينبرگ (Edinburg ) اسکاتلند برگزار شد. محاسبات در دنياي رايانه به سه دسته تقسيم مي شود که دسته اول شامل مسائلي است که راه حلي با مرتبه زماني چند جمله اي دارند. دسته دوم شامل مسائلي است که اثبات شده که هيچگاه راه حلي با مرتبه زماني چند جمله اي ندارد. دسته سوم نيز شامل مسائلي است که تا کنون الگوريتمي با مرتبه زماني چند جمله اي براي آن يافت نشده اما اثبات نيز نشده که چنين الگوريتمي براي آن وجود ندارد. بخش عمده اي از مسائل دسته سوم را NP-Complete تشکيل مي دهد که مساله SAT بعنوان مادر اين مسائل از اهميت بالايي برخورداست. 6161/1042
این صفحه را در گوگل محبوب کنید
[ارسال شده از: ایرنا]
[تعداد بازديد از اين مطلب: 363]