payamvha/North_RAG huggingface dataset:
می‌کنند، در جستجوی راه‌هایی هستند تا هزینه اجرا و استفاده از منابع Multi-Media و کامپیوتری را کاهش دهند. به این منظور تکنولوژی RFID راه حلهای زیادی دارد که نوار مغناطیسی و بارکدها به سادگی نمی‌توانند انجام دهند. سیستم RFID Tag بر اساس مواد کاغذ و پلاستیک تنظیم می‌شود. فواید RFID Tag نسبت به بارکدها و نوارهای مغناطیسی عبارتند از: روند رو به رشد و گزینشی استفاده از RFID. بسیاری از صاحب نظران معتقد بودند که تعهّد شرکت Wal-Mart در خصوص استفاده از فناوری RFIDنقطه عطفی خواهد شد که موجب همگانی شدن استفاده از این
عطفی خواهد شد که موجب همگانی شدن استفاده از این فناوری و پذیرش آن در سطح جهانی خواهد شد. روشن است که فناوری RFIDجایگاه خود را پیدا کرده‌است اما باید توجه داشت که الگوی پذیرش آن تکاملی است نه ناگهانی و انقلابی. شرکت Wal-Mart هم به شکلی تدریجی و فزاینده استفاده از فناوری RFIDرا در دستور کار خود قرار داد. این شرکت در ابتدا تنها محصولاتی را که به مراکز توزیع منطقه Dallas روانه می‌شدند مجهز به برچسب‌های RFIDمی‌کرد. در حال حاضر شرکت Wal-Mart محصولات ارسالی به دو مرکز توزیع دیگر را هم مجهز به فناوری RFIDکرده‌است.
توزیع دیگر را هم مجهز به فناوری RFIDکرده‌است. از زمان التزام شرکت Wal-Mart به استفاده از فناوری RFIDدر سال ۲۰۰۴ چایگاه این فناوری گسترده‌تر شده و ضمناً گزینه‌های بیشتری در برچسب‌گذاری در دسترس قرار گرفته‌است. با این حال از میان ۱۰۰ عرضه‌کننده عمده‌ای که خود را متعهد به استفاده از فناوری RFIDکرده‌اند، برخی تنها بخشی از واحدهای نگهداری محصول را مجهز به این فناوری کرده‌اند. حتی بعضی از آن‌ها تعداد انگشت شماری از مراکز نگهداری و ذخیره محصول خود را مشمول استفاده از فناوری RFIDکرده‌اند، با این هدف که تدریجاً
از فناوری RFIDکرده‌اند، با این هدف که تدریجاً تعداد این مراکز را افزایش دهند. تولیدکنندگان محصولات غذایی در خصوص استفاده از فناوری RFIDبه دنبال راهکاری هستند که با حداقل سرمایه‌گذاری امکان اجرایی شدن داشته باشد، بتواند واحدهای نگهداری کالا و خرده فروشان مورد نظر تولیدکننده را مجهز به فناوری RFIDکند و با استفاده از آن امکان توسعه تدریجی واحدهای تحت پوشش فناوری RFIDفراهم باشد. به عنوان نمونه‌ای از این راهکارها می‌توان به روش «برچسب‌گذاری و ارسال» (slap and ship) اشاره کرد، که به معنای برچسب‌گذاری جعبه و
ship) اشاره کرد، که به معنای برچسب‌گذاری جعبه و کفه‌های بارگیری کالا (و نه برچسب‌گذاری تک تک کالاها) قبل از بارگیری کالا در تسهیلات عرضه‌کننده و ارسال آن به مراکز فروش است. برچسب‌های هوشمند. راهکار «برچسب‌گذاری و ارسال» به دو شکل قابل اجرا است: یک روش تعویض دستگاه چاپ بارکد با دستگاه برچسب‌گذاری هوشمند است که با استفاده از آن بتوان روی بسته کالا برچسبی را تعبیه کرد که درونش فرستنده RFID(تراشه و آنتن) تعبیه شده‌است. روش دیگر استفاده از برچسب‌های چسبنده RFIDاست که جدا از برچسب بارکد روی بسته کالا چسبانده شود
که جدا از برچسب بارکد روی بسته کالا چسبانده شود و برای ذخیره اطلاعات در برچسب‌ها از یک دستگاه کدگذاری در کنار دستگاه چاپ بارکد معمولی استفاده شود. در هر دو روش بارکد چاپ شده بر روی بستهٔ کالا شناسایی کالا را تضمین می‌کند چرا که به برچسب‌های RFIDنمیتوان به‌طور صد در صد اطمینان کرد و برای شناسایی کالا باید راهی به غیر از خواندن اطلاعات برچسب (مثل اعداد نوشته شده زیر بارکد) وجود داشته باشد سازگاری نرم‌افزار. سازگاری اطلاعات موجود بر روی برچسب هایRFIDبا نرم‌افزارهای کاربردی موجود، یکی از جنبه‌های مهم معرفی
کاربردی موجود، یکی از جنبه‌های مهم معرفی فناوری RFIDاست. اطلاعات جمع‌آوری شده توسط RFID readerها نیاز به تولید ارزش دارد. مثلاً وضوح بیشتر زنجیره عرضه یا برنامه‌ریزی بهینه تر. این موضوع که بکارگیری RFIDدر ابعادی بسیار بزرگ در زنجیره تولید و عرضه ممکن است به انفجار اطلاعات جمع‌آوری شده منجر شود، امری بسیار حائز اهمیت است و این امر نیاز به نرم‌افزاری را که فاصله خالی بین اطلاعات دریافتی در RFID readerها و اطلاعات موجود بر روی نرم‌افزارها را پرکند، به وجود می‌آورد؛ بنابراین جای تعجب نیست که شرکت‌های
وجود می‌آورد؛ بنابراین جای تعجب نیست که شرکت‌های تولیدکننده نرم‌افزارهای رابط (میان فرستنده‌ها و گیرنده‌ها)، موسسات برنامه‌ریزی ذخایر (ERP) و فروشندگان سیستم‌های مدیریت انبارداری، برنامه‌های خود را برای همکاری در زمینه تولید RFIDاعلام کرده‌اند. امنیت علامت تجاری. بسته‌بندها این روزها نمی‌توانند خیلی محتاط باشند. در عصری که تروریسم با استفاده از مواد شیمیایی، خرابکاری و جعل کالاهای تقلبی و سرقت از فروشگاه‌ها اتفاق می‌افتد، هیچ محلی برای این اتفاقات مضر که کالا را تهدید می‌کنند، امن نیست. خوشبختانه، اقداماتی
را تهدید می‌کنند، امن نیست. خوشبختانه، اقداماتی وجود دارند که با استفاده از آن‌ها می‌توان کالاها را محافظت کرد. چندین پیشرفت خلاقانه برای مواجهه با این خطرات طراحی شده‌اند که در بازار موجود است. بسته‌بندی مهر و موم شده، کالا را از خطرات زیادی مصون می‌دارد، خطراتی از قبیل: دستکاری کالا، دزدی از محصول و غیره. یکی از متداول‌ترین روش‌های مهر و موم کردن محصول تجاری، برچسب کوچکی است که از یک جنس (polyvinyl chloride) PVC یا polystyvene یا polyethylene ساخته شده‌است. این برچسب‌ها از بالا تا پایین بسته‌بندی روی
این برچسب‌ها از بالا تا پایین بسته‌بندی روی کالا را پوشش داده و به شکلی واضح و در ۸ رنگ یا بیشتر چاپ شده و نقش برچسب تجاری را دارند. این برچسب‌ها چون یک دید گرافیکی ۳۶۰ درجه دارند، باعث زیباتر به نظر رسیدن کالا می‌شوند و به‌طور معمول در چاپ آن‌ها از رنگ‌های ترکیبی استفاده می‌شود یا بر روی آن‌ها لوگوهایی چاپ کنند که منحصربه‌فرد باشند، و این امر جعل کالای تجاری را مشکل می‌سازد. دو نوع طرز فکر در مورد نوع بسته‌بندی این برچسب‌های محافظ وجود دارد. برخی کارخانه‌های تولیدی بر این باورند که برچسبی که سخت‌تر کنده
تولیدی بر این باورند که برچسبی که سخت‌تر کنده می‌شود، امنیت بیشتری برای کالا ایجاد می‌کند و اگر شل باشد، ممکن است به کالا آسیب برسد. باید در نظر داشت که طرح سوراخ شده می‌تواند باعث ظرافت بیشتر برچسب شده، تا جایی که بعد از باز کردن آن دیگر نمی‌توان آن را سر جای اولش چسباند. بسته‌بندی القایی. در بسته‌بندی القایی از یک میدان الکترومگنتیک استفاده می‌شود که یک غشاء را در سرعتی بالای ۸۰۰ دور در ثانیه به جعبه می‌چسباند. کالای بسته‌بندی شده به این شیوه نه تنها هر گونه دستکاری بر روی کالا را نشان خواهد داد، بلکه از
دستکاری بر روی کالا را نشان خواهد داد، بلکه از بروز رطوبت جلوگیری کرده، تازگی محصول را حفظ می‌کند و از سرقت کالا جلوگیری می‌شود. در این نوع بسته‌بندی ظرف‌های درپوش دار را زیر یک دستگاه بسته‌بندی الکترومگنتیک قرار می‌دهند که حرارت تولید می‌کند تا غشایی از مهر بسته‌بندی به لبه بطری یا ظرفی که بسته‌بندی می‌شود، بچسبد. بسته‌بندی پوسته صدفی. این نوع بسته‌بندی‌ها، هم هرگونه دست خوردگی بر روی کالا را نشان می‌دهند و هم جلوی هرگونه سرقت از روی محصول تولید شده را می‌گیرند. این بسته‌بندی ارزان‌تر از بسته‌بندی‌های
می‌گیرند. این بسته‌بندی ارزان‌تر از بسته‌بندی‌های صدفی دارای فرستنده امواج (RF) می‌باشد، مقوا یا ساختار فیلم مانند آن مانع از دزدی از روی محصول می‌شود. همچنین باعث تقویت سوراخ‌های دستگاه دایکات نیز می‌شوند، بنابراین کالاهای دارای وزن بیشتر می‌توانند بر روی ویترین‌ها به صورت آویخته خرید و فروش شوند. برای ایجاد امنیت بیشتر نیز می‌توان یک قطعه محافظت الکترونیکی (EAS) در درون بسته‌بندی صدفی نصب کرد. بسته‌بندی‌های صدفی RF و لاک‌های جذاب و غیرقابل خراب شدن آنها، از نظر فروشندگان جذاب بوده و متقاضیان بیشتری در
از نظر فروشندگان جذاب بوده و متقاضیان بیشتری در کارخانه‌های تولیدی دارند. ایجاد تمایز توسط هولوگرام. مواد هولوگرافیک برای بسته‌بندی امن، گزینه‌ای بسیار مناسب خواهد بود. هولوگرام، نه تنها ظاهری متمایز به کالا می‌دهد که دارای رنگ‌های متفاوتی است؛ و از آنجایی که چاپ آن نیاز به امکانات ویژه داشته و مشکل است، تولید کالای تقلبی را غیرممکن می‌سازد. امنیت در آینده. فناوری همیشه در حال پیشرفت است، تا از متقلبان یک گام جلوتر باشد. یکی از احتمالات امیدبخش در این زمینه، نقشه‌های ریز ساختاری هستند که شامل شناسایی
زمینه، نقشه‌های ریز ساختاری هستند که شامل شناسایی ساختار فیزیکی در مقیاس اتمی بر روی هر نوع کالایی (چه در مرحله بسته‌بندی یا مرحله تولید) و یک پایگاه اطلاعات در مورد کالاها هستند. نتیجه حاصل شده، ابزار جدیدی ضد تقلب در تولید کالا است، زیرا متقلبان سعی می‌کنند تا اطلاعات موجود بر روی کالا را از بین ببرند.
سعید مظفری‌زاده (زاده ۲۴ شهریور ۱۳۵۳ در یزد) داور بازنشسته فوتبال و مدیر عامل تیم تراکتور است. وی در سال ۱۳۷۸ داوری را شروع کرد و از سال ۱۳۸۴ تا ۱۳۹۲ در لیگ برتر فوتبال ایران قضاوت کرد. وی پس از قضاوت در شهرآورد هفتاد و هشتم تهران در ۲۷ دی ۱۳۹۲ از دنیای داوری برای همیشه خداحافظی کرد. شهرآورد تهران. سعید مظفری‌زاده در تیم داوری چهار دربی تهران حضور داشته است. در سه دربی داور وسط بوده و در یک دربی داور چهارم بازی بوده است. مظفری‌زاده از نظر تعداد قضاوت در شهرآورد تهران در رده چهارم قرار دارد. منبع
این فهرست کشورها، بر پایه شیوع سالانه استفاده از تریاک، به عنوان درصد از جمعیت در سنین ۱۵ تا ۶۴ است. منبع اصلی اطلاعات، بر پایه گزارش جهانی دارو WDR، منتشر شده توسط دفتر مقابله با مواد مخدر و جرم سازمان ملل متحد (UNODC) است. افغانستان با تولید ۹۳ ٪ از مجموع تولید مواد مخدر در جهان، بزرگترین تولیدکننده مواد مخدر است. ستون «درصد شیوع سالانه»، نشان‌دهنده درصد جوانان و افراد بزرگسال مصرف‌کننده مواد مخدر در آن سال است. این فهرست، شامل مشتقات تریاک نمی‌شود. رتبه‌بندی. UNODC مخفف دفتر مقابله با مواد مخدر و جرم
ابوالعلاء شیرازی یا ابوالعلاء فارسی از پزشکان نام‌آور قرن چهارم هجری و اهل شیراز بود. ابوالعلاء همراه با مجوسی اهوازی و ابن مندویه اصفهانی از شاگردان ابوماهر فارسی بود. او در زمان عضدالدوله امیر آل بویه سپاهیان را معالجه می‌کرد و در یکی از لشکرکشی‌ها که بیماری تب‌نوبه (مالاریا) بیداد می‌کرد بر حسب اتفاق به تأثیر مواد آرسنیکی در درمان تب‌نوبه پی برد و اولین کسی است که در اثر تیزبینی و دقت و تکیه بر عمل متجاوز از هزار سال قبل این دارو را برای درمان مالاریا به کار برده‌است. در کتابخانه مدرسه نواب مشهد کتابی در
برده‌است. در کتابخانه مدرسه نواب مشهد کتابی در طب به نام بیان و تبیین نوشتهٔ فردی به نام ابوالعلاء بن زهر که معاصر سلطان الدوله بویهی بود، موجود است که احتمال می‌رود اثر همین دانشمند باشد. او در سال ۳۸۰ هجری قمری درگذشت.
اینترون‌ها یا میانه ها بخش‌هایی از ژنوم هستند؛ که رونویسی از روی آن‌ها انجام می‌پذیرد ولی در فرایند پیرایش به کمک آنزیم پیرایشگر برداشته می‌شوند. از این رو، در فرایند ترجمه، پروتئینی از روی آن‌ها ساخته نمی‌شود. برای این به آن‌ها اینترون گفته می‌شود که آن‌ها در چیدمان DNA در لابه‌لا و میان رمزهای ژن و همچنین در چیدمان آران‌ای پس از رونویسی رمزهای دنایی دیده می‌شوند. این بخش‌ها در بسیاری از موجودات و حتی در برخی ویروس‌ها نیز دیده می‌شوند. اندازهٔ آن‌ها می‌تواند بسیار بزرگ باشد واژهٔ اینترون به معنای ناحیهٔ
بسیار بزرگ باشد واژهٔ اینترون به معنای ناحیهٔ بین ژنی intragenic region است. اگرچه به معنای توالی مداخله گرintervening sequences نیز می‌باشد. در این حالت به توالی‌هایی مانند اینتنت‌ها و جایگاه‌های برشٰ ۳ وٰ۵ و … اشاره دارد. آشنایی. اینترون‌ها یا میانه ها اولین بار در ژن‌های آدنوویروس کشف شدند. در سال ۱۹۹۳ جایزهٔ فیزیولوژی و داروسازی به Phillip Allen SharpوRichard J. Roberts. به علت کشف اینترون داده شد. نامیدن اینترون توسط شیمیدان آمریکایی به نام Walter Gilbert: انجام گرفت. اندازهٔ اینترون‌ها و تعداد
Gilbert: انجام گرفت. اندازهٔ اینترون‌ها و تعداد اینترون‌ها، در موجودات مختلف گوناگون است. در مهره داران و از جمله انسان طول آن‌ها بسیار زیاد و در میکروارگانیسم‌های یوکاریوتی، بسیار کوتاه‌اند. همچنین در میتوکندری مهره‌داران هیچ اینترونی دیده نمی‌شود. در ژنوم باکتری و آرکی باکتری‌ها نیز اینترون، به ندرت کشف شده‌است. طبقه‌بندی. اینترون‌ها یا میانه به چهار دسته طبقه‌بندی می‌شوند. گروهی از میانه‌ها نیز وجود دارند؛ که در گروه سه قرار دارند و حدود ۵۰ خانواده می‌باشند اما شیمی آن‌ها به خوبی شناسایی نشده‌است. در
اما شیمی آن‌ها به خوبی شناسایی نشده‌است. در گروه اول ماشین پیرایش آران‌ای وارد عمل شده و با شناسایی جایگاه‌هایٰ ۳، و ۵ٰ برش و ایجاد دو برش و دو واکنش اتصال سبب حذف این میانه‌ها می‌شود. به این شکل رنای اولیه به رنای بالغ تبدیل می‌شود. در این حالت طول میانه بسیار بلندتر از بیانه یا اگزون می‌باشد. میانه‌های گروه یک و دو در ژنوم رنای ریبوزومی و رنای ناقل بسیاری موجودات دیده می‌شوند. در طی رونویسی از این رناها، شکل آن‌ها به صورت خاصی تغییر کرده و کمک می‌کند که خودشان بدون هیچ زیمایه ای عمل پیرایش را انجام دهند.
بدون هیچ زیمایه ای عمل پیرایش را انجام دهند. ایجاد یک هم‌آرای معمار سه تایی برای عمل آن‌ها ضروری است. البته بین این دو گروه نیز تفاوت‌هایی وجود دارد در گروه یک در منطقهٔ برش یا گوانوزین وجود دارد در حالی که در گروه دو چنین چیزی وجود نداشته و بسیار شبیه دستهٔ اول هستند. در دستهٔ آخر میانه هادر منطقهٔ حلقهٔ آنتی‌کدونی رنای ناقل دیده می‌شوند. این میانه‌ها توسط یک اندونوکلئاز برداشته می‌شوند. سپس یک پروتئین دیگر وارد عمل شده و اگزون‌ها یا بیانه را به یکدیگر متصل می‌کند. این پروتئین یک لیگاز است. اینترون‌ها در
می‌کند. این پروتئین یک لیگاز است. اینترون‌ها در ژن بیشتر جانوران و بسیاری از ویروس‌ها یافت می‌شوند، و می‌توانند در محدوده‌های وسیعی ار ژن‌ها، شامل ژن‌هایی که پروتئین‌سازی را کنترل می‌کنند، آران‌ای رناتنی و آران‌ای جابجایی یافت شوند. وقتی پروتیین از ژن‌های حاوی اینترون ساخته می‌شود، پیرایش آران‌ای در مسیر پردازش آران‌ای پس از رونویسی و پیش از * برگردان RNA انجام می‌شود. مطالعات در موجودات مختلف نشان داده‌است که تفاوت‌های بسیاری درمیانه هاو بیانه‌های ژن‌های هم ساختار وجود دارد. در ژنوم انسان اگر چگالی (نسبت
ساختار وجود دارد. در ژنوم انسان اگر چگالی (نسبت اینترون به ژن) ۸٫۴ باشد در Encephalitozoon cunicul همان ژن ۰٫۰۰۷۵ می‌باشد. میانه‌ها دارای توالی‌های کوتاه خاصی هستند؛ که برای عمل آن‌ها ضروری است. مثل توالی‌های پذیرنده توالی‌های برش، نواحی اتصالی هم‌آرای پیرایش و توالی خاصی به نام افزایش‌دهنده که سبب افزایش بیان ژن می‌شود.
رضا سخندان (زاده ۱۱ بهمن ۱۳۵۲ در مشهد) کمک داور ایرانی فوتبال است. وی در سال ۱۳۶۸ داوری را شروع کرده و در سال ۱۳۸۳ وارد لیست فیفا شده‌است. رضا سخندان در ۱۴ شهرآورد تهران به عنوان کمک داور حضور داشته است و از این نظر رکورددار است رضا سخندان در سال ۱۳۹۸ از داوری خداحافظی کرد. شهرآورد تهران. رضا سخندان کمک داور ۱۴ شهرآورد تهران بوده است منبع جام جهانی ۲۰۱۸. رضا سخندان در تیم داوری ایرانی در جام جهانی ۲۰۱۸ روسیه در بازی‌های زیر به عنوان کمک داور حضور داشته است. در این تیم داوری علیرضا فغانی به عنوان داور و
در این تیم داوری علیرضا فغانی به عنوان داور و محمدرضا منصوری دیگر کمک داور حضور داشته است جام ملت‌های آسیا ۲۰۱۹. رضا سخندان در تیم داوری ایرانی حاضر در جام ملت‌های آسیا ۲۰۱۹ حضور داشت و دو بازی زیر را همراه با علیرضا فغانی و محمدرضا منصوری قضاوت کردند.
در نظریه پیچیدگی محاسباتی NP که یکی از بنیادی‌ترین کلاس‌ها است. NP مخفف عبارت “non deterministic polynomial” است که به زمان اجرای آن اشاره دارد. NP مجموعهٔ کلیه مسائل تصمیم‌گیری است که پیدا کردن جواب بله برای آن‌ها شامل اثبات ساده‌ای است که جواب حقیقتاً باید بله باشد. به‌طور دقیق تر این اثبات‌های ساده باید قابل بررسی در یک زمان اجرای چندجمله‌ای در یک ماشین تورینگ جبری باشد. در مقابل این تعریف NP مجموعه مسائل تصمیم‌گیری نامیده می‌شود که در یک زمان اجرای چندجمله‌ای در یک ماشین تورینگ غیر جبری قابل بررسی
چندجمله‌ای در یک ماشین تورینگ غیر جبری قابل بررسی باشند. کلاس پیچیدگی P یکی از اعضای NP است اما NP شامل کلاس‌های مهم دیگری نیز هست؛ که پیچیده‌ترین آن‌ها NP-Complete است بطوریکه برای آن‌ها هیچ الگوریتم شناخته شده قابل اجرا در زمان چندجمله‌ای وجود ندارد. مهمترین سؤالی که اکنون برای این کلاس‌ها در این نظریه وجود دارد این است که آیا P=NP؟ این سؤال می‌پرسد که آیا چنین الگوریتمی واقعاً برای مسائل NP-Complete و در کل NP وجود دارد یا خیر. این باور گسترده وجود دارد که این تساوی نمی‌تواند درست باشد. تعاریف رسمی. NP
که این تساوی نمی‌تواند درست باشد. تعاریف رسمی. NP را می‌توان به وسیلهٔ NTIME نیز تعریف کرد: (NP=∪NTIME(n^k مقدمه. بسیاری از مسئله‌های معمول علوم کامپیوتر در حوزهٔ مسائل NP قرار دارند. مخصوصاً مدل تصمیم‌گیری بسیاری از مسائل جستجو و بهینه‌سازی در حوزهٔ NP قرار دارد. نمونه‌هایی از زمینه‌هایی که شامل مسائل NP می‌شوند عبارتند از: مانند جبر بولی، گراف، طراحی شبکه، زیست‌شناسی، فیزیک جدید، نظریه اعداد، نظریه بازی‌ها و پازل‌ها، نظریه زبان‌ها و ماشین‌ها و… تعریف بر پایهٔ بررسی کننده. به منظور تعریف این چنین NP
بر پایهٔ بررسی کننده. به منظور تعریف این چنین NP بیایید مسئلهٔ مجموع زیر مجموعه‌ها را در نظر بگیرید. فرض کنید به ما تعدادی عدد صحیح داده شده‌است مثلاً {-۷و-۳و-۲ ۵و ۸و} و ما می‌خواهیم بدانیم که آیا مجموع اعضای یکی از زیر مجموعه‌های آن صفر می‌شود یا نه؟ در این مثال جواب بله‌است زیرا اعداد ۳,-۲٬۵ می‌توانند این شرط را بررسی کنند. هنگامیکه مقدار اعداد صحیح ورودی زیاد شود تعداد زیر مجموعه‌ها به صورت توانی افزایش می‌یابد و در حقیقت مسئله فوق یک مسئله NP-Complete است. در هر حال توجه شود که اگر به ما یک زیر مجموعه
در هر حال توجه شود که اگر به ما یک زیر مجموعه مشخص بدهند (بعضی اوقات گواه نامیده می‌شود) ما به راحتی می‌توانیم بررسی کنیم که آیا مجموع آن صفر است یا خیر. (تنها با جمع کردن اعضای آن زیر مجموعه) و اگر مجموع صفر باشد آن زیر مجموعه یک شاهد برای این است که جواب بله‌است. الگوریتمی که بررسی می‌کند آیادرزیر مجموعه داده شده مجموع اعضا صفر است بررسی‌کننده نامیده می‌شود. یک مسئله را عضو NP می‌نامند اگر و فقط اگر یک بررسی‌کننده برای آن وجود داشته باشد که در زمان اجرای چندجمله‌ای اجرا شود. در مورد مسئله مجموع زیر
معادل تعاریف قبلی این تعریف نیز وجود دارد که می‌گوید: NP مجموعه مسائل تصمیم‌گیری است که قابل حل شدن در یک زمان اجرای چندجمله‌ای در یک ماشین تورینگ غیر جبری می‌باشد. مثال در اینجا یک لیست نا کامل از مسائل NP را بیان می‌کنیم: تمام مسائل P (برای یک گواه مسئله P ما می‌توانیم کلاً گواه را نادیده بگیریم و مسئله را در زمان اجرای چندجمله‌ای حل کرد. همچنین توجه شود که یک ماشین تورینگ جبری یک ماشین تورینگ غیر جبری است که از هیچ‌کدام از توانایی‌های غیر جبری اش استفاده نمی‌کند. مسئله پیدا کردن مقسوم علیه‌های یک عدد
نمی‌کند. مسئله پیدا کردن مقسوم علیه‌های یک عدد صحیح: دو عدد صحیح N و K داده شده‌اند. می‌خواهیم بدانیم آیا عدد صحیحی مثل F وجود دارد که ۱&lt;F&lt;K و N بر F بخش پذیر باشد. مسئله یکریختی دو گراف که یکریخت بودن دو گراف را بررسی می‌کند. حالت‌های متفاوت مسئله دست فروش دوره گرد که در آن می‌خواهیم بدانیم آیا مسیری هست که از تمام گره‌ها در یک شبکه عبور کند. مسئله درستی منطقی که در آن می‌خواهیم بدانیم آیا یک فرمول منطقی در زبان منطق می‌تواند به ازای مقادیری از متغیرها راست باشد یا خیر. برابری تعاریف. دو تعریف برای
راست باشد یا خیر. برابری تعاریف. دو تعریف برای NP یکی به عنوان مجموعه مسائلی که قابل حل با ماشین تورینگ غیر جبری در زمان اجرای چندجمله‌ای هستند و دیگری مجموعه مسائلی که دارای یک بررسی‌کننده با زمان اجرای چندجمله‌ای در یک ماشین تورینگ جبری هستند با هم معادلند. اثبات این برابری در بسیاری از کتاب‌ها آمده‌است به‌طور مثال در کتاب: Sipser’s Introduction to the theory of computation section 7.3 برای نشان دادن این ابتدا فکر کنیم که یک بررسی‌کننده جبری داریم یک ماشین تورینگ غیر جبری می‌تواند به راحتی به صورت غیر
تورینگ غیر جبری می‌تواند به راحتی به صورت غیر جبری بررسی‌کننده را بر روی تمام حالات ممکن از رشته‌ها بررسی کند. (این کار تنها نیازمند مراحل چند جمله گونه‌است زیرا این ماشین می‌تواند با حرکات غیر جبری کاراکتر بعدی را در رشتهٔ مورد نظر را در هر مرحله پیدا کند و طول رشتهٔ داده شده نیز باید محدود به چندجمله‌ای باشد) اگر یکی از این رشته‌های بررسی‌کننده معتبر باشد بعضی از مسیرها مورد قبول واقع می‌شوند و اگر هیچ رشته‌ای معتبر نباشد رشته یک زبان به حساب نمی‌آید و پس داده می‌شود. از طرف دیگر فرض کنیم ما یک ماشین
پس داده می‌شود. از طرف دیگر فرض کنیم ما یک ماشین تورینگ غیر جبری به نام A داشته باشیم و یک زبان L به آن ارائه کنیم. در هر کدام از مراحل با شمار چندجمله‌ای این ماشین، شاخه‌های درخت محاسبه با یک عدد صحیح ثابت مشخص می‌شوند که نشان دهندهٔ جهت هاست. وجود حداقل یک راه درست الزامی است و رشته‌ای که این مسیر را مشخص می‌کند گواهی برای بررسی کننده‌است. پس از آن اثبات‌کننده می‌تواند به صورت جبری A را به صورت عبور از مسیر پذیرفته شده و بررسی اینکه ار آخر نیز پذیرفته می‌شود پیاده‌سازی کند. اگر A داده را قبول نکند هیچ
پیاده‌سازی کند. اگر A داده را قبول نکند هیچ راه پذیرفته شده‌ای وجود ندارد و بررسی‌کننده هیچ‌گاه به جواب بله نمی‌رسد. چرا بعضی از مسائل NP به سختی حل می‌شوند؟. به این علت که بسیاری مسئلهٔ مهم در این کلاس وجود دارد تلاش‌های فراوانی برای پیدا کردن الگوریتم‌هایی با زمان اجرای چندجمله‌ای برای مسائل NP صورت گرفته‌است. با این وجود باز هم مسائلی از NP باقی می‌مانند که در برابر این تلاش‌ها مقاومت می‌کنند و به نظر می‌رسد که نیازمند زمان اجرای فراتر از چندجمله‌ای هستند. اینکه آیا این مسائل اصلاً قابل بررسی در زمان
اینکه آیا این مسائل اصلاً قابل بررسی در زمان اجرای چندجمله‌ای هستند یا خیر از بزرگترین مسائل در علم کامپیوتر است. (به مسئله P=NP مراجعه شود) یکی از مفاهیم مهم در این مبحث مجموعه مسائل NP-Complete است که زیر مجموعهٔ NP به‌شمار می‌آید و به صورت غیررسمی تر می‌تواند به عنوان سخت‌ترین مسائل NP به‌شمار بیایند. اگر یک الگوریتم زمان اجرای چندجمله‌ای حتی برای یکی از این مسائل پیدا شود آنگاه برای تمام این مسائل الگوریتمی با زمان اجرای چندجمله‌ای پیدا خواهد شد. بنا بر این علت و همچنین این علت که تا کنون تمامی تحقیقات
این علت و همچنین این علت که تا کنون تمامی تحقیقات برای بدست آوردن چنین الگوریتمی برای هر یک از این مسائل به شکست منجر شده‌است، هنگامیکه ثابت می‌شود مسئله‌ای NP-Complete است پیدا شدن الگوریتمی با زمان اجرای چندجمله‌ای برای آن بعید به نظر می‌رسد. رابطه با سایر کلاسها. NP شامل تمام مسائل P می‌شود زیرا هر کس می‌تواند با نادیده گرفتن شواهد حل مسئله هر نمونه از این مسائل را حل کند. NP در PSPACE موجود است. برای نشان دادن این کافی است یک ماشین PSPACE درست کنیم که بر روی تمام رشته‌های گواه گردش کند و هر کدام را به
روی تمام رشته‌های گواه گردش کند و هر کدام را به یک بررسی‌کننده زمان اجرای چندجمله‌ای ارائه دهد. از آنجا که این ماشین تنها می‌تواند بیت‌هایی با تعداد چندجمله‌ای را بخواند نمی‌تواند در فضاهایی فراتر از چندجمله‌ای به کار رود و نمی‌تواند بررسی کننده‌ای را بپذیرد که زمان اجرایی فراتر از چندجمله‌ای نیاز دارد (بنابر این ما نیازی نداریم تا گواه‌هایی را بررسی کنیم که زمان اجرای طولانی تری دارند) NP همچنین در مجموعه EXPTIME موجود است. به این علت که الگوریتمیکسانی برای آن در زمان اجرای توانی موجود است. CO-NP شامل آن
آن در زمان اجرای توانی موجود است. CO-NP شامل آن سری مسائلی است که گواه‌های ساده‌ای برای نادرست بودن دارند که بعضی اوقات مثال نقض نامیده می‌شود. برای مثال تست اول بودن یک عدد صحیح در حوزهٔ CO-NP قرار می‌گیرد زیرا می‌توان غیر اول بودن یک عدد را به راحتی با پیدا کردن یک عامل آن مشخص کرد. NP و CO-NP در کنار هم در اولین سطح بالای P درسلسله مراتب چندجمله‌ای‌ها قرار دارند. NP تنها برای ماشین‌های جبری تعریف می‌شود. اگر ما به بررسی‌کننده توانایی احتمالی بودن را نسبت دهیم (بطور خاص ماشین BPP) به کلاس MA می‌رسیم که
دهیم (بطور خاص ماشین BPP) به کلاس MA می‌رسیم که قابل حل با قراداد آرتور- مرلین بدون برقراری ارتباط بین آرتور و مرلین است. NP کلاس مسائل تصمیم‌گیری است کلاس مشابه آن برای راهبرد کلاس توابع FNP است. خصوصیات دیگر. ویژگی منطقی ساده‌ای در NP وجود دارد. NP شامل زبان‌های مرتبهٔ دوم منطق است که استفاده از متغیرهای جهانی را بر روی روابط؛ مجموعه‌ها و توابع مانع شده باشند. NP را می‌توان به چشم یک سیستم اثبات متقابل بسیار ساده نگاه کرد که اثبات‌کننده یک شاهد اثبات ارائه می‌کند و بررسی‌کننده در یک زمان اجرای چندجمله‌ای
می‌کند و بررسی‌کننده در یک زمان اجرای چندجمله‌ای به صورت جبری آن را بررسی کند. این اثبات کامل است زیرا یک رشتهٔ اثبات صحیح پذیرفته می‌شود و مانع است زیرا بررسی‌کننده پذیرفته نمی‌شود اگر رشتهٔ اثبات صحیحی وجود نداشته باشد. یک نتیجه‌ای مهم نظریه پیچیدگی اینست که NP می‌تواند به صورت مسائلی دسته‌بندی شود که با اثبات‌های مبتنی بر بررسی احتمال قابل بررسی باشند. به‌صورتی که بررسی‌کننده از تعداد (O(log n بیت تصادفی استفاده می‌کند و در هر مرحله تعداد ثابتی از بیت‌ها را به عنوان رشتهٔ اثبات (کلاس PCP (logn,1))
را به عنوان رشتهٔ اثبات (کلاس PCP (logn,1)) ارزیابی می‌کند. به صورت غیررسمی تر می‌توان گفت بررسی کنندهٔ NP که در قبل معرفی شد را می‌توان با بررسی کننده‌ای عوض کرد که با تکنیک «بررسی نقطه به نقطه» چندین نقطه در رشتهٔ اثبات را بررسی می‌کند؛ و به این ترتیب می‌توان با چند محاسبهٔ ساده می‌توان جواب درست را با احتمال بالا بدست آورد. با این روش می‌توان نتایج زیادی دربارهٔ سختی مسائل بهینه‌سازی را اثبات کرد مثال. مدل تصمیم‌گیری مسئله فروشنده دوره‌گرد NP به حساب می‌آید. یک ماتریس فاصلهٔ بین N شهر از ورودی گرفته
می‌آید. یک ماتریس فاصلهٔ بین N شهر از ورودی گرفته می‌شود. مسئله این است که آیا مسیری وجود دارد که از همهٔ شهرها بگذرد و طول آن کمتر از K باشد. یک ماشین تورینگ غیر جبری می‌تواند مسیر را به صورت زیر پیدا کند. هر شهر تمام شهرهای همسایه را بررسی می‌کند تا هنگامیکه تمام شهرها را ملاقات کند و اگر به بن‌بست برسد بلافاصله متوقف می‌شود. در پایان بررسی می‌کند که آیا طول مسیر کمتر از K است. این بررسی از O(n) است. می‌توان این طور فکر کرد که هر حدس یک کپی از ماشین تورینگ است که راه‌های ممکن را پیش رو می‌گیرد و اگر
است که راه‌های ممکن را پیش رو می‌گیرد و اگر حداقل یک ماشین یک مسیر کوتاهتر از K پیدا کند آن ماشین ورودی را می‌پذیرد. (متناظرا این مسئله را می‌توان این طور در نظر گرفت که یک ماشین تورینگ وجود دارد که همواره جواب درست را حدس می‌زند). جستجوی دودویی بر روی فواصل ممکن می‌تواند این مسئلهٔ تصمیم‌گیری را به یک مسئلهٔ بهینه‌سازی تبدیل کند.&lt;br&gt; مثال های دیگر: نتیجه‌گیری. مسائل NP در زمان نمایی با توجه به مقدار ورودی اجرا می‌شوند. واژه "NP کامل " بدین معنی است که یک مسئله ارزش این را ندارد که سعی شود به صورت
که یک مسئله ارزش این را ندارد که سعی شود به صورت بهینه کامل حل شود. منابع. یاسر اسماعیل جامی
محمود رفیعی (زاده ۱ اسفند ۱۳۴۵ در اراک) داور ایرانی فوتبال است. وی در سال ۱۳۷۰ داوری را شروع کرده و در سال ۲۰۰۵ وارد لیست فیفا شده است.
جواد تقی‌پور (زاده ۱۵ فروردین ۱۳۴۲ - درگذشته ۱۶ آذر ۱۳۹۹) کمک داور ایرانی فوتبال بود. وی در سال ۱۳۶۳ داوری را شروع کرد و در سال ۱۳۷۷ به‌عنوان داور بین‌المللی، وارد لیست فیفا شد. مرگ وی در تاریخ ۱۶ آذر ۱۳۹۹ پس از سال‌ها مبارزه با بیماری سرطان درگذشت.
خداداد افشاریان (زادۀ ۲۴ شهریور ۱۳۴۴ در شهرستان گچساران) داور سابق فوتبال اهل ایران است. وی در سال ۱۳۶۹، داوری را شروع کرده و در سال ۲۰۰۳ وارد فهرست فیفا شده‌است. در اسفند ۱۳۹۹ به‌عنوان عضو هیئت رئیسه فدراسیون فوتبال ایران انتخاب شد. او در خرداد ۱۴۰۳ به دلیل فساد در فوتبال از سمتش برکنار و راهی زندان شد. شهرآورد تهران. خداداد افشاریان کمک داور چهارم یک شهرآورد تهران بوده است وی در سال ۱۳۹۰ از دنیای قضاوت خداحافظی کرد. منبع