stanford-oval/wikipedia huggingface dataset:
محنت‌آباد (همدانی)

| محنت‌آباد | محنت‌آباد |
| --- | --- |
جماعت: جماعت
کشور:  تاجیکستان
ولایت: ختلان
ناحیه: همدانی
جمعیت: جمعیت
 • کل: ۱۶۰۷۳
منطقهٔ زمانی: یوتی‌سی ۵:۰۰+
محنت‌آباد  جماعت و شهرکی در جنوب‌غربی کشور تاجیکستان است که در ناحیهٔ همدانی ولایت ختلان قرار دارد. جمعیت این جماعت ۱۶٬۰۷۳ است.
محوطه دارمرو

| محوطه دارمرو | محوطه دارمرو |
| --- | --- |
نام: محوطه دارمرو
کشور: ایران
استان: استان لرستان
شهرستان: شهرستان سلسله
اطلاعات اثر: اطلاعات اثر
کاربری: محوطه
دیرینگی: دوره اشکانیان
دورهٔ ساخت اثر: دوره اشکانیان، دوران‌های تاریخی پس از اسلام
اطلاعات ثبتی: اطلاعات ثبتی
شمارهٔ ثبت: ۲۱۳۱۳
تاریخ ثبت ملی: ۷ اسفند ۱۳۸۶
محوطه دارمرو مربوط به دوره اشکانیان - سده‌های اولیه دوران‌های تاریخی پس از اسلام است و در شهرستان سلسله (الشتر)، بخش مرکزی، دهستان دوآب، ۳ کیلومتری غرب روستای ریخ اسپی (ریگ سفید) واقع شده و این اثر در تاریخ ۷ اسفند ۱۳۸۶ با شمارهٔ ثبت ۲۱۳۱۳ به‌عنوان یکی از آثار ملی ایران به ثبت رسیده است.
قطعنامه ۲۰۸۶ شورای امنیت

| قطعنامهٔ شمارهٔ ۲۰۸۶  شورای امنیت سازمان ملل متحد | قطعنامهٔ شمارهٔ ۲۰۸۶  شورای امنیت سازمان ملل متحد |
| --- | --- |
تاریخ: ۲۱ ژانویه ۲۰۱۳
موضوع: مأموریت حفظ صلح سازمان ملل متحد
رأی‌گیری: ۱۵ موافق بدون مخالف بدون ممتنع
نتیجه: تصویب شد
اعضای شورای امنیت: اعضای شورای امنیت
اعضای دائم:  چین  فرانسه  روسیه  بریتانیا  ایالات متحده آمریکا
اعضای غیر دائم:  آرژانتین  استرالیا  جمهوری آذربایجان  گواتمالا  کره جنوبی  لوکزامبورگ  مراکش  پاکستان  رواندا  توگو
قطعنامهٔ ۲۰۸۶ شورای امنیت سازمان ملل متحد، سندی بین‌المللی دربارهٔ مأموریت حفظ صلح سازمان ملل متحد است. این قطعنامه طی نشست شورای امنیت سازمان ملل متحد در تاریخ ۲۱ ژانویه ۲۰۱۳ میلادی با ۱۵ رأی موافق، ۰ مخالف و ۰ ممتنع به تصویب رسید.
مرد بی‌منطق (فیلم)

| مرد بی‌منطق | مرد بی‌منطق |
| --- | --- |
پوستر فیلم: پوستر فیلم
کارگردان: وودی آلن
تهیه‌کننده: لتی آرونسون استیون تننبام ادوراد والسون
نویسنده: وودی آلن
بازیگران: جیمی بلاکلی واکین فینیکس پارکر پوزی اما استون
فیلم‌بردار: داریوش خنجی
تدوین‌گر: آلیسا لپسلتر
شرکت تولید: گراویر پردیدو
توزیع‌کننده: سونی پیکچرز کلاسیکس
تاریخ‌های انتشار:  ۱۶ مه ۲۰۱۵ (۲۰۱۵-0۵-۱۶) (جشنواره فیلم کن ۲۰۱۵)  ۱۷ ژوئیه ۲۰۱۵ (۲۰۱۵-0۷-۱۷) (آمریکا)  
مدت زمان: ۹۶ دقیقه
کشور: آمریکا
زبان: انگلیسی 
فروش گیشه: ۲٫۲ میلیون دلار
مرد بی‌منطق (انگلیسی: Irrational Man) فیلمی به کارگردانی وودی آلن است که در سال ۲۰۱۵ منتشر شد. بازیگران اصلی آن واکین فینیکس، پارکر پوزی و اما استون می‌باشند.
این فیلم برای اولین بار در جشنواره فیلم کن ۲۰۱۵ بر روی پرده رفت.
داستان

استاد فلسفه در دانشگاهی در شهر دانشگاهی کوچکی در نیوانگلند، اِیب (خواکین فینیکس)، دچار بحران وجودی شده‌است. او زندگی خود را بدون معنی می‌بیند و هر روزه افسرده است و شدیداً به الکل روی آورده است. با تمامی مشکلاتی که ایب دارد مورد توجه دو زن قرار می‌گیرد: ریتا ریچاردز (پارکر پوزی)، استاد شیمی که با همسرش زندگی می‌کند ولی از ازدواج خود ناراضی است و جیل پولارد (اما استون) یکی از دانشجویانش در کلاس فلسفه. بحران فلسفه وجودی ایب هر روز شدید تر و شدیدتر می‌شود. بطوریکه حتی بر رابطه تازه شروع شده‌اش با ریتا تاثیر می‌گذارد و به هنگام اولین آمیزش نمی‌تواند به برانگیختگی برسد. ایب در رابطه با جیل جانب احتیاط را بر می‌گزیند و سعی می‌کند رابطه‌اش را در حد دوستی نگهدارد. جیل با وجود اینکه دوست پسر خیلی جدی دارد عاشق استادش شده.
هنگام صرف نهار در یک رستوران جیل و ایب صحبتهای زنی در میز کنار دستی را در باره اینکه حضانت قرزندانش را به خاطر رفتار ظاهراً غیر اخلاقی قاضی پرونده‌اش از دست خواهد داد را می‌شنوند. ایب بدون اطلاع جیل شروع به برنامه‌ریزی برای قتل قاضی می‌کند. او کلید آزمایشگاه شیمی را که می‌توان در آن سیانور پروسس کرد را از کیف ریتا می‌دزد. ایب همچنین در می‌یابد که قاضی هر صبح یکشنبه برنامه روتینی برای دویدن دارد که در پایان آن در نیمکت پارکی در حالی که روزنامه اش را می‌خواند آبمیوه می‌خورد. ایب سرانجام برنامه قتل قاضی را با تعویض لیوان آبمیوه قاضی با لیوانی که در آن سیانور ریخته اجرا می‌کند. بعد از انجام قتل ایب احساس موفقیت می‌کند.
اخبار و روزنامه‌ها ابتدا جریان مرگ قاضی را حمله قلبی اعلام می‌کنند. ایب و جیل مرگ قاضی را با شام جشن می‌گیرند که بعد از آن به اسرار جیل به خانه ایب می‌روند. روز بعد اخبار از کالبد شکافی جسد قاضی خبر می‌دهند و اینکه پلیس علت مرگ قاضی را قتل اعلام می‌کند.
با وجود برنامه‌ریزی موشکافانه ایب، جیل و ریتا با وجود رفتار دوستانه‌شان با قرار دادن تکه‌ها معما گونه از رفتار ایب به او شک می‌برند. از جمله گم شدن کلید آزمایشگاه ریتا یا اینکه او به‌طور تصادفی‌توسط دانشجویی در آزمایشگاه شیمی مشاهده شده‌بود. با این وجود، ریتا تصمیم به جدایی از همسرش و زندگی به همراه ایب در اروپا می‌گیرد.
کنجکاوی جیل او را کلافه می‌کند و سرانجام در بعد از ظهری که ایب در خانه نیست از پنجره وارد خانه ایب می‌شود و یادداشت‌ها او را بر صفحات کتاب جنایت و مکافات در باره عادلانه بودن قتل قاضی پیدا می‌کند. جیل با ایب رو راست حرف می‌زند و او را متهم به قتل می‌کند و از او می‌خواهد خود را به پلیس معرفی کند. جیل رابطه‌اش را با ایب قطع می‌کند ولی با علم به اینکه قتل بواسط نیت خوبی انجام شده از معرفی ایب به پلیس خودداری می‌کند.
در همین زمان پلیس مرد دیگری را به اتهام قتل قاضی دستگیر می‌کند. جیل اینبار ایب را تهدید به معرفی به پلیس می‌کند و تا دوشنبه هفته بعد به او مهلت می‌دهد. ایب که تازه از زندگی لذت می‌برد نمی‌خواهد باقی عمر خود را در زندان بگذراند. ایب نقشه‌ای برای قتل جیل می‌کشد و سعی می‌کند که او را از تونل آسانسوری که از قبل دستکاری‌اش کرده به پایین بیندازد ولی در این حین تعادل خود را از دست می‌دهد و به پشت به پایین تونل آسانسور سقوط می‌کند و جان خود را ازدست می‌دهد.
با مرگ ایب جیل دوباره زندگی خود را باز می‌سازد و رابطه‌اش را با دوست پسرش از نو آغاز می‌کند.
بازیگران

خواکین فینیکس
پارکر پوزی
اما استون
جیمی بلاکلی
سوفی فون هاسلبرگ
مردیت هاگنر
تیمورآباد

تیمورآباد می‌تواند نام مکان‌های زیر باشد.
روستاها

تیمورآباد (هامون) روستای است در بخش تیمورآباد شهرستان هامون.
تیمورآباد (گرگان) روستایی است از توابع بخش بهاران شهرستان گرگان در استان گلستان ایران.
تیمورآباد (هشترود) از روستاهای استان آذربایجان شرقی است که در دهستان نظرکهریزی بخش نظرکهریزی شهرستان هشترود واقع شده‌است.
دهستان‌ها

تیمورآباد (گرگان) دهستانی است در بخش شیب‌آب شهرستان زابل.
محله ها

تیمورآباد (لواسان) یکی از محله های شهر لواسان در بخش لواسانات شهرستان شمیرانات در استان تهران
تیموتی گراب

| تیموتی گراب | تیموتی گراب |
| --- | --- |
زادهٔ: ۳۰ مهٔ ۱۹۵۴ گرانتهام
درگذشت: ۱۱ مهٔ ۲۰۱۰ پاریس، ایلینوی
ملیت: بریتانیا
تیموتی گراب (انگلیسی: Timothy Grubb; ۳۰ مهٔ ۱۹۵۴ – ۱۱ مهٔ ۲۰۱۰) چابک‌سوار اهل بریتانیا بود.
سیارک ۷۰۲۰۷

سیارک ۷۰۲۰۷ (به انگلیسی: 70207 Davidunlap، نامگذاری:1999RP33) هفتاد هزار و دویست و هفتمین سیارک کشف شده‌است که در ۴ سپتامبر ۱۹۹۹ کشف شد.
جانگ سون-هیونگ

| جانگ سون-هیونگ | جانگ سون-هیونگ |
| --- | --- |
زادهٔ: ۱۶ ژوئیهٔ ۱۹۷۵ سئول
ملیت: کره جنوبی
جانگ سون-هیونگ (انگلیسی: Jang Sun-hyoung؛ زادهٔ ۱۶ ژوئیهٔ ۱۹۷۵) بازیکن زن بسکتبال اهل کره جنوبی بود. وی در بازی‌های المپیک تابستانی ۲۰۰۰ شرکت کرده‌است.
محمدی (سلطانیه)

| محمدی (سلطانیه) | محمدی (سلطانیه) |
| --- | --- |
روستا: روستا
مختصات: ۳۴°۲۱′۱″ شمالی ۴۸°۳۷′۴۲″ شرقی﻿ / ﻿۳۴٫۳۵۰۲۸°شمالی ۴۸٫۶۲۸۳۳°شرقی﻿ / 34.35028; 48.62833: مختصات: ۳۴°۲۱′۱″ شمالی ۴۸°۳۷′۴۲″ شرقی﻿ / ﻿۳۴٫۳۵۰۲۸°شمالی ۴۸٫۶۲۸۳۳°شرقی﻿ / 34.35028; 48.62833
کشور: ایران
استان: همدان
شهرستان: ملایر
بخش: مرکزی
دهستان: حرم‌رود علیا
جمعیت: ۱۱۲ نفر
محمدی (سلطانیه)، روستایی از توابع بخش مرکزی شهرستان ملایر در استان همدان ایران است.
جمعیت

این روستا در دهستان حرم‌رود علیا قرار دارد و براساس سرشماری مرکز آمار ایران در سال ۱۳۹۵، جمعیت آن ۱۱۲ نفر (۴۰خانوار) بوده‌است.
جاناتان فردریک لاتن

| جی>  اف. لاتن | جی>  اف. لاتن |
| --- | --- |
زادهٔ: ۱۱ اوت ۱۹۶۰ ‏(۶۴ سال)
ملیت: ایالات متحده آمریکا
سال‌های فعالیت: ۱۹۸۹ – اکنون
جاناتان فردریک لاتن (انگلیسی: J. F. Lawton؛ زادهٔ ۱۱ اوت ۱۹۶۰) یک کارگردان، تهیه‌کننده، و فیلم‌نامه‌نویس اهل ایالات متحده آمریکا است.
جاناتان فرید

| جاناتان فرید | جاناتان فرید |
| --- | --- |
زادهٔ: ۲ دسامبر ۱۹۲۴ همیلتون، انتاریو، کانادا
درگذشت: ۱۴ آوریل ۲۰۱۲ (۸۷ سال) همیلتون، انتاریو، کانادا
ملیت:  کانادایی
پیشه: هنرپیشه
سال‌های فعالیت: ۱۹۶۰ تا ۲۰۱۲
جاناتان فرید (انگلیسی: Jonathan Frid؛ ۲ دسامبر ۱۹۲۴ – ۱۴ آوریل ۲۰۱۲) یک هنرپیشه اهل کانادا بود.
او دانش‌آموختهٔ دانشگاه مک‌مستر، آکادمی سلطنتی هنرهای دراماتیک و دانشکدهٔ درامای دانشگاه ییل بود.
از فیلم‌هایی که وی در آن‌ها نقش داشته است، می‌توان به تشنج اشاره نمود.
جاش اتکینسون

| اطلاعات شخصی | اطلاعات شخصی | اطلاعات شخصی | اطلاعات شخصی |
| --- | --- | --- | --- |
نام کامل:  Joshua Whitehead Atkinson
زادروز:  ۲۸ مارس ۱۹۰۲
زادگاه:  بلکپول
تاریخ مرگ:  ۱۹۸۳ (۸۰−۸۱ سال)
قد:  ۵ فوت ۹ ۱⁄۲ اینچ (۱٫۷۷ متر)
پست:  هافبک/هافبک
باشگاه‌های حرفه‌ای*: باشگاه‌های حرفه‌ای*
| سال‌ها |  باشگاه‌ها |  بازی† |  (گل)† |
| ۱۹۲۳ |  باشگاه فوتبال بلکپول |  ۰ |  (۰) |
| ۱۹۲۴–۱۹۲۷ |  باشگاه فوتبال لیدز یونایتد |  ۵۲ |  (۰) |
| ۱۹۲۸–۱۹۲۹ |  باشگاه فوتبال بارنزلی |  ۶۱ |  (۲) |
| ۱۹۳۱ |  Chester |  ۷ |  (۰) |
|  |  باشگاه فوتبال فلیتوود |   |   |
 تعداد بازی‌ها و گل‌ها فقط مربوط به بازی‌های لیگ داخلی است. :  تعداد بازی‌ها و گل‌ها فقط مربوط به بازی‌های لیگ داخلی است. 
جاش اتکینسون (انگلیسی: Josh Atkinson; ۲۸ مارس ۱۹۰۲ – ۱۹۸۳ (۸۰−۸۱ سال)) بازیکن فوتبال اهل بریتانیا بود.
از باشگاه‌هایی که در آن بازی کرده‌است می‌توان به باشگاه فوتبال بارنزلی، باشگاه فوتبال فلیتوود، باشگاه فوتبال لیدز یونایتد، و باشگاه فوتبال بلکپول اشاره کرد.
جاناتان فرانک

| 0 | 1 | 2 | 3 |
| --- | --- | --- | --- |
 :  
اطلاعات شخصی: اطلاعات شخصی
نام کامل:  Jonathan Ian Franks
زادروز:  ۸ آوریل ۱۹۹۰ ‏(۳۴ سال)
زادگاه:  استاکتون-آن-تیز
پست:  مهاجم، هافبک
اطلاعات باشگاهی: اطلاعات باشگاهی
باشگاه کنونی:  Stockton Town
باشگاه‌های جوانان: باشگاه‌های جوانان
:  باشگاه فوتبال میدلزبرو
باشگاه‌های حرفه‌ای*: باشگاه‌های حرفه‌ای*
| سال‌ها |  باشگاه‌ها |  بازی† |  (گل)† |
| ۲۰۰۸–۲۰۱۲ |  باشگاه فوتبال میدلزبرو |  ۲۸ |  (۳) |
| ۲۰۱۱ |  ← باشگاه فوتبال آکسفورد یونایتد (قرضی) |  ۱ |  (۰) |
| ۲۰۱۲ |  ← باشگاه فوتبال یئوویل تاون (قرضی) |  ۱۴ |  (۳) |
| ۲۰۱۲–۲۰۱۵ |  باشگاه فوتبال هارتل پول یونایتد |  ۱۲۹ |  (۱۱) |
| ۲۰۱۵–۲۰۱۷ |  Ross County |  ۴۷ |  (۲) |
| ۲۰۱۷–۲۰۱۸ |  باشگاه فوتبال هارتل پول یونایتد |  ۲۰ |  (۶) |
| ۲۰۱۸ |  باشگاه فوتبال ورکسام |  ۷ |  (۰) |
| ۲۰۱۸–۲۰۲۰ |  باشگاه ورزشی وستمانایا |  ۳۷ |  (۱) |
| ۲۰۲۰– |  Stockton Town |  ۲۴ |  (۴) |
تیم ملی: تیم ملی
| ۲۰۰۵–۲۰۰۶ |  England U16 |  ۷ |  (۰) |
| ۲۰۰۶–۲۰۰۷ |  تیم ملی فوتبال زیر ۱۷ سال انگلستان |  ۱۵ |  (۲) |
| ۲۰۰۷–۲۰۰۸ |  تیم ملی فوتبال زیر ۱۸ سال انگلستان |  ۲ |  (۰) |
| ۲۰۰۸ |  تیم ملی فوتبال زیر ۱۹ سال انگلستان |  ۲ |  (۰) |
| ۲۰۰۸ |  تیم ملی فوتبال زیر ۲۰ سال انگلستان |  ۱ |  (۰) |
 تعداد بازی‌ها و گل‌ها فقط مربوط به بازی‌های لیگ داخلی است و آمار به روز شده در تاریخ ۱۵:۱۷, ۲۹ آوریل ۲۰۲۰ (UTC). :  تعداد بازی‌ها و گل‌ها فقط مربوط به بازی‌های لیگ داخلی است و آمار به روز شده در تاریخ ۱۵:۱۷, ۲۹ آوریل ۲۰۲۰ (UTC). 
جاناتان فرانک (انگلیسی: Jonathan Franks؛ زادهٔ ۸ آوریل ۱۹۹۰) بازیکن فوتبال اهل بریتانیا است.
از باشگاه‌هایی که در آن بازی کرده‌است می‌توان به باشگاه فوتبال یئوویل تاون، باشگاه فوتبال هارتل پول یونایتد، باشگاه فوتبال آکسفورد یونایتد، و باشگاه فوتبال میدلزبرو اشاره کرد.
وی همچنین در تیم‌های ملی فوتبال England national under-16 football team، زیر ۱۷ سال انگلستان، زیر ۱۸ سال انگلستان، زیر ۱۹ سال انگلستان، و زیر ۲۰ سال انگلستان بازی کرده‌است.
قضیه کوک–لوین

در نظریه پیچیدگی رایانشی، قضیه کوک و لوین، که گاه قضیه کوک نیز خوانده می‌شود، نشان می‌دهد که مسئله صدق‌پذیری دودویی مسئله ای ان‌پی کامل است: الگوریتم نمی‌شناسیم که در زمانی کوتاه مسئله صدق‌پذیری را حل کند. این مسئله نخستین مسئله ای است که ان‌پی کامل بودنش نشان داده شده‌است. می‌توان این مسئله را به بسیاری دیگر از مسئله‌ها کاست و ان‌پی کامل بودنشان را نشان داد. این دسته از مسئله‌ها با نام دسته یا کلاس ان‌پی شناخته می‌شوند. از همین روی قضیهٔ کوک و لوین یکی از مهم‌ترین قضیه‌ها در زمینهٔ پیچیدگی رایانشی است. برآیهٔ (نتیچه‌ی) مهم این قضیه چنین است: اگر الگوریتمی با ییچیدگی زمانی چندجمله‌ای یکی از مسئله‌های دستهٔ ان‌پی کامل حل کند، همهٔ مسئله‌های دیگر را نیز می‌توان با پیچیدگی زمانی چندجمله‌ای حل نمود. این برآیه مسئله ای را به نام برابری پی و ان‌پی پیش می‌کشد که یکی از مهم‌ترین پرسشِ‌های بی‌پاسخ در دانش رایانه است. این نظریه به پاس‌داشت استیون کوک و لنوید لوین نام گذاری شده‌است.
پیشینه

پژوهندگان شوروی و آمریکا هم‌زمان نظریهٔ ان‌پی کامل را در پایان دههٔ ۱۹۶۰ و آغاز دههٔ ۱۹۷۰ پدیدآوردند. در آمریکا در سال ۱۹۷۱، استیون کوک مقالهٔ «پیچیدگی قضیهٔ آوین رویه‌ها» را در کنفرانس «انجمن نظریهٔ رایانش» چاپ کرد. به دنبالِ آن، ریچارد کارپ در سال ۱۹۷۲ مقالهٔ «کاهش میانِ مسئله‌های ترکیبی" را چاپ نمود. او به کمک نظریهٔ کوک فهرستی از ۲۱ مسئله ان‌پی-کامل کارپ را شناسایی کرد و نشان داد که چگونه در زمانی کوتاه می‌توان مسئله صدق‌پذیری دودویی را به این مسئله‌ها کاست. از همین روی، ریچارد کارپ و کوک جایزه تورینگ دریافت کردند. سپس، تیودور پی بیکر، جان گیل و روبرت ام سولووی در سال ۱۹۷۵ نشان دادند که حل مسئله‌های ان‌پی در ماشین سروش نیازمند زمانی نمایی است.
در شوروی در سالِ ۱۹۶۹، ام دختیار نتیجه‌ای همانند نتیجهٔ بیکر، گیل و سولووی را به چاپ رسانید. سپس در سال ۱۹۷۳، مقالهٔ لوین «مسئله همگانی جستجو» به چاپ رسید. گرچه پیش از این مقاله در گفت‌وگوها یاد شده بود و در چند سال پیش برای چاپ فرستاده شده بود. دگرسانیِ رویکردِ لوین با رویکردِ کوک و کارپ در این است که لوین جست‌وجوهایی که راه حل را می‌جویند بررسی می‌کرد ولی کوک و کارپ بودنِ چنین راه‌حل‌هایی را بررسی می‌کردند. لوین ۶ مسئله جستجوی مسئله‌های همگانی (ان‌پی کامل) را شناساند و نشان داد که اگر الگوریتم جست‌وجویی با پیچیدگی زمانی چندجمله‌ای باشد که یکی از این مسئله‌ها را حل کند، می‌توان دیگر مسئله‌ها نیز با پیچیدگی زمانی چندجمله‌ای حل نمود.
تعریف‌ها

یک مسئله تصمیم ان‌پی خوانده می‌شود اگر بتوان آن را به کمک یک الگوریتم غیرقطعی در زمان چندجمله ای حل کرد.
یک نمونه (instance) از مسئله صدق‌پذیری دودویی، یک عبارت منطقی است که شامل تعدادی عملگر و متغیر منطقیست.
این مسئله می‌پرسد که آیا می‌توان متغیرهای عبارتی دودویی را چنان ارزش‌دهی کرد که عبارت ارزش درست بگیرد (که در این صورت عبارت صدق پذیر خوانده می‌شود). تاکنون، هیچ پژوهش‌گری الگوریتمی با زمان چندجمله‌ای برای این مسئله نیافته‌است.
ایده

هر مسئله تصمیمی در NP که داده شد، یک ماشین غیرقطعی بسازید که در زمانِ چندجمله‌ای مسئله را حل کند.
سپس برای هر ورودی به آن ماشین، یک عبارت بولی بسازید که بگوید ورودی توسطِ ماشین پذیرفته و به درستی اجرا شده و ماشین پاسخ «بله» داده‌است.
سپس عبارت می‌تواند راضی کننده باشد اگر و فقط اگر راهی برای اجرای صحیح و پاسخ «بله» سیستم وجود داشته باشد، بنابراین قابلیت راضی کردن عبارت ساخته شده معادل این پرسش است که آیا ماشین پاسخ «بله» می‌دهد یا خیر.
آوین (اثبات)

این واقعیت براساس گفته‌های Garey و Johnson می‌باشد.
دو راه برای اثبات NP کامل بودن مسئله رضایت دودویی وجود دارد. یکی نشان دادنِ اینکه این مسئله NP است! بعدی نشان دادنِ اینکه هر مسئله NP می‌تواند به یک نمونه از مسئله رضایت دودویی کاهش یابد در یک زمان چندجمله‌ای!
رضایت دودویی یک NP است چراکه هر مقدارِ دودوییِ تخصیص یافته به متغیرهای دودویی که ادعای رضایت بخش نمودنِ عبارت را دارند، می‌تواند در زمان چندجمله‌ای توسط یک ماشینِ تورینگِ قطعی، بررسی شوند.
گفته شد، قابل بررسیِ در زمانِ چندجمله‌ای با ماشین تورینگ قطعی و حل شدنی در زمان چندجمله ای با ماشین تورینگ قطعی! این دو کاملاً معادل اند و سندِ آن می‌تواند در بسیاری کتب پیدا شود برای مثال Sipser’s Introduction to the Theory of Computation بخش ۷٫۳.
حالا فرض کنید مسئله داده شده می‌تواند توسط ماشین تورینگِ غیرقطعی حل شود
"(M = (Q، Σ، s, F، δ"، جایی که Q مجموعه ای از وضعیت هاست، Σ نماد نوار، s ∈ Q وضعیت شروع، F ⊆ Q مجموعه وضعیت‌های پذیرفته شده، و
"{δ: Q × Σ → Q × Σ × {−۱، +۱" مجموعه ای از تحول هاست.
حالا فرض کنید M، یک نمونه از مسئله را در زمانِ (p(n پذیرش یا رد می‌کند جایی که n اندازه نمونه و p تابع چندجمله‌ای است.
برای هر ورودی I، یک عبارت بولی که راضی کننده نیز هست به ان اختصاص می‌دهیم اگر و فقط اگر ماشینِ M، ورودیِ I را بپذیرد.
عبارت بولی از متغیرها به صورت زیر استفاده می‌کند:
(q ∈ Q، −p(n) ≤ i ≤ p(n), j ∈ Σ، and ۰ ≤ k ≤ p(n
| متغیرها | شرح وظیفه | تعداد |
| --- | --- | --- |
| Tijk | درست خواهد بود اگر نوار سلول i شامل علامت j در گام k ام از محاسبات باشد | O(p(n))2 |
| Hik | درست خواهد بود زمانی که هِدِ خواندن و نوشتنِ M، در گامِ k امِ محاسبات، در نوار سلولِ i قرار دارد. | O(p(n))2 |
| Qqk | درست خواهد بود اگر M در وضعیتِ q باشد در گامِ k امِ محاسبات | ((O(p(n |
اگر یک محاسبهٔ قابلِ قبول در ورودیِ I برای M وجود داشته باشد، پس B راضی کننده خواهد بود با اختصاص Tijk و Hik و Qik شرحِ وظائفشان
به عبارت دیگر، اگر B راضی کننده باشد، پس ورودی I برای M یک محاسبه قابل قبول می‌باشد، که گام‌های مشخص شده توسط اختصاص مقادیر به متغیرها را پیروی می‌کند.
O(p(n)۲) متغیر دودویی وجود دارد که هر کدام در فضای ((O(log p(n قابل رمزگذاری اند.
بنابراین تبدیل؛ قطعاً در زمان چندجمله‌ای رخ می‌دهد چراکه تعداد بندها ۲((O(p(n می‌باشد و اندازه B برابر می‌باشد با:
O(log(p(n))p(n)۲)
نتیجه

اثبات نشان می‌دهد هر مسئله NP می‌تواند در یک زمانِ چندجمله ای به یک نمونه مسئله رضایت دودویی کاهش یابد (تبدیل شود)
این یعنی، اگر مسئله رضایت بولی بتواند در زمان چندجمله ای توسط ماشینِ تورینگ غیرقطعی حل شود، پس تمامیِ مسئله‌های NP می‌تواند در زمانِ چندجمله ای حل شود و بنابراین کلاس پیچیدگی NP برابر با کلاس پیچیدگی P خواهد بود!
اهمیت تمامیتِ NP در سالِ ۱۹۷۲ بوسیله انتشار یک مقاله توسط Richard Karp روشن شد.
«قابلیت کاهش میانِ مسئله‌های ترکیبی» که در آن ۲۱ ترکیبِ گوناگون و مسئله‌های نظریه گراف‌ها را نشان داد.
روشِ کارپ برای اثباتِ کامل بودنِ مسئله‌هایش، بوسیله کاهش یک مسئله دیگر (که قبلاً ثابت شده NP کامل هست) به این مسئله صورت گرفت.
برای مثال، برای نشان دادن اینکه ۳SAT (رضایت عبارت بولی ۳ متغیره) یک (رضایت عبارت بولی ۳ متغیره) یک NP کامل است، نشان داد که چگونه می‌توان یک نمونه از SAT را به نمونه معادلِ آن در ۳SAT کاهش داد (البته در زمانِ یک چندجمله ای).
اول از همه شما باید با نظریه کوک لوین یک فرمول ربط دهنده بشکل نرمال بسازید، سپس با وارد کردن متغیرهای جدید به شکافتنِ بند (عبارت بولی با بیش از ۳ جزء) بپردازید. برای مثال بندِ (A ∨ B ∨ C ∨ D) می‌تواند با این عبارت (A ∨ B ∨ Z) ∧ (¬Z ∨ C ∨ D) جایگذین شود، جایی که Z یک متغیر جدید است و فقط در این عبارت استفاده می‌شود. بندهای با کمتر از ۳ جزء، می‌توانند Padd شوند. برای مثال A می‌تواند با
('A ∨ X' ∨ Y)∧(A ∨ X' ∨ Y)∧('A ∨ X ∨ Y)∧(A ∨ X ∨ Y) جایگزین شود و (A ∨ B) می‌تواند با ('A ∨ B ∨ X)∧(A ∨ B ∨ X) جایگذین شود.
Garey و Johnson بیشتر از ۳۰۰ مسئله کاملِ NP در کتابشان (Computers and Intractability) نشان دادند. کتابی که، راهنمایی برای نظریه تمامیتِ NP بود، و مسئله‌های جدیدی هنوز پیدا می‌شوند و باید در همان کلاسِ پیچیدگی زمانیِ آن دسته، نوشته شوند.
اگرچه بسیاری از نمونه‌های کاربردیِ SAT، می‌توانند توسطِ متدهای ابتکاری حل شوند، و سوالِ اینکه آیا یک الگوریتم قطعی در زمانِ چندجمله‌ای برای SAT (و در نتیجه برای تمامیِ مسئله‌های کاملِ NP) وجود دارد، با وجودِ تلاش مشتاقانه ۱۰ ساله توسطِ نظریه پیچیدگی، منطق دانان ریاضی، و بقیه هنوز یک مسئله معروفِ حل نشده‌است، برای جزئیات بیشتر، مقالهٔ مسئله برابری پی و ان‌پی را بنگرید.
جاش اسمیت

| 0 | 1 |
| --- | --- |
اطلاعات شخصی: اطلاعات شخصی
زادهٔ: ۵ دسامبر ۱۹۸۵ ‏(۳۸ سال) کالج پارک، جورجیا
ملیت: ایالات متحده آمریکا
قد: ۶ فوت ۹ اینچ (۲٫۰۶ متر)
وزن: ۲۲۵ پوند (۱۰۲ کیلوگرم)
اطلاعات حرفه: اطلاعات حرفه
دبیرستان: McEachern (پودراسپرینگ، جورجیا) Oak Hill Academy (Mouth of Wilson, Virginia)
درفت ان‌بی‌ای: ۲۰۰۴: راند یکم، هفدهم پیک کلی
انتخاب‌شده توسط آتلانتا هاوکس: انتخاب‌شده توسط آتلانتا هاوکس
پیشه بازیکنی: ۲۰۰۴–۲۰۱۷
پست: فوروارد قدرتی / مهاجم ریزتک
شماره: ۵, ۶
تاریخچه فعالیت: تاریخچه فعالیت
2004–2013: آتلانتا هاوکس
2013–2014: دیترویت پیستونز
2014–2015: هیوستون راکتس
2015–2016: لس آنجلس کلیپرز
2016: Houston Rockets
۲۰۱۶–۲۰۱۷: Sichuan Blue Whales
2017: نیو اورلینز پلیکانز
 :  
دستاوردهای حرفه‌ای و جوایز: دستاوردهای حرفه‌ای و جوایز
 NBA All-Defensive Second Team (2010)  NBA All-Rookie Second Team (2005)  NBA Slam Dunk Contest champion (2005)  First-team Parade All-American (2004)  McDonald's All-American (2004) :  NBA All-Defensive Second Team (2010)  NBA All-Rookie Second Team (2005)  NBA Slam Dunk Contest champion (2005)  First-team Parade All-American (2004)  McDonald's All-American (2004) 
 :  
آمار فعالیت در NBA: آمار فعالیت در NBA
امتیاز: 12,996 (14.5 ppg)
برگشت: 6,653 (7.4 rpg)
Blocks: 1,713 (1.9 bpg)
 :  
آمار  در NBA.com: آمار  در NBA.com
آمار  در Basketball-Reference.com: آمار  در Basketball-Reference.com
جاش اسمیت (انگلیسی: Josh Smith؛ زادهٔ ۵ دسامبر ۱۹۸۵) بازیکن بسکتبال اهل ایالات متحده آمریکا است.
از باشگاه‌هایی که در آن بازی کرده‌است می‌توان به هیوستون راکتس، آتلانتا هاوکس، لس آنجلس کلیپرز، و دیترویت پیستونز اشاره کرد.
یولی، گلاسترشر

منطقه مسکونی در England
| یولی، گلاسترشر | یولی، گلاسترشر |
| --- | --- |
یولی، گلاسترشریولی، گلاسترشر نمایش داده شده در  گلاسترشر: یولی، گلاسترشریولی، گلاسترشر نمایش داده شده در  گلاسترشر
جمعیت: ۱٬۱۵۱ (۲۰۱۱)
مرجع شبکه OS: ST790984 
منطقه: Stroud
Shire county: گلاسترشر
ناحیه: جنوب غربی انگلستان
کشور: England
کشور مستقل: بریتانیا
پست شهر: دورسلی
کدپستی منطقه: GL11
کد تلفن: ۰۱۴۵۳
پلیس: Gloucestershire
آتشنشانی: Gloucestershire
آمبولانس: South Western
 :  
مجلس انگلستان: Stroud
 فهرست مکان‌‌ها بریتانیا انگلستان Gloucestershire ۵۱°۴۱′۰۲″شمالی ۲°۱۸′۱۹″غربی﻿ / ﻿۵۱٫۶۸۳۹۶°شمالی ۲٫۳۰۵۱۵°غربی﻿ / 51.68396; -2.30515:  فهرست مکان‌‌ها بریتانیا انگلستان Gloucestershire ۵۱°۴۱′۰۲″شمالی ۲°۱۸′۱۹″غربی﻿ / ﻿۵۱٫۶۸۳۹۶°شمالی ۲٫۳۰۵۱۵°غربی﻿ / 51.68396; -2.30515
یولی (به انگلیسی: Uley) یک روستا و محله مدنی در بریتانیا است که در Stroud District واقع شده‌است. یولی ۱٬۱۵۱ نفر جمعیت دارد.
جاده تهران شمال و آثار داخل حریم

| جاده تهران شمال و آثار داخل حریم | جاده تهران شمال و آثار داخل حریم |
| --- | --- |
نام: جاده تهران شمال و آثار داخل حریم
کشور: ایران
استان: استان تهران
شهرستان: شهرستان شمیرانات
اطلاعات اثر: اطلاعات اثر
کاربری: جاده
اطلاعات ثبتی: اطلاعات ثبتی
شمارهٔ ثبت: ۳۸۰۸
تاریخ ثبت ملی: ۱۸ اردیبهشت ۱۳۸۰
جاده تهران شمال و آثار داخل حریم مربوط به دوره پهلوی دوم است و در شهرستان شمیرانات، ارتفاعات البرز، قله توچال واقع شده و این اثر در تاریخ ۱۸ اردیبهشت ۱۳۸۰ با شمارهٔ ثبت ۳۸۰۸ به‌عنوان یکی از آثار ملی ایران به ثبت رسیده است.
جاوید راهی

جاوید راهی خوانندهٔ اهل افغانستان است. او به همراه فرهاد دریا، اسد بدیع، مختار مجید و وحید صابری  در دههٔ هشتاد میلادی، گروه باران را در شهر کابل تشکیل داد که به شهرت و موفقیت بی‌سابقه در افغانستان دست یافت.
سیارک ۲۰۶۲۴

| کشف | کشف |
| --- | --- |
تاریخ کشف: اکتبر ۹, ۱۹۹۹
ویژگی‌های مداری: ویژگی‌های مداری
مبدأ مه ۱۴, ۲۰۰۸: مبدأ مه ۱۴, ۲۰۰۸
اوج: ۲.۸۲۶۵۶۸۳
حضیض: ۲.۳۰۱۷۳۳۷
خروج از مرکز مداری: ۰.۱۰۲۳۴۰۸
تناوب مداری: ۱۴۹۹.۷۳۲۶۱۰۲
آنومالی متوسط: ۳۰۱.۵۱۹۷۲
انحراف: ۱۴.۱۹۵۹۸
 :  
سیارک ۲۰۶۲۴ (به انگلیسی: 20624 Dariozanetti، نامگذاری:1999TB12) بیست هزار و ششصد و بیست و چهارمین سیارک کشف شده‌است که در ۹ اکتبر ۱۹۹۹ کشف شد.
قدر مطلق سیارک برابر ۲۰.۴ است.
جریان اطلس شمالی

جریان‌های دریایی (۱۹۴۳)
جریان‌های مهم دریایی.
جریان اطلس شمالی یک جریام قدرتمند آب گرم است که در واقع ادامهٔ جریان گالف استریم به سوی شمال شرق است. در غرب ایرلند این جریان دو شاخه می‌شود. یکی تبدیل به جریان قناری و به سمت جنوب می‌رود می‌شود و دیگری به سمت شمال و به سوی سواحل شمال غربی اروپا ادامه می‌دهد. دانشمندان به اثر گرمایشی گسترده این جریان اقیانوسی بر قاره اروپا اعتقاد دارند. شاخه‌های ریزتر این جریان، جریان ایرمینگر و جریان نروژ می‌باشند.
↑  Rossby, T. (1996-11). "The North Atlantic Current and surrounding waters: At the crossroads". Reviews of Geophysics (به انگلیسی). 34 (4): 463–481. doi:10.1029/96RG02214. {{cite journal}}: Check date values in: |date= (help)
جان دگیش

| اطلاعات شخصی | اطلاعات شخصی | اطلاعات شخصی | اطلاعات شخصی |
| --- | --- | --- | --- |
نام کامل:  John Daglish
زادروز:  ۶ نوامبر ۱۹۰۷
تاریخ مرگ:  ۵ فوریهٔ ۱۹۶۲ (۵۴ سال)
محل مرگ:  استنلی، کانتی دورهام
قد:  ۵ فوت ۱۰ اینچ (۱٫۷۸ متر)
پست:  هافبک، مدافع
باشگاه‌های حرفه‌ای*: باشگاه‌های حرفه‌ای*
| سال‌ها |  باشگاه‌ها |  بازی† |  (گل)† |
|  |  South Moor |   |   |
|  |  West Stanley |   |   |
|  |  Annfield Plain |   |   |
|  |  White-le-Head Rangers |   |   |
| ۱۹۳۰–۱۹۳۳ |  باشگاه فوتبال دارلینگتون |  ۱۴ |  (۱) |
| ۱۹۳۳–۱۹۳۴ |  Annfield Plain |   |   |
| ۱۹۳۴–۱۹۳۵ |  Gateshead |  ۱۴ |  (۰) |
| ۱۹۳۵–۱۹۳۶ |  West Stanley |   |   |
| ۱۹۳۶–۱۹۳۷ |  South Shields |   |   |
| ۱۹۳۷–۱۹۴۱ |  باشگاه فوتبال اشینگتون |   |   |
 تعداد بازی‌ها و گل‌ها فقط مربوط به بازی‌های لیگ داخلی است.:  تعداد بازی‌ها و گل‌ها فقط مربوط به بازی‌های لیگ داخلی است.
جان دگیش (انگلیسی: John Daglish; ۶ نوامبر ۱۹۰۷ – ۵ فوریهٔ ۱۹۶۲) بازیکن فوتبال اهل انگلستان بود.
جفرسون چارلز دی سوزا پینتو

| اطلاعات شخصی | اطلاعات شخصی | اطلاعات شخصی | اطلاعات شخصی |
| --- | --- | --- | --- |
نام کامل:  Jefferson Charles de Souza Pinto
زادروز:  ۲۸ مارس ۱۹۸۲ ‏(۴۲ سال)
زادگاه:  ریودو ژانیرو، برزیل
قد:  ۱٫۷۲ متر (۵ فوت ۸ اینچ)*
پست:  هافبک
باشگاه‌های جوانان: باشگاه‌های جوانان
۱۹۹۷–۲۰۰۱:  فلامینگو
باشگاه‌های حرفه‌ای*: باشگاه‌های حرفه‌ای*
| سال‌ها |  باشگاه‌ها |  بازی† |  (گل)† |
| ۲۰۰۲ |  Criciúma |  ۰ |  (0) |
| ۲۰۰۳–۲۰۰۵ |  Olaria |   |   |
| ۲۰۰۶–۲۰۰۷ |  Atlético Roraima |   |   |
| ۲۰۰۹–۲۰۱۰ |  باشگاه فوتبال گولدکوست یونایتد |  ۱ |  (۰) |
 تعداد بازی‌ها و گل‌ها فقط مربوط به بازی‌های لیگ داخلی است. :  تعداد بازی‌ها و گل‌ها فقط مربوط به بازی‌های لیگ داخلی است. 
جفرسون چارلز دی سوزا پینتو (به پرتغالی: Jefferson Charles de Souza Pinto) هافبک اهل برزیل است که در شهر ریودو ژانیرو و در تاریخ ۲۸ مارس ۱۹۸۲ به دنیا آمده‌است.
جفرسون چارلز دی سوزا پینتو در تیم‌های فوتبال Criciúma سابقهٔ حضور دارد.