title: الگوریتم ارسال-برچسب

text: زمان اجرای الگوریتم "relabel رو به جلو" برابر formula_2 است. الگوریتم برچسب رو به جلو : الگوریتم ارسال برچسب به ما اجازه می‌دهد که عملیات اصلی را با هر زمان اجرایی بدست آوریم. به هر حال می‌توانیم مسئلهٔ بیشینه شاره را سریع تر از زمان اجرای formula_39 بدست آوریم. اکنون می‌خواهیم الگوریتم برچسب رو به جلو که یک الگوریتم ارسال-برچسب با زمان اجرای formula_39 را بررسی کنیم که به همان خوبی زمان اجرای formula_39 و بهتر برای شبکه‌های چگال است. در این الگوریتم فهرستی وجود دارد که شامل همهٔ رأس‌های شبکه به جز مبدأ و مقصد است. این الگوریتم فهرست را پیمایش می‌کند و یک راس را می‌گیرد و آن را تخلیه می‌کند و عملیات ارسال بر چسب را تا زمانی که آن راس دیگر افزایش ارتفاع ندارد روی آن انجام می‌دهد. به‌طور مداوم و با تکرار این کار را بر روی رأس‌های فهرست انجام می‌دهد. زمانی که راسی برچسب‌گذاری شد به جلوی فهرست می‌رود و الگوریتم کار پیمایش را از اول شروع می‌کند. به این علت است که این الگوریتم برچسب رو به جلو نام گرفته‌است.


title: الگوریتم ارسال-برچسب

text: راس سرشار u با push کردن همهٔ جریان‌های اضافی اش در میان یال‌های مجاز به رأس‌های همسایه تخلیه می‌شود. راس U اگر لازم باشد برچسب‌گذاری می‌شود. کد تخلیهٔ راس سرشار مطابق زیر است:


title: الگوریتم ارسال-برچسب

text: DISCHARGE(u)


title: الگوریتم ارسال-برچسب

text: در این الگوریتم فهرستی وجود دارد که شامل همهٔ رأس‌های شبکه به جز s و t (مبدا و مقصد) است. روند پیشروی این الگوریتم نشان می‌دهد که فهرست همسایه‌های رأس‌های درون فهرست "N[u]) " l) برای هر راسی درست شده‌است. این همچنین نشان می‌دهد که [next[u اشاره به راسی دارد که U را در فهرست l دنبال می‌کند پس مشخص است اگر که راس u آخرین راس در فهرست l باشد next[u]=null. این الگوریتم به این صورت عمل می‌کند که:


title: الگوریتم ارسال-برچسب

text: RELABEL-TO-FRONT(G, s, t) 10 then move u to the front of list L 11 u ← next[u]


title: الگوریتم ارسال-برچسب

text: در شکل‌های زیر مثالی برای این الگوریتم آورده شده که توضیح آن آورده شده‌است.


title: الگوریتم ارسال-برچسب

text: در قسمت a شبکهٔ جریان‌ها قبل از اولین تکرار در حلقه نشان داده شده‌است. ۲۶ مقدار جریان از مبدأ s خارج شده در سمت راست فهرست L که شامل همهٔ رأس‌ها غیر از مبدأ و مقصد است نشان داده شده که در حالت اول راس u را x می‌گیریم زیر هر راس در فهرست L رأس‌های همسایه قرار داده شده‌است. راس x تخلیه می‌شود به ارتفاع ۱ برچسب‌گذاری می‌شود. ۵ واحد از جریان اضافی به y داده می‌شود. و ۷ مقدار باقی‌مانده به T وارد می‌شود. x برچسب‌گذاری شده پس به سر فهرست باز می‌گردد. در قسمت b پس از x راس بعدی که تخلیه می‌شود راس y است شکل عمل تخلیهٔ y را با جرئیات نشان داده. y برچسب‌گذاری شده پس دوباره به سر فهرست می‌آید. در قسمت y x , c را در فهرست دنبال می‌کند. پس راس x دوباره تخلیه می‌شود x برچسب‌گذاری نمی‌شود پس در فهرست باقی می‌ماند و به سر فهرست نمی‌آید. در قسمت d راس z راس x را دنبال می‌کند پس تخلیه می‌شود و به ارتفاع ۱ برچسب‌گذاری می‌شود و همهٔ ۸ مقدارش به راس t می‌رود سپس به ابتدا ی فهرست l می‌رود چرا که برچسب‌گذاری شده حال در قسمت e راس y راس z را دنبال می‌کند پس راس y باید تخلیه شود ولی چون هیچ جریان اضافی ندارد راس x تخلیه می‌شود و y سر جایش در فهرست باقی می‌ماند. ولی چون x هم جریانی ندارد آن هم در فهرست می‌ماند و این الگوریتم به ته فهرست L می‌رسد و تمام می‌شود. هیچ راسی با جریان اضافی نداریم پس جریان بالا بیشینه جریان است. به همین ترتیب توسط الگوریتم بالا بیشینه شاره را با زمان formula_42 پیدا کردیم.


title: الگوریتم ارسال-برچسب

text: پیاده‌سازی با پایتون:


title: الگوریتم ارسال-برچسب

text: توجه داشته‌باشید که پیاده‌سازی بالا چندان کارآمد نیست. این پیاده‌سازی از [[الگوریتم ادموند-کارپ]] حتی برای گراف‌های پرتراکم کندتر است. [[رده:الگوریتم‌ها]] [[رده:الگوریتم‌های گراف]] [[رده:شبکه شاره]] [[رده:نظریه گراف]]


title: عهدنامه فینکنشتاین

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


title: عهدنامه فینکنشتاین

text: از سوی دیگر فتحعلی‌شاه نیز متعهد می‌شود تا به انگلستان اعلام جنگ کند و تمام اتباع بریتانیا را از ایران بیرون کند. به علاوه ایران تعهد می‌کند که افغان‌های رعیت خود را به حمله به هند وادارد و در صورت ارادهٔ ناپلئون به لشکرکشی به هند از راه ایران به آن‌ها اجازهٔ عبور بدهد و بنادر خلیج فارس را در اختیار نیروی دریایی فرانسه قرار دهد.


title: عهدنامه فینکنشتاین

text: با این حال، فرانسه در جنگ دیپلماتیک در ایران شکست خورد و موفق به اجرای هیچ‌یک از مفاد عهدنامه نشد. ناپلئون، امپراتور فرانسه، در پی شکست در نبرد با روس‌ها عهدشکنی کرد. او با امضای قرارداد تیلسیت با الکساندر اول امپراتور روسیه به هیچ‌کدام از تعهدات قبلی خود در قبال ایران و عثمانی عمل نکرد. انگلستان در ۱۲ مارس ۱۸۰۹، با امضای عهدنامه مجمل و پس از آن در ۱۴ مارس ۱۸۱۲ با امضای عهدنامه مفصل، ایران را وادار به اخراج فرانسوی‌ها از خاک خود کرد.


title: ملانی لوران

text: ملانی لوران (زاده ۲۱ فوریه ۱۹۸۳) بازیگر، خواننده، فیلم‌نامه‌نویس و کارگردان فرانسوی است. از فیلم‌های معروفی که او در آن بازی کرده می‌توان به "حرامزاده‌های لعنتی" و "اکنون مرا می‌بینی" اشاره کرد.


title: مسجد بدیه

text: مسجد بدیه (به عربی: مسجد البدیة)، مسجدی در شهر فجیره که در جنوب شرقی «روستای بدیه»، در کنار جاده اصلی روستا واقع شده‌است.


title: مسجد بدیه

text: این مسجد که باستان شناسان تاریخ ساخت آن به سال ۱۴۴۶ میلادی تخمین می‌زنند، در سمت مغرب روستا و پایه کوه واقع شده‌است به طوری که محراب مسجد از بیرون به پایه کوه چسپیده‌است.


title: مسجد بدیه

text: در قله کوه از سمت مغرب مسجد آثار دو برج قدیمی وجود دارد که به گفته ساکنان روستا در زمان قدیم نگهبانانی در آن برج‌ها گماشته بودند که نگهبانی می‌داد.


title: مسجد بدیه

text: این مسجد بین راه دو شهر خور فکان و دِبا الحُصن واقع شده‌است. شهر خور فکان در ۷ کیلومتری شمال مسجد واقع شده‌است، و شهر دبا در ۲۵ کیلومتری جنوب مسجد قرار دارد. شهر خورفکان و شهر دبا از توابع امارت شارجه (شارقة) می‌باشند.


title: مسجد بدیه

text: «مسجد البدیة» بعلت قرار داشتن مسجد در کنار روستای «البدیه» و نامشخص بودن نام حقیقی مسجد، آن را «مسجد البدیه» نامگذاری کردند.


title: مسجد بدیه

text: دو راه ساحلی به محل مسجد راه دارد نخست از سمت شارقه (شارجه) ذَید) و مسافی است. بعد از مسافی از دو راه می‌توان به موقع مسجد رسید که به شرح زیر می‌باشد:


title: مسجد بدیه

text: نمای بیرونی مسجد با مسجدهایی که در امارات متحده عربی وجود دارد کاملاً اختلاف دارد، ولیکن وجود جهت‌گیری دیوار مسجد و وجود محراب رو به‌طرف قبله دلیلی واضح است که یکی از مسجدهای مسلمانان بوده که در آن منطقه زندگی می‌کرده‌اند. مسجد در پایه کوه حجر ساخته شده و قسمتی از محراب ودیوار سمت قبله کاملاً به کوه چسپیده‌است.


title: مسجد بدیه

text: دروازه مسجد، سمت مشرق قرار دارد و مسجد فقط یک درب ورودی دارد. حجم مسجد کوچک است، در درون مسجد حدود ۱۵ تا ۲۰ نفر می‌توانند در مسجد نماز گذارند. اما محوطه بیرون مسجد (صحن مسجد) در حدود ۴۰ تا ۵۰ نفر، نمازگزار جا می‌دهد؛ ولی اینطور که معلوم است صحن بیرونی مسجد بعداً به مسجد اضافه شده‌است.


title: مسجد بدیه

text: در مسجد هیچ گونه چوبی به کار نرفته‌است. سقف مسجد کاروانسرا مانند است، در وسط مسجد یک ستون ضخیم وجود دارد که تمام سقف مسجد بر روی آن قرار دارد، اما جوانب سقف به روی دیوارهای اطراف مسجد قرار دارند.


title: مسجد بدیه

text: از بیرون سقف مسجد قبه‌های متعددی دارد و طبقه‌بندی شده نشان می‌دهد، اما از داخل سقف مسجد مانند قوس نمایان است.


title: مسجد بدیه

text: پس از مرمت ساختمان مسجد، حکومت فجیره، این اثر تاریخی را به جهانگردان معرفی نموده و سالیانه عده زیادی از گردشگران از این مکان دیدن می‌کنند.


title: الگوریتم کوین-مک‌کلاسکی

text: الگوریتم کوین-مک‌کلاسکی روشی است که برای کمینه کردن توابع بولی توسط ویلارد کوین، منطق‌دان آمریکایی و ادوارد مک‌کلاسکی ایجاد شد. این روش از لحاظ تابعی با جدول کارنو یکسان است، ولی حالت جدولی این روش را برای استفاده در الگوریتم‌های کامپیوتری کارآمدتر می‌کند. علاوه بر این، این روش به‌طور قطعی می‌تواند بیان کند که آیا به کمینه استفاده از توابع بولی رسیده‌ایم یا نه. این روش گاهی با روش جدولی نیز نام برده می‌شود.


title: الگوریتم کوین-مک‌کلاسکی

text: این الگوریتم از دو قسمت تشکیل شده‌است:


title: الگوریتم کوین-مک‌کلاسکی

text: 1- یافتن تمامی دلالت‌کننده‌های نخستین (Prime Implicant)


title: الگوریتم کوین-مک‌کلاسکی

text: ۲- تمامی آن دلالت‌کننده‌ها را در جدول دلالت‌کننده‌های نخستین قرار دهیم تا دلالت‌کننده‌های ضروری را بیابیم.


title: الگوریتم کوین-مک‌کلاسکی

text: اگرچه این الگوریتم در مقایسه با جدول کارنو برای داده‌های با بیشتر از ۴ متغیر عملی‌تر است، این الگوریتم به دلیل این که مسئله‌ای که حل می‌کند ان‌پی سخت است، محدودیت دارد و زمان اجرایی آن به صورت نمایی رشد می‌کند. می‌توان نشان داد که برای تابعی با n متغیر، مقدار کران بالا برای دلالت‌کننده‌های نخستین برابر exp(3،n)/n است. به‌طور مثال اگر n=32 حدوداً exp(10،15)*6.5 دلالت‌کننده‌ی نخستین خواهیم داشت.


title: الگوریتم کوین-مک‌کلاسکی

text: کوچک کردن یک تابع دلخواه


title: الگوریتم کوین-مک‌کلاسکی

text: به‌سادگی می‌توان ساده‌شده‌ی عبارت بالا را با توجه به جدول بالا، با جمع زدن مین‌ترم‌ها (minterm) یافت. به‌نوعی که آن تابع به صورت یک عبارت واحد نشان داده می‌شود:


title: الگوریتم کوین-مک‌کلاسکی

text: به‌طور قطع این عبارت ساده‌ترین حالت نیست و برای ساده کردن آن می‌بایست مین‌ترم‌ها را در جدول مربوطه قرار داد و همچنین ترم‌های غیرمهم نیز در این جدول قرار داد و سپس این دو را با یکدیگر ترکیب کرد:


title: الگوریتم کوین-مک‌کلاسکی

text: حال باید به ترکیب در جدول پرداخت. اگر دو مین‌ترم فقط در یک رقم با یکدیگر تفاوت داشتند، آن دو را در هم ادغام کرده و جای رقم متفاوت، «-» را قرار می‌دهیم. و آن‌ها که مورد استفاده قرار نمی‌گیرند را با «*» مشخص می‌کنیم.


title: الگوریتم کوین-مک‌کلاسکی

text: تا به این‌جا در جدولی که داشته‌ایم، دیگر نمی‌تون مین‌ترم‌ها را بیشتر از این با هم ترکیب کرد. پس در اینجا جدولی را برای دلالت‌کننده‌های نخستین ضروری درست می‌کنیم. در این جدول، از مین‌ترم‌هایی که در قبل داشتیم و آز آن‌ها در ترکیب جدید استفاده نشده استفاده می‌کنیم. در این قسمت ترم‌های غیرمهم را حذف می‌کنیم، چون اهمیتی ندارند.


title: الگوریتم کوین-مک‌کلاسکی

text: با توجه به جدول بالا، می‌توان دو عبارت ساده را برای تابع مد نظر در نظر گرفت. هر دوی این نمایش‌ها درست هستند:


title: الگوریتم کوین-مک‌کلاسکی

text: این دو تابع ساده‌شده، در اصل همان تابع ابتدایی هستند:


title: الگوریتم کوین-مک‌کلاسکی

text: ۱. نلسون، کتاب "تحلیل و طراحی مدارهای دیجیتال"


title: یانوش یکم

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


title: یانوش یکم

text: یانوش تا پیش از تاج‌گذاری وویوود (; ؛ جنگ سالار) ترانسیلوانی بود. وی این سمت را از ۱۵۱۱ میلادی عهده‌دار بود. در کشاکش نبرد موهاچ میان لایوش دوم و سلیمان یکم سلطان عثمانی او با نیروهای قابل توجهی رهسپار میدان جنگ بود، ولی به دلیل نادانسته‌ای به جنگ نرسید و شاه جوان، لایوش کشته‌شد. پس از شکست ارتش مجار عثمانی‌ها وارد مجارستان شدند و کشور دچار آشفتگی سیاسی گردید. در این زمان نامزدهای پادشاهی بازمانده بر مجارستان دو تن بودند، فردیناند برادر کارل پنجم، امپراتور مقدس روم که برادر همسر شاه کشته‌شده بود، و یانوش که از اشراف مجارستان بود و نیرویی زیر فرمان داشت. بیشتر بزرگان کشور از پادشاهی یانوش دفاع کردند.


title: یانوش یکم

text: یانوش، در ۱۰ نوامبر ۱۵۲۶ در سِکِش‌فِهِروار خود را شاه مجارستان خواند و تاج‌گذاری نمود. در این زمان میان فرانسه و امپراتوری مقدس روم جنگ درگرفته‌بود. نیروهای امپراتوری شهر رم را اشغال کردند و پاپ کلمنت هفتم را که پشتیبان فرانسه بود برانداختند. در ۱۵۲۷ ارتشی متشکل از آلمان‌های مزدور به مجارستان تاختند. نیروهای فردیناند برای درهم شکستن مقاومت یانوش رعایای اسلاونی (کرواسیِ امروز) را نیز بر او شوراندند. سرانجام در نبرد تارتسال یانوش یکم شکست خورد و به لهستان گریخت. او سرانجام دست به دامان عثمانی شد که این عمل در آن زمان شهرت او را لکه‌دار کرد.


title: آبیاری چرخشی

text: آبیاری چرخشی، دایره‌ای، مرکزی یا محوری، از انواع آبیاری است که در آن یک سامانه مرکزی به عنوان منبع تغذیه آب، محدوده‌ای از زمین زیر کشت فراورده کشاورزی را سیراب می‌کند. در این شیوه یک ابزار ویژه، گرد یک مرکز یا پاشنه چرخیده و با افشاندن و پاشیدن آب با فشار، گستره تعریف شده زراعی را آبیاری می‌کند. این روش آبیاری موجب به وجود آمدن زمین‌های زراعی به صورت شکل‌های گرد می‌گردد.


title: کارآزمایی بالینی

text: کارآزمایی بالینی یکی از انواع مطالعات پزشکی است که بر روی جمعیت‌های انسانی انجام می‌شود. کاربرد مهم کارآزمایی‌های بالینی در مطالعه اثرات داروها و شیوه‌های درمانی جدید است. هنگامی کارآزمایی بالینی برای یک فراورده دارویی بر روی انسان‌ها انجام می‌شود که اطلاعات قانع‌کننده‌ای از کیفیت این فراورده و ایمنی غیربالینی آن جمع‌آوری شده باشد، و تاییدیه مقامات بهداشتی یا کمیته اخلاق پژوهشی در کشوری که این پژوهش در آن انجام می‌شود، کسب شده باشد.


title: کارآزمایی بالینی

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


title: کارآزمایی بالینی

text: کارآزمایی‌های بالینی شامل هر دو نوع بررسی مشاهده‌ای و مداخله‌ای می‌شوند.


title: کارآزمایی بالینی

text: این نوع کارآزمایی‌ها درمان‌های تجربی، ترکیب‌های جدید دارویی، یا رویکردهای جدید به جراحی یا پرتودرمانی را به آزمون می‌گذارند.


title: کارآزمایی بالینی

text: این کارآزمایی‌های به دنبال راه‌های بهتر برای پیشگیری از بیماری در افرادی هستند که هرگز مبتلا به بیماری نبوده‌اند یا باید از بازگشت بیماری در آن‌ها جلوگیری کرد.


title: کارآزمایی بالینی

text: این نوع کارآزمایی‌ها برای یافتن آزمون‌ها یا شیوه‌های بهتر برای تشخیص‌دادن یک بیماری یا عارضه معین به کار می‌روند.


title: کارآزمایی بالینی

text: کارآزمایی‌های کیفیت زندگی در این دسته از مطالعات روش‌های افزایش راحتی و بهبود کیفیت زندگی مبتلایان به بیماری‌های مزمن مورد پژوهش قرار می‌گیرند.


title: کارآزمایی بالینی

text: این کارآزمایی‌های بهترین روش برای بیماریابی جمعی (غربالگری) بیماری‌ها یا عوارض بهداشتی معین را می‌آزمایند.


title: کارآزمایی بالینی

text: کارآزمایی بالینی تصادفی‌سازی شده (Randomized Clinical Trial): مطالعه‌ای که در آن شرکت کنندگان به‌طور تصادفی در گروه‌های مجزایی قرار می‌گیرند تا محققان درمان‌های مختلف را با هم مقایسه نمایند. محققان و شرکت کنندگان به دلخواه نمی‌توانند گروه‌ها را انتخاب کنند. به‌طور تصادفی قرار دادن شرکت‌کنندگان در گروه‌های مختلف به این معنی می‌باشد که گروه‌ها شبیه هم خواهند بود و اینکه درمان‌هایی را که در مورد شرکت کنندگان صورت می‌گیرد می‌توان به‌طور بی‌طرفانه مقایسه نمود. در هنگام انجام آزمایش بالینی، مشخص نیست کدام درمان از همه بهتر می‌باشد.


title: کارآزمایی بالینی

text: کارآزمایی بالینی تصادفی‌سازی نشده (Nonrandomized Clinical Trial): آزمایشی بالینی که در آن شرکت کنندگان به‌طور تصادفی در گروه‌های مختلف درمان قرار نمی‌گیرند. ممکن است خود شرکت‌کنندگان تصمیم بگیرند در کدام گروه شرکت کنند یا امکان دارد محقق آن‌ها را در گروه‌های مختلف قرار دهد.


title: کارآزمایی بالینی

text: آزمایش بالینی شاهددار (Controlled Clinical Trial) :آزمایشی بالینی که شامل گروه مقایسه (شاهد) است. افراد این گروه از درمانی دیگر برخوردار می‌شوند، یا آن‌ها را درمان نمی‌کنند و به آن‌ها دارو نما (پلاسبو) داده می‌شود.


title: کارآزمایی بالینی

text: یک کمیته مستقل از پزشکان، متخصصان آمار بر روند تصویب کارآزمایی‌های بالینی نظارت می‌کنند. این کمیته باید اطمینان حاصل کند که خطرات کارآزمایی بالینی موردنظر اندک است و منافع بالقوه آن ارزشمند است. در ایران همهٔ کارآزمایی‌های بالینی در "پایگاه ثبت کار آزمایی‌های بالینی" ثبت می‌شوند.


title: کارآزمایی بالینی

text: دارونما یک قرص، مایع، یا پودر بی‌اثر است که هیچ ارزش درمانی ندارد. در کارآزمایی‌های بالینی، درمان‌های تجربی اغلب با دارونماها مورد مقایسه قرار می‌گیرند تا تأثیربخشی درمان تجربی مورد ارزیابی قرار گیرد. در برخی از بررسی‌ها افرادی که در گروه کنترل (شاهد) قرار دارند، به جای دارو یا درمان تجربی فعال، دارونما دریافت می‌کنند.


title: کارآزمایی بالینی

text: کنترل (یا شاهد)، استانداردی است که به وسیلهٔ آن مشاهدات تجربی مورد ارزیابی قرار می‌گیرند. در بسیاری از کارآزمایی‌های بالینی، گروهی از بیماران دارو یا درمان تجربی را دریافت می‌کنند (case group)، در حالی که افراد گروه کنترل (control group)، دارو یا درمان استاندارد رایج برای آن بیماری را دریافت نمی‌کنند یا اینکه از دارونما استفاده می‌کنند. مؤسسه تحقیقات سرطان


title: یانوش دوم

text: یانوش دوم یا یانوش ژیگموند (زادهٔ ۱۸ ژوئیه ۱۵۴۰- مرگ ۱۴ مارس ۱۵۷۱) پادشاه مجارستان و شاهزادهٔ ترانسیلوانی بود.


title: یانوش دوم

text: او پسر یانوش یکم بود. در خردسالی پدرش درگذشت او به پادشاهی رسید، ولی در این زمان ادارهٔ امور بر عهدهٔ مادرش ایزابلا یاگیولونکا بود و سلیمان یکم سلطان عثمانی نیز از وی پشتیبانی می‌نمود. در زمان پادشاهی او فرق گوناگون مسیحی زیر نظر او به مناظره پرداختند و آزادی‌های مذهبی توسعه یافت. او در ۱۵۷۰ از پادشاهی مجارستان کناره‌گیری نمود و کنترل این کشور را به دودمان هابسبورگ سپرد و خود از آن پس بر ترانسیلوانی فرمان‌راند.


title: یانوش دوم

text: Wikipedia contributors, "John II Sigismund Zápolya," Wikipedia, The Free Encyclopedia, http://en.wikipedia.org/w/index.php?title=John_II_Sigismund_Zápolya&oldid=462056743 (accessed December 8, 2011).


title: مسئله صدق‌پذیری بولی

text: صدق‌پذیری یا ارضاپذیری در دانش رایانه پرسمانی است که می‌پرسد آیا می‌توان ارزش متغیرهای فرمولی دودویی را به گونه‌ای یافت که فرمول درست باشد؟ بنابراین اگر چنین ارزش‌دهی پیدا شود، گوییم پرسمان "صدق‌پذیر" است. وگرنه، بی‌گمان این فرمول همواره نادرست است و گوییم که فرمول "صدق‌ناپذیر" است. برای نمونه، فرمول formula_1 صدق‌پذیر است چون اگر ارزش‌های formula_2 و formula_3 درست باشند، فرمول همواره درست است.


title: مسئله صدق‌پذیری بولی

text: پرسمان صدق‌پذیری نخستین پرسمانی است که ان‌پی کامل بودنش نشان داده شده‌است. کوک و لوین نشان دادند الگوریتمی شناخته‌شده‌ای نیست که در زمانی کوتاه پرسمان صدق‌پذیری را حل کند. محدودهٔ وسیعی از بقیهٔ مسائل تصمیم‌گیری و بهینه‌سازی طبیعی می‌توانند به موارد مسئلهٔ صدق‌پذیری تبدیل شوند. یک رده از الگوریتم‌ها به نام حل‌کننده‌های SAT به‌طور کارآمد می‌توانند زیرمجموعه‌ای به اندازهٔ کافی بزرگ از موارد SAT را حل کنند تا در حوزه‌های مختلف عملی از جمله طراحی مدار و قضیهٔ اثبات اتوماتیک مفید باشند. وسیعتر کردن قابلیت‌های الگوریتم‌های حل‌کنندهٔ SAT یک حوزهٔ در حال پیشرفت است. هرچند هیچ‌کدام از روش‌های کنونی نمی‌توانند "همه‌ی" موارد مسئلهٔ صدق‌پذیری را به‌طور کارآمد حل کنند.


title: مسئله صدق‌پذیری بولی

text: در نظریه پیچیدگی محاسباتی مسئلهٔ صدق‌پذیری یک مسئلهٔ تصمیم است که نمونهٔ آن یک عبارت بولی می‌باشد که فقط با AND، OR، NOT، متغیرها و پرانتز نوشته شده‌است. سؤال این است که: آیا می‌توان به متغیرها مقادیر "درست" و "نادرست" داد تا عبارت موردنظر همواره درست باشد؟ یک فرمول از منطق گزاره‌ای صدق‌پذیر است اگر به متغیرهای آن بتوان مقادیر منطقی داد تا فرمول همواره درست باشد. مسئلهٔ صدق‌پذیری دودویی یک ان‌پی کامل است. مسئلهٔ صدق‌پذیری گزاره‌ای (PSAT)، که مشخص می‌کند آیا یک فرمول گزاره‌ای صدق‌پذیر هست یا نه، مهم‌ترین مسئله در حوزه‌های مختلف علوم رایانه است؛ نظیر علوم نظری رایانه، الگوریتم‌ها، هوش مصنوعی، طراحی پردازنده، اتوماسیون طراحی الکترونیکی و تایید.


title: مسئله صدق‌پذیری بولی

text: یک متغیر یا خود آن متغیر یا نقیضش است. به‌طور مثال x یک متغیر مثبت و (not(x یک متغیر منفی است.


title: مسئله صدق‌پذیری بولی

text: یک عبارت فصل منطقی از متغیرهاست. به‌طور مثال (x V not(x یک عبارت است.


title: مسئله صدق‌پذیری بولی

text: در بعضی حالت‌های مسئله صدق‌پذیری دودویی، نیاز است که فرمول عطف منطقی چند عبارت باشد. حالتی که صدق‌پذیری یک فرمول به شکل عطف معمولی را بررسی می‌کنیم که هر عبارت حداکثر دارای سه متغیر باشد، ان‌پی کامل است؛ این مسئله "۳SAT" یا "۳CNFSAT" یا "۳-صدق‌پذیری" نامیده می‌شود. حالتی که فرمول موردبررسی دارای عبارت‌هایی با حداکثر دو متغیر باشد، ان‌ال کامل است؛ این مسئله "۲SAT" نامیده می‌شود. حالتی که فرمول موردبررسی دارای عبارت‌های هورن (که حداکثر یک متغیر مثبت دارند.) باشد، پی کامل است؛ این مسئله صدق‌پذیری هورن نامیده می‌شود.


title: مسئله صدق‌پذیری بولی

text: قضیه کوک لوین عنوان می‌کند که مسئله دودویی صدق‌پذیری یک ان‌پی کامل است، در واقع این اولین مسئله‌ایست که اثبات شده ان‌پی کامل است.


title: مسئله صدق‌پذیری بولی

text: همانطور که استفن کوک در سال ۱۹۷۱ اثبات کرد، مسئلهٔ SAT اولین مسئلهٔ ان‌پی کامل شناخته شد. (اثبات را در قضیه کوک لوین ببینید.) تا آن زمان مفهومی به نام ان‌پی کامل وجود نداشت. این مسئله ان‌پی کامل باقی می‌ماند هرچند که همهٔ عبارات به صورت عطفی معمولی با سه متغیر در هر عبارت (۳-CNF) باشند؛ یعنی عبارت به شکل زیر است:


title: مسئله صدق‌پذیری بولی

text: در اینجا هر x یک "متغیر" است و هر متغیر می‌تواند چندبار در عبارت تکرار شوند.


title: مسئله صدق‌پذیری بولی

text: یک ویژگی مهم اختصار کوک آن است که تعداد جواب‌های درست را نگه می‌دارد. به‌طور مثال اگر یک گراف 17 رنگ‌آمیزی سه‌گانه معتبر داشته باشد، قاعدهٔ SAT دارای 17 واگذاری ارضاپذیر است.


title: مسئله صدق‌پذیری بولی

text: ان‌پی کامل فقط به زمان اجرا در بدترین حالت ارجاع می‌دهد. بسیاری از مواردی که در کاربردهای عملی اتفاق می‌افتند می‌توانند خیلی سریعتر حل شوند.


title: مسئله صدق‌پذیری بولی

text: مسئلهٔ SAT آسان‌تر است اگر فرمول‌ها به صورت فصلی معمولی باشند، یعنی بین عبارات OR و در هر عبارت بین متغیرها AND قرار گرفته باشد. این فرمول‌ها صدق‌پذیر هستند اگر و تنها اگر حداقل یکی از عبارات آن صدق‌پذیر باشند، و یک عبارت صدق‌پذیر است اگر و تنها اگر به ازای هر متغیر x هم خودش و هم NOT آن را دربرنداشته باشد. این موضوع می‌تواند در زمان چندجمله‌ای بررسی شود.


title: مسئله صدق‌پذیری بولی

text: همچنین مسئلهٔ SAT آسان‌تر است اگر تعداد متغیرهای یک عبارت به 2 محدود شده باشد، که در این حالت مسئله 2SAT نامیده می‌شود. این مسئله نیز می‌تواند در زمان چندجمله‌ای حل شود و در واقع برای ردهٔ ان‌ال کامل است. به‌طور مشابه اگر تعداد متغیرهای هر عبارت را به 2 محدود کرده و اعمال AND را به XOR تغییر دهیم، نتیجه یک "2-صدق‌پذیری XOR" است که یک مسئلهٔ کامل برای SL = L می‌باشد.


title: مسئله صدق‌پذیری بولی

text: یکی از مهم‌ترین محدودیت‌های SAT، مسئلهٔ HORNSAT می‌باشد که فرمول، یک عطف از چند عبارت هورن باشد. این مسئله با الگوریتم ارضاپذیری هورن با زمان چندجمله‌ای قابل حل است، و در اصل پی-کامل می‌باشد. می‌تواند به صورت نسخه‌ای از ردهٔ پی برای مسئلهٔ صدق‌پذیری دودویی دیده شود.


title: مسئله صدق‌پذیری بولی

text: در صورتی که رده‌های پیچیدگی پی و ان‌پی یکسان نباشند، برخلاف SAT هیچ‌کدام از این محدودیت‌ها ان‌پی کامل نیستند. این فرضیه که پی و ان‌پی یکسان نیستند هنوز اثبات نشده‌است.


title: مسئله صدق‌پذیری بولی

text: 3-صدق‌پذیری یک حالت خاص از k-SAT یا به‌طور ساده‌شده SAT است که هر عبارت دقیقاً k = 3 متغیر را شامل می‌شود. این یکی از 21 مسئله ان‌پی-کامل کارپ است.


title: مسئله صدق‌پذیری بولی

text: در اینجا یک مثال می‌زنیم: (¬ نشان‌دهندهٔ نقیض است.)


title: مسئله صدق‌پذیری بولی

text: E دارای دو عبارت (که با پرانتز مشخص شده‌اند)، چهار متغیر ("x", "x", "x", "x") و k = 3 (سه متغیر در هر عبارت) می‌باشد.


title: مسئله صدق‌پذیری بولی

text: برای آنکه این مثال از مسئلهٔ تصمیم‌گیری را حل کنیم باید مشخص کنیم که آیا یک جدول درستی برای متغیرها وجود دارد به‌طوری‌که کل عبارت همواره درست باشد یا خیر. در این مثال با "درست" قرار دادن همه متغیرها، می‌توان E را همواره درست در نظر گرفت. واگذاری‌های متنوعی می‌توان انجام داد. اگر هیج واگذاری‌ای امکان‌پذیر نبود، جواب "خیر" خواهد بود.


title: مسئله صدق‌پذیری بولی

text: 3-SAT ان‌پی کامل است و به عنوان یک نقطهٔ شروع برای اثبات آنکه بقیهٔ مسائل هم ان‌پی سخت هستند استفاده می‌شود. این عمل با محدودیت زمانی چندجمله‌ای قابل انجام است. 3-SAT می‌تواند به یک-در-سه 3-صدق‌پذیری محدود شود که در آن ما "دقیقاً" می‌پرسیم که آیا یکی از متغیرها در هر عبارت درست هست یا خیر، به جای اینکه "حداقل" یک متغیر را بررسی کنیم. این محدودیت نیز ان‌پی کامل باقی می‌ماند.


title: مسئله صدق‌پذیری بولی

text: بر اساس نظر شونینگ (1990) یک الگوریتم سادهٔ تصادفی وجود دارد که در زمان formula_5 اجرا می‌شود (n تعداد عبارات). این الگوریتم به احتمال قوی موفق می‌شود تا دربارهٔ 3-SAT درست تصمیم بگیرد. فرضیهٔ نمایی زمان آن است که هیچ الگوریتمی نمی‌تواند 3-SAT را در زمان formula_6 حل کند.


title: مسئله صدق‌پذیری بولی

text: یک عبارت هورن است اگر حداکثر یک متغیر مثبت داشته باشد. این‌گونه عبارت‌ها مورد توجه هستند چون می‌توانند استلزام یک متغیر از مجموعه‌ای از متغیرها را بیان کنند. در واقع یک عبارت مانند formula_7 می‌تواند به شکل formula_8 بازنویسی شود، یعنی اگر formula_9 همه "درست" باشند، y هم باید "درست" باشد.


title: مسئله صدق‌پذیری بولی

text: مسئلهٔ تصمیم‌گیری در مورد صدق‌پذیری عبارات هورن در پی (P) است. این مسئله نیز می‌تواند با یک مرحله از انتشار واحد حل شود که مدل کمینهٔ واحد از مجموعه‌ای از عبارات هورن ایجاد می‌کند.


title: مسئله صدق‌پذیری بولی

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


title: مسئله صدق‌پذیری بولی

text: یک حالت خاص دیگر مسائلی هستند که در آن‌ها هر عبارت فقط اعمال XOR را شامل می‌شود. چون عمل XOR معادل جمع در زمینهٔ گالویس از اندازهٔ 2 است، عبارات می‌توانند مانند یک دستگاه معادلات خطی دیده شوند و از روش‌های متناظر مانند حذف گاوسی می‌توان برای یافتن راه‌حل آن‌ها استفاده کرد.


title: مسئله صدق‌پذیری بولی

text: محدودیت‌های بالا (CNF، 2CNF، 3CNF، هورن) فرمول موردبررسی را به عطفی بودن زیرفرمول محدود می‌کنند؛ هر محدودیت یک شکل خاص برای همهٔ زیرفرمول‌ها مشخص می‌کند: به‌طور مثال، فقط عبارات دودویی می‌توانند یک زیرفرمول در 2CNF باشند.


title: مسئله صدق‌پذیری بولی

text: قضیهٔ دوگانگی شافر عنوان می‌کند که برای هر محدودیتی بر اعمال بولی که می‌توانند این زیرفرمول‌ها را شکل دهند، مسئلهٔ صدق‌پذیری متناظر یک پی یا ان‌پی کامل است. عضویت در پی (P) برای صدق‌پذیری 2CNF و فرمول هورن، حالت‌های خاصی از این قضیه هستند.


title: مسئله صدق‌پذیری بولی

text: همانطور که در بالا به‌طور خلاصه بیان شد، هرچند که مسئله، ان‌پی کامل است، مثال‌های عملی زیادی می‌توانند خیلی زود حل شوند. اکثر مسائل عملی در حقیقت "آسان" هستند، پس حل‌کنندهٔ SAT به آسانی می‌تواند یک راه‌حل بیابد یا اثبات کند که وجود ندارد؛ با وجود آنکه آن مورد هزاران متغیر و ده‌ها هزار محدودیت دارد. بقیهٔ مسائل کوچک زمان‌های اجرایی را ارائه می‌دهند که به صورت نمایی باشند و به مرور غیرعملی شده‌اند. متأسفانه هیچ راه قابل اطمینانی وجود ندارد که سختی مسئله را بدون امتحان آن بیان کند. پس تقریباً همهٔ حل‌کننده‌های SAT شامل زمان‌های اضافه می‌شوند، پس با آنکه هیچ راه‌حلی نیافته‌اند اما به پایان خواهند رسید. در نهایت حل‌کننده‌های SAT مختلفی موارد مختلف آسان یا سخت را پیدا خواهند کرد و بعضی از آن‌ها در اثبات صدق‌ناپذیری و دیگران در یافتن راه‌حل برترند. همهٔ آن رفتارها در مسابقه‌های حل SAT دیده می‌شوند.


title: مسئله صدق‌پذیری بولی

text: از یک الگوریتم که به درستی می‌گوید یک مثال از SAT قابل‌حل است یا نه، می‌توان برای یافتن واگذاری صدق‌پذیر استفاده کرد. در ابتدا سؤال از فرمول formula_10 پرسیده می‌شود. اگر جواب "خیر" باشد، فرمول صدق‌ناپذیر است. در غیر این صورت سؤال از formula_11 پرسیده می‌شود، یعنی اولین متغیر 0 در نظر گرفته می‌شود. اگر جواب "خیر" باشد، فرض می‌کنیم formula_12. به همین ترتیب مقادیر بقیهٔ متغیرها به دست می‌آیند.


title: مسئله صدق‌پذیری بولی

text: این ویژگی در تئوری‌های مختلفی از قضیهٔ پیچیدگی استفاده می‌شود:


title: مسئله صدق‌پذیری بولی

text: دو رده از الگوریتم‌های با کارایی بالا برای حل مسائل SAT وجود دارد: الگوریتم تضاد-راندهٔ شناختن عبارت، که می‌توان به عنوان نوعی دیگر از الگوریتم‌های DPLL به آن نگاه کرد، و همچنین الگوریتم‌های اتفاقی جستجوی محلی مانند WalkSAT.


title: مسئله صدق‌پذیری بولی

text: یک حل‌کنندهٔ مسئلهٔ صدق‌پذیری DPLL، یک روند جستجوی بازگشتی اصولی را به کار می‌گیرد تا فاصلهٔ واگذاری متغیرها برای یافتن واگذاری صدق‌پذیر را کشف کند. در اوایل دههٔ 60 میلادی، روند اصلی جستجو در دو مقاله مطرح شد (منابع زیر را ببینید) و حال به عنوان الگوریتم دیویس-پاتنام-لاگمن-لاولند (یا به اختصار DPLL یا DLL) مشهور است. از لحاظ تئوری کران پایین نمایی برای خانوادهٔ الگوریتم‌های DPLL اثبات شده‌است.


title: مسئله صدق‌پذیری بولی

text: حل‌کننده‌های SAT نوین (که در 10 سال گذشته ایجاد شدند) در دو نوع بیان می‌شوند: "تضاد-رانده" و "پیش‌بین". حل‌کننده‌های تضاد-رانده الگوریتم جستجوی DPLL اصلی را با تحلیل تضاد کارآمد، شناختن عبارت، بازگشت بدون ترتیب زمانی (الگوریتم پس‌پرش)، و همچنین انتشار واحد "دو-متغیر-تماشا"، انشعاب انطباقی و راه‌اندازی مجدد تصادفی، افزایش می‌دهند. نشان داده شده‌است که این "الحاقات" اصولی جستجو به صورت تجربی برای رسیدگی به موارد زیادی از SAT که در اتوماسیون طراحی الکترونیکی (EDA) به وجود می‌آیند ضروری هستند. حل‌کننده‌های پیش‌بین به خصوص کاهش‌ها (رفتن به ورای انتشار عبارت واحد) و کشف‌کننده‌ها را تشدید کردند و در کل در موارد پیچیده از حل‌کننده‌های تضاد-رانده قوی‌تر عمل می‌کنند.


title: مسئله صدق‌پذیری بولی

text: حل‌کننده‌های SAT نوین تأثیرات مهمی بر زمینه‌های تأیید نرم‌افزاری، حل‌کردن محدودیت‌های هوش مصنوعی و تحقیق در عملیات دارند. حل‌کننده‌های قوی به آسانی به صورت نرم‌افزار آزاد و متن‌باز در دسترس هستند. به‌طور خاص نرم‌افزار تضاد-راندهٔ MiniSAT که در مسابقهٔ SAT در سال 2005 نسبتاً موفق بود، فقط دارای حدود 600 خط برنامه است. یک مثال از حل‌کننده‌های پیش‌بین march_dl است که در مسابقهٔ SAT در سال 2007 برنده شد.


title: مسئله صدق‌پذیری بولی

text: انواع خاصی از موارد بزرگ تصادفی صدق‌پذیر از SAT با انتشار نظرسنجی (SP) قابل حل هستند. به خصوص در طراحی پردازنده و برنامه‌های تایید، صدق‌پذیری و دیگر خواص منطقی از فرمول گزاره‌ای داده‌شده بعضی اوقات بر پایهٔ نمایشی از فرمول در نمودار تصمیم‌گیری دودویی (BDD) تصمیم‌گیری می‌شوند. اطلاعات بیشتر در مورد SAT:


title: مسئله صدق‌پذیری بولی

text: برنامه‌های SAT:


title: مسئله صدق‌پذیری بولی

text: حل‌کننده‌های SAT:


title: مسئله صدق‌پذیری بولی

text: کنفرانس بین‌المللی دربارهٔ قضیه و برنامه‌های آزمایش صدق‌پذیری:


title: مسئله صدق‌پذیری بولی

text: انتشارات:


title: مسئله صدق‌پذیری بولی

text: برنامه‌های محک:


title: مسئله صدق‌پذیری بولی

text: حل کردن SAT در حالت کلی:


title: مسئله صدق‌پذیری بولی

text: ارزیابی حل‌کننده‌های SAT:


title: مسئله صدق‌پذیری بولی

text: ---- "این مقاله شامل موادی از یک ستون در ACM SIGDA e-newsletter توسط Prof. Karem Sakallah می‌باشد."


title: فردیناند چهارم

text: فردیناند چهارم (آلمانی:Ferdinand IV، مجاری:IV. Ferdinánd)(زادهٔ ۸ سپتامبر ۱۶۳۳- مرگ ۹ ژوئیهٔ ۱۶۵۴) پادشاه رومیان، پادشاه مجارستان و بوهم بود.


title: فردیناند چهارم

text: او پسر فردیناند سوم، امپراتور مقدس روم از همسر نخستش ماریا آنا بود. نیای مادری او فیلیپ سوم بود. او همچنین برادر بزرگتر لئوپولد یکم، امپراتور مقدس روم بود. او در ۱۶۴۶ به پادشاهی بوهم و سال پس از آن به پادشاهی مجارستان رسید. در ۱۶۵۳ میلادی به عنوان پادشاه رومیان رسید تا زمینه برای رسیدنش به امپراتوری مقدس روم فراهم شود، ولی بیماری آبله او را زودتر از پدر از پای درآورد. نتیجه آنکه تاج امپراتوری مقدس روم در آینده از آن برادر کوچکتر او لئوپولد گردید. مرگ او در وین رخ‌داد.


title: فردیناند چهارم

text: Wikipedia contributors, "Ferdinand IV, King of the Romans," Wikipedia, The Free Encyclopedia, http://en.wikipedia.org/w/index.php?title=Ferdinand_IV,_King_of_the_Romans&oldid=451996464 (accessed December 8, 2011).


title: شراره درشتی

text: شراره درشتی بازیگر تئاتر، سینما و تلویزیون ایرانی است.


title: شراره درشتی

text: وی همسر، رضا ژیان بود. او پس از درگذشت همسرش به سوئیس مهاجرت کرد و از صحنهٔ هنری ایران فاصله گرفت.


title: شراره درشتی

text: درشتی در خرداد ۱۳۹۸ در پستی در صفحهٔ اینستاگرامش خبر داد که به علت ابتلا به سرطان در بیمارستان بستری شده‌است.


title: جستجو سه‌تایی

text: در علوم کامپیوتر رویه ی جستجو ترنری مهارتی برای پیدا کردن مقدار بیشینه یا کمینه در توابع أکید است. در این رویه مشخص می‌کنیم که مقدار بیشینه یا کمینه تابع نمی‌تواند در یک سوم ابتدا یا انتهای دامنه ی تابع وجود داشته باشد. سپس همین شیوه را بر روی دو سوم باقی‌مانده به کار می‌بریم. جستجو سه‌تایی نمومه‌ای از روش الگوریتم تقسیم و حل است(الگوریتم جستجو را ببینید.)Ternary search


title: جستجو سه‌تایی

text: فرض کنید ما به دنبال بیشینۀ formula_1 هستیم و می دانیم این مقدار بین formula_2 و formula_3 قرار دارد. برای این که الگوریتم قابل اعمال باشند، یک مقدار formula_4 باید وجود داشته باشد به طوری که:


title: جستجو سه‌تایی

text: تابع اکید formula_1 را روی بازۀ formula_12 در نظر بگیرید. دو نقطه ی formula_13 و formula_14 را در این بازه انتخاب می‌کنیم. بنابراین formula_15در این صورت سه حالت وجود دارد : این فرایند تا زمانی ادامه پیدا می‌کند که بازۀ حاصل از مقدار ثابت از پیش تعیین شده کوچکتر شود.


title: جستجو سه‌تایی

text: انتخاب نقاط formula_13 و formula_14 :


title: جستجو سه‌تایی

text: T(n) = T(2/3 * n) + c


title: جستجو سه‌تایی

text: def ternarySearch(f, left, right, absolutePrecision):


title: جستجو سه‌تایی

text: Ternary search


title: جستجو سه‌تایی

text: درخت جستجوی سه‌تایی یکی از جالب‌ترین داده‌ساختارهادر زمینه دانش خوداست، زیرا این درخت ذخیره‌سازی بهینه را با سریع پیدا کردن ترکیب می‌کندو توانایی جستجوی پیشوندرا نیز دارد.


title: جستجو سه‌تایی

text: درخت جستجو سه تایی کمی پیچیده‌تر از درخت جستجو دوتایی است. علاوه بر درخت جستجوی دودویی، اشاره گر سومی در هر گره وجود دارد. زمانی که بر روی درخت حرکت می‌کنیم، این اشاره‌گرهنگامی که مقداری که مقایسه می‌شود؛ با مقدار گره برابر باشد، استفاده می‌گردد.در نتیجه این درخت سه اشاره‌گر چپ، راست، و برابر دارد. که در شکل زیر مشاهده می‌کنید.


title: جستجو سه‌تایی

text: شکل زیر درخت جستجو سه تایی رشته‌های "as", "at", "cup", "cute", "he", "i" and "us" را نشان می‌دهد:


title: جستجو سه‌تایی

text: پیاده‌سازی تابع search : def search(string)


title: جستجو سه‌تایی

text: end پیاده‌سازی کلاس string : def search(string)class String


title: جستجو سه‌تایی

text: end پیاده‌سازی کلاس درخت جستجوی سه‌تایی : class Tst


title: جستجو سه‌تایی

text: end


title: قیاس منطقی دست به دست

text: قیاس منطقی دست به دست  در قضیه با نظریه گراف، یکی از شاخه‌های ریاضیات، قیاس دست به دست موقعیتی است که در آن هر گراف متناهی غیرجهت‌دار، تعداد رأس‌های با درجه فرد آن زوج است. به اصطلاح، در یک مهمانی که افراد با هم دست می‌دهند، تعداد زوجی از افراد هستند که با تعداد فردی از افراد دیگر دست داده باشند. قیاس منطقی دست به دست نتیجه فرمول مجموع درجه است (که در بعضی مواقع قیاس منطقی دست به دست نامیده می‌شود) در یک گرافی که در آن v راس و E یال می‌باشد . هر دو نتایج توسط لئونهارد اویلر(۱۷۳۶)در روزنامه معروف وی در سون بریج کونیگز برگ اثبات گردیدند که سبب آغاز مطالعه نظریه گراف شد. رئوس با درجه فرد در یک گراف در بعضی مواقع گره‌های فرد یا رئوس فرد نامیده می‌شوند; در این مجموعه اصطلاحات، قیاس منطقی دست به دست می‌تواند این توضیح را ارائه دهد که هر گراف زوج تا گره فرد دارد .


title: قیاس منطقی دست به دست

text: اثبات فرمول مجموع درجه اویلر از تکنیک دو بار شمارش استفاده می‌کند : او تعداد جفتهای وابسته یا متلاقی( v،e) را که در آن e یال و v نقطه پایانی هستند به دو صورت شمارش می‌کند . راس v به جفت (deg(v تعلق دارد که در آن (deg(v ( درجه v ) تعداد یال‌های وابسته با آن است. بنابراین تعداد جفتهای وابسته ( متلاقی) مجموع درجات می‌باشد. در حالی که، هر یال در نمودار دقیقاً به دو جفت متلاقی متعلق است، برای هر کدام از نقاط پایانی یک جفت وجود دارد، در نتیجه تعداد جفتهای متلاقی۲|"E"| است . از آنجایی که این دو فرمول عناصر مشابهی را شمارش می‌کنند باید ارزش‌های برابر داشته باشند. در یک مجموعه اعداد صحیح، توازن ( زوجیت ) مجموعه با ارقام زوج در جمع تأثیری نمی‌گذارد ; جمع کل در صورتی زوج می‌شود که یک تعداد زوج از ارقام فرد وجود داشته باشد و زمانی که یک تعداد فرد از اعداد فرد موجود باشد آنگاه فرد می‌گردد. از آنجایی که یک طرف فرمول مجموع درجات عدد زوج ۲|"E"| است، مجموع طرف دیگر باید تعداد زوجی از ارقام فرد را داشته باشد. این بدین معنی است که باید تعداد زوجی از رئوس درجه فرد وجود داشته باشد. فرمول مجموع درجات این را متذکر می‌شود که هر گراف‌های منظم (r) با n راس rn/۲ یال دارد. خصوصاً، اگر r فرد است، تعداد یال‌ها باید به صورت زوج به r بخشپذیر باشند. قیاس دست به دست به گراف‌های نامحدود صدق نمی‌کند، حتی زمانی که آن‍ها تنها یک تعداد متناهی از رئوس درجه فرد دارند. به عنوان مثال، گراف مسیر نامحدود با یک نقطه پایانی تنها دارای یک راس درجه فرد به جای داشتن یک تعداد زوج از رئوس است.


title: قیاس منطقی دست به دست

text: ساختارهای ترکیبی متعددی که توسط رادموندز و کامرون ۱۹۹۹ فهرست شده اند، ممکن است با ارتباط دادنشان به رئوس فرد در یک " گراف تبادل" مناسب به صورت عدد زوج نشان داده شوند .  برای مثال، همانگونه که C.A.B smithاثبات کرد، در هر گراف مکعبی G باید یک تعداد زوج از دایره‌های همیلتونی در مسیر هر یال ثابت uv وجود داشته باشد; توماسون (۱۹۷۸) از یک اثبات بر اساس قیاس منطقی دست به دست استفاده کرد تا بتواند این نتیجه را به گراف‌های G در آن‌ها همه رئوس درجات فرد دارند تعمیم دهد . توماسون یک گراف تبادل H تعریف کرد که در آن رئوسش تبادل یک به یک با راه‌های همیلتون دارند که از u شروع می‌شوند و در مسیر v ادامه پیدا می‌کنند. دو تا از این راه‌ها p۱ و p۲ از یک یال به H وصل هستند، اگر یکی با اضافه کردن یک یال جدید به انتهای P۱ و حذف کردن یال دیگر از وسط P۱ به P۲ برسد، این یک رابطه سیستماتیک می‌شود. در نتیجه H یک نمودار غیرمستقیم است . اگر راه P در راس W ختم شود، پس راس مرتبط با P در H درجه برابر با تعداد راه‌هایی دارد که در آن P می‌تواند از طریق یک یال که با u ارتباط بازگشتی ندارد گسترده شود. این بدین معنی است که درجه این راس در H یا deg(w)-۱ ( یک عدد زوج) می‌باشد در صورتی که P یک بخشی از دایره همیلتونی را در مسیر uv تشکیل ندهند، یا deg(w)-۲ ( یک عدد فرد ) می‌شود اگر P بخشی از دایره همیلتونی را در مسیرuv تشکیل دهد. از آنجایی که H تعداد زوجی از رئوس فرد را دارد، G باید یک تعداد زوج از دایره‌های همیلتونی در مسیر uv را داشته باشد. در ارتباط با روش گراف تبادل برای اثبات موجودیت ساختارهای ترکیبی، جالب است که بپرسیم این ساختارها چقدر کاربردی می‌توانند باشند. برای مثال، فرض کنید به یکی یک دایره همیلتونی در گراف مکعبی به عنوان ورودی داده شده‌است ; در فرضیه smith این گفته می‌شود که در ادامه آن یک دایره دومی هم وجود دارد. با چه سرعتی این دایره دوم پیدا می‌شود؟ پاپادی میتریو (۱۹۹۴) پیچیدگی محاسباتی این‌گونه سوالات را یا به‌طور کلی تر پیدا کردن یک راس درجه فرد دومی را در زمانی که یک راس فرد تنها در یک گراف تعریف شده مجازی داده شده‌است بررسی کرد . او مقطع پیچیدگی PPA را تعریف کرد تا اینکه بتواند از این قبیل مسئله‌ها را حقظ کند; یک مقطع خیلی مربوط به روی گراف‌های مستقیم تعریف گردید، PPAD، و توجه ویژه‌ای را در نظریه بازی الگوریتمی به خود جلب کرد زیرا محاسبه موازنه نش (Nash) از نظر محاسباتی با سخت‌ترین مسائل در این مقطع برابری می‌کند. قیاس منطقی دست به دست در اثباتهای قیاس منطقی اسپرنر و موقعیت طولی ( خطی) تکه‌ای در مسئله کوهنوردی نیز استفاده می‌شود .


title: زد بافر

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


title: زد بافر

text: مقادیر ورودی: لیستی از چند ضلعی‌ها برای کشیدن.


title: زد بافر

text: زد بافر حتی با محاسبه مقیاس دقیق ، می تواند مشکلاتی داشته باشد ، این اشکالات بیشتر مربوط به دقت در فواصل است ، یعنی امکان این وجود دارد که زد بافر در فواصل دور و نزدیک به طور مساوی اعمال نشده باشد ، زد بافرینگ به طور کلی نتیجه مطلوبی به همراه دارد اما گاهی اوقات ممکن است تصویر کمی مصنوعی به نظر برسد ، همچنین نوع دقیق تری از این تکنیک وجود دارد که به آن w-buffering می گویند ، در این تکنیک ، بافر به طور دقیق تری بر روی تصویر و اشیاء اعمال می شود


title: زد بافر

text: اختراع زد بافرینگ را به ادوین کاتمول نسبت می دهند اگرچه ایدهٔ اولیه آن را ولفگانگ استربر در سال 1974 مطرح کرده بود


title: زد بافر

text: در سال های اخیر (1999_2005) توجه زیادی به بهینه سازی زد بافرینگ شده است که از جمله آنها می‌توان به توجه به میزان پهنای باند در دسترس و فشرده سازی به منظور کاهش تلفات محاسباتی اشاره کرد


title: الگوریتم کارمارکار

text: الگوریتم کارمارکار توسط نراندرا کارمارکار در سال ۱۹۸۴ برای حل مسایلبرنامه‌ریزی خطی ارائه شد. این الگوریتم اولین الگوریتم کارا برای حل این مسایل در زمان چندجمله‌ای بود. روش بیضی نیز زمان اجرای چندجمله‌ای دارد،ولی روش کارایی نیست.


title: الگوریتم کارمارکار

text: اگر formula_1 تعداد متغیرها و formula_2 تعداد بیت‌های ورودی به الگوریتم باشد، الگوریتم کارمارکار به formula_3 عمل روی اعداد formula_4 رقمی احتیاج دارد، درحالی که در روش بیضی به formula_5 عمل نیاز است.زمان اجرای الگوریتم کارمارکار به صورت زیر است


الگوریتم کارمارکار


title: الگوریتم کارمارکار

text: که در آن از ضرب به روش تبدیل سریع فوریه استفاده می‌کند.


title: الگوریتم کارمارکار

text: الگوریتم کارمارکار از جمله روش‌های نقطهٔ داخلی است: حدس فعلی شرایط مجموعهٔ ممکن را برخلاف روش سیمپلکس رعایت نمی‌کند و با استفاده از کسر معین در هر تکرار، دقت جواب بهینه را بهبود می‌دهد.


title: الگوریتم کارمارکار

text: یک مسئلهٔ برنامه‌ریزی خطی را در شکل ماتریسی در نظر بگیرید:


title: الگوریتم کارمارکار

text: که در آن c برداری n بعدی و b برداری m بعدی و ماتریس m × n)، A) بعدی است. الگوریتم کارماکار کمی پیچیده است. یک مدل ساده‌تر که به آن روش affine-scaling گفته می‌شود، که به طور مختصر به شرح زیر است. دقت داشته باشید که این الگوریتم در حالی که در عمل کارا است ولی الگوریتم با زمان چندجمله‌ای نیست.


title: عایشه (ابهام‌زدایی)

text: عایشه یک نام برای زنان در زبان عربی است و نام افراد سرشناس زیر است:


title: پیمایش گراهام

text: پیمایش گراهام روشی است برای محاسبه پوش محدب مجموعه متناهی از نقاط صفحه که پیچیدگی زمانی آن است. این الگوریتم به افتخار رونالد گراهام که نسخهٔ اصلی الگوریتم را در ۱۹۷۲ منتشر کرد نامگذاری شده‌است. این الگوریتم تمامی راس‌های مرزی پوش محدب به صورت مرتب می‌یابد.


title: پیمایش گراهام

text: اولین گام در این الگوریتم یافتن نقطه‌ای با کمترین y است. اگر چند نقطه با کمترین y وجود داشت، در این مجموعه نقطه با کمترین x انتخاب خواهد شد. این نقطه را P می‌نامیم. این مرحله به اندازه (O(n زمان می‌برد که n تعداد نقاط می‌باشد.


title: پیمایش گراهام

text: سپس مجموعه نقاط باید بر حسب افزایش زاویه‌ای که آن‌ها و نقطه P با محور X می‌سازند، مرتب شوند. از هر الگوریتم مرتب‌سازی برای این این مرحله می‌توان استفاده کرد به عنوان مثال مرتب‌سازی هرمی که پیچیدگی زمانی آن (O(n log n است.


title: پیمایش گراهام

text: برای افزایش سرعت محاسبه لازم نیست زاویهٔ واقعی که این نقاط با محور X می‌سازند محاسبه شود در عوض، محاسبه کسینوس این زاویه کافیست.


title: پیمایش گراهام

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


title: پیمایش گراهام

text: بازهم برای تعیین اینکه آیا سه نقطه تشکیل یک چرخش به چپ را می‌دهند یا چرخش به راست، نیازی نیست زاویه واقعی میان دو پاره خط محاسبه شود و در واقع می‌توانید تنها با حسابی ساده به این هدف برسید. برای سه نقطه (x1,y1)، (x2,y2)و (x3,y3)، محاسبه جهت ضرب خارجی دو برداری که با نقاط (x1,y1) , (x2,y2)و (x1,y1), (x3,y3)تعریف می‌شوداز طریق تعیین علامت عبارت (x2 − x1)(y3 − y1) − (y2 − y1)(x3 − x1)میسر است. اگر این عبارت صفر شد نقاط هم راستا هستند. اگر مثبت شد نقاط یک گردش به چپ و در غیر اینصورت یک گردش به راست را تشکیل می‌دهند.


title: پیمایش گراهام

text: این فرایند در نهایت به نقطه‌ای که از آن شروع کرده‌است بازمی گردد، که در آن نقطه الگوریتم به پایان رسیده‌است و پشته شامل نقاط روی بدنه محدب در خلاف جهت عقربه‌های ساعت می‌باشد.


title: پیمایش گراهام

text: مرتب سازی نقاط دارای پیچیدگی زمانی (O(n logn می‌باشد. در حالی که ممکن است به نظر برسد پیچیدگی زمانی حلقه از O(n2) می‌باشد. زیرا برای هر نقطه به عقب برمی گردد تا چک کند آیا هر یک از نقاط قبلی چرخش به راست ایجاد می‌کنند، اما در واقع از (O(n می‌باشد زیرا هر نقطه در نهایت از هر جهت چه گردش به راست و چه گردش به چپ، دو بار در نظر گرفته می‌شود. هر نقطه فقط یک بار به عنوان نقطه (x2,y2)در گردش به چپ در نظر گرفته می‌شود (زیرا الگوریتم به سراغ نقطه (x3,y3) بعد از آن می‌رود), و هم چنین به عنوان نقطه (x2,y2)در گردش به راست (زیرا نقطه (x2,y2) حذف می‌شود). بنابراین پیچیدگی زمانی کلی برابر است با (O(n logn. ابتدا تعریف


title: پیمایش گراهام

text: سپس نتایج در آرایه points ذخیره می‌شود.


title: پیمایش گراهام

text: این شبه کد از کتاب Sedgewick and Wayne's Algorithms چاپ چهارم گرفته شده‌است.


title: پیمایش گراهام

text: 1. ^ De Berg, Mark; Cheong, Otfried; Van Kreveld, Marc; Overmars (2008). Computational Geometry Algorithms and Applications. Berlin: Springer. pp. 2–14. doi:10.1007/978-3-540-77974-2. .


title: پیمایش گراهام

text: 2. ^ Berkman, Omer; Schieber, Baruch; Vishkin, Uzi (1993). "Optimal double logarithmic parallel algorithms based on finding all nearest smaller values". Journal of Algorithms 14 (3): 344–370. doi:10.1006/jagm.1993.1018. Cormen, Thomas H. ; Leiserson, Charles E. , Rivest, Ronald L. , Stein, Clifford (2001) [1990]. "33.3: Finding the convex hull". Introduction to Algorithms (2nd ed.). MIT Press and McGraw-Hill. pp. pp. 949–955. .


title: جیمبو

text: جیمبو مصغر نام جیمز است. افراد شاخص با این نام از این قراند:


title: محمدتقی بنکدار

text: حاج محمد تقی بنکدار (۱۲۵۷ تهران - ۲۴ دی ۱۳۳۰ تهران) از بازاریان فعال در جنبش مشروطه ایران، از یاران میرزا کوچک خان جنگلی و نمایندهٔ چهار دوره مجلس شورای ملی بود. او به دلیل آغاز و برنامه‌ریزی تحصن در سفارت انگلیس، به حاج محمد تقی سفارتی نیز مشهور بود.


title: محمدتقی بنکدار

text: حاج محمدتقی فرزند حاج محمدحسن بنکدار کاشانی بود. در پی افزایش اعتراضات مردمی و روحانیان و در خواست عدالتخانه و در پی چوب زدن تجار به دستور علاءالدوله حاکم تهران به بهانه گرانفروشی قند، عده ای از روحانیان در شاه عبدالعظیم متحصن شدند. حاج محمدتقی تدارک پذیرایی تحصن‌کنندگان را عهده‌دار بود اما عمدهٔ فعالیتش در تحصن در سفارت انگلیس بروز کرد که بیش از دو هفته و با جمعیتی حدود ۲۴ هزار نفر از طبقات مختلف مردم و کسبه ادامه یافت. بنکدار به کمک چند تن از بازاریان در تدارک و ساماندهی و تهیه امکانات و غذای این جمعیت فعالیت می‌کرد.


title: محمدتقی بنکدار

text: حاج محمدتقی بنکدار در نخستین دوره مجلس شورای ملی به نمایندگی انتخاب شد. پس از کودتای محمدعلی میرزا و به توپ بستن مجلس در جمادی‌الاول ۱۳۲۶ به همراه عدهٔ زیادی دستگیر و به مدت پنج ماه در باغشاه زندانی بود. عکسی از وی همراه عده‌ای دیگر که اکثراً کشته شدند وجود دارد. او پس از فتح تهران و پیروزی مشروطه‌خواهان، در دسته‌بندی و گروه‌گرایی آن زمان جزء اعتدالیون بود و با دموکرات‌ها مخالفت می‌کرد.


title: محمدتقی بنکدار

text: حاج محمدتقی در دوره رضاشاه در سال ۱۳۰۷ در انتخابات دوره هفتم مجلس شورای ملی به نمایندگی تهران انتخاب شد و این کرسی را در دو دوره بعد نیز حفظ کرد. او تا هنگام مرگ عضو هیئت مدیره اتحادیه بازرگانان و پیشه‌وران بود.


title: مرتب‌سازی کلوچه‌ای

text: مرتب‌سازی کلوچه‌ای از انواع روش‌های مرتب‌سازی است که در آن معکوس کردن عضوهای بعضی از پیشوندهای یک دنباله تنها کار قابل اجرا می‌باشد. بر خلاف روش‌های سنتی که تلاش می‌کردند مرتب‌سازی را با کمترین تعداد مقایسه انجام دهند، در این رویه هدف مرتب کردن دنباله با کمترین تعداد ممکن معکوس‌سازی است. این عمل را می‌توان همانند پشته‌ای از کلوچه‌ها در نظر گرفت؛ که می‌توانیم کلوچهٔ اول را برداریم و به آن ضربه بزنیم. نوع دیگر مسئله با کلوچه‌های سوخته سروکار دارد؛ که یک طرف هر کلوچهٔ سوخته‌است. در نهایت با رو قرار گرفتن سرِ سوختهٔ کلوچه‌ها پایان می‌پذیرد.


title: مرتب‌سازی کلوچه‌ای

text: حداکثر تعداد تلنگر (واژگون سازی) مورد نیاز برای مرتب‌سازی هر پشته شامل "n" کلوچه مقداری بین "15/14n" و "18/11n" نشان داده شده‌است، اما مقدار دقیق آن به دست نیامده‌است.


title: مرتب‌سازی کلوچه‌ای

text: ساده‌ترین الگوریتم مرتب‌سازی کلوچه‌ای حداکثر نیاز به 2"n"−۳ تلنگر دارد. در این الگوریتم، یک نوع مرتب‌سازی انتخابی، بزرگترین کلوچهٔ مرتب نشده را روی پشته با یک تلنگر (واژگون سازی) قرار می‌دهیم؛ و سپس با یک تلنگر (واژگون سازی) دیگر آن را به مکان نهایی منتقل می‌کنیم؛ و این فرایند را برای کلوچه‌های باقی‌مانده نیز تکرار می‌کنیم. به این نکته باید توجه کرد که زمان صرف شده برای پیدا کردن کلوچه‌ها در نظر گرفته نمی‌شود. تنها عامل مهم تعداد تلنگرها (واژگون سازی) ست. به منظور پیاده‌سازی ماشینی که بتواند این رویه را در زمان خطی انجام دهد باید واژگون‌سازی پیشوندها و پیدا کردن بیشینه محدوده ازاعداد متوالی دار دنباله در زمان ثابت اجرا شود. در ۱۷ سمپتامبر سال ۲۰۰۸ گروهی از محققان در دانشگاه تگزاس در دالاس به رهبری بنیان‌گذار هال سودبرو پذیرفته شدن یک روش بهینه تر از آن چیزی که گیتس و پپدیمیتریو برای مراتب‌سازی کلوچه‌ای ارائه داده بودند را توسط مجلهٔ علوم کامپیوتر نظری اعلام کردند. در ۲ نوامبر سال ۲۰۱۱ یک مقاله به ارخیو ارائه شد که اثبات می‌کرد که مسٔله ان‌پی سخت است، در نتیجه در پاسخ به سؤال باز برای بیش از سه دهه.


title: مرتب‌سازی کلوچه‌ای

text: در یک نوع پیچیده‌تر که مرتب‌سازی کلوچه سوخته نامید می‌شود که زمانی پایان می‌پذیرد که طرف سوختهٔ همهٔ کلوچه‌ها روی به پایین قرار گیرد. در سال ۲۰۰۸ گروهی از دانشجویان یک رایانه باکتریایی (bacterial computer) ساختند که می‌توانست مسئله سادهٔ مرتب‌سازی کلوچه سوخته را با استفاده از برنامه‌نویسی "E. coli"حل کند.


title: مرتب‌سازی کلوچه‌ای

text: DNA دارای جهت گیرصی و نظم است. با وجود قدرت پردازشی پایین DNA فلیپ‌ها. بالا بودن تعداد باکتریها در این روش شالودهٔ گسترده‌ای از محاسبات موازی را فراهم می‌کند. این باکتری با مقاومت در برابر آنتی‌بیوتیک‌ها زمان حل مسئله را علم می‌کند. انیمتینی که این فرایند را به تصویر می‌کشد ساخته شده‌است.


title: مرتب‌سازی کلوچه‌ای

text: گفته‌های بالا نشان می‌دهد که هر کلوچه منحصر به فرد است. یعنی هیچ دو تایی از آن‌ها یکسان نیستند. از این روی دنباله‌ای که روی آن معکوس‌ها انجام می‌شود یک جایگشت است. به‌طور مثل یک دنباله‌ای که هر نمد تنها یک بر تکرار می‌شود. در حالی که "رشته‌هاً دنباله‌هایی هستند که نمدها می‌توانند بیش از یک بر در آن‌ها تکرار شوند. چیطوری(Chitturi) و سودبرو (۲۰۱۰) (Sudborough) و هورکنس ات ال. (۲۰۰۷) (.Hurkens et al)جداگانه نشان دادند که پیچیدگی تبدیل یک رشتهٔ سازگار را به رشته‌ای دیگر با استفاده از وژگون‌سازی پیشوندها ان‌پی کامل است.


title: مرتب‌سازی کلوچه‌ای

text: هورکنس ات ال. (.Hurkens et al) الگوریتمی دقیق برای جستجو ددی و رشته ستایی بیان کرد.. چیتوری (۲۰۱۱) (Chitturi)اثبات کرد که پیچیدگی تبدیل یک رشتهٔ سازگار به رشته‌ای دیگر با استفاده از وژگون‌سازی پیشوندها، مانند مسئله کلوچهٔ سوخته NP_complete است.


title: مرتب‌سازی کلوچه‌ای

text: اگر چه اغلب به عنوان یک وسیله آموزشی دیده می‌شود، مرتب‌سازی کلوچه‌ای در برنامه‌های کاربردی در شبکه‌های پردازنده موازی نیز دیده می‌شود، که می‌تواند الگوریتم مؤثر مسیریابی بین پردازنده فراهم کند.


title: مرتب‌سازی کلوچه‌ای

text: این مسئله به عنوان تنها مقالهٔ ریاضیات مشهور که تاکنون توسط بنیانگذار مایکروسافت بیل گیتس (به عنوان ویلیام گیتس)، تحت عنوان «مرزهای برای دسته‌بندی بر اساس واژگونی پیشوند» در سال ۱۹۷۹ منتشر شده‌است، قابل توجه‌است؛ که یک الگوریتم کارآمدرا برای مرتب‌سازی کلوچه‌ای توصیف می‌کند. علاوه بر این، قابل توجه‌ترین مقاله منتشر شده توسط فوتوراما "فوتوراما" همکار دیوید کوهن دیوید اکس. کوهن (به عنوان S. دیوید کوهن) در ارتباط با مسئلهٔ کلوچهٔ سوخته‌است. همکاران آن‌ها کریستوس پاپادیمیتریو (سپس در دانشگاه هاروارد، در حال حاضر در برکلی) و مانوئل بلومManuel Blum (سپس در برکلی، در حال حاضر در دانشگاه کارنگی ملون دانشگاه کارنگی ملون)، بودند. مشکلات به هم پیوستهٔ مراتب‌سازی علامتدار با استفاده از وژگون‌سازی و مراتب‌سازی با استفاده از وژگون‌سازی اخیراً بیشتر مورد مطالعه قرار گرفته‌اند. در حالی که الگوریتم بهینه برای مراتب‌سازی با استفاده از وژگون‌سازی پیدا شده‌است. [Kaplan, Shamir, Tarjan, 1997], اثبات شده‌است که حل مسئله مرتب‌سازی با واژگون‌سازی مشکل است حتی به‌دست آوردن تقریب آن با استفاده از شاخص‌های ثابت.[Berman, Karpinski, 1999], همچنین ثابت می‌شود که قابل تخمین‌زنی در زمان چندجمله‌ای است با شاخص تقریبی ۱٫۳۷۵ [Berman, Karpinski, Hannenhalli, 2002].


title: مرتب‌سازی کلوچه‌ای

text: دنباله‌ها از: The Online Encyclopedia of Integer Sequences of Neil Sloane


title: زداف فریدریشسهافن

text: زِداِف فریدریشسهافن آگ، که به اختصار گروه ZF نیز شناخته می‌شود، یک شرکت آلمانی است که به واسطه طراحی، پژوهش، توسعه و فعالیت‌های تولیدی خود در زمینه صنعت خودروسازی از شهرت قابل توجهی برخوردار است. دفتر مرکزی این شرکت، در شهر فریدریشسهافن آلمان قرار دارد.


title: زداف فریدریشسهافن

text: از رقبای اصلی زد اف میتوان به بوش، کونتیننتال، دنسو و مگنا اشاره کرد.


title: زداف فریدریشسهافن

text: شرکت زد اف در سال ۱۹۱۵ توسظ فردیناند زپلین بنا نهاده شد. فردیناند زپلین مخترع کشتی هوایی بود و از آنجا که شرکت او یعنی لوفت‌شیفباو زپلین اولین و بزرگترین تولید کننده کشتی های هوایی بود، کشتی های هوایی بیشتر زپلین نامیده میشدند. فردیناند زپلین ابتدا شرکت زد اف را برای تولید جعبه دنده برای کشتی های پرنده خود بنیانگذاری کرد اما به مرور زمان و با بدست آوردن تجربه و مهارت در طراحی جعبه دنده و سیستم های انتقال قدرت، شروع به همکاری با شرکت های خوردورو سازی برای ساخت سیستم های انتقال قدرت برای خودروها کرد. از آن زمان تا کنون شرکت زد اف از برترین طراحان سیستم های انتقال قدرت و جعبه دنده در دنیاست.


title: زداف فریدریشسهافن

text: عمده شهرت زد اف به دلیل طراحی و ساخت اکسل و گیربکس کامیونها، اتوبوس‌ها، ماشین‌آلات کشاورزی، توربین‌های بادی و تجهیزات سنگین در جهان می‌باشد. زد اف همچنین از تامیین کننده گان سنسور، (از جمله دوربین، رادار و لایدار) و نرم افزار خودرو برای شرکت های خودروساز است.


title: زداف فریدریشسهافن

text: این شرکت برای حضور پرقدرت در بخش نرم‌افزار خودرو و خودروهای خودران، شرکت آمریکایی TRW با حدود ۶۵٫۰۰۰ کارمند و کارگر را در سال ۲۰۱۵ به مبلغ تقریبی ۱۳٫۵ میلیارد دلار خریداری کرد. شرکت TRW در زمان خرید، هشتمین شرکت بزرگ تامین کننده قطعات خودرو در جهان بود.


title: زداف فریدریشسهافن

text: زد اف در سال ۲۰۱۹ شرکت وابکو، از برترین تولید کنندگان ترمز برای خودروهای سنگین را به مبلغ ۷ میلیارد دلار تصاحب کرد.


title: باشگاه فوتبال نفتچی فرغانه

text: باشگاه فوتبال نفتچی فرغانه یک باشگاه فوتبال از ازبکستان است که در فرغانه پایه‌گذاری شده است و در لیگ ازبکستان بازی می‌کند.


title: باشگاه فوتبال نفتچی فرغانه

text: این باشگاه در سال ۱۹۶۲ تأسیس شده است.


title: باشگاه فوتبال نفتچی فرغانه

text: نفتچی فرغانه سابقهٔ ۵ قهرمانی در لیگ ازبکستان را دارد.


title: باشگاه فوتبال نفتچی فرغانه

text: جدال رو در رو نفتچی فرغانه با تیم فوتبال پخته‌کار تاشکند در لیگ ازبکستان بسیار حساس بوده که هواداران ازبکستانی از آن به عنوان ال کلاسیکوی کشور خود یاد می‌کنند.


title: باشگاه فوتبال نفتچی فرغانه

text: همچنین این باشگاه دربی مهمی را با تیم فوتبال نوبهار نمنگان در استان خود برگزار می‌کند. البته دربی دیگری را این تیم با تیم اندیجان می‌باشد.


title: الگوریتم کمترین والدین مشترک تارجان

text: الگوریتم کمترین والدین مشترک تارجان در علوم کامپیوتر الگوریتم کمترین جد مشترک Tarjan (یا دقیق تر، پایین‌ترین جد مشترک) الگوریتمی است که بر اساس ساختمان داده‌های مجزا پایین‌ترین جد مشترک بین دو گره را پیدا می‌کند. پایین‌ترین جد مشترک دو گره d و e گره g از درخت ریشه دار T است که از بین گره‌هایی که هم جد e و هم جد d هستند بیشترین عمق را دارد. این الگوریتم به افتخار Robert Tarjan که در سال ۱۹۷۹ این تکنیک را ابداع کرد نام گذاری شده‌است.الگوریتم تارجان آفلاین است به این معنی که هنگام اجرا، تمام جفت گره‌ها باید قابل دسترسی باشند. ساده‌ترین نسخه الگوریتم از ساختمان داده‌های مجموعه استفاده می‌کند که نسبت به دیگر ساختمان داده ها کندتر است. بهینه سازی که توسط ارائه شد سرعت الگوریتم را به سرعت خطی کاهش داد.


title: الگوریتم کمترین والدین مشترک تارجان

text: شبه کد زیر پایین‌ترین جد مشترک هر دو جفت گره‌ها از مجموعه "P" را بدست می‌دهد."n.children" فرزندان گره "n" را بدست می‌دهد. این الگوریتم همچنین از توابع "MakeSet"، "Find"و "Union" از جنگل های مجزا استفاده می‌کند.تابع TarjanOLCA گره ای را به عنوان ورودی دریافت و پایین‌ترین جد مشترک تمام جفت گره‌ها را در خروجی چاپ می‌کند. منطق الگوریتم به این صورت است که در ابتدا تمام گره‌ها سفید هستند، بعد از این که آن گره و تمام فرزندانش بازدید شدند سیاه می‌شود. پایین‌ترین جد مشترک فقط و فقط پس بلافاصله پس از سیاه شدن یک گره بدست می آید.


title: آگامای معمولی

text: آگامای معمولی، آگامای سرقرمز سنگی، یا آگامای رنگین‌کمانی (" آگاما آگاما") یک گونه از مارموک‌ها است که در تیره آگامیده(Agamidae) قرار دارد و اغلب در آفریقای سیاه یافت شده‌است.


title: آگامای معمولی

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


title: آگامای معمولی

text: ویکی‌پدیا انگلیسی


title: ثابت تفکیک اسیدی

text: ثابت تفکیک اسیدی یا ثابت اسیدی یا ثابت یونی شدن اسید با نماد "K" معیاری است کمی از میزان قدرت یک اسید در محلول. ثابت تفکیک اسیدی، همان ثابت تعادل برای یک واکنش شیمیایی جداسازی در واکنش‌های اسیدی-بازی است. تعادل را می‌توان به صورت نمادین به شکل زیر نمایش داد:


title: ثابت تفکیک اسیدی

text: که HA نماد عمومی اسید است و می‌تواند به صورت یا conjugate base و یا یون هیدروژن یا پروتون از هم جدا شود. هنگامی می‌گوییم در HA در تعادل است که با گذر زمان غلظت آن‌ها تغییر نکند. رابطهٔ ثابت تفکیک اسیدی عبارت است از:


title: ثابت تفکیک اسیدی

text: یکای [HA] و [A] و [H] همگی مول بر لیتر است. (mol/L)


title: ثابت تفکیک اسیدی

text: مطابق تعریف سوانت آرنیوس اسید ماده‌ای است که در محلول آبی از هم جدا می‌شود و یون هیدروژن (یک پروتون) آزاد می‌کند.


title: ثابت تفکیک اسیدی

text: ثابت تعادل در این گونه واکنش‌های جداسازی، ثابت تفکیک نام دارد. پروتون آزاد شده با یک مولکول آب وارد واکنش می‌شود تا یک هیدرونیوم (یا اکسینیوم) یون بدهد. بعدها آرنیوس پیشنهاد کرد که این جداسازی را با نام واکنش اسید-باز شناخته شود.


title: ثابت تفکیک اسیدی

text: پس از آن برونستد و لری این نظریه را عمومی تر بیان کردند و آن را نوعی «واکنش داد و ستد پروتون» دانستند.برطبق مدل آنها اسید ماده ای (آنیون،کاتیون یا مولکول) است که بتواند صرف نظر از ماهیت حلال یک یون هیدروژن یا پروتون را به ماده ای دیگر بدهد.


title: ثابت تفکیک اسیدی

text: به عبارت دیگر اسید برونستد،دهنده ی پروتون است.


title: ثابت تفکیک اسیدی

text: اسید پروتون خود را از دست می‌دهد و باز مزدوج تولید می‌شود، پروتون به باز منتقل می‌شود و اسید مزدوج تولید می‌شود. در محلول آبی اسید HA، آب نقش یک باز را بازی می‌کند. باز مزدوج و اسید مزدوج یون هیدرونیوم است. تعریف برونستد و لری در دیگر محلول‌ها مانند دی‌متیل سولفکسید کاربردی است. حلال S به عنوان مادهٔ بازی عمل می‌کند، پروتون می‌پذیرد و اسید مزدوج را تشکیل می‌دهد.


title: ثابت تفکیک اسیدی

text: در شیمی محلول‌ها، بسیار پرکاربرد است که از به عنوان کوتاه شدهٔ یون هیدروژن محلول استفاده کنیم. در محلول‌های آبی نشان دهندهٔ یک یون هیدرونیوم حل شده‌است تا یک پروتون.


title: مسجدهای تیموری

text: مسجدهایِ تَیموری اصطلاحی است که به مسجدهایِ مهم ساخته شده در دوره تیموریان در ایران (بین سال‌های ۱۳۷۰ تا ۱۵۰۲ میلادی/۷۷۲ تا ۹۰۸ قمری) گفته می‌شود. بیشتر مسجدهای تیموری در سمرقند، هرات، نیشابور، مشهد و تبریز قرار گرفته که برخی از آن‌ها اکنون خارج از مرزهای کنونی ایران است.


title: مسجدهای تیموری

text: سبکِ ساختنِ مسجدهای چهارایوانی و دارای صحن باز (حیاط)، که از دورهٔ سلجوقیان در ایران ساخته می‌شد، در معماریِ دورهٔ تیموریان به بهترین وجه باقی ماند. آثار بر جای مانده از مسجد تیمور در سمرقند دلالت بر این سبک دارد.


title: مسجدهای تیموری

text: نقشهٔ مسجدهای تیموری از روی مسجد گوهرشاد مشهد (ساخته شده در سال ۸۲۱ قمری/۱۴۱۸ میلادی) نمایان است. مهندس قوام‌الدین شیرازی ناظر و سازنده این مسجد بوده و از معماریِ این مسجد پیداست که مهم‌ترین ویژگی هایِ معماریِ دوره تیموری توجه به ساختن ورودی‌هایی با دو دروازه یا درگاه است که بزرگی آن دو از دو مناره بلند برجی شکل بیشتر است. ساختن گنبدهایی با سبک ویژه نیز در دورهٔ تیموری معمول شد. این مسجد هم‌اکنون بخشی از آرامگاه امام رضا است.


title: مسجدهای تیموری

text: با وجود این ویژگی‌ها، در ایران غیر از مسجدهای رایج با صحن باز، در دورهٔ تیموریان، با روشی دیگر نیز مسجدهایی ساخته شد. این نکته از مسجد جامع نیشابور (ساخته شده در ۸۸۹ قمری/۱۴۸۴ میلادی) و مسجد جامع کبود تبریز (ساخته شده در ۸۷۰ قمری/۱۴۶۵ میلادی) کاملاً پیداست. آثار بر جای مانده از مسجد جامع کبود، در تبریز، نشان می‌دهد که مسجد صحن بازنداشته و این مسجد دارای یک سرایِ میانیِ بزرگ بوده که به جای صحن گنبدی آن را می‌پوشاند. بر بالای سرای‌های کوچک اطراف آن نیز گنبدهای کوچک‌تری قرار گرفته‌است.


title: مسجدهای تیموری

text: Stchoukine,I,Les peintures des manuscrits timurids,Parsi,1954 Robinson,Douglass,Persian miniature painting,Victoria and Albert Museum.


title: تبدیل باروز-ویلر

text: تبدیل باروز-ویلر یک الگوریتم است که چیدمان حروف در کلمات را تغییر می‌دهد. ان روش برای فشرده‌سازی داده‌ها بسیار مناسب است. اگر متنی که می‌خواهیم آن را فشرده کنیم شامل حروف تکراری ترجیحاً پشت سر هم باشد می‌توان از روش‌های دیگر فشرده سازی نظیر کدبندی طول اجرا (به انگلیسی: Run-length encoding) استفاده کرد. اما در حالات دیگر روش BWT بسیار مناسب می‌باشد مخصوصاً اینکه BWT الگوریتمی برگشت‌پذیر است. یعنی می‌توان متن فشرده سازی شده را به متن اولیه تبدیل کرد. در حقیقت این کار روشی است که فارغ از هر الگوریتم فشرده سازی که در آن استفاده می‌شود، با کمی محاسبات بیشتر میزان فشرده سازی را افزایش دهد. BWT توسط مایکل باروز و دیوید ویلر در سال ۱۹۹۴ معرفی شد، زمانی که باروز در یک شرکت به نام DEC Systems Research Center مشغول به کار بود.


title: تبدیل باروز-ویلر

text: روش به دست آوردن BWT برای کلمهٔ EXAMPLE در شکل زیر نشان داده شده‌است. در ابتدا یک علامت مانند $ در انتهای آن قرار می‌دهیم تا بتوانیم کلمه را شیفت دورانی دهیم. خروجی‌های مربوط به شیفت در ستون سمت چپ آورده شده‌است. سپس در ستون سمت راست کلمات به دست آمده را به ترتیب حروف الفبا (به انگلیسی: Lexicographical order) مرتب می‌کنیم. ستون آخر که در شکل زیر به رنگ قرمز نمایش داده شده‌است، یعنی EXL$PAME همان (BWT(EXAMPLE می‌باشد. شبه کد مربوط به این الگوریتم به شکل زیر می‌باشد:


title: تبدیل باروز-ویلر

text: تا قبل از این روشی که گفته شد برای فشرده سازی استفاده می‌شود. حال اگر BWT یک کلمه را داشته باشیم چگونه باید بفهمیم اصل آنچه بوده‌است؟ برای این کار ابتدا حروف را شماره گذاره می‌کنیم. چون ممکن است در متن حروف تکراری داشته باشیم. مثلاً در مثال خودمان خواهیم داشت: E1-X1-A1-M1-P1-L1-E2 و ۱$. برای بدست آوردن ماتریس مرتب شدهٔ اولیه ستوان آخر را که از نتیجهٔ فشرده سازی داریم. ستوان اول هم با مرتب کردن ستوان آخر بر اساس حروف الفبا به دست می‌آید. در ادامه به سطر اول نگاه می‌کنیم که ۱$ است. باید بفهمیم در کلمه اصلی بعد از این حرف چه حرفی قرار می‌گرفته‌است. با توجه به اینکه ما ماتریس را از طریق شیفت دورانی ساخته‌ایم پس اگر حرف ۱$ را در ستون آخر پیدا کرده و ببینیم در مقابل آن در سطر اول چه حرفی قرار دارد آن حرف، حرف بعدی ما در کلمه نهایی خواهد بود. همین کار را مدام انجام می‌دهیم تا کلمهٔ کامل به دست آید. برای درک بهتر به مثال زیر توجه کنید: همان‌طور که در بالا توضیح داده شد حرف بعد از ۱$ که X1 است را به دست آوردیم. حال به طریق مشابه می‌بینیم که X1 در کجای ستون آخر آمده‌است و حرف نظیر آن در ستون اول چیست؛ بنابراین می‌بینیم که مقابل آن A1 قرار دارد.


title: تبدیل باروز-ویلر

text: سپس A1 را در ستون آخر پیدا می‌کنیم و حرف نظیر آن در ستون اول را به عنوان حرف بعدی انتخاب می‌کنیم:


title: تبدیل باروز-ویلر

text: همین‌طور پیش می‌رویم تا سطر اول کامل شود:


title: تبدیل باروز-ویلر

text: سپس اعداد را حذف می‌کنیم و سطر اول را شیفت دورانی می‌دهیم تا $ در انتهای کلمه قرار بگیرد. اینگونه ما به کلمهٔ اولیه رسیده‌ایم:$EXAMPLE


title: تبدیل باروز-ویلر

text: شبه کد مربوط به این الگوریتم به شکل زیر است:


title: تبدیل باروز-ویلر

text: function inverseBWT (string s) روش‌هایی برای پیاده‌ساز بهتر خود الگوریتم وجود دارد تا حافظهٔ کمتری را اشغال کند. یا مثلاً ما نیازی نداریم حرف EOF را به کلمه ورودی اضافه می‌کنیم بلکه می‌توانیم برای آن یک اشاره گر نگه داریم. توضیحات بیشتر این الگوریتم را می‌توان در مطالعه کرد.


title: تبدیل باروز-ویلر

text: کد مربوط به ساخت BWT به زبان پایتون در زیر آورده شده‌است:(برای درک بیشتر ۰۰۲\ , ۰۰۳\ به اسکی (استاندارد) مراجعه کنید. این دو کاراکتر مشخص کننده انتها و ابتدای کلمه هستند) def bwt(s): برنامهٔ مربوط به معکوس BWT هم به شکل زیر می‌باشد:


title: تبدیل باروز-ویلر

text: def ibwt(r): روش زیر یک روش بهینه برای پیاده‌سازی BWT می‌باشد: def bwt(s):


title: تبدیل باروز-ویلر

text: def ibwt(r,indexlist):


title: تبدیل باروز-ویلر

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


title: تبدیل باروز-ویلر

text: همان‌طور که پیش از این نیز ذکر شد، الگوریتم BWT در فشرده سازی کاربرد زیادی دارد. اما می‌توان در کاربردهای دیگری هم از آن استفاده کرد که یکی از آن‌ها تطبیق الگو می‌باشد. BWT یک روش سریع برای پیدا کردن الگوها در متن می‌باشد. از کاربردهای دیگر آن می‌توان به خوشه بندی اشاره کرد که در حوزه بینایی رایانه‌ای و ترجمه ماشینی استفاده می‌شود.


title: تبدیل باروز-ویلر

text: ظهور تعیین توالی دی‌ان‌ای در اواخر سال ۲۰۰۰ میلادی، باعث شد که کاربرد دیگری از BWT نمایان شود. در تعیین توالی دی‌ان‌ای، دی‌ان‌ای به قطعات کوچک‌تری تقسیم می‌شود که به هر کدام یک خوانده (به انگلیسی:read) می‌گویند. در بسیاری از آزمایش‌ها نیاز است که این خوانده‌ها به ژنوم مرجعی تطبیق داده شوند. در راستای کاهش حافظهٔ مورد نیاز برای هم‌ترازسازی توالی، الگوریتم‌های متنوعی استفاده شده‌اند (مانند Bowtie, BWA, SOAP2) که از BWT استفاده می‌کنند.


title: باغان

text: باغان ممکن است به یکی از موارد زیر اشاره داشته باشد:


title: باغان (خنج)

text: باغان نام روستایی از توابع بخش محمله در شهرستان خنج استان فارس است. روستای باغان یکی از روستاهای سرسبز خنج است.


title: باغان (خنج)

text: این روستا در دهستان باغان قرار دارد و بر اساس سرشماری سراسری سال ۱۳۹۵ جمعیت آن ۷۲۵ نفر (۲۰۷ خانوار) می‌باشد.


title: رمزنگاری ان‌تی‌آریو

text: NTRU Encrypt یک سیستم رمزگذاری کلمات عمومی، که بیشتر به عنوان الگوریتم رمزنگاری NTRU شناخته می‌شود، بر پایه شبکه‌های رمزنگاری نامتقارن که مرتبط با RSA و ECC است که برای حل مشکل بردارهای کوچک در سیستم‌های شبکه‌ای ارائه شده‌است. (مشکل مورد نظر این است که رمزهایی ساخته شود تا به وسیلهٔ رایانه‌های کوانتومی شکسته نشود) عملیات این الگوریتم بر اساس عوامل ضرب چندجمله‌ای‌های formula_1 همراه با ضرب پیچیده به گونه‌ای که همه چندجمله‌ای‌های موجود در حلقه با ضرایب صحیح و توان حداکثر N-1 باشند.


title: رمزنگاری ان‌تی‌آریو

text: NTRU در واقع از خانواده Parameterised سیستم‌های رمزنگاری می‌باشد به گونه‌ای که هر سیستم توسط سه پارامتر صحیح (N,p،q) مشخص شده، که به ترتیب نشان دهنده بیشترین درجه formula_3 برای همه چندجمله‌ای‌ها در حلقه R و کمترین و بیشترین پیمانه است، با این شرایط که همواره N عدد اول، q بزرگتر از p و q و p نسبت به هم اول هستند. همچنین برای قرار دادن چندجمله‌ای‌های formula_4 و formula_5 (چندجمله‌ای که قسمتی از کلید خصوصی است، چندجمله‌ای برای ساختن یک کلید عمومی، پیام و مقدار مخفی شده، چندجمله‌ای متناظر) درجه همه آن‌ها باید حداکثر formula_3 باشد. این عمل، بستگی به انتخاب درجه سختی فاکتورگیری از چندجمله‌ای‌های خاص موجود در حلقه و تبدیل آن به دو چندجمله‌ای با ضرایب بسیار کوچک دارد. شکستن رمز به مقدار زیادی با مشکلات موجود در کاهش شبکه (به منظور حل مشکلات برداری کوچک) ارتباط مستقیم دارد. دقت در انتخاب پارامترهای مناسب برای خنثی کردن حملات بسیار مهم و ضروری می‌باشد. از آنجایی که هم قسمت رمزگذاری و هم قسمت رمزگشایی از ساده‌ترین ضرب چندجمله‌ای‌ها استفاده می‌کند، بنابراین این عملیات در مقایسه با دیگر سیستم‌های رمزگذاری نامتقارن، مانند RSA، ElGamal و Elliptic curve cryptography بسیار سریع تر عمل می‌کند. با این وجود هنوز این سیستم رمزگذاری توسط معیارهای دقیق رمزنگاری رتبه دهی نشده‌است.


title: رمزنگاری ان‌تی‌آریو

text: سیستم رمزنگاری کلیدهای عمومی مربوط به سیستم رمزنگاری جدید می‌باشد. اولین ورژن از این سیستم، که به‌طور اختصار NTRU صدا زده می‌شد، در حدود سال ۱۹۹۶ توسط سه دانشمند ریاضی (ج. هافستین، ج. پیفر، ج. سیلورمن) ساخته شد. در سال ۱۹۹۶ این ریاضیدانان در کنار هم و با کمک د. لیمن توانستند الگوریتم رمزگذاری NTRU را بدست آورند و حق امتیاز ثبت اختراع را در سیستم رمزنگاری بدست آورند. در ابتدا سیستم رمزنگاری، در مواقعی پیام کد شده را، حتی با وجود این که پیام به‌طور صحیح و کامل رمزگذاری شده بود، به‌طور ناقص به پیام اصلی تبدیل می‌کرد و در مواردی به‌طور کل ناتوان بود و به هیچ وجه پیام اصلی به وجود نمی‌آمد؛ بنابراین سازندگان این روش تصمیم گرفتند که از این الگوریتم برای رمزنگاری کلیدهای عمومی استفاده کنند و قسمت امنیت این سیستم را بر اساس این فرضیه که این الگوریتم برای رمزنگاری کلیدهای عمومی ساخته شده، بنا کردند. در ده سال گذشته افراد زیادی برای ارتقای سیستم رمزنگاری تلاش کردند تا زمانی که در اولین کنفرانس رسمی در مورد رمزنگاری تغییراتی برای افزایش کیفیت عملکرد خود سیستم و قسمت امنیت آن ایجاد شد. بیشتر تغییرات ایجاد شده در قسمت عملکرد، بیشتر بر روی افزایش سرعت رمزنگاری بود تا حل کردن مشکل رمزگشایی این سیستم. تا اینکه در سال ۲۰۰۵ مطبوعات توانستند مشکل این الگوریتم را در در رمزگشایی کشف و بیان کنند. به دلایل امنیتی، از زمان ارائه اولین ورژن این الگوریتم رمزنگاری، پارامترهای جدیدی تعیین شد که به نظر می‌رسید در برابر همه حملاتی که امروزه ما با آن‌ها آشنا هستیم مقاوم و امن هستند و باعث افزایش قدرت محاسبات نیز می‌شوند؛ ولی اکنون این سیستم به‌طور کامل توسط استانداردهای IEEE P1363 که برای رمزنگاری کلمات عمومی بر پایه شبکه به وجود آمده بود تأیید شده‌است. به دلیل سرعت بالای این روش در رمزنگاری کلیدهای عمومی و استفاده حافظه کمتر، می‌توان آن را در دستگاه‌های همراه و کارت‌های هوشمند به کار برد. در آوریل ۲۰۱۱، NTRUEncrypt به عنوان استاندارد X9.98 پذیرفته شد به گونه‌ای که اکنون می‌توان از آن در صنعت خدمات مالی مانند بانک‌ها استفاده کرد.


title: رمزنگاری ان‌تی‌آریو

text: ارسال یک پیام مخفی از آلیس به باب نیازمند ساخت یک کلید عمومی و یک کلید خصوصی است. کلید عمومی هم توسط آلیس و هم توسط باب و کلید خصوصی تنها توسط باب قابل شناسایی است. برای تولید جفت کلید دو چندجمله‌ای f و g، با ضرایب بسیار کوچکتر از q، با درجه حداکثر formula_3 و با ضرایب {۱٫۰٫۱-} مورد نیاز است. آن‌ها را می‌توان به عنوان باقی‌مانده همه کلاس‌های چندجمله‌ای‌ها به پیمانه formula_8 در R در نظر گرفت. چندجمله‌ای f باید نیاز دیگری مبنی بر جابه‌جا کردن پیمانه q و p (با استفاده از الگوریتم اقلیدسی) را برآورده کند که بدین معناست formula_9 و formula_10 باید ذخیره شوند؛ بنابراین وقتی f انتخاب شده قابل جا به جایی نباشد، باب باید از اول f دیگری را بدست آورد. هم f و هم formula_11 کلیدهای خصوصی باب هستند و کلید عمومی h هم محاسبات کمی را به وجود خواهد آورد.


title: رمزنگاری ان‌تی‌آریو

text: مثال: در این مثال پارامترهای (N , P، Q) مقادیر N = ۱۱، p = ۳ و q = ۳۲ را دارند و هم چنین چندجمله‌ای‌های f و g دارای حداکثر درجه ۱۰ می‌باشند. پارامترهای (N, P، Q) برای همه آشنا هستند. چندجمله‌ای‌ها، همگی به‌طور تصادفی انتخاب شده‌است، بنابراین تصور می‌رود که آن‌ها به صورت زیر نشان داده شوند:


title: رمزنگاری ان‌تی‌آریو

text: با استفاده از الگوریتم اقلیدسی معکوس F به پیمانه p و پیمانه q، به ترتیب برابر است با:


title: رمزنگاری ان‌تی‌آریو

text: که ایجاد کلید عمومی h (شناخته شده هم برای آلیس و هم برای باب) به این صورت محاسبه می‌شود:


title: رمزنگاری ان‌تی‌آریو

text: آلیس، کسی که می‌خواهد یک پیام مخفی به باب ارسال کند، پیام خود را در یک چندجمله‌ای m با ضرایب {۱٬۰٬۱-} قرار می‌دهد. در برنامه‌های پیشرفته رمزگذاری، پیام چندجمله‌ای می‌تواند به مبنای دو یا به مبنای سه ترجمه و ارائه شود. بعد از ساخت پیام چندجمله‌ای، آلیس به‌طور تصادفی یک چندجمله‌ای r که دارای ضرایب کوچک هستند را انتخاب می‌کند (که محدود به مجموعه {۱٬۰٬۱-} نیستند)، که این کار به این معنی است که او می‌خواهد پیام خود را مخفی کند. با کمک کلید عمومی h که توسط باب ساخته شده‌است پیام e به این صورت محاسبه می‌شود:


title: رمزنگاری ان‌تی‌آریو

text: این متن سازنده رمز پیام آلیس را مخفی و به صورت کاملاً امن به باب ارسال می‌کند.


title: رمزنگاری ان‌تی‌آریو

text: مثال: فرض کنید که آلیس می‌خواهد پیامی را ارسال کند که می‌توان آن را به صورت چندجمله‌ای زیر نوشت: و چندجمله‌ای تصادفی انتخاب شده که دارای مقدار نامعلومی است نیز به این صورت است:


title: رمزنگاری ان‌تی‌آریو

text: متن رمزنگاری شده e که به باب پیام رمزی آلیس را نشان می‌دهد به صورت زیر خواهد بود:


title: رمزنگاری ان‌تی‌آریو

text: هر کسی با دانستن R می‌تواند پیام m را پردازش و بدست آورد؛ بنابراین R نباید توسط آلیس فاش شود. همچنین علاوه بر اطلاعات قابل دسترس برای عموم، باب کلمه خصوصی ساخته شده توسط خودش را نیز می‌داند. اینجاست که باب می‌تواند m را بدست آورد. برای اینکار اول او پیام رمزی را در قسمتی از کلمه خصوصی f خود ضرب می‌کند.


title: رمزنگاری ان‌تی‌آریو

text: با بازنویسی چندجمله ای‌ها، این معادله نشان دهنده محاسبات زیر خواهد بود:


title: رمزنگاری ان‌تی‌آریو

text: به جای انتخاب ضرایب بین بازه ۰ و 1-q آن‌ها را در بازه [q/2, q/2-] انتخاب می‌کنیم تا از احتمال اینکه پیام اصلی به‌طور ناقص بازگردانی شود جلوگیری کنیم؛ زیرا ممکن است آلیس مقادیر m خود را در بازه [p/2,+p/2-] انتخاب کند. این حاکی از آن است که تمام ضرایب formula_27 در حال حاضر در داخل بازه [q/2,+q/2-] قرار دارد زیرا چندجمله ای‌های R , G، F و M و عدد اول P همه ضرایب کوچکی در مقایسه با q هستند. این بدین معنی است که تمام ضرایب در حین کاهش پیمانه q ثابت مانده و پیام اصلی ممکن است به درستی بازگردانی شود. گام بعدی محاسبه a با پیمانه p است:


title: رمزنگاری ان‌تی‌آریو

text: زیرا


رمزنگاری ان‌تی‌آریو


title: رمزنگاری ان‌تی‌آریو

text: با دانستن b توسط باب می‌توان بخش دیگری از کلید خصوصی او را formula_30 برای بازگردانی پیام آلیس با ضرب کردن b و formula_31 استفاده کرد.


title: رمزنگاری ان‌تی‌آریو

text: formula_34 نیازمند است به formula_31


title: رمزنگاری ان‌تی‌آریو

text: مثال: پیام رمزنگاری شده e از آلیس به باب در چندجمله‌ای f ضرب خواهد شد. اینجاست که باب با استفاده از بازه [q/2,+q/2-] به جای بازه ۰ تا 1-q برای ضرایب چندجمله‌ای a، از احتمال اینکه پیام به‌طور کامل بازگردانی نشود جلوگیری می‌کند. کاهش ضرایب a در پیمانه p نتیجه زیر را در برخواهد داشت:


title: رمزنگاری ان‌تی‌آریو

text: که برابر است با


title: رمزنگاری ان‌تی‌آریو

text: در آخرین مرحله نتیجه با formula_31 که از کلید خصوصی باب است ضرب می‌شود تا بتوان به پیام اصلی m رسید.


title: رمزنگاری ان‌تی‌آریو

text: که در واقع پیام اصلی است که آلیس به باب فرستاده‌است!


title: تیغ‌باله‌ها

text: تیغ‌باله‌ها سرده‌ای از بزرگ‌باله‌ایان است که شامل ۸ گونه می‌شود. نهنگ اومورا تازه‌ترین گونه‌ای است که به این سرده افزوده شده‌است و در سال ۲۰۰۳ رده‌بندی شد. نهنگ‌های گوناگونی عضو تیغ‌باله‌ها هستند و این سرده متنوع‌ترین سرده در خانواده خود است؛ دیگر سرده عضو بزرگ‌باله‌ایان دارای تنها یک عضو (نهنگ گوژپشت) است.


title: پان‌ترکیسم در ایران

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


title: پان‌ترکیسم در ایران

text: در ایران پان‌ترکیسم بر روی چند موضوع به گونه‌ای برجسته متمرکز شده‌است و این جریانات مورد تحریف و وارونه‌نمایی در جهت مصادره به مطلوب اندیشهٔ پان‌ترکیسم قرار گرفته‌است:


title: پان‌ترکیسم در ایران

text: ۱. ضعیف نشان دادن و وابسته کردن زبان.


title: پان‌ترکیسم در ایران

text: ۲. ارائهٔ آمارهای جمعیتی غیر از آمار رسمی و بین‌المللی نظیر ۳۰ تا ۴۰ میلیون ترک ساکن در ایران.


title: پان‌ترکیسم در ایران

text: دیگر فعالیت‌های پان‌ترکیسم در ایران عبارتند از:


title: پان‌ترکیسم در ایران

text: دولت‌های عثمانی و شوروی، با بهره‌گیری از زبان ترکی رایج در آذربایجان و فراموش کردن هویت، پیشینه و تبار هم‌ریشهٔ آذری‌ها با دیگر اقوام ایرانی جبههٔ پان‌ترکیسم - پان‌تورانیسم را در ایران راه‌اندازی کردند. در اندیشهٔ پان‌ترکسیم برای قوم ایرانی‌تبار آذری، باید تباری ترکی-مغولی ساخته شود. در این راستا نخستین جنبش در سال ۱۹۱۸ اجرایی شد. این بار کشور روسیه که از این نقشه سود می‌برد، در راه به دست آوردن بخش‌هایی از ایران گام برداشت. به خواست روسیهٔ تزاری (سپس شوروی) و با پشتیبانی عثمانی و هم‌دستی انگلیس، از سال ۱۹۱۷ و طی کنگرهٔ حزب مساوات، بخش جدا شده از ایران «آران» را آذربایجان نام نهادند. پیش از آن هیچ‌گاه به بخش شمالی رود ارس در هیچ سندی نام آذربایجان اطلاق نشده بود. برای نمونه در قراردادهای گلستان و ترکمنچای، به نام آذربایجان برنمی‌خوریم، چرا که سرزمین‌های بالای رود ارس در پی این قراردادها از ایران جدا شده بودند و سرزمین‌های بالای رود ارس، که «آران، قفقاز و آلبانی» نامیده می‌شدند و از سرزمین «آتورپاتگان» یا «آذربایجان» کاملاً جدا بود. پس از استفاده ابزاری اتحادیه جماهیر شوری از منطقه آذربایجان برای بسط نفوذ خود در جنگ جهانی دوم، حمایت‌ها از پان‌ترکیسم به خصوص در اواخر دوران شوروی و شکل‌گیری جمهوری آذربایجان ادامه پیدا کرد. در سال ۱۹۸۲ کنفرانسی از سوی انجمنِ آذربایجانیِ جمهوری شوروی سوسیالیستی آذربایجان به مناسبت سالگرد تأسیس این حزب و برای دوستی فرهنگی برگزار شد. در همین زمان، جمهوری دمکراتیک آذربایجان شوروی به واسطهٔ همین انجمن حمایت‌های مادی نیز انجام می‌داد. به عنوان مثال آن‌ها کتاب‌های مورد نظر و ویرایش شده توسط آذربایجان شوروی را، از جمله با موضوعات تاریخی، ترجمه و رونویسی می‌کردند تا در ایران چاپ شوند. این حمایت‌ها با شکل‌گیری جمهوری آذربایجان نیز ادامه پیدا کرد و گروه‌های رسمی که به دنبال تجزیه ایران هستد، در این کشور از امتیازات اقامت برخوردار هستند.


title: پان‌ترکیسم در ایران

text: سید جواد طباطبایی پژوهشگر تبریزی در تاریخ سیاست و فلسفه، مبنای اندیشهٔ پان‌ترکیسم را درآمیختگی نوعی فراموشی تاریخی با افسانه‌بافی‌های به ظاهر تاریخی می‌داند که بدل به ملغمه‌ای از بیسوادی و بی‌شعوری شده‌است.


title: پان‌ترکیسم در ایران

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


title: پان‌ترکیسم در ایران

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


title: پان‌ترکیسم در ایران

text: از این میان اقوام ترک سازی شده بالا، موارد زیر ساکن ایران هستند:


title: تی جی فورد

text: ترنس جرود "تی. جی." فورد متولد ۱۹۸۳ میلادی در هیوستون بازیکن امریکایی حرفه‌ای ان بی ای است. فورد در دانشگاه تگزاس در آستین بسیار درخشید و بعنوان یکی از بهترین بازیکنان تگزاس لانگهورنز انتخاب شد.


title: تی جی فورد

text: فورد در سال ۲۰۰۳ در درفت سرتاسری ان بی ای در رتبه هشتم توسط میلواکی باکس گزینش گردید. اما طولی نکشید که مصدومیت کمر جلوی پیشرفت او را گرفت. سپس به تیم تورنتو رپتورز در کشور کانادا پیوست و این تیم را توانست تا مرحله اول پلی آفس ان بی ای فصل ۲۰۰۵ جلو برد. سپس به تیم ایندیانا پیسرز رفت، اما مصدومیت کمر باز نگذاشت در بازی خویش بدرخشد. تا اینکه تیم سن آنتونیو اسپرز او را در سال ۲۰۱۱ بعنوان بازیکن پشتیبان تونی پارکر استخدام کرد.


title: تی جی فورد

text: مهارت وی در حرکات سرعتی است.


title: کوری جوزف

text: کوری افرایم جوزف متولد ۱۹۹۱ میلادی در تورنتو بازیکن کانادایی حرفه‌ای ان بی ای و ملی پوش تیم ملی بسکتبال کانادا است.


title: کوری جوزف

text: جوزف در دانشگاه تگزاس در آستین بسیار درخشید و به عنوان یکی از بهترین بازیکنان تگزاس لانگهورنز انتخاب شد.


title: کوری جوزف

text: او سپس در سال ۲۰۱۱ در درفت سرتاسری ان بی ای در رتبه بیست و نهم توسط سن آنتونیو اسپرز گزینش گردید. او در گارد راس برای تورنتو رپتورز بازی می‌کند.


title: جورجینا لئونیداس

text: جورجینا لئونیداس (زاده ۲۸ فوریه ۱۹۹۰) بازیگر بریتانیایی است. او بیشتر برای بازی در نقش خانم مالی در نمایش باسیل براش و بازی در نقش کیتی بل در مجموعه فیلم‌های هری پاتر شهرت دارد.


title: جسی کیو

text: جسیکا "جسی" کیو (زاده ۱۹۸۷) بازیگر انگلیسی است. او بیشتر بخاطر ایفای نقش شخصیت لاوندر براون در مجموعه فیلم‌های هری پاتر شناخته می‌شود.


title: الگوریتم بروکا

text: الگوریتم بروکا الگوریتمی برای پیدا کردن درخت فراگیر مینیمم با وزن یال‌های مجزا در یک گراف است. درخت فراگیر کمینه درختی است شامل تمام رأس‌های یک گراف، به‌طوری‌که مجموع وزن یالهاش کمترین باشد. این روش برای اولین بار در سال 1926 توسط "اوتاکار بروکا" به عنوان یک روش ساخت شبکۀ توزیع انرژی الکتریکی کارآمد برای موراوی منتشر شده‌است. الگوریتم در سال 1938 توسط و در سال 1950 توسط Florek و و Perkal و Zubrzycki و برای بار دیگر در سال 1965 توسط Sollin دوباره کشف شد. از آن‌جایی که "سولین" تنها دانشمندی از این لیست بوده که در کشورهای انگلیسی زبان زندگی می‌کرده، این الگوریتم غالباً و به‌خصوص در پردازش موازی به "الگوریتم سولین" مشهور است. الگوریتم بروکا را می‌توان حالت موازی الگوریتم پریم دانست. در هر راس گراف، سبک‌ترین یال را انتخاب می‌کنیم و راس انتهایی یال انتخاب شده را نیز علامت می‌زنیم و این دو راس را از گراف حذف می‌کنیم و این کار را ادامه می‌دهیم تا گراف به یک راس تبدیل شود؛ درخت کمینۀ مورد نظر ما درختی متشکل از رأس‌ها و یال‌های انتخاب شده‌است. مراحل الگوریتم: روش زیر را تا وقتی گراف به یک گره تبدیل شود ادامه می‌دهیم:


title: الگوریتم بروکا

text: در هر تکرار حلقه باید موارد زیر محاسبه شود: در هر تکرار حداقل یک یال از اجزای متصل کم می‌شود و بیشینه تکرار برابر Log V است ( V همان تعداد یال‌هاست)؛ پس مرتبۀ کلی الگوریتم را با توجه به توضیحات می‌توان formula_3 در نظر گرفت.


title: الگوریتم بروکا

text: دیگر الگوریتم‌هایی که برای پیدا کردن درخت فراگیر کمینه وجود دارد الگوریتم پریم و الگوریتم کروسکال است. سریع‌ترین الگوریتم در این زمینه را می‌توان با ترکیب الگوریتم پریم و الگوریتم بروکا به‌دست آورد. سریع‌ترین الگوریتم یافتن درخت پوشای کمینۀ تصادفی بر پایۀ الگوریتم بروکا است که در زمان formula_1 اجرا می‌شود؛ بهترین الگوریتم قطعی شناخته شده برای یافتن درخت کمینۀ پوشا ( که توسط Bernard Chazelle معرفی شد) نیز برپایۀ الگوریتم بروکا و با زمان اجرایی برابر ((O("E" α(V است. این الگوریتم‌های قطعی و تصادفی مراحل الگوریتم بروکا را تلفیق می‌کنند به این صورت که تعداد مؤلفه‌هایی که برای اتصال باقی می‌ماند را با مراحل مختلفی که تعداد یال‌های بین جفت مؤلفه‌ها را کاهش می‌دهند، کم می‌کند.


title: ارتش

text: ارتش تا پیش از انقلاب و تشکیل سپاه پاسداران انقلاب اسلامی به مجموعهٔ نیروهای نظامی به جز ژاندارمری اطلاق می‌گردید. هنوز هم دربارهٔ دیگر کشورها به همین معنا به کار می‌رود. ارتش جمهوری اسلامی ایران و سپاه پاسداران انقلاب اسلامی نیروهای نظامی ایران را تشکیل می‌دهند.


title: ارتش

text: "ارتش" از واژه‌های برساخته در دوران معاصر است و از روی واژهٔ "ارتشتار" ("ارتشدار") که پیش از آن به معنی سپاهی (لشکری) در زبان فارسی وجود داشت، برساخته شده‌است. این پسین‌سازی از این خاسته‌است که واژه را مرکب فرض کرده‌اند و جزء دوم "دار" را به معنای دارنده گرفته‌اند. این واژه را فرهنگستان ایران نساخته‌است بلکه نتیجهٔ کار عده‌ای است که در دوره‌های جدید اما پیش از کودتای ۱۲۹۹، در مقابل برخی از واژه‌های جدید و ترکی که در ارتش رواج داشت، به واژه‌گزینی پرداختند اما چون با این فن آشنا نبودند، دچار لغزشهایی شدند. اینان واژهٔ «ارتش» را به جای واژهٔ ترکی "قشون" قرار دادند و بدین وسیله می‌خواستند این واژهٔ ترکی را کنار بگذارند که البته سرانجام با جا افتادن این واژه، در این امر کام یافتند.


title: ارتش

text: پس از پیروزی انقلاب کبیر فرانسه در سال ۱۷۹۸ میلادی، نظام تازه تأسیس جمهوری از طرف کشورهای سلطنتی همسایه مورد تهدید قرار گرفت. در پاسخ به این تهدیدات ژان باتیست جردن نماینده مجلس در سپتامبر ۱۷۹۸ قانونی را در مجلس به تصویب رساند که اولین ماده آن بیان می‌داشت: «هر فرانسوی سربازی است که خود را موظف به دفاع از ملت می‌داند». این قانون مقدمه‌ای برای تشکیل ارتش بزرگ در زمان ناپلئون شد که آن را ملت مسلح می‌نامید تا پیش از تأسیس ارتش نوین ایران در دوره پهلوی اول، ارتش مجموعه‌ای متشکل از نیروهای قومی و بومی بودند که بیشتر به فرمان و برای رئیس ایل خود می جنگیدن تا کشور و رئیس دولت. ضعف و ناکارآمدی آشکار چنین سیستمی با شکست نیروهای تحت فرماندهی عباس میرزا در جنگ با روس‌ها و از دست دادن بخش‌های وسیعی از خاک کشور بیش از پیش روشن گردید. از اینرو ولیعهد فتحعلی شاه برآن شد که اصلاحات در ساختار نیروهای نظامی ایران را آغاز کند. برای تحقیق بخشیدن به این تفکر، ژنرال گاردان، از طرف ناپلئون به ایران فرستاده شد. مأموریت وی، ساماندهی ارتش ایران به سبک و سیاق اروپایی بود. توطئه‌گران انگلیسی به صورت مداوم، در کار این فرستاده نظامی فرانسوی اختلال ایجاد می‌کردند، چرا که انگلیسی‌ها از حضور یک ارتش خارجی و فرستادگان آن‌ها در ایران، به شدت احساس خطر می‌کردند و از ساماندهی ارتش ایران توسط افسران ناپلئون، هراسان بودند. در نهایت، فرستاده فرانسوی از ایران رفت و افسران انگلیسی به جای ایشان دعوت شدند. با وجود این تماس‌ها و راهنمایی‌های خارجی‌ها، نتایج بسیار سطحی بود؛ به افسران به ندرت پولی پرداخت می‌شد، لباس این افراد کهنه و مندرس بود و به‌طور کلی، همه گونه کمبودی در قشون ایران احساس می‌شد. آرشیو تاریخی ارتش فرانسه نحوه سربازگیری در اواخر دوره فتحعلی شاه را چنین گزارش می‌کند: «نحوه سربازگیری در ایران به صورت ملوک الطوایفی است. هر استان و شهرستان به استثنا چند شهر، باید عده ای سوار با اسب بدهد و اگر سربازی فرار کند یکی از بستگانش را به جای او به خدمت سربازی خواهند برد». البته به استناد گزارش‌های سرتیپ گاردان اگر ناحیه شهرستانی که باید تعدادی سرباز بدهد، به علتی از فرستادن سرباز خودداری می‌کرد، برابر قرارداد و صورت دیوانی بایستی به ازای هر سرباز مبلغی وجه نقد به عنوان پیشکش به خزانه شاه یا ولیعهد بپردازد تا با آن پول از محل دیگری سرباز فراهم نمایند.


title: جیمز اندرسون (بسکتبال)

text: جیمز لی اندرسون متولد ۱۹۸۹ میلادی در الدورادو٬ آرکانسا بازیکن حرفه‌ای ان بی ای آمریکایی بود.


title: جیمز اندرسون (بسکتبال)

text: اندرسون در دانشگاه ایالتی اوکلاهوما بسیار درخشید و به عنوان یکی از بهترین بازیکنان آن تیم انتخاب شد.


title: جیمز اندرسون (بسکتبال)

text: او سپس در سال ۲۰۱۰ در درفت سرتاسری ان بی ای در رتبه بیستم توسط سن آنتونیو اسپرز گزینش گردید اما در آغاز فصل دچار مصدومیت از ناحیه پا گردید و نیمکت‌نشین شد. اما هرگز نتوانست در این تیم جایی برای خود پیدا کند. نهایتاً در سال ۲۰۱۲ از کادر مدیریت تیم اسپرز خواستار پایان قرارداد خود گردید و در فصل ۲۰۱۳ از تیم کنار گزارده شد.


title: جیمز اندرسون (بسکتبال)

text: او سپس مدتی را در نقش شوتینگ گارد برای فیلادلفیا سونتی‌سیکسرز سپری کرد ولی نهایتاً سر از باشگاه خیمکی در لیگ روسیه سردرآورد.


title: جام ملت‌های اروپا ۲۰۰۴

text: جام ملت‌های اروپا ۲۰۰۴ یا یورو ۲۰۰۴، دوازدهمین دوره مسابقات جام ملت‌های اروپا بود که بین روزهای (۱۲ ژوئن – ۴ ژوئیه ۲۰۰۴) و در ۸ شهر از کشور پرتغال برگزار شد.


title: جام ملت‌های اروپا ۲۰۰۴

text: در این مسابقات ۱۶ تیم نیز حضور داشتند. پرتغال به‌عنوان تیم میزبان و ۱۵ تیم در بازی‌های مقدماتی انتخاب شده‌اند. تیم ملی فوتبال لتونی نخستین بار بود که به مرحلهٔ گروهی این مسابقات رسیده بود.


title: جام ملت‌های اروپا ۲۰۰۴

text: این جام، شگفتی‌های زیادی داشت، آلمان، ایتالیا و اسپانیا در مرحلهٔ گروهی حذف شدند. فرانسه در حالی‌که مدافع عنوان قهرمانی این مسابقات بود، در مرحلهٔ یک چهارم نهایی در مقابل یونان شکست خورد و حذف شد. یونان که پس از ۲۴ سال و برای دومین بار موفق به حضور در مسابقات جام ملت‌های اروپا شده بود، در نهایت توانست با غلبه بر حریفان خود، قهرمان این مسابقات شود.


title: جام ملت‌های اروپا ۲۰۰۴

text: یونان، قهرمان جام ملت‌های اروپا ۲۰۰۴ به‌عنوان نمایندهٔ کنفدراسیون فوتبال اروپا (یوفا) در جام کنفدراسیون‌ها ۲۰۰۵ شرکت کرد.


title: جام ملت‌های اروپا ۲۰۰۴

text: مرحله مقدماتی جام ملت‌های اروپا ۲۰۰۴ از سپتامبر ۲۰۰۲ تا نوامبر ۲۰۰۳ با حضور ۵۰ تیم که قرعه‌کشی آن در تاریخ ۲۵ ژانویه ۲۰۰۲ برگزار شد، در ده گروه پنج تیمی که بازی‌های آن مرحله به صورت رفت و برگشت بوده انجام شده‌است. تیم‌های اول هر گروه (۱۰ تیم) به صورت مستقیم وارد این مسابقات شده‌اند و تیم‌های دوم هر گروه به پلی‌آف رفته و به صورت رفت و برگشت به مصاف یک‌دیگر رفته و برندگان آن‌ها نیز وارد این مسابقات شدند. ۱۶تیمی که در مرحله نهایی این تورنمنت حضور داشتند، عبارتند از: گروه A


title: جام ملت‌های اروپا ۲۰۰۴

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


title: جام ملت‌های اروپا ۲۰۰۴

text: گروه B


title: جام ملت‌های اروپا ۲۰۰۴

text: فرانسه مدافع عنوان قهرمانی و انگلیس، مدعیان اصلی گروه دوم بودند. در بازی این دو تیم مقابل یکدیگر، تیم انگلیس بازی یک بر صفر برده را با باخت ۲ بر یک مقابل تیم فرانسه عوض کرد. انگلیس که در دقیقهٔ ۳۸ توسط فرانک لمپارد به تک گل خود مقابل فرانسه رسیده بود، با دوگلی که زین‌الدین زیدان که در دقایق پایانی بازی و در وقت‌های اضافهٔ ۱+۹۰ و ۳+۹۰ به ثمر رساند، در این مسابقه شکست خورد. در دوبازی بعدی انگلیس مقابل تیم‌های سوئیس و کرواسی، این تیم توانست با درخشش ستارهٔ جوان خود وین رونی به پیروزی پرگل برسد. انگلیسی‌ها موفق شدند تیم سوئیس را با نتیجهٔ سه بر صفر و تیم کرواسی را با نتیجهٔ چهار بر دو مغلوب کنند. وین رونی در این دو بازی ۴ گل به ثمر رساند. مطابق انتظار، فرانسه و انگلیس از این گروه به دور بعد صعود کردند. این گروه با ۲۰ گلی که بین تیم‌های گروه رد و بدل شد، پرگل‌ترین گروه این دور از مسابقات لقب گرفت.


title: جام ملت‌های اروپا ۲۰۰۴

text: گروه C


title: جام ملت‌های اروپا ۲۰۰۴

text: رقابت اصلی در گروه سوم بین سه تیم سوئد، دانمارک و ایتالیا بود. در این گروه رقابت بسیار نزدیک بود و سه تیم مدعی این گروه سه نتیجهٔ مساوی مقابل هم کسب کردند. تیم بلغارستان در این گروه هر سه بازی خود را واگذار کرد. در نهایت هر سه تیم مدعی این گروه پنج امتیازی شدند. تیم‌های سوئد و دانمارک به عنوان دو تیم اول به مرحلهٔ بعد رفتند و ایتالیا به دلیل تفاضل کمتر نسبت به این دو تیم به مقام سوم رسید و از راه‌یابی به مرحلهٔ یک چهارم نهایی بازماند. تیم ملی فوتبال بلغارستان که هر در هر سه بازی خود شکست خورده بود، به مقام چهارم این گروه رسید و تنها تیمی در مرحلهٔ گروهی این دوره از مسابقات نام گرفت که هیج امتیازی کسب نکرده است. در این گروه، در مجموع ۱۶ گل بین تیم‌ها رد و بدل شد.


title: جام ملت‌های اروپا ۲۰۰۴

text: گروه D


title: جام ملت‌های اروپا ۲۰۰۴

text: در گروه چهارم تیم جمهوری چک توانست هر سه بازی خود را با پیروزی پشت سر بگذارد و ۹ امتیاز کامل این مرحله را کسب کند. آن‌ها تنها تیمی بودند که توانسته در مرحلهٔ گروهی این دوره از مسابقات، تمام حریفانش را با شکست بدرقه کند و یکی از مدعیان کسب عنوان قهرمانی به حساب می‌آمدند. تیم هلند با یک برد و یک تساوی به عنوان تیم دوم به دور یک‌چهارم پایانی صعود کرد و تیم آلمان با دو تساوی مقابل هلند و لتونی و کسب دو امتیاز در ردهٔ سوم این گروه قرار گرفت. لتونی هم که برای اولین بار توانسته بود در مرحلهٔ گروهی این مسابقات حضور پیدا کند، با تنها نتیجهٔ مساوی که مقابل آلمان بدست آورد، با یک امتیاز به مقام چهارمی این گروه بسنده کرد. در این گروه، در مجموع ۱۶ گل بین تیم‌ها رد و بدل شد.


title: جام ملت‌های اروپا ۲۰۰۴

text: ۲۴ ژوئن ۲۰۰۴ مسابقهٔ اول یک چهارم نهایی بین تیم اول گروه A یعنی پرتغال و تیم دوم گروه B که انگلیس بود برگزار شد. بازی این دو تیم در ۹۰ دقیقه وقت قانونی با نتیجهٔ مساوی یک بر یک به پایان رسید تا بازی به وقت‌های اضافه کشیده شود. در دو وقت اضافه هم دو تیم به تساوی یک بر یک رسیدند تا در مجموع دو تیم به نتیجهٔ دو بر دو مساوی برسند و بازی به ضربات پنالتی کشیده شود. در ضربات پنالتی تیم پرتغال توانست با نتیجهٔ شش بر پنج تیم انگلیس را شکست دهد و وارد مرحلهٔ نیمه نهایی شود. این بازی در شهر لیسبون برگزار شد و ۶۵ هزار نفر تماشاگر از این بازی استقبال کردند.


title: جام ملت‌های اروپا ۲۰۰۴

text: ۲۵ ژوئن ۲۰۰۴ مسابقهٔ دوم یک چهارم نهایی بین تیم اول گروه B یعنی فرانسه و تیم دوم گروه A یعنی یونان برگزار شد. در بازی که در شهر لیسبون و در حضور بیش از ۴۵ هزار تماشاگر برگزار شد، تیم یونان موفق شد با نتیجهٔ یک بر صفر تیم فرانسه را شکست دهد و به مرحلهٔ نیمه نهایی این مسابقات صعود کند.


title: جام ملت‌های اروپا ۲۰۰۴

text: ۲۶ ژوئن ۲۰۰۴ مسابقهٔ سوم یک چهارم نهایی بین تیم اول گروه C یعنی سوئد و تیم دوم گروه D که هلند بود برگزار شد. این دو تیم در نود دقیقه وقت قانونی بازی به نتیجه‌ای بهتر از تساوی صفر بر صفر مقابل هم نرسیدند تا کار به وقت‌های اضافه کشیده شود. در وقت‌های اضافه هم همین نتیجه پابرجا ماند و توپی از خط دروازهٔ هیچ یک از این دو تیم عبور نکرد تا پس از بازی یک چهارم نهایی پرتغال و انگلیس، برندهٔ این بازی هم نیز در ضربات پنالتی مشخص شود. در ضربات پنالتی این تیم هلند بود که توانست سوئد را با نتیجهٔ پنج بر چهار مغلوب کند و به دور بعد راه پیدا کند. این بازی در حضور ۳۰ هزار تماشاگر برگزار شد.


title: جام ملت‌های اروپا ۲۰۰۴

text: ۲۷ ژوئن ۲۰۰۴ مسابقهٔ چهارم یک چهارم نهایی بین تیم اول گروه D یعنی جمهوری چک و تیم دوم گروه C یعنی دانمارک برگزار شد. در آخرین بازی مرحلهٔ یک چهارم نهایی که در حضور بیش از ۴۱ هزار تماشاگر و در شهر پورتو برگزار شد، تیم جمهوری چک موفق شد با برد قاطعانهٔ ۳ بر صفر تیم دانمارک را شکست دهد و جواز حضور در مرحلهٔ نیمه‌نهایی را کسب کند. در این دیدار یان کولر یک گل و میلان باروش دو گل برای جمهوری چک به ثمر رساندند.


title: جام ملت‌های اروپا ۲۰۰۴

text: ۳۰ ژوئن ۲۰۰۴ در بازی اول نیمه‌نهایی، تیم‌های ملی فوتبال پرتغال و هلند به مصاف هم رفتند. وجه مشترک این دو تیم در مرحلهٔ قبل این مسابقات، صعود هر دو تیم در ضربات پنالتی به نیمه‌نهایی بود. پرتغال با پیروزی در ضربات پنالتی که مقابل تیم ملی فوتبال انگلیس در مرحلهٔ یک‌چهارم نهایی بدست آورده بود، به مصاف تیم هلندی رفت که آن هم در ضربات پنالتی موفق به شکست تیم سوئد شده بود. در این بازی که در حضور نزدیک به ۴۷ هزار تماشاگر و در شهر لیسبون پایتخت کشور پرتغال برگزار شد، تیم میزبان این مسابقات یعنی پرتغال توانست تیم هلند را با نتیجهٔ ۲ بر یک نیز مغلوب کند و به فینال این دوره از مسابقات صعود کند. تک گل تیم هلند با گل به خودی پرتغالی‌ها به ثمر رسید.


title: جام ملت‌های اروپا ۲۰۰۴

text: ۱ ژوئیه ۲۰۰۴ بازی دوم نیمه‌نهایی، بین تیم‌های ملی فوتبال یونان و جمهوری چک برگزار شد. یونانی‌ها با پیروزی یک بر صفری که مقابل تیم فرانسه بدست آوردند به این مرحله صعود کرده بودند و همچنین تیم ملی فوتبال جمهوری چک که نتایج خوبی که در دور گروهی این مسابقات بدست آورده بود، با شکست سه بر صفر دانمارک به این مرحله صعود کرده بود. در بازی که بین تیم‌های یونان و جمهوری چک و در حضور نزدیک به ۴۲٬۵۰۰ تماشاگر در شهر پورتو به انجام رسید، دو تیم در وقت قانونی نود دقیقه به نتیجهٔ تساوی ۰-۰ رسیدند تا بازی به وقت‌های اضافه کشیده شود. در وقت اضافهٔ اول، تیم یونان با گل نقره‌ای که در دقیقهٔ ۱+۱۰۵ توسط ترایانوس دلاس به ثمر رسید، در نهایت برندهٔ این بازی شد تا تیم ملی فوتبال یونان به عنوان تیم دوم نیز بعد از پرتغال میزبان، به فینال این دوره از رقابت‌ها صعود کند. قضاوت این بازی برعهدهٔ پیرلوئیجی کولینا بود.


title: جام ملت‌های اروپا ۲۰۰۴

text: ۴ ژوئیه ۲۰۰۴ دیدار فینال یورو ۲۰۰۴ در تاریخ ۱۴ تیر ۱۳۸۳ (۴ ژوئیه ۲۰۰۴ میلادی) در شهر لیسبون، بین تیم‌های ملی فوتبال یونان و پرتغال برگزار شد.


title: جام ملت‌های اروپا ۲۰۰۴

text: این دو تیم در مرحله گروهی و در گروه A این مسابقات با یک‌دیگر همگروه بوده‌اند و علاوه بر انجام این دیدار که فینال و آخرین بازی این مسابقات بود، در اولین بازی یعنی بازی افتتاحیه این مسابقات هم با یک‌دیگر روبه‌رو شدند که با نتیجه دو بر یک به نفع یونانی‌ها رقم خورد.


title: جام ملت‌های اروپا ۲۰۰۴

text: قضاوت دیدار افتتاحیه بر عهدهٔ پیرلوئیجی کولینا داور ایتالیایی بود و در این مسابقه که در شهر پورتو برگزار شد، نزدیک به ۴۹٬۰۰۰ تماشاگر در ورزشگاه حضور داشتند.


title: جام ملت‌های اروپا ۲۰۰۴

text: در واقع بازی اول و آخر این دوره از مسابقات (افتتاحیه و اختتامیه)، مابین همین دو تیم بوده‌است. بنابراین پرتغالی‌ها در اندیشهٔ انتقام دیدار افتتاحیه از یونان بودند.


title: جام ملت‌های اروپا ۲۰۰۴

text: در مسابقهٔ فینال حساس و نفس گیر، تیم ملی فوتبال یونان که دومین حضورش را در این مسابقات پس از جام ملت‌های اروپا ۱۹۸۰ تجربه می‌کرد، با گل دقیقهٔ ۵۷ که توسط آنجلوس چاریستیس به ثمر رسید، موفق به شکست یک بر صفر پرتغال شد و توانست اولین عنوان قهرمانی‌اش را در این مسابقات با سرمربی‌گری اتو ریهاگل جشن بگیرد و شگفتی‌ساز این دوره از مسابقات جام ملت‌های اروپا شود. در نهایت تیم پرتغال که از امتیاز میزبانی این دوره از مسابقات برخوردار بود و امیدوار بود تا بتواند اولین جام خود را در این مسابقات بالای سر ببرد، از کسب عنوان قهرمانی بازماند. یونانی‌ها اولین گل و آخرین گل این مسابقات را به ثمر رساندند.


title: جام ملت‌های اروپا ۲۰۰۴

text: تعداد تماشاگرانی که در مسابقه فینال در ورزشگاه حضور داشته‌اند ۶۲٬۸۶۵ اعلام شده‌است. قضاوت این دیدار بر عهدهٔ مارکوس مرک داور مطرح آلمانی بوده‌است.


title: جام ملت‌های اروپا ۲۰۰۴

text: نکتهٔ جالب آنکه پیش از شروع مسابقات یورو ۲۰۰۴ شانس تیم یونان برای رسیدن به قهرمانی این مسابقات یک به ۱۵۰ام (در حد نزدیک به صفر) ارزیابی می‌شد. یونانی‌ها از خط دفاع مستحکمی در این مسابقات برخوردار بودند که یکی از عوامل مهم در موفقیت آن‌ها نیز قلمداد می‌شد.


title: جام ملت‌های اروپا ۲۰۰۴

text: این مسابقات در ۱۰ ورزشگاه که در ۸ شهر واقع بودند، برگزار شد. این اولین مسابقات جام ملت‌های اروپایی بود که در آن بیش از ۸ ورزشگاه میزبان مسابقات هستند. بزرگترین ورزشگاه میزبان در شهر لیسبون قرار داشت که ظرفیت آن ۶۵٬۶۴۷ نفر بود و فینال هم در آن برگزار شد.


title: جام ملت‌های اروپا ۲۰۰۴

text: سیدبندی یورو، بر اساس رنکینگ و رتبهٔ تیم‌ها در فیفا و محاسبهٔ ضریب آن‌ها در یوفا تدوین شد. قرعه‌کشی مرحلهٔ گروهی این مسابقات، در تاریخ ۳۰ نوامبر سال ۲۰۰۳ طی مراسمی در شهر لیسبون برگزار شد.


title: جام ملت‌های اروپا ۲۰۰۴

text: مرحله حذفی مسابقات شامل ۸ تیم واجد شرایط از مرحله گروهی یعنی تیم‌های اول و دوم هر چهار گروه بود. در صورتی‌که دو تیم در وقت قانونی به تساوی می‌رسیدند، دو وقت اضافهٔ ۱۵دقیقه‌ای با قانون گل نقره‌ای برگزار می‌شد. در صورت تساوی در وقت‌های اضافه، ضربات پنالتی تیم برنده را مشخص می‌کرد.کیناس، پسری است که نماد رسمی مسابقات جام ملت‌های اروپا ۲۰۰۴ بود.


title: جام ملت‌های اروپا ۲۰۰۴

text: این نماد شامل رنگ‌های پرچم کشور پرتغال و تیم ملی فوتبال پرتغال (میزبان مسابقات) یعنی پیراهن قرمز و شورت سبز همراه با کفش‌های سفید طراحی شده‌است که همواره در حال بازی فوتبال است.


title: جام ملت‌های اروپا ۲۰۰۴

text: کیناس نماد انرژی جوانان پرتغال و نماد بی‌قراری مثبت، شور، شوق و اشتیاق آن‌ها به فوتبال بود.


title: جام ملت‌های اروپا ۲۰۰۴

text: او همچنین به عنوان نماد و سمبل تلاش، انگیزه، نوع دوستی و اوج تکنیک و مهارت فوتبال انتخاب شده بود.


title: جام ملت‌های اروپا ۲۰۰۴

text: کیناس در تاریخ ۲۹ مارس ۲۰۰۳ در پورتو با هدف شور و انرژی، به‌طور رسمی رونمایی شد. این نماد توسط برادران وارنر ساخته شده‌است.


title: نظریه زمینه‌ای

text: تئوری داده‌بنیاد یا نظریه مبنایی یا تئوری برخاسته از داده‌ها یا تئوری بنیادی یک روش تحقیقی عام، استقرایی و تفسیری است که در سال ۱۹۶۷ توسط بارنی گلیزر و انسلم استراوس به وجود آمد.


title: نظریه زمینه‌ای

text: «نظریه‌ی برپایه»، روش تحقیقی برآمده از سنت‌های علوم اجتماعی در دانشگاه‌های کلمبیا و شیکاگو طی اوایل نیمه دوم سده بیستم است. دوران پیدایی و برآمدن این روش تحقیق، زمانه نقد اثبات‌گرایی و مابعد اثبات‌گرایی است. دورانی که عقلانیت انتقادی در برابر عقلانیت ابزاری اهمیت یافته است.


title: نظریه زمینه‌ای

text: تئوری داده‌بنیاد این امکان را برای پژوهشگران در حوزه‌های موضوعی گوناگون فراهم می‌آورد تا به جای تکیه بر نظریه‌های موجود، خود تئوری و گزاره را تدوین کنند. این تئوری‌ها و گزاره‌ها به گونه‌ای سیستماتیک و بر پایه داده‌های واقعی پرداخته می‌شود. هر تئوری و گزاره‌ای که بر اساس این روش تدوین می‌شود بر زمینه‌ای مستند از داده‌های واقعی بنیاد نهاده شده‌است.


title: نظریه زمینه‌ای

text: در واقع تئوری داده بنیاد روشی است برای دستیابی به شناخت پیرامون موضوع مورد مطالعه و موضوع یا موضوعاتی که پیش از این در مورد آن‌ها تحقیق جامعی نشده‌است و دانش ما در آن زمینه محدود است.


title: نظریه زمینه‌ای

text: روایی هر تئوری داده‌بنیاد به سنجش با سنجه‌های گوناگون از جمله سنجه‌های برادفورد هیل بستگی دارد.


title: سید علی اوسط زیدی

text: سید علی اوسط زیدی (زاده: اوتار پرادش ۱۹۳۲ - درگذشت: کراچی ۲۰۰۸) شاعر و مداح برجسته در پاکستان و هند بود که در تلویزیون پاکستان، رادیو پاکستان، شبکه آرآی‌وای، جیوتی‌وی و هندو تی‌وی برای سالها به اجرای برنامه می‌پرداخت.


title: مقبره مادوری

text: مقبره مادورای مقبره سه صوفی مسلمان اهل هند است که در شهر مادورای در ایالت تامیل نادو واقع شده است.


title: بی‌بی‌کا علم

text: بی بی کا علم یکی از مراسم سنتی شیعیان در حیدرآباد هند است که بیاد فاطمه دختر پیامبر اسلام و به مناسبت ماه محرم برگزار می‌گردد.


title: توپاک آماروی دوم

text: خوزه گابریل توپاک آمارو (۱۰ مارس ۱۷۳۸–۱۸ مه ۱۷۸۱) معروف به توپاک آماروی دوم رهبر یک قیام بزرگ علیه اسپانیایی‌ها در قرن هجدهم در پرو بود. وی در مبارزات پرو برای استقلال و جنبش حقوق بومی جنگید و پس از آن به شخصیتی اسطوره ای تبدیل شد.


title: توپاک آماروی دوم

text: توپاک آماروی دوم بین روزهای ۸ و ۲۴ مارس ۱۷۳۸ در سوریمانا تونگاسوکا، در منطقه کوزکو با نام خوزه گابریل کوندورکانکی نوگوئرا متولد شد. پدرش میگل کوندورکانکی اوسکیونسا، کوراکا (رئیس جامعه) سه شهر در منطقه تینتا و مادرش ماریا روزا نوگوئرا بود. او در اول ماه مه، توسط سانتیاگو خوزه لوپز در کلیسایی در تونگاسوکا غسل تعمید شد. پیش از مرگ پدر، آمارو دوم کودکی خود را در دره ویلکامایو گذراند. او پدرش را در کارهای اجتماعی مانند معبد، بازار و حرکات دست‌جمعی همراهی می‌کرد.


title: توپاک آماروی دوم

text: توپاک دوازده ساله بود که والدینش درگذشتند و او توسط عمه و عمویش بزرگ شد. در شانزده سالگی، وی تحصیلات انجمن عیسی را در مدرسه سانفرانسیسکو دو بورخا، که برای آموزش فرزندان کوراکاها تأسیس شده بود، فرا گرفت. پیروان این مذهب «جایگاه اجتماعی خود را به عنوان کوراکای آینده و کسانی که خون سلطنتی اینکا دارند تعریف می‌کردند.»


title: توپاک آماروی دوم

text: در بیست و دو سالگی، توپاک آمورو دوم با میکائلا باستیداس ازدواج کرد. اندکی پس از ازدواج، آمارو دوم جانشین پدرش به عنوان کوراکا شد و به او حق زمین داده شد. مانند پدرش وی هم رئیس چندین جامعه کچوا بود و هم یک بازرگان و حشم‌دار، او ۳۵۰ قاطر از املاک پدرش به ارث برد. تجارت منطقه‌ای باعث برقراری ارتباط او در بسیاری از جوامع بومی دیگر و دسترسی به اطلاعات در مورد شرایط اقتصادی شد. تماس‌های شخصی و دانش وی از منطقه در شورش ۸۱–۱۷۸۰ مفید بود.