یک ساختمان داده مدرن در علوم کامپیوتر

  • سال انتشار: 1385
  • محل انتشار: دوازدهمین کنفرانس سالانه انجمن کامپیوتر ایران
  • کد COI اختصاصی: ACCSI12_375
  • زبان مقاله: فارسی
  • تعداد مشاهده: 2822
دانلود فایل این مقاله

نویسندگان

محمد قاسم زاده

دانشکده علوم کامپیوتر، دانشگاه پتسدام ، آلمان

کریستف ماینل

دانشکده علوم کامپیوتر، دانشگاه پتسدام ، آلمان

چکیده

رسالت اصلی علوم کامپیوتر عبارت است از طراحی ساختمان های داده و الگوریتم های جدید ساختمان های داده و یا الگوریتم های که تاثیر مبنایی در حل مسائل علمی و کاربردی داشته باشند. در این مقاله یک ساختمان داده بنام «نمودار تصمیم دودویی مرتب» OBDD و گونه ددیگر آن بنام ZDD رامعرفی نموده مزایا و تاثیر انها درصحنه علوم کامپیوتر راب ررسیی می کنیم. همچنین دو الگوریتم که حاصل کار تحقیقاتی مان در رابطه بابکارگیری ساختمان های داده فوق جهت حل مساله «صدق پذیری توابع دودویی مسور» QBF می باشند را مرور می کنیم.

کلیدواژه ها

نمودار تصمیم دودویی ، صدق پذیری توابع دودویی ، علم کامپیوتر ، ساختمان های داده و الگوریتم های جدید

مقالات مرتبط جدید

اطلاعات بیشتر در مورد COI

COI مخفف عبارت CIVILICA Object Identifier به معنی شناسه سیویلیکا برای اسناد است. COI کدی است که مطابق محل انتشار، به مقالات کنفرانسها و ژورنالهای داخل کشور به هنگام نمایه سازی بر روی پایگاه استنادی سیویلیکا اختصاص می یابد.

کد COI به مفهوم کد ملی اسناد نمایه شده در سیویلیکا است و کدی یکتا و ثابت است و به همین دلیل همواره قابلیت استناد و پیگیری دارد.