Sharif Digital Repository / Sharif University of Technology
    • [Zoom In]
    • [Zoom Out]
  • Page 
    		 of  0
  • [Previous Page]
  • [Next Page]
  • [Fullscreen view]
  • [Close]
 
پیچیدگی توصیفی برای مساله‌ های شمارشی
یعقوبی، امید Yaghoubi, Omid

Cataloging brief

پیچیدگی توصیفی برای مساله‌ های شمارشی
پدیدآور اصلی :   یعقوبی، امید Yaghoubi, Omid
ناشر :   صنعتی شریف
سال انتشار  :   1402
موضوع ها :   پیچیدگی محاسباتی Computational Complexity پیچیدگی توصیفی Descriptive Complenity مساله‌...
شماره راهنما :   ‭02-56247

Find in content

sort by

Bookmark

  • مقدمه (9)
  • مفاهیم اولیه (15)
    • نظریه‌ی ترتیب و نقطه‌‌ثابت (15)
    • پیچیدگی محاسبه (20)
    • ساختارهای متناهی و زبان توصیفی مبنا (32)
    • جبر مجرد (40)
  • پیچیدگی توصیفی (41)
    • گسترش زبان توصیف با متغیرهای رابطه‌ای مرتبه‌ی دوم (41)
    • گسترش زبان توصیف با عملگر نقطه ثابت (47)
    • گسترش زبان توصیف برای اعمال شمارشی (58)
  • پیچیدگی توصیفی برای مساله‌‎های شمارشی (63)
    • زبان مرتبه‌ی دوم وزن‌دار روی نیم‌حلقه‌ی اعداد طبیعی (68)
    • پیچیدگی توصیفی کلاس‌های شمارشی مبتنی بر محاسبه‌ی غیرقطعی (74)
      • پیچیدگی توصیفی #P (74)
      • پیچیدگی توصیفی span-P (88)
    • پیچیدگی توصیفی کلاس‌های شمارشی مبتنی بر محاسبه‌ی قطعی (94)
      • پیچیدگی توصیفی FP (94)
      • پیچیدگی توصیفی FPSPACE و FPSPACE(poly) (106)
  • نتیجه‌گیری و کارهای آینده (112)
Loading...