moaminsharifi/fa-wiki-spell-checker huggingface dataset:
عبدالرضا داوری معتقد است: «پس از حادثه کوی دانشگاه، حرکت اصول‌گرایان برای انسجام آغاز شد. در ابتدا، حسین شریعتمداری در روزنامه کیهان جلساتی را با روزنامه‌های همسو برگزار می‌کرد.» این جریان هم منتقد سیاست‌های توسعه اقتصادی هاشمی و هم سیاست‌های توسعه سیاسی خاتمی بود.
سید علی‌اکبر پرورش به همراه ۱۲ نفر از سران و افراد مؤثرِ تشکل‌های مطرح سیاسی، نزد سید علی خامنه‌ای رفته و پس از آن جلسه، به پیشنهاد پرورش و با پیگیری جمعیت ایثارگران انقلاب اسلامی، گروهی به نام «وفاق» تشکیل می‌شود. سران مذکور از چهار تشکل جمعیت ایثارگران انقلاب اسلامی، جمعیت مؤتلفه اسلامی، جامعه اسلامی مهندسین و انجمن اسلامی پزشکان ایران بودند. این گروه متشکل از افراد مؤثر در برخی احزاب سیاسی بود و تلاش گسترده‌ای پس از آن صورت گرفت تا یک فضای گفتمانِ وحدت بین همه احزاب معتقد به اصول نظام جمهوری اسلامی ایجاد شود. ناطق نوری که بعدها اقدام به تشکیل شورای هماهنگی نیروهای انقلاب اسلامی‌کرد، این اصول را «اسلام»، «انقلاب»، «» و «رهبری» معرفی می‌کند. این اقدامات در کاهش تنش‌های احزاب در آن دوره زمانی در کشور مؤثر واقع شد. بعدها از تجربیات گروه وفاق در تشکیل جلسات وحدت بین اصول‌گرایان استفاده شد.
شورای هماهنگی پس از شکست‌های جناح راست در انتخابات دوم خرداد ۷۶ و انتخابات مجلس ششم و با پشتوانه «گروه وفاق» تشکیل شده بود. به دنبال شکل‌گیری هسته مرکزی شورای هماهنگی، هیئت‌های اجرایی در سراسر کشور شکل گرفت اما به دلیل جایگاه نامطلوب اصول‌گرایان در جامعه، با راهبرد «موتور روشن و چراغ خاموش» به فعالیت پرداخت. در این مدت رایزنی و گفتگو با برخی از احزاب و تشکل‌های سیاسی و اشخاص حقیقی مؤثر در جناح راست صورت گرفت تا همراهی آنان برای این کار جلب شود. از سوی دیگر، برنامه‌ریزی‌های راهبردی، سیاست‌ها، طراحی تشکیلاتی و شناسایی نیروها نیز صورت گرفت.
شورای هماهنگی از دو بخش احزاب و اقشار اجتماعی تشکیل یافته بود که بخش احزاب آن را جبهه پیروان خط امام و رهبری هدایت کرده و رهبری بخش اقشار اجتماعی آن را نیز جمعیت ایثارگران انقلاب اسلامی به عهده داشت. در حالی که نیروهای شورای هماهنگی همواره تدوین سیاست‌های خود را بر مبنای احزاب تدوین کرده و به نحوی از بخش اجتماعی غافل بودند، جمعیت ایثارگران از بخش احزاب جدا شده و رهبری طرفداران خود در میان کارگران، کارمندان، معلمان، دانش آموزان و دانشجویان را به عهده گرفته بود.
اوج موفقیت شورای هماهنگی نیروهای انقلاب اسلامی در انتخابات شوراهای دوم و انتخابات مجلس هفتم بود که اصول‌گرایان توانستند مقابل اصلاح‌طلبان به پیروزی برسند و دو چهره جدید را به نهادهای تأثیرگذار بفرستند. محمود احمدی‌نژاد به شهرداری تهران و غلامعلی حداد عادل به ریاست مجلس هفتم رسید.
شورای هماهنگی در انتخابات ریاست‌جمهوری هشتم از دو کاندیدای نزدیک به گفتمان خود یعنی احمد توکلی و علی شمخانی حمایت کرد. احمد توکلی که نماینده بخش نوگرای اصول‌گرایان به حساب می‌آمد، با ارائه نظریه‌ای با عنوان «جمهوری دوم» و با شعار «دولت پاک برای ملت پاک» در این انتخابات رقیب جدی خاتمی بود.
شورای هماهنگی در همهٔ استان‌ها و شهرستان‌ها در مدت کوتاهی توانست جمع زیادی را شناسایی و مسئولیت کار را بر عهده آن‌ها محول کند. کمیته‌هایی چون، آموزش، استان‌ها، تشکیلات، سیاسی، اقشار، پشتیبانی، ارتباطات در ساختار مرکزی طراحی و مسئولانی برای آن‌ها تعیین شد. راه‌اندازی خبرگزاری، فعال کردن سیاست‌های خبری، انتشار نشریات و مطبوعات جدید، تشکیل احزاب و تشکل‌های سیاسی و بالاخره ایجاد فراگیر نهادهای عمومی غیرحکومتی از اقدامات اولویت‌دار تعریف شد. تغییر تابلو و چهرهٔ جریان از راست، به مثابه اصلی‌ترین هدف مورد توجه قرار گرفت. بدین‌سان ائتلاف آبادگران ایران اسلامی اعلام موجودیت کرد. استفاده از شعارهای جذاب مانند اعتدال، مردم‌سالاری دینی، نقش مردم در ادارهٔ امور، خردجمعی، قانون‌گرایی، عدالت‌خواهی، رفاه و آسایش مردم، و نکوهش رفتارهای باندی و جناحی استراتژی این جریان را تشکیل می‌داد. صدور منشور ائتلاف آبادگران، گفتمان جدیدی بود که سایر گفتمان‌ها را تحت‌الشعاع خود قرار داد.
با اعلام شمارش آرای انتخابات، مشخص شد که حتی یک اصلاح‎طلب نیز به جمع پانزده نفره شورا راه نیافته بود. به این ترتیب آبادگران، سکاندار دومین شورای شهر تهران شد. علاوه بر تهران، ۶۴ درصد کرسی‎های شورا‎ها در سراسر کشور در اختیار این ائتلاف نوظهور قرار گرفت. محمود احمدی‌نژاد مسئولیت ستاد انتخاباتی شورای هماهنگی در سال ۸۱ را بر عهده داشت و در آن انتخابات توانسته بود اصول‌گرایان را پیروز کند. او در پیروزی اصول‌گرایان در انتخابات مجلس هفتم نیز نقش مهمی داشت.
اصول‌گرایان پس از موفقیت در دور دوم انتخابات شوراهای اسلامی و مجلس هفتم، گام دوم برای تحکیم موقعیت خود در عرصه سیاسی را برای فتح مجلس هفتم در بهمن ماه ۸۱ و با تشکیل کمیته‌ای متشکل از حدود ۲۰ نفر از عناصر فکری اصول‌گرایان آغاز شد. این کمیته قریب به ۲۰ موضوع محوری را طراحی و برای تصویب به شورای هماهنگی ارائه کرد. پس از تصویب برنامه جامع انتخابات مجلس هفتم، ستاد مرکزی انتخابات در اوایل سال ۸۲ تشکیل و فعالیت‌های خود را آغاز کرد.
جریانی که در جامعه پس انتخابات شوراهای شهر و روستا، با عنوان آبادگران شناخته شده بود و کمتر نشانی از جریان راست داشت، در انتخابات مجلس هفتم شورای اسلامی نیز با اقبال گسترده مردم روبه‌رو شد و اکثریت مطلق کرسی‌های مجلس شورای اسلامی را از آن خود کرد. به‌طوری‌که تمامی ۳۰ کرسی تهران در مجلس شورای اسلامی را به خود اختصاص داده بود.
شورای هماهنگی در این انتخابات از ارائه لیست انتخاباتی با تابلوی شورای هماهنگی خودداری کرد.
شورای هماهنگی اواسط سال ۸۳ برای انتخاب نامزد اصول‌گرایان، یک گروه پنج‌نفره متشکل از علی‌اکبر ناطق نوری، حبیب‌الله عسگراولادی، محمدرضا باهنر، محمدرضا جمشیدی و حسین فدایی را ایجاد کرد. این افراد به ترتیب به عنوان رئیس شورای هماهنگی، دبیرکل جبهه پیروان خط امام و رهبری، دبیر کل جامعه اسلامی مهندسین، نماینده جامعه مدرسین حوزه علمیه قم و دبیرکل جمعیت ایثارگران انقلاب اسلامی انتخاب شده بودند. بر اساس چارچوب تنظیم شده، ۵ نفر از نیروهای شورای هماهنگی وارد عرصه رقابت شدند تا طبق نظرسنجی‌ها، کاندیدای نهایی انتخاب شود. تعلل شورای هماهنگی در معرفی کاندیدای نهایی موجب شد در ۲۷ آذر ۱۳۸۳ علی‌اکبر ولایتی از فرایند این شورا کناره‌گیری کند. از سوی دیگر احمدی‌نژاد هم با این شورا ناسازگاری داشت. او معتقد بود که ناطق نوری و جناح راست پیشاپیش تصمیمشان را برای حمایت از ولایتی یا لاریجانی گرفته‌اند؛ لذا حاضر به تن دادن به خروجی شورای هماهنگی نبود. ناطق نوری هم افکار احمدی‌نژاد را فضایی و تخیلی می‌دانست.
بدنه اجتماعی شورای هماهنگی که در انتخاب لاریجانی نقشی نداشتند، به علت تأمین نشدن رأی آن‌ها و عدم دخالت در تصمیم‌گیری، تصمیم اتخاذشده را نپذیرفتند و لاریجانی عملاً نامزد منتخب «بخش احزاب شورای هماهنگی» نامیده شد. دهه اول اسفند ۸۳ به پایان نرسیده بود که اخبار از ایجاد «شورای هماهنگی ۲» یا به تعبیری «بخش اجتماعی شورای هماهنگی» حکایت داشت.
شورا در ۲۱ اسفندماه علی لاریجانی را زودتر از موعد به عنوان کاندیدای نهایی برگزیده و معرفی کرد که باعث جدایی رسمی احمد توکلی، محسن رضایی، محمود احمدی‌نژاد و محمدباقر قالیباف از آن‌ها شد. با پیوستن ولایتی به ائتلاف چهار کاندیدا، حلقه ائتلاف بیرون از شورای هماهنگی کامل شد. این تحول جدید، بازگشت به همان ایده‌های اصولی و عقلانی است که شورای هماهنگی نتوانسته بود آن را عملیاتی سازد. این چهار نفر ائتلاف جدیدی را شکل داده و با امضای میثاق‌نامه‌ای، فعالیت انتخاباتی را به صورت مستقل از شورای هماهنگی ادامه دادند. مهدی چمران و علیرضا زاکانی به ترتیب به عنوان سخنگو و دبیر اجرایی ستاد انتخاباتی ائتلاف آبادگران انتخاب شده و قالیباف به عنوان کاندیدای نهایی آبادگران معرفی شد. اما با ناموفق ماندن فرایند وحدتِ «شورای هماهنگی ۲»، رضایی و احمدی‌نژاد نیز برای شرکت در انتخابات آماده شدند و تنها توکلی به نفع قالیباف کناره‌گیری کرد. جمعیت ایثارگران که از حامیان احمدی‌نژاد بود، به فاصله چند روز مانده به ثبت نام داوطلبان، به جمع حامیان قالیباف پیوست. ولایتی نیز به نفع هاشمی رفسنجانی کنار رفته و رضایی هم سه روز قبل از انتخابات انصراف داد.
با برگزاری انتخابات در ۲۷ خرداد ۱۳۸۴ و راه‌یابی اکبر هاشمی رفسنجانی و محمود احمدی‌نژاد به دور دوم، اصول‌گرایان آرایش انتخاباتی متفاوتی داشتند چرا که احمدی‌نژاد حاضر به پذیرش چارچوب‌های ائتلاف نشد. جامعه مدرسین و جامعه روحانیت نظر جدیدی ارائه نکردند و شورای هماهنگی هم که در مرحله نخست از لاریجانی حمایت کرده بود، در مرحله دوم سکوت اختیار کرد. همچنین جبهه پیروان خط امام و رهبری و حزب مؤتلفه اسلامی هر دو نامزد را اصول‌گرا خوانده و از حمایت فرد خاصی خودداری کردند. با این حال جامعه اسلامی مهندسین و جمعیت ایثارگران و احمد توکلی با صدور بیانیه‌ای از احمدی‌نژاد حمایت کردند.
ناطق نوری سعی کرده بود در قالب شورای هماهنگی، نامزدهای انتخابات ریاست جمهوری را گردهم آورد و از میان آنان، یک نفر را به عنوان نامزد نهایی معرفی کند. او پس از جلسات متعدد، علی لاریجانی را که از نظر مشی سیاسی شباهت‌های زیادی به خود داشت، به عنوان نامزد نهایی اصول‌گرایان معرفی کرده بود اما این انتخاب چندان به مذاق دیگر اصول‌گرایان خوش نیامد. در این میان، محمود احمدی‌نژاد که نامزدِ مستقلِ از این جریان بود، وارد انتخابات ریاست‌جمهوری شده و توانسته بود با پیروزی بر تمام رقبای مشهور خود، به ریاست قوه مجریه دست یابد.
مهرماه ۱۳۸۴ نشست سران شورای هماهنگی سراسر استان‌ها برگزار شد. در این نشست، ناطق نوری مسئولیت اجرایی ایجاد تغییرات در شورای هماهنگی را نپذیرفت و این مسئولیت به علی لاریجانی رسید. همچنین مقرر شد که ناطق نوری همچنان در شورای هماهنگی بماند و هیئت مؤسس ۱۵ نفره نیز تشکیل شود اما این تصمیمات هرگز محقق نشد.
با این که حمایت از لاریجانی در انتخابات ریاست جمهوری، مصوبه کمیته منتخب شورای هماهنگی بود، جمعیت ایثارگران با این تصمیم چندان موافق نبود. عدم اجماع بر سر انتخاب یک کاندیدای واحد و در حالت کلی دخالت ندادن بدنه شورا در تصمیم‌گیری‌ها، به ایجاد انشقاق در شورا منجر شده و پس از کناره‌گیری ناطق نوری و جدایی جمعیت ایثارگران، در عمل فقط جبهه پیروان خط امام و رهبری در شورا باقی ماند. این شکاف گسترده در بین نیروهای اصول‌گرا، سر منشأ جدایی ناطق نوری از نیروهای اصول‌گرا شد. با روی کارآمدن احمدی‌نژاد، ناطق نوری به یکی از منتقدان دولت او تبدیل شد. احمدی‌نژاد در مناظره خود در خرداد ۱۳۸۸ اتهاماتی را به ناطق نوری و خانواده‌اش وارد کرده بود. این مباحث موجب دلخوری ناطق از احمدی‌نژاد شد و زمینه جدایی وی از جریان اصول‌گرایی را هر چه بیشتر فراهم کرد.
اسامی تعدادی از رؤسای استانی شورا به شرح زیر است:
شورای هماهنگی نیروهای انقلاب اسلامی تهران بزرگ تنها شاخه رسمی از شورای هماهنگی نیروهای انقلاب اسلامی است که پس از انحلال شورای سراسری در سال ۱۳۸۴، به فعالیت رسمی خود ادامه داد. مسئولیت این تشکیلات تا فرودین ۱۳۸۴ بر عهده پرویز سروری بود اما با بروز اختلافات بر سر انتخاب کاندیدای نهایی، سروری برکنار شده و منوچهر متکی جانشین او شد.
شورای هماهنگی در انتخابات مجلس نهم با یک فهرست ۳۰ نفره با نام «فهرست وحدت» حضور پیدا کرد که این فهرست اشتراکات فراوانی با فهرست جبهه متحد اصول‌گرایان داشت.
حمایت زودهنگام برخی از احزاب از جمله شورای هماهنگی از محمود احمدی‌نژاد در دهمین انتخابات ریاست‌جمهوری مناقشه‌برانگیز شده و واکنش‌های متفاوتی را در پی داشت. برخی تحلیل‌گران، این اقدام را آغاز انشقاق در اصول‌گرایان توصیف کردند.
سعید جلیلی کاندیدای منتخب شورا در انتخابات ریاست‌جمهوری ۱۳۹۲ اعلام شده بود. شورا یک روز بعد از اعلام این موضع، لیست نهایی خود برای چهارمین دوره انتخابات شورای شهر در تهران را نیز اعلام کرد.
عبدالرضا حجازی (۱۳۱۲ یا ۱۳۱۳ در شهرضا - ۱۳۶۲) روحانی و واعظ ایرانی بود. حجازی در شهرضا متولد گردید و پس از تحصیلات ابتدایی و متوسطه در حوزه علمیه اصفهان و قم به فراگرفتن علوم اسلامی پرداخت. وی پس از اقامت در حوزه علمیه قم و آموختن سطوح عالیه و خارج در فقه و اصول و آموزش فلسفی، به تهران عزیمت نمود و دوره دانشکده الهیات و معارف اسلامی را در رشته فلسفه در تهران و آنکارا به پایان رسانید. حجازی در دهه چهل و پنجاه از جمله واعظانی بود که از روح‌الله خمینی حمایت می‌کردند. او در سال ۱۳۵۷ نامه‌ای انتقادی به خمینی نوشت. در سال ۱۳۶۱ به اتهام همکاری با آیت‌اله شریعتمداری و قطب زاده محاکمه و به هفت ماه زندان محکوم شد. اما به نوشته کتاب خاطرات ری‌شهری او اعدام شده‌است.
به نوشته پرویز ثابتی، در سال‌های ۴۶ و ۴۷ ساواک برای ساکت کردن وعاظ و روحانیون مخالف حکومت پهلوی، پنج نفر از آن‌ها را توسط یکی از زنان همکار ساواک اغفال نمود تا ضمن برقراری رابطه جنسی از آن‌ها عکس و فیلم تهیه شود. این پنج نفر عبارت بودند از: محمدتقی فلسفی، عبدالرضا حجازی، محمود انصاری قمی، جعفر شجونی و سید محمدصادق لواسانی.کتاب در دامگه حادثه
در سال ۱۳۹۵ (حدود پنجاه سال بعد از ماجرا) شجونی در مصاحبه‌ای به این ماجرا اشاره کرد و صحت عکس‌های فلسفی را صراحتاً و عکس‌های خودش را به‌طور ضمنی تأیید نمود. رضا رشیدپور در مصاحبه با شجونی در برنامهٔ دید در شب در سال ۱۳۹۴، از او دربارهٔ روابط برخی روحانیون با زنان که پرویز ثابتی از کارکنان سابق ساواک مطرح کرده‌است سؤال کرد. شجونی گفت ساواک برای ۳۰۰ نفر از روحانیون «عکس‌هایی ترتیب داده بود» و این که «عکس‌هایی که به محمدتقی فلسفی نسبت دادند را گفتند واقعیت بود». شجونی گفت فلسفی به عنوان «محلل» با زنی در رابطه بوده و ساواک عکس‌هایی از آن به دست آورده بوده‌است. رشیدپور از شجونی دربارهٔ عکس‌های خود او پرسید که شجونی ابتدا آن عکس‌ها را مونتاژ دانست و در پی اصرار رشید پور گفت «انشالله مونتاژ بود». این اظهارات با اعتراض دفتر فلسفی رو به رو شد که این حرف‌ها را خلاف واقع دانستند.
ویلدرفانک (به هلندی: Wildervank) یک منطقهٔ مسکونی در هلند است که در فین‌دام واقع شده‌است. ویلدرفانک ۴٫۱۹۰ نفر جمعیت دارد.
اوسکوئرت (به هلندی: Usquert) یک منطقهٔ مسکونی در هلند است که در ایمس‌موند واقع شده‌است. اوسکوئرت ۱٬۳۳۰ نفر جمعیت دارد.
اولروم (به هلندی: Ulrum) یک منطقهٔ مسکونی در هلند است که در خرونینگن واقع شده‌است.
استوم (به هلندی: Oostum) یک منطقهٔ مسکونی در هلند است که در وینسوم واقع شده‌است. استوم l نفر جمعیت دارد.
فارم‌سوم (به هلندی: Farmsum) یک منطقهٔ مسکونی در هلند است که در دلف‌زیل واقع شده‌است. فارم‌سوم ۲٫۵۱۰ نفر جمعیت دارد.
فرانسوم (به هلندی: Fransum) یک منطقهٔ مسکونی در هلند است که در زایدهورن واقع شده‌است.
فرودگاه ۷۷ () فیلمی در ژانر اکشن و درام به کارگردانی جری جیمسون است که در سال ۱۹۷۷ منتشر شد.
پاپ ژوان () فیلمی در ژانر درام به کارگردانی مایکل اندرسون است که در سال ۱۹۷۲ منتشر شد.
یاغی مغرور () یا غرور و تمرد در ایران فیلمی در ژانر وسترن به کارگردانی مایکل کورتیز است که در سال ۱۹۵۸ منتشر شد.
دختر سفیر () فیلمی در ژانر کمدی رمانتیک به کارگردانی نورمن کراسنا است که در سال ۱۹۵۶ منتشر شد.
ژان-باتیست دِبره ، (زاده ۱۸ آوریل ۱۷۶۸ – درگذشته ۲۸ ژوئن ۱۸۴۸) نقاش فرانسوی است که تصاویر چاپ‌سنگی زیاد و باارزشی از برزیلی‌ها تهیه کرد.
دبره در فرهنگستان هنرهای زیبای فرانسه درس خواند، در آنجا شاگرد ژاک لویی داوید (۱۷۴۸–۱۸۲۵) بود و به او کارهایش را شرح می‌داد. در دهه ۱۷۸۰ همراه استادش به رم رفت. شروع کارش در سال ۱۷۹۸ و از سالن (پاریس) بود و در آنجا دومین جایزه‌اش را به دست آورد.
او در مارس ۱۸۱۶ به عنوان عضوی از به اصطلاح ماموریت هنری فرانسه به برزیل سفر کرد. آنها گروهی از هنرمندان و صنعتگران طرفدار بناپارت بودند که ملزم به آفرینش هنری و صنایع دستی در ریودوژانیرو شده بودند گروه تحت نظر جان ششم پرتغال و کنت د بارسا قرار داشتند که بعدها تحت نظر پدروی یکم برزیل رئیس آکادمی هنرهای زیبا شد.
الگوریتم فریوالد یک الگوریتم تصادفی احتمالاتی در زمینهٔ ضرب ماتریس‌ها ست. ضرب دو ماتریس formula_1 × formula_1 به روش معمول از مرتبهٔ زمانی formula_3 است زیرا هر یک از formula_4 درایهٔ ماتریس اول در formula_1 درایه از ماتریس دوم ضرب می‌شود. یکی از نیازهای رایج در اعمال ریاضی مختلف در ماتریس‌ها، بررسی این موضوع است که اگر سه ماتریس formula_6، formula_7 و formula_8 داشته باشیم آیا formula_9. یک راه ساده محاسبهٔ formula_10 با روش رایج و چک کردن برابری درایه به درایهٔ آن با formula_8 است. این روش، قطعی است و خطایی ندارد اما برای formula_1های بزرگ بسیار زمان‌بر است. بهترین الگوریتم قطعی ارائه شده برای این کار از مرتبهٔ زمانی formula_13 است. الگوریتم فریوالد، به وسیلهٔ یک فرایند تصادفی، این مرتبهٔ زمانی را تا formula_14 کاهش می‌دهد و در formula_15 بار اجرای الگوریتم، احتمال خطای آن کم‌تر از formula_16 است.
سه ماتریس formula_6، formula_7 و formula_8 داریم. یک ماتریس تصادفی formula_20 به نام formula_21 متشکل از ۰ و ۱ تولید می‌کنیم. خروجی این الگوریتم برای formula_22 «بله» و برای formula_23 «خیر» خواهد بود.
برای مثال سه ماتریس
را در نظر بگیرید. می‌خواهیم formula_30 را بررسی کنیم.
ماتریس تصادفی را formula_31 در نظر می‌گیریم؛ بنابراین:
بنابراین طبق روابط بالا formula_22 و خروجی الگوریتم «بله» خواهد بود. اگر ماتریس تصادفی را formula_36 در نظر می‌گرفتیم، آنگاه:
که در این حالت formula_23 و خروجی الگوریتم «نه» خواهد بود. در این مثال، کل حالات برای ماتریس formula_21 چهار حالت است که در نصف حالات (formula_31 و formula_42) خروجی الگوریتم «بله» و برای دو حالت دیگر خروجی «نه» خواهد بود؛ بنابراین در یک بار اجرای الگوریتم، به احتمال formula_43 خروجی الگوریتم «بله» خواهد بود که خروجی اشتباهی است. حال در صورتی که این الگوریتم را formula_15 بار اجرا کنیم، اگر تنها یک بار خروجی الگوریتم «نه» باشد، نشان می‌دهد که formula_45. بنابراین به احتمال formula_46 هر formula_15 خروجی الگوریتم «بله» خواهد بود و پاسخی اشتباه می‌دهد که با زیاد کردن formula_15 این احتمال خطا بسیار اندک می‌شود.
فرض کنید formula_49 احتمال خطا در این الگوریتم باشد. ما اثبات می‌کنیم اگر formula_9، formula_51 و اگر formula_45، formula_53.
در این حالت مستقل از مقدار درایه‌های formula_58، همیشه رابطه فوق برقرار است بنابراین:
یعنی احتمال خطا در این حالت صفر است.
فرض کنید formula_61
که formula_62.
جون formula_45، پس درایه‌ای از ماتریس formula_64 وجود دارد که صفر نیست. فرض می‌کنیم formula_65. بنابراین طبق تعریف ضرب ماتریس‌ها داریم:
که formula_67 مقداری ثابت است. طبق قضیه بیز داریم:
بنابراین با جایگذاری دو رابطه بالا در معادله داریم:
در نتیجه اثبات شد در این حالت احتمال اینکه الگوریتم خروجی اشتباه بدهد کوچک‌تر یا مساوی formula_73 است.
مرتبه‌زمانی اجرای الگوریتم احتمالاتی فریوالد از formula_74 است در صورتی که بهترین الگوریتم قطعی معرفی شده برای این کار از مرتبهٔ زمانی formula_13 است. با توجه به اثبات ارائه شده، احتمال خطای الگوریتم فریوالد در هر بار اجرا کم‌تر یا مساوی formula_73 است که با formula_15 بار اجرای الگوریتم می‌توان به کران بالای formula_78 برای خطا رسید که برای formula_15های بزرگ مقداری ناچیز و قابل قبول است.
تفنگ‌دار پنجم () فیلمی در ژانر درام به کارگردانی کن آناکین است که در سال ۱۹۷۹ منتشر شد.
تلاش برای کاهش تغییرات اقلیمی ،
نام مجموعه‌ای از کنش‌ها برای محدود کردن اندازه یا نرخ این‌گونه دگرگونی‌ها به ویژه گرمایش جهانی در درازمدت است., in "کاهش دگرگونی‌های آب‌وهوایی" به‌طور کلی کاهش در دگرگونی‌های بشر ساخته (انسانی) در ایجاد و انتشار گازهای گلخانه‌ای (GHGs) است., in کاهش خطر این دگرگونی‌ها را می‌توان با افزایش ظرفیت انباشتگاه‌های کربن، به عنوان مثال؛ از راه ایجاد و احیای جنگل نیز به دست آورد. اجرای سیاست‌های "کاهش دگرگونی‌های آب‌وهوایی" می‌تواند خطرهای گرم شدن کره زمین در اثر دخالت بشر را به مقدار قابل ملاحظه‌ای کاهش دهد.Oppenheimer, M. , "et al.", "Section 19.7.1: Relationship between Adaptation Efforts, Mitigation Efforts, and Residual Impacts," in: Chapter 19: Emergent risks and key vulnerabilities (archived July 8 2014), pp. 46–49, in
در گزارش ارزیابی سال ۲۰۱۴ مجمع بین‌المللی تغییرات آب‌وهوایی (آی‌پی‌سی‌سی IPCC)، آمده‌است: «"تلاش برای کاهش دگرگونی‌های آب‌وهوایی" مانند یک کالای مورد نیاز عمومی است؛ بنابراین، تغییرات آب و هوایی یک مورد تراژدی برای منابع مشترک است (اشاره به مقالهٔ دهکدهٔ Selsley Common در ۱۸۳۳). دست‌یابی به تغییر مؤثر در "کاهش دگرگونی‌های آب‌وهوایی"؛ تا زمانی که هر مصرف‌کننده مانند فرد، نهاد، یا کشور در پی منافع خودخواهانه خود به‌طور مستقل اقدام کند، در عمل کارآمد نخواهد بود، همکاری و اقدام جمعی لازم است. از سوی دیگر، برخی از اقدامات انطباقی، ویژگی‌های یک کالای خصوصی را دارند و انجام آن به‌طور مستقیم به افراد، مناطق، یا کشورهای بخصوصی؛ دست کم در کوتاه‌مدت، مربوط می‌شود. با این حال، تأمین مالی چنین فعالیت‌های تطبیقی به صورت یک موضوع در خور توجه، به ویژه برای افراد و کشورهای فقیر باقی می‌ماند.», in
نمونه‌هایی از این تلاش می‌تواند شامل حذف سوخت فسیلی با گرایش به سوی «منابع انرژی کم کربن» مانند انرژی‌های تجدیدپذیر و هسته‌ای، و گسترش جنگل‌ها و انباشتگاه‌های دیگر کربن برای نگه‌داری مقدار بیشتری از دی‌اکسید کربن جو زمین باشد. استفاده بهره‌ورانه از انرژی می‌تواند به عنوان مثال از راه بهبود عایق‌بندی ساختمان‌ها در این میان نقش مهمی ایفا کند., in , in یکی دیگر از رویکردهای "کاهش دگرگونی‌های آب‌وهوایی"، مهندسی آب‌وهوا است.
اسلحه آکا-۱۰۳ ازجمله سلاح‌های سری آکا است.
در این مدل روسها مجدداً به طرف کالیبر معروف ۳۹*۷٫۶۲ میلی‌متری رفته و از آن در این سلاح بهره برده‌اند. از سوی دیگر پایه طراحی این سلاح بر اساس آکا-۷۴ام قرار دارد و عمده بدنه آن از جنس پلیمر و قطعات پلاستیکی است.
در شوروی سابق و هم‌زمان با اوج‌گیری جنگ ویتنام، مطالعات بر روی نسل جدید سلاح‌ها آغاز شد. روسها با مطالعه بر روی اسلحه ام-۱۶ آمریکایی و مهمات جدید ۴۵*۵٫۵۶ میلی‌متری آن اسلحه آکا-۷۴ و مهمات ۳۹*۵٫۴۵ میلی‌متری را توسعه دادند. این مهمات به نسبت مدل قبلی روسی یعنی ۳۹*۷٫۶۲ میلی‌متری سبک‌تر بوده و از کشندگی بیشتری در برابر انسان برخوردار بود. اما ضریب نفوذ ان در اجسام سخت کمتر از نمونه اصلی بود
روسها در ابتدا گونه آکا-۷۴ام را توسعه دادند. در این سلاح در حجم زیادی از مواد پلیمری استفاده شده و امکان نصب بهتر و راحت‌تر انواع سامانه‌های اپتیکی و نارنجک انداز نیز بر روی آن وجود دارد. خانواده آکا-۱۰۰ بر اساس همین مدل توسعه یافته‌است. اما آکا-۱۰۳ برای پاسخ به نیاز آن کاربرانی است که یک پلتفورم مدرن و به‌روزرسانی شده به همران فشنگ‌های قدرتمند ۳۹*۷٫۶۲ میلی‌متری را نیاز دارند..
کلاش ۱۳۳ نمونه ایرانی نسل جدید کلاشینکف روسی آکا-۱۰۳ است. (اسلحه پلیمری)https://en.wikipedia.org/wiki/AK-103http://www.defapress.ir/fa/news/94695/مشخصات-ak-103-اسلحه-پلیمریhttp://www.mashreghnews.ir/news/731780/تولید-انبوه-سلاح-های-سبک-در-کشور-متحول-شد-کلاش-۱۳۳-اولین-محصول
کلاش ۱۳۳ به دلیل استفاده از فشنگ با کالیبر سنتی آکا-۴۷ (کلاشنیکف) احتیاج به ورود حجم زیادی از مهمات یا صنایع فشنگسازی ندارد و هزینه‌ای کمتری برای ایران دربردارد
کلاش ۱۳۳ در حقیقت یک مدل سبک‌تر و کنترل‌پذیرتر از خانواده کلاشنیکف‌های سری آکا-۴۷ و آکا-ام محسوب می‌شود. کلاش ۱۳۳ وزنی در حدود ۳ کیلو و ۶۰۰ گرم داشته و طول آن ۹۴۳ میلی‌متر است.نواخت تیر آن ۶۰۰ گلوله در دقیقه و سرعت دهانه گلوله در آن ۷۱۵ متر بر ثانیه است. وزن این سلاح به نسبت کلاشهای موجود در کشور بین ۱۰۰ الی ۲۰۰ گرم سبک‌تر است. برد مؤثر آن در حدود ۵۰۰ متر است. بدنه این سلاح با مواد ضد زنگ زدگی پوشانده شده و مقاومت بسیار خوبی در برابر شرایط بد جوی و رطوبت دارد. سازوکار عملکرد کلاش ۱۳۳ مثل اکثر مدل‌های این سری گلنگدن چرخشی و استفاده از نیروی حاصل از احتراق گاز باروت است (غیر مستقیم). برگه ناظم آتش این سلاح به مانند مدل‌های قبلی خانواده «آکا» در کنار بدنه قرار گرفته و در سه حالت ضامن، تک تیر و رگبار فعالیت می‌کند. (یک مدل از این سلاح به نام آکا-۱۰۳–۲ توان شلیک سه تیر را نیز دارد)خشاب این سلاح نیز از جنس پلیمر ساخته شده‌است و یک ارتقاء مهم به نسبت خشاب‌های فلزی این سلاح‌ها محسوب می‌شود. خشاب‌های فلزی معمولاً ۴۳۰ گرم وزن دارند. اما خشاب پلیمری در حدود ۲۵۰ گرمhttp://www.khabaronline.ir/detail/564369/science/technology
کلاش ۱۳۳ سایت هدف‌گیری اپتیکی دارد که این افزونه در حالت عادی بر روی نمونه روسی نصب نشده‌است سایت هدف‌گیری در تیراندازی با دقت بالا و سرعت عمل بالاتری نسبت به نمونه عادی دارد. چراغ قوه و هدف‌گیر لیزری که در شرایط کم نوری سرعت عمل و دقت تیراندازی را به مراتب بیشتر می‌کند. سلاح‌هایی که از کالیبر ۳۹*۷٫۶۲ استفاده میکنند به‌طور معمول داری لگد بالایی هستند که در تیراندازی در حالت رگبار دقت را کاهش می‌دهند در نمونه ایرانی این سلاح دوپایه متغیر تعبیه شده‌است که در این حالت تیراندازی تأثیر مثبت در عملکرد دارد.
لم محلی لوواس یکی از لم‌های ترکیبیات است که در نظریه احتمالات استفاده می‌شود. در نظریه احتمالات، چنانچه تعداد زیادی از پیشامدهای دو به دو مستقل داشته باشیم و احتمال وقوع هر کدام کمتر از یک باشد، احتمالی (هر چند کوچک) وجود دارد که هیچ‌کدام از آن‌ها اتفاق نیفتند. لم لوواس شرط استقلال پدیده‌ها را تا حدودی نادیده می‌گیرد؛ طبق این لم، تا وقتی که پیشامدها «اکثراً» از یکدیگر مستقلند و احتمال وقوع هر یک به‌تنهایی خیلی زیاد نیست، احتمال رخ ندادن هیچ‌یک از آن‌ها وجود دارد. این لم بیشتر در متدهای ترکیبیاتی و به‌طور خاص در مسئله‌های اثبات وجود کاربرد دارد. نسخه‌های زیادی از این لم وجود دارد. ساده‌ترین و پرکاربردترین آن نسخه متقارن است که از نسخه نامتقارن بدست می‌آید.
چنانچه formula_1 مجموعه‌ای از پیشامدها در فضای نمونه‌ای Ω باشد، برای هرکدام از اعضای A, formula_2 همسایه‌های A در گراف وابستگی (اعضایی که نسبت به A مستقل نیستند) را نشان می‌دهد. اگر تابعی مانند formula_3 وجود داشته باشد که:
آنگاه درباره احتمال رخ ندادن هیچ‌یک از اعضای A رابطه زیر صادق است:
در نظر بگیریدformula_6.
مجموعه formula_7 تعریف شده‌است. اگر بتوانیم نشان دهیم formula_8، آنگاه قضیه به‌راحتی اثبات می‌شود؛ زیرا خواهیم داشت:
جهت اثبات این رابطه، formula_10 را تعریف می‌کنیم.
فرض می‌کنیم formula_11
از نتایج بدست آمده در نامساوی‌های (۱) و (۲) می‌توان نامساوی زیر را بدست آورد:
چنانچه "A", "A"... , "A" مجموعه‌ای از پیشامدهایی باشد که احتمال رخ دادن هرکدام حداکثر formula_17 است و هریک حداکثر به formula_18 پیشامد دیگر وابسته می‌باشد، سه قضیه زیر را داریم:
اگر formula_19، آنگاه داریم:
اگر formula_21، آنگاه:
اگر formula_23، آنگاه:
نسخه متقارن با قرار دادن formula_25 به‌طور مستقیم از نسخه نامتقارن بدست می‌آید. در این‌صورت به‌دلیل اینکه formula_26، می‌توان نتیجه گرفت:
و در نتیجه داریم:
formula_29 یک ابرگراف است که هر یال آن، شامل حداقل formula_33 رٵس است و با حداکثر formula_18 یال دیگر اشتراک دارد. برای چه formula_33 و formula_18‌هایی، formula_37 دارای رنگ‌آمیزی دوتایی است؟
حل: ما یک رنگ‌آمیزی تصادفی با احتمال یونیفرم را در نظر می‌گیریم. در نظر بگیرید formula_38 حالتی باشد که یال formula_39 تک‌رنگ شده باشد. احتمال وقوع این اتفاق، برابر است با:
اگر این مقدار را برابر با formula_17 در نظر بگیریم، باید formula_18 را طوری در نظر بگیریم که شرایط لم لواس برقرار شود؛ یعنی formula_43. این نامساوی با قرار دادن formula_44 بدست می‌آید.
در مسٵلهٔ m ,k-SAT عبارت داده شده‌است formula_45 که هر کدام k جمله دارند. فرض کنید formula_46 پیشامدی باشد که در آن، عبارت i-ام درست نباشد؛ یعنی تمام k جملهٔ آن غلط باشد.
در این صورت، گراف وابستگی به این شکل تعریف می‌شود :
formula_48 اگر و تنها اگر formula_49 و formula_50 حداقل یک جملهٔ مشترک داشته باشند.
می‌دانیم هر formula_51 با یک احتمال formula_52 محدود شده‌است و احتمال اتفاق افتادنش حداکثر formula_17 است. خواستهٔ مسٵله، formula_54 است. برای بدست آوردن شرایط لم لوواس، باید داشته باشیم:
formula_55 که در این‌جا، formula_18 همان بیشترین درجه است و داشتیم formula_57 . در نتیجه داریم:
به این نتیجه می‌رسیم که هر رٵس در گراف وابستگی، باید حداکثر با formula_61 رٵس دیگر همسایه باشد.
انست‌وده (به هلندی: Onstwedde) یک منطقهٔ مسکونی در هلند است که در استادس‌کانال واقع شده‌است. انست‌وده ۲٫۸۶۵ نفر جمعیت دارد.
خریپس‌کرک (به هلندی: Grijpskerk) یک منطقهٔ مسکونی در هلند است که در زایدهورن واقع شده‌است. خریپس‌کرک ۲٬۸۰۹ نفر جمعیت دارد.
هیلیخرلی (به هلندی: Heiligerlee) یک منطقهٔ مسکونی در هلند است که در شهرستان الدآمبت واقع شده‌است. هیلیخرلی ۲٫۳۴ کیلومتر مربع مساحت و ۱٬۴۴۰ نفر جمعیت دارد.
وستینگه (به هلندی: Wetsinge) یک منطقهٔ مسکونی در هلند است که در وینسوم واقع شده‌است. وستینگه ۶۰ نفر جمعیت دارد.
شبنم بهشت (زاده ۹ آذر ۱۳۷۷ در دهدشت) بازیکن فوتبال اهل ایران و باشگاه شهرداری سیرجان و عضو تیم ملی فوتبال زنان ایران است.
شبنم بهشت در ۹ آذر ۱۳۷۷ در شهر دهدشت استان کهگیلویه و بویراحمد متولد شد. بهشت ورزش را با فوتسال شروع کرد و بعدها با فوتبال ادامه داد. بهشت نخستین بار در خرداد ماه ۱۳۹۲، توسط مهناز امیر شقاقی به اردوی تیم ملی نوجوانان (زیر ۱۶ سال) دعوت شد. او تاکنون برای تیم‌های ملی نوجوانان، جوانان و بزرگسالان ایران بازی کرده و موفق به گلزنی شده است.
در فصل ۹۵–۱۳۹۴ لیگ برتر فوتبال بانوان ایران شبنم بهشت با وجود این که مهاجم نوک است کمتر گل زد و بیشتر نقش بازی ساز و طراح را داشت. او در آن فصل ۱۳ گل زد و ۷ پاس گل داد و در قهرمانی تیم شهرداری سیرجان نقش مهمی ایفا کرد و به همین دلیل به عنوان بهترین بازیکن لیگ بانوان انتخاب شد.http://video.varzesh3.com/video/119713/شبنم-بهشت؛-بهترین-بازیکن-فوتبال-بانوان-ایرانhttp://www.varzesh3.com/news/1343208/شبنم-بهشت-بهترین-بازیکن-فوتبال-بانوان-شد
رایانه شیمیایی ، که به نام‌های رایانه‌های واکنشی-انتشاری یا رایانه‌های BZ (نام‌گذاری شده به یاد دانشمندان Belousov و Zhabotinsky) نیز شناخته می‌شوند، رایانه‌هایی خلاف عرف هستند که بر پایهٔ یک ترکیب شیمیایی نیمه‌جامد به نام «سوپ» کار می‌کنند. در چنین رایانه‌هایی داده‌ها بر اساس غلظت این محلول نمایش داده می‌شوند. محاسبات نیز به صورت واکنش‌های شیمیایی اجرا می‌شوند. همان گونه که ملاحظه می‌شود، ورودی‌ها در این رایانه‌ها، بر خلاف رایانه‌های دودویی، می‌توانند به صورت آنالوگ باشند.
تا کنون این رایانه‌ها در مرحلهٔ آزمایشی هستند، ولی ممکن است در آینده کاربردهای فراوانی برای آن‌ها پیدا شود.
سادگی ذاتی این تکنیک عاملی‌ست که می‌تواند باعث برتری آن در مقابل رقیبانش شود. میکروپروسسورهای جدید ساختار بسیار پیچیده‌ای دارند و در هنگام ساخت ممکن است تنها به دلیل تغییرات جزئی در محیط دچار آسیب شوند.
در میکروپروسسورهای سنتی حرکات بیت‌ها مثل حرکات ماشین‌ها در ترافیک است. به معنی این که آن‌ها تنها می‌توانند از مسیرهای مشخصی حرکت کنند، هنگام ترافیک در صف بایستند و در یک لحظه تنها می‌توانند در یکی از مسیرها باشند. این در حالی‌ست که در رایانه‌های BZ، امواج می‌توانند در همهٔ مسیرهای قابل تصور حرکت کنند: از میان یکدیگر، به صورت دورشونده یا نزدیک‌شونده. این ویژگی‌ها در رایانه‌های BZ است که باعث می‌شود این رایانه‌ها بتوانند میلیاردها برابر رایانه‌های سنتی داده پردازش کنند. می‌توان این رایانه‌ها را به مغز انسان‌ها تشبیه کرد. با این که سرعت انتقال داده در این پروسسورها بسیار بیش‌تر از نورون‌هاست، اما کارهایی هست که مغز سریع‌تر انجام می‌دهد. این به این دلیل است که مغز می‌تواند داده‌های بسیار بیش‌تری را در آن واحد پردازش کند.https://web.archive.org/web/20150615085700/http://www.ijirt.org/paperpublished/IJIRT101166_PAPER.pdf
در آغاز واکنش‌های شیمیایی تنها به عنوان قدمی به سمت تعادل دیده می‌شدند، که قاعدتاً انتخاب خوبی برای انجام محاسبات نبودند. این دیدگاه با کشف بوریس پاولویچ بلوسوف، دانشمندی اهل شوروی، در سال ۱۹۵۰ تغییر کرد. او واکنشی شمیایی میان نمک‌ها اسیدها تولید کرد که بین رنگ‌های زرد و آبی دائماً در حال گردش است. این رخداد به این دلیل است که غلظت مواد در محلول به صورت نوسانی در حال تغییر است. در آن زمان این امر به نظر غیرممکن می‌رسید، زیرا قانون دوم ترمودینامیک را نقض می‌کرد؛ این قانون می‌گوید که آنتروپی در یک سیستم بسته تنها می‌تواند بیش‌تر شود. این به این معناست که اجزای محلول آن‌قدر پخش می‌شوند تا تعادل برقرار شود. در این صورت امکان تغییر غلظت وجود ندارد.
تحلیل‌های نظری که امروزه انجام می‌شود نشان داده است که واکنش‌های شیمیاییِ به اندازهٔ کافی پیچیده می‌توانند باعث پدیده‌های موجی شوند، که تناقضی با قوانین طبیعت ندارد. یک مثال واضح و مرئی توسط بلوسوف و ژابوتینسکی به حقیقت پیوست که امواجی مارپیچی از رنگ‌های متفاوت را نمایان می‌کند.
خواص موجی واکنش BZ به این معناست که می‌تواند اطلاهعات را همچون هر موج دیگری منتقل کند. پس تنها احتیاج به طراحی روشی برای محاسبات وجود دارد. در رایانه‌های دودویی، این محاسبات در میکروچیپ‌ها توسط ترکیبی پیچیده از گِیت‌ها منطقی انجام می‌شود. در این سیستم اثبات می‌شود که گِیت NAND (گِیتی که به ازای دو ورودی یک مقدار صفر، و به ازای هر ترکیب دیگری مقدار یک را می‌دهد) برای پیاده‌سازی هر ترکیبی کافی‌ست. در رایانههای شیمیایی گِیت‌های منطقی به صورت انسداد و تشدید موج‌های غلظت توسط یکدیگر پیاده‌سازی می‌شوند.
این واکنش‌های شیمیایی در محیط عملیاتی مولکولی (Molecular Operating Environment (MOE)) انجام می‌شود.
این محیط عملیاتی یک پلتفرم نرم‌افزاری اکتشاف دارو می‌باشد که تصویرسازی، مدل‌سازی و شبیه‌سازی، و همچنین توسعهٔ متدولوژی، را در یک پکیج یکپارچه می‌کند. MOE روی سیستم عامل‌های ویندوز، لینوکس، یونیکس، و مَک کار می‌کند. زبان فرماندهی، برنامه‌نویسی و توسعهٔ نرم‌افزار MOE، زبان عملی برداری (Scientific Vector Language (SVL)) می‌باشد. با استفاده از این زبان، حجم کدنویسی نسبت به زبان‌های C و FORTRAN یک‌دهم می‌شود.
در سال ۱۹۸۹ چگونگی پردازش تصاویر با واکنش‌های شیمیاییِ حساس به نور نشان داده شد. این امر یک صعود ناگهانی را در زمینهٔ رایانه‌های شیمیایی موجب شد. اندرو آداماتزکی در یکی از دانشگاه‌های انگلستان (The University of the West of England) به گِیت‌های منطقی ساده با استفاده از فرایندهای واکنشی-انتشاری دست یافته‌است. همچنین او به صورت نظری نشان داد که می‌توان با مدل‌سازی “2+ medium” محاسبات را انجام داد. او از یک مقاله دربارهٔ محسابات توسط توپ‌های بیلیارد الهام گرفت. بر اساس این مقاله، دو توپ نمایانگر دو بیت مختلف هستند. به‌طور مثال برای گِیت AND اگر هر دو توپ به یک نقطه برخورد کنند، خروجی یک، و در غیر این صورت خروجی صفر است. برخورد تنها زمانی رخ می‌دهد که هر دو توپ به یک نقطه پرتاب شوند. مشابه این روش در علوم الکترونیک نیز استفاده می‌شود. آداماتزکی این اصل را به مواد شمیایی BZ منتقل کرد و توپ‌های بیلیارد را با امواج جایگزین نمود: اگر دو موج در محلول برخورد کنند موج سومی تولید می‌کنند که به عنوان «یک» دیده می‌شوند. او این نظریه را به صورت عملی آزمایش کرده و در حال تلاش برای تولید یک ماشین حساب شیمیایی جیبی‌ست که از هزاران نسخهٔ شیمیایی گِیت‌های منطقی ساخته شده‌است. یک از مشکلات نسخهٔ کنونی این تکنولوژی سرعت امواج است؛ آن‌ها به سرعت تنها چند میلی‌متر در دقیقه نشر پیدا می‌کنند. به گفتهٔ آداماتزکی این مشکل با نزدیک کردن گِیت‌ها حل می‌شود. در این صورت سیگنال‌ها به سرعت انتقال می‌یابند. یک راه حل دیگر می‌تواند واکنش‌های شیمیایی جدیدی باشد که در آن‌ها سرعت نشر امواج بیش‌تر باشد.
در سال ۲۰۱۴ یک سیستم محاسبات شیمیایی توسط یک گروه بین‌المللی به رهبری آزمایشگاه‌های فدرال سوییس برای علوم و تکنولوژی مواد (Swiss Federal Laboratories for Materials Science and Technology (Empa)) تولید شد. این رایانه شیمیایی برای یافتن کارآمدترین مسیر میان دو نقطه، از محاسبات کشش سطحی برگرفته از اثر مارانگونی با استفاده از یک ژل اسیدی بهره می‌گیرد؛ این سیستم توانست از یک سیستم مسیریاب ماهواره‌ای جلو بزند.http://www.engineering.com/DesignerEdge/DesignerEdgeArticles/ArticleID/8806/Chemical-GPS-Outpreforms-Satellite-Navigation-System.aspx
در سال ۲۰۱۵ فارغ‌التحصیلان دانشگاه استنفورد، رایانه‌ی با استفاده از میدان‌های مغناطیسی و قطرات آبِ پُرشده از نانوذرات مغناطیسی ساختند. این رایانه بعضی از اصول پایه‌ای یک رایانه شیمیایی را نمایش می‌دهد.
در سال ۲۰۱۵ دانشجویان دانشگاه واشینگتن زبان برنامه‌نویسی برای واکنش‌های شیمیایی تولید کردند. لازم است ذکر شود این زبان ابتدائاً برای آنالیز DNA طراحی شده بود. در این رایانه از شبکه‌های واکنش‌های شیمیایی به عنوان زبان برنامه‌نویسی استفاده شده‌است. پس معماری DNA در اصل می‌تواند هر رفتار ریاضی را توصیف کند. اجزای کنترلی در این رایانه می‌توانند از DNA طبیعی باشند که باعث کاهش چشم‌گیر خطا در مقابل استفاده از DNAهای شیمیایی مصنوعی می‌شود.https://www.geekwire.com/2013/programming-language-dna/
جیجاق‌های بلوطی یا جیجاق‌های بلوط‌خوار (یا جیجاق‌های جنگلی یا جیجاق‌های جیرجیری)، نام یک سرده از تیره کلاغان است.
دو گونۀ جیجاق اوراسیایی و جیجاق لیدت به طور عمده در جنگل‌های بلوط زیست می‌کنند. این دو گونه بیشتر از دانۀ بلوط و نیز گونۀ جیجاق سرسیاه به طور بخشی از دانۀ بلوط تغذیه می‌کنند. همچنین رنگ بدن در جیجاق لیدت به رنگ بلوطی پُررنگ در دو گونۀ دیگر، بلوطی کم‌رنگ است.
این سرده سه گونه زنده دارد:
جیجاق سرسیاه یا جیجاق نیزه‌ای نام یک گونه از سرده جیجاق‌های بلوطی است.
جیجاق لیدت نام یک گونه از سرده جیجاق‌های بلوطی است.
کلاغ‌واران نام یک بالاخانواده از راسته گنجشک‌سانان است.
زاغ‌های زمینی نام یک سرده از تیره کلاغان است.
جیجاق‌های بوته‌ای نام یک سرده از تیره کلاغان است.
کتابخانه میراث تنوع زیستی ،(خلاصه شده:BHL) کنسرسیومی از کتابخانه‌های تاریخ طبیعی و گیاه‌شناسی است که برای دیجیتالی کردن و در دسترس قرار دادن ادبیات میراث تنوع زیستی که درکتابخانه‌هایشان وجود دارد همکاری کرده و تلاش می‌کنند کتاب‌های مربوطه در دسترس آزاد و استفاده مسئولانه همگان قرار بگیرد.
سر لینتون کیت کرازبی (به انگلیسی: Sir Lynton Keith Crosby؛ زادهٔ ۲۳ اوت ۱۹۵۶) راهبردشناس سیاسی استرالیایی است که مدیریت کارزارهای انتخاباتی را برای احزاب راست میانه در چندین کشور بر عهده داشته‌است.
کرازبی را «ارباب شگردهای تاریک سیاسی»، «جادوگر شهر اوز»، و «کارل روف استرالیایی» خوانده‌اند. روزنامهٔ "دی ایج" در ۲۰۰۲ کرازبی را «از قدرتمندترین و متنفذترین شخصیت‌های کشور [استرالیا]» توصیف کرد.
کرازبی پس از فارغ‌التحصیل شدن از دانشگاه آدلاید با فعالیت در حزب لیبرال استرالیا وارد عرصهٔ سیاست شد و در نهایت در ۱۹۹۷ به سرپرستی حزب در سطح فدرال منصوب شد. او بر کارزارهای موفق حزب در انتخابات فدرال ۱۹۹۶، ۱۹۹۸، ۲۰۰۱، و ۲۰۰۴ نظارت کرد. در پی موفقیت‌های متوالی حزب در انتخابات، جان هوارد به دومین نخست‌وزیر استرالیا از لحاظ طول دورهٔ خدمت مبدل شد. کرازبی در ۲۰۰۲ منصبش در حزب را ترک کرد تا یک شرکت مشاور به نام گروه تکستور کرازبی تأسیس کند.
کرازبی با مدیریت کارزار ناموفق حزب محافظه‌کار بریتانیا در انتخابات سراسری ۲۰۰۵، برای اولین بار درگیر سیاست خارجی شد. او مسئول کارزار انتخاباتی شورای شهر لندن در سال‌های ۲۰۰۸ و ۲۰۱۲ و نیز انتخابات سراسری بریتانیا در ۲۰۱۵ بود که همگی موفق بودند. اما کارزار انتخاباتی حزب محافظه‌کار در انتخابات ۲۰۱۶ شورای شهر لندن به مدیریت او چندان موفق نبود و حزب کارگر پیروز شد. علاوه بر استرالیا و بریتانیا، کرازبی در نقش مشاور احزابی در کانادا، نیوزیلند، و سری‌لانکا نیز ظاهر شده‌است. کرازبی در انتخابات ۲۰۰۹ پارلمان اروپا مشاور حزب لیبرتاس، از احزاب طرفدار پان‌اروپا، بود.
هایفما وجود خون در اتاق قدامی چشم می‌باشد، به صورت خونریزی یا رگه‌های خون در پایین قرنیه یا عنبیه دیده می‌شود
از سال ۲۰۱۲ میزان هایفما در ایالات متحده آمریکا حدود ۲۰ مورد در ۱۰۰,۰۰۰ نفر در سال گزارش شده‌است.
هایفما اغلب توسط ضربه ایجاد می‌شود ممکن است تا حدی یا کامل جلوی دید را بگیرد، شایع‌ترین علل هایفما عمل جراحی داخل چشمی، ضربه یا به صورت خود به خودی می‌شود، هایفما خود به خودی بدون هر گونه ضربه‌ای رخ می‌دهد که معمولاً به علت رشد غیرطبیعی عروق خونی، تومور چشم، یووئیت یا ناهنجاری‌ها ی عروقی می‌باشد، عللی مانند دیستروفی میوتونیک، سرطان خون، هموفیلی و بیماری خونی ویلبراند یا داروهای رقیق کنندهٔ خون مثل آسپرین و وارفارین یا نوشیدن الکل نیز می‌تواند آن را ایجاد کند.
هایفما نیاز به بررسی توسط یک چشم پزشک یا اپتومتریست دارد چون ممکن است باعث اختلال دائمی در بینایی گردد به‌طور طولانی مدت ممکن است باعث هموسیدروز و هتروکورومی شود. تجمع خونی باعث افزایش فشار داخل چشم می‌شود که این میزان افزایش حتی بعد از از بین رفتن هایفما حدود ۶روز باقی می‌ماند.
اهداف اصلی درمان عبارتند از کاهش خطر ابتلا به خونریزی مجدد، رنگ آمیزی قرنیه و آتروفی عصب بینایی است، هایفما کم به صورت سرپایی درمان می‌شود، برنامه‌هایی مانند بالا نگه داشتن سر در شب با زاویه ۴۵ درجه، استفاده از یک چشم‌بند برای پیشگیری از ضربه به چشم در طی خواب می‌باشد، جراحی برای علل غیر از هایفما مثلاً فشار بالای چشم که به دارو پاسخ نمی‌دهد می‌باشد، اگر درد دارد استامینوفن مؤثر است از آسپرین و بروفن باید اجتناب شود. در مورد استفاده از یک داروی استروئید یا میدریاتنیک در بین چشم پزشکان بحث و گفتگو است، استروئئید التهاب را کم می‌کند اما عوارض جانبی دارد و حدف از میدریاتیک برای جلوگیری از چسبندگی می‌باشد
در اکثر مواقع هایفما خود به خود از بین می‌رود اما گاهی مواقع عوارض دارد، هایفما بعد از ضربه ممکن است باعث افزایش فشار چشم و چسبندگی، آتروفی عصب بینایی و باقی ماندن خون در قرنیه، خونریزی مجدد و آسیب تطابقی شود. خونریزی مجدد در ۴ تا ۳۵ درصد موارد رخ می‌دهد و یک عامل خطرناک برای ایجاد آب سیاه می‌باشد.
Sheppard, John D. "Hyphema". WebMD, LLC. Medscape. Retrieved 29 November 2012.
Walton, William; Von Hagen, Stanley; Grigorian, Ruben; Zarbin, Marco (July–August 2002). "Management of Traumatic Hyphema". Survey of Ophthalmology. 47 (4): 297–334. PMID 12161209. doi:10.1016/S0039-6257(02)00317-X. Retrieved 29 November 2012.
Crawford, JS; Lewandowski, RL; Chan, W (September 1975). "The effect of aspirin on rebleeding in traumatic hyphema.". American journal of ophthalmology. 80 (3 Pt 2): 543–5. PMID 1163602.
Recchia, Franco M.; Aaberg Jr., Thomas; Sternberg Jr., Paul (2006-01-01). Hinton, David R.; Schachat, Andrew P.; Wilkinson, C. P., eds. Chapter 140 - Trauma: Principles and Techniques of Treatment A2 - Ryan, Stephen J. Edinburgh: Mosby. pp. 2379–2401. ISBN 9780323025980. doi:10.1016/b978-0-323-02598-0.50146-4.
Gharaibeh, Almutez; Savage, Howard I.; Scherer, Roberta W.; Goldberg, Morton F.; Lindsley, Kristina (2013-12-03). "Medical interventions for traumatic hyphema". The Cochrane Database of Systematic Reviews (12): CD005431. ISSN 1469-493X. PMC 4268787 . PMID 24302299. doi:10.1002/14651858.CD005431.pub3.
محسن عباسی (۱ بهمن ۱۳۴۳ در تهران) نویسنده ایرانی است. از وی تاکنون چهار مجموعه داستان کوتاه و همچنین سه رمان منتشر شده است.
وی فارغ‌التحصیل مهندسی برق - الکترونیک از دانشگاه سیستان و بلوچستان و کارشناس ارشد پژوهش هنر از دانشگاه آزاد واحد تهران مرکز می‌باشد.
مجموعه داستان کوتاه
تازه شروع شده () یک فیلم در ژانر اکشن کمدی به کارگردانی ران شلتون است که در سال ۲۰۱۷ منتشر شد. از ستارگان این فیلم می‌توان به مورگان فریمن، تامی لی جونز و رنه روسو اشاره کرد.
در ۱۴ می ۲۰۱۶ اعلام شد که برود گرین پیکچرز قرار است با همکاری انترتینمنت وان فیلمی به کارگردانی ران شلتون بسازند که مورگان فریمن و تامی لی جونز در این فیلم به ایفای نقش خواهند پرداخت. در ۹ جوئن ۲۰۱۶ اعلام شد که رنه روسو در کنار فریمن و جونز از بازیگران اصلی این فیلم خواهد بود. در ۱۵ اوت ۲۰۱۶ فیلمبرداری این پروژه در نیومکزیکو آغاز شد.
هایپوپیون یا هایپوپیِن به وجود سلول‌های التهابی در اتاق قدامی چشم گویند، که این تجمع گلوبولهای سفید همراه با قرمزی ملتحمه و اپی اسکلرا می‌باشد، یک علامت التهاب عنبیه و یووه‌آ می‌باشد، که شکلی از یووئیت قدامی است، می‌تواند به صورت استریل یا غیر استریل باشد.
هایپوپیون می‌تواند در زخم قرنیه، بیماری بهجت، اندوفتالمیت، یووئیت و واکنش به داروها وجود داشته باشد، به عنوان چرک استریل هم شناخته می‌شود که به علت رها شدن توکسین می‌باشد، هایپوپیون تنها چرک در بدن است که هیچ درمان خاصی به عنوان درمان علت زمینه‌ای ندارد؛ هایپوپیون معکوس وجود دارد که پس از ویترکتومی که با تزریق روغن سیلیکون انجام می‌شود و این روغن به اتاق قدامی تراوش می‌کند و این نوع هایپوپیون را ایجاد می‌کند.
هایپوپیون نباید تخلیه شود بخاطر اینکه محافظی در برابر پاتوژنهای مهاجم گلبولهای سفید است البته به صورت طولانی مدت باعث گلوکوم زاویه بسته و چسبندگی قدامی می‌شود.
Huang, John H.; Gaudio, Paul A., eds. (2010). "Hypopyon". Ocular Inflammatory Disease and Uveitis: Diagnosis and Treatment. Lippincott Williams & Wilkins. p. 204.
"Narrow-Angle Glaucoma". allaboutvision.com. Retrieved 16 November 2016.
"Peripheral Anterior Synechia Treatment & Management: Medical Care, Surgical Care, Consultations". emedicine.medscape.com. 18 October 2016. Retrieved 16 November 2016.
برود گرین پیکچرز () یک شرکت تولید، توزیع و تأمین مالی فیلم آمریکایی است. این شرکت در سال ۲۰۱۴ توسط گابریل هاموند و با مدیریت ارشد دنیل هاموند تأسیس شد.
آدام کین، معاون سابق شرکت برادران وارنر، در ۲۵ مارس ۲۰۱۵ به عنوان مدیر تبلیغات توسط برود گرین پیکچرز به صورت اجاره‌ای استخدام شد. در آوریل ۲۰۱۵ کریستوفر تریکاریو به عنوان معاون اجرایی امور کسب و کار و مشاور عمومی شرکت استخدام شد. در همان ماه جرمی فوچس به عنوان مدیریت بخش فناوری شرکت استخدام شد. در می ۲۰۱۵ تراویس راید رئیس بخش توزیع سینمایی شد. دیلن ویلی در همان ماه به عنوان رئیس بخش اکران خصوصی فیلم‌ها شد. در ژوئیه ۲۰۱۵، مارک دانون به عنوان رئیس بخش مالکیت و همکاری تولید شرکت به این کمپانی پیوست و شغلش را در لاینزگیت به عنوان مسئول بخش توسعه کسب و کار و مالکیت رها کرد. در ۳ سپتامبر ۲۰۱۵ الیکس مادیگان به عنوان مسئول امور تولید در برود گرین پیکچرز استخدام شد.
قضیه تا و برش می‌گوید هر شکل با کناره‌های صاف را می‌توان با تعدادی تای مسطح و یک برش مستقیم از یک برگ کاغذ درآورد.. این شکل‌ها شامل چندضلعی‌های محدب و غیر محدب و اشکال سوراخ‌دار یا ترکیب این‌ها با هم می‌شوند (یعنی شکل‌ها لزومی ندارد به‌هم‌پیوسته باشند).
مسئله‌ای که این قضیه آن را حل کرده‌است، مسئله‌ای تحت عنوان مسئلهٔ تا و یک برش است که می‌پرسد چه شکل‌هایی را می‌توان به روش تا و یک برش از کاغذ درآورد. مثال خاصی از این مسئله می‌پرسد که چگونه یک شکل خاص را با روش تا و یک برش بدست آورد.
اولین توصیف از یک مسئلهٔ تا و یک برش در کتاب Wakoku Chiyekurabe (مسابقات ریاضی) در سال ۱۷۲۱ توسط کن‌چوسن در ژاپن منتشر شد.The Fold-and-Cut Problem: Kan Chu Sen's Wakoku Chiyekurabe, Erik Demaine, 2010, retrieved 2013-10-20.
در سال ۱۸۷۳ مقاله‌ای در ماهنامه جدید هارپر توضیح می‌دهد که احتمالاً بتسی راس [انگلیسی|Betsy Ross] پیشنهاد داده‌است که ستاره‌های روی پرچم آمریکا پنج‌پر باشند، چون این شکل را به راحتی می‌توان به روش تا و یک برش بدست آورد.
قضیه توسط سه محقق، که اریک دیمین هم میان آن‌ها بود، اثباتی که آن‌ها ارائه دادند کامل نبود و همه اشکال را پوشش نمی‌داد. در واقع این اثبات تقریباً همهٔ شکل‌ها را پوشش می‌داد. بعداً اریک دیمین با سه محقق دیگر اثبات متفاوتی ارائه دادند که همهٔ شکل‌ها را شامل می‌شد ولی یک ایراد دیگر در اثبات وجود داشت. در حال حاضر این اثبات دو بار به‌طور مستقل اصلاح و قضیه دوباره بازیابی شده‌است..
در این‌جا به اثباتی می‌پردازیم که تقریباً همه شکل‌ها را پوشش می‌دهد. ساختار کار یک شبکه از خطوط به نام اسکلت مستقیم است. اسکلت مستقیم به این شکل به دست می‌آید که اضلاع شکل را با نرخ ثابتی به موازات خودش به سمت داخل و خارج شکل حرکت می‌دهیم (به این کار انقباض و انبساط شکل می‌گوییم) از به هم متصل کردن گوشه‌های شکل‌های منبسط و منقبض شده اسکلت مستقیم بدست می‌آید. شکل روبرو روش به دست آوردن اسکلت مستقیم برای مستطیل را نشان می‌دهد.
در حالت کلی، دو ابزار اصلی برای اثبات داریم: ۱- اسکلت مستقیم را بدست آوریم. ۲-از رئوس اسکلت مستقیم خطوط عمودی به اضلاع شکل رسم کنیم. خواهیم دید که همه خطوط عمودی که می‌کشیم به کار نمی‌آیند، ولی این از جزئیاتی است که در این متن به آن پرداخته نمی‌شود.
این روش شاید برای مستطیل یا مثلث بدیهی به نظر برسد، ولی برای شکل‌های با فرورفتگی یا تقعر چندان واضح نیست. در شکل بعدی می‌توانید اسکلت مستقیم و خطوط عمود کشیده شده برای یک شکل با تقعر را ببینید.
ادوارد لوکاس دانشمند فرانسوی سده نوزدهم اولین نفری بود که دنباله عددی زیر را به فیبوناتچی نسبت داد که دنباله لوکاس (Lucas sequence) نامیده شده‌است.
با این حال ساده‌ترین دنباله دیگر که جمله عمومی آن با جمله عمومی دنباله فیبوناتچی برابر است و تفاوت در دو عدد اول این دنبالهاست، دنباله لوکاس نام Discrete Mathematics and its Applications- Kenneth H. Rosen دارد که به صورت رشته عددی زیر است:
و یا به عبارتی:
این دنباله نزدیک‌ترین دنباله به دنباله فیبوناتچی است.
نکته: دنباله لوکاس را به صورت زیر روی Z تعمیم می‌دهیم:
آنگاه formula_5
جینگوئیسم نوعی ملی‌گرایی افراطی با مشخصهٔ اصلی سیاست خارجی تهاجمی است. جینگوئیسم تمایل یک کشور به استفاده از تهدید یا زور، به جای برقراری روابط مسالمت‌آمیز و صلح‌طلبانه، برای دفاع از منافع ملی‌اش است. جینگوئیست‌ها کشور خود را برتر می‌دانند و در هر موقعیتی جانبدارانه طرف خودی را می‌گیرند.
خاستگاه لغوی جینگوئیسم به بریتانیا بر می‌گردد که رویکرد ستیزه‌جویانه نسبت به روسیه در خلال جنگ‌های روسیه با عثمانی در دههٔ ۱۸۷۰ شدت گرفته بود.
در نظریه گراف، قضیه جداکننده سطحی شکلی از نامساوی ایزوپریمتریک برای گراف‌های مسطح است که بیان می‌کند که هر گراف مسطح را می‌توان با حذف کردن تعداد کمی از رئوس به قطعات کوچکتر تقسیم کرد. به‌طور خاص، حذف formula_1 راس از یک گراف n راسی (جایی که O نماد O بزرگ را فراخوانی می‌کند) می‌تواند گراف را به زیرگراف‌های ناهمبند که هر یک formula_2 راس دارند افراز کند.
قضیه جداکننده سطحی بیان می‌کند که در هر گراف مسطح n راسی ، formula_3 افرازی برای رئوس وجود دارد که G را به سه مجموعهٔ A, S و B تقسیم‌بندی می‌کند. اینگونه که A و B هرکدام حداکثر formula_2 راس و S, formula_1 راس دارد. همچنین یالی وجود ندارد که یک سر آن در A و سر دیگر آن در B باشد. نیازی نیست که A و B زیرگراف‌های همبند G باشند. S را نیز جداکننده برای این افراز می‌نامیم.
بیان معادل این است که یال‌های هر گراف مسطح formula_6 راسی G ممکن است به دو زیرگراف ناهمبند G1 و G2 تقسیم شود به صورتی که هر دو زیرگراف حداقل formula_7 راس دارند و تقاطع مجموعه راس‌های دو زیرگراف شامل راس formula_1 است. همچین افرازی به separation شناخته می‌شود. اگر separation داده شود، تقاطع مجموعه‌های راس‌ها، جداکننده را تشکیل می‌دهد و راس‌هایی که فقط به یک زیرگراف تعلق دارد، زیرمجموعهٔ separated با حداکثر formula_2 راس تشکیل می‌دهد. از لحاظ دیگر، اگر یک جداکننده به سه مجموعه S, A و B با شرایط قضیه جداکننده سطحی داده شود، می‌توان separation تشکیل داد که یال‌هایی که سر آن در A است به G1 و یال‌هایی که سر آن در B است به G2 تعلق داشته باشد و یال‌های باقی‌مانده (که دو سر آن در S است) به صورت دلخواه تقسیم‌بندی می‌شود.
ثابت ۲/۳ در بیان قضیه جداکننده دلخواه است و می‌تواند با هر عددی در بازهٔ باز (۱ , ۱/۲) جایگزین شود بدون آنکه صورت قضیه تغییر کند.
یک گراف شبکه‌ای (grid graph) با r سطر و c ستون در نظر بگیرید. عدد n، تعداد رئوس برابر rc است. برای نمونه اگر r=۵، c=۸ و n=۴۰. اگر r فرد باشد، یک سطر مرکزی و در غیر اینصورت دو سطر که به‌طور هم اندازه نزدیک به مرکزند وجود دارد. به‌طور مشابه، اگر c فرد باشد، یک ستون مرکزی و در غیر اینصورت دو ستون که به‌طور هم اندازه نزدیک به مرکزند وجود دارد. S را یکی از این سطرها یا ستون‌ها در نظر می‌گیریم و سپس S را از گراف حذف می‌کنیم. گراف به دو زیر گراف همبند A و B تقسیم می‌شود و هر کدام حداکثر n/2 راس دارند. اگر r<=c (مانند نمونه)، اگر ستون مرکزی را انتخاب کنیم، جداکننده S حداکثر formula_1 راس دارد و به‌طور مشابه اگر c<=r آنگاه با انتخاب سطر مرکزی S حداکثر formula_1 راس خواهد داشت. پس هر گراف شبکه‌ای (gird graph) دارای جداکنندهٔ S حداکثر با اندازهٔ formula_1 است که اگر حذف شود، گراف را به دو جزء همبند تقسیم می‌کند که اندازهٔ هرکدام حداکثر n/2 است.
تجزیه جداکننده می‌تواند یک طراحی کارآمد الگوریتم تقسیم و حل برای حل کردن مسائل گراف‌های مسطح باشد. برای نمونه، یک مسئله که از این راه حل می‌شود، پیدا کردن کوچکترین دور در یک گراف جهت‌دار مسطح وزن‌دار است. این مسئله با گام‌های زیر حل می‌شود:
• گراف داده شده G را با توجه به قضیه جداکننده مسطح به سه زیرمجموعه A, B و S تقسیم می‌کنیم.
• به صورت بازگشتی کوچکترین دور در A و B را جستجو می‌کنیم.
• به ازای هر راس s در S، کوچکترین دور که s در آن است را توسط الگوریتم دکسترا پیدا می‌کنیم.
• کوچکترین دوری که به وسیلهٔ گام‌های بالا پیدا شده‌است را بازمی‌گردانیم.
الگوریتم دکسترا کوچکترین دور را در زمان formula_13 پیدا می‌کند.
با استفاده از برنامه‌نویسی پویا روی یک درخت تجزیه یا شاخه تجزیه یک گراف مسطح، بسیاری از مسائل بهینه‌سازی ان‌پی سخت ممکن است در زمان نمایی formula_1 یا formula_15 حل شود. مثال‌های به این صورت شامل یافتن حداکثر مجموعه‌های مستقل، درخت اشتاینر، مسیر همیلتونی و مسئله فروشنده دوره‌گرد می‌باشد. روش‌های مشابهی شامل قضیه جداکننده برای گراف‌های هندسی حل مسئله فروشنده دوره‌گرد، سفر اقلیدسی و مسئله ساختار درخت اشتاینر در محدودیت زمان به همین شکل استفاده می‌شود.
جداکننده‌ها ممکن است که تشکیل یک سلسله مراتب جداکننده یک گراف مسطح یک تجزیه بازگشتی و تشکیل گراف‌های کوچکتر بدهند. می‌توان سلسله مراتب جداکننده را با درخت دودویی نشان داد. اینگونه که ریشه خود گراف است و دو فرزند ریشه، ریشه‌های ساختار سلسله مراتب بازگشتی است برای زیرگراف‌های القایی که از دو زیرمجموعه A و B تشکیل شده‌است.
سلسله مراتب جداکننده این شکل، پایه تجزیه درختی گراف داده شده را تشکیل می‌دهد که در آن مجموعه راس‌های مرتبط با هم گره درخت یک جداکننده یکتا روی مسیر از آن گره به ریشه آن درخت است. آز آنجایی که اندازه گراف‌ها با یک ضریب ثابت در هر سطح درخت کم می‌شود، کران بالای اندازه جداکننده‌ها نیز با یک ضریب ثابت در هر سطح کم می‌شود. پس اندازه اضافه کردن جداکننده به این مسیر از سری هندسی پیروی کرده و در زمان formula_1 اجرا می‌شود. به این معنا که یک جداکننده که از این راه تشکیل می‌شود دارای عرض formula_1 است و مورد استفتده قرار می‌گیرد برای نشان دادن اینکه همهٔ گرافهای مسطح دارای عرض درختی formula_1 است.
Lipton, Richard J. ; Tarjan, Robert E. (1980), "Applications of a planar separator theorem", SIAM Journal on Computing, 9 (3): 615–627, doi:10.1137/0209046
در ریاضیات، قضیه ساختار گراف یک نتیجه عمده در زمینه نظریه گراف است. نتیجه برقرار عمیق و اساسی در ارتباط بین نظریه گراف جزئی و برازش گراف است. این قضیه که هفدهمین مقاله از یک سری 23 مقاله‌ای است که توسط نیل رابرتسون و پل سیمور نوشته شده‌است. اثبات آن بسیار طولانی و پیچیده است. و در حال بررسی دسترس به غیر متخصصان، توصیف قضیه و عواقب آن است.
یک گراف جزئی از گراف آ هر گراف ب است که با گراف هم ریخت است که می‌تواند از یک زیر گراف ب با انقباض چند یال به دست آید. اگر آ شامل گراف ب به عنوان جزئی نباشد، در این صورت می‌گوییم آ ب-آزاد است. فرض کنید آ یک گراف ثابت باشد. به‌طور مستقیم، اگر آ یک گراف عظیم ب-آزاد باشد، در این صورت باید یک "دلیل خوب" برای آن وجود داشته باشد. نظریه ساختار گراف آن "دلیل خوب" را در این شکل توصیف خشن برای ساختار آ را فراهم می‌آورد
تئو یانسن (؛ زادهٔ ) هنرمند و مجسمه‌ساز اهل هلند است.