با نوشتن درباره‌ی پرداخت مستقیم، شانس بردن محصولات اپل رو داری. همین حالا شرکت کن!همین حالا بنویس

rewrite systems

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

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

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