@MTHajiaghayiدکتر محمد حاجی‌آقایی به همراه سه تا از مدال‌آورهای المپیاد جهانی کامپیوتر، بالاخره بعد از بیشتر از پنجاه سال یه طلسم گنده تو دنیای ریاضی و کامپیوتر رو شکستن
دکتر محمد حاجی‌آقایی به همراه سه تا از مدال‌آورهای المپیاد جهانی کامپیوتر، بالاخره بعد از بیشتر از پنجاه سال یه طلسم گنده تو دنیای ریاضی و کامپیوتر رو شکستن. این بروبچز تونستن اولین الگوریتم زمان چندجمله‌ای (پلی‌تایم) رو واسه قضیه معروف «دیوری-لواس» طراحی کنن و ثابت کنن هر گراف k-همبند رو میشه به k بخش همبند با هر اندازه‌ای که دلمون بخواد تقسیم کرد. جالب‌تر از همه‌چیز اینه که کل این کار خفن رو بدون استفاده از هیچ هوش مصنوعی و با تکیه بر مخ و نبوغ خودشون درآوردن.
منبع
Breaking the Exponential Barrier: The First Polynomial-Time Algorithm for the Győri-Lovász Theorem
We give the first polynomial-time algorithm, after half a century, for the celebrated Győri-Lovász theorem, which resolved a conjecture of Frank (1975). The theorem, one of the simplest existential theorems to explain, states that every $k$-connected graph can be partitioned into $k$ disjoint connected subgraphs of arbitrary prescribed positive sizes. This is a fundamental structural result with b
خواندن در سایت منبعبیشتر بخوانید
یه بنده خدایی تو توییتر بدجوری به پَروپای شرکت آنتروپیک و رئیسش داریو آمودی پیچیده که آقا پس این همه ادعا کجاست
بچههای شرکت آنتروپیک یه کارستون اساسی کردن و هوش مصنوعیشون یعنی کلود تونسته «آخرین قضیه فرما» رو به زبان برنامه نویسی لین کامپیوترپذیر و اثبات ماشینی کنه
پروفسور آنیما آناندکومار از دانشگاه کلتک خبر داده که تیمش تونسته تکینگی پایدار رو توی معادلات سه بعدی اویلر، اونم بدون هیچ نیروی خارجی کشف و اثبات کنه
بشنوید از یه کشف عجیب‌وغریب توی دنیای هوش مصنوعی که ویلیام گیلپین و تیم پژوهشیش رو حسابی غافلگیر کرده
نظرها
هنوز نظری نیست.
بخش نظرها فعلاً در دسترس نیست.