ویرگول
ورودثبت نام

satisfiability

شروع نوشتن
پست‌ها: ۱.نویسندگان: ۱
جدیدترین‌ها
عباس پالاش·
۴ سال پیش

احتمال حل حدس کلاتز با SAT

آیا SAT که با اثباتی ۲۰۰ ترابایتی توانست مساله افراز ۳تایی‌های فیثاغورثی را حل کند می‌تواند حدس تقریبا ۱۰۰ ساله کلاتز را نیز حل کند؟
احتمال حل حدس کلاتز با SAT
خواندن ۱۲ دقیقه
۰
۰