payamvha/North_RAG huggingface dataset:
و همه اشکال را پوشش نمی‌داد. در واقع این اثبات تقریباً همهٔ شکل‌ها را پوشش می‌داد. بعداً اریک دیمین با سه محقق دیگر اثبات متفاوتی ارائه دادند که همهٔ شکل‌ها را شامل می‌شد ولی یک ایراد دیگر در اثبات وجود داشت. در حال حاضر این اثبات دو بار به‌طور مستقل اصلاح و قضیه دوباره بازیابی شده‌است. راه‌حل. در این‌جا به اثباتی می‌پردازیم که تقریباً همه شکل‌ها را پوشش می‌دهد. ساختار کار یک شبکه از خطوط به نام اسکلت مستقیم است. اسکلت مستقیم به این شکل به دست می‌آید که اضلاع شکل را با نرخ ثابتی به موازات خودش به سمت داخل
شکل را با نرخ ثابتی به موازات خودش به سمت داخل و خارج شکل حرکت می‌دهیم (به این کار انقباض و انبساط شکل می‌گوییم) از به هم متصل کردن گوشه‌های شکل‌های منبسط و منقبض شده اسکلت مستقیم بدست می‌آید. شکل روبرو روش به دست آوردن اسکلت مستقیم برای مستطیل را نشان می‌دهد. در حالت کلی، دو ابزار اصلی برای اثبات داریم: ۱- اسکلت مستقیم را بدست آوریم. ۲-از رئوس اسکلت مستقیم خطوط عمودی به اضلاع شکل رسم کنیم. خواهیم دید که همه خطوط عمودی که می‌کشیم به کار نمی‌آیند، ولی این از جزئیاتی است که در این متن به آن پرداخته نمی‌شود.
جزئیاتی است که در این متن به آن پرداخته نمی‌شود. این روش شاید برای مستطیل یا مثلث بدیهی به نظر برسد، ولی برای شکل‌های با فرورفتگی یا تقعر چندان واضح نیست. در شکل بعدی می‌توانید اسکلت مستقیم و خطوط عمود کشیده شده برای یک شکل با تقعر را ببینید.
این حسی است که حقیقت می‌دهد سومین آلبوم از خواننده اهل ایالات متحده آمریکا گوئن استفانی است که در منتشر شد.
ادوارد لوکاس دانشمند فرانسوی سده نوزدهم اولین نفری بود که دنباله عددی زیر را به فیبوناتچی نسبت داد که دنباله لوکاس (Lucas sequence) نامیده شده‌است. formula_1 با این حال ساده‌ترین دنباله دیگر که جمله عمومی آن با جمله عمومی دنباله فیبوناتچی برابر است و تفاوت در دو عدد اول این دنبالهاست، دنباله لوکاس نام دارد که به صورت رشته عددی زیر است: formula_2 و یا به عبارتی: formula_3 این دنباله نزدیک‌ترین دنباله به دنباله فیبونانچی است. نکته: دنباله لوکاس را به صورت زیر روی Z تعمیم می‌دهیم: formula_4 آنگاه formula_5
جینگوئیسم نوعی ملی‌گرایی افراطی با مشخصهٔ اصلی سیاست خارجی تهاجمی است. جینگوئیسم تمایل یک کشور به استفاده از تهدید یا زور، به جای برقراری روابط مسالمت‌آمیز و صلح‌طلبانه، برای دفاع از منافع ملی‌اش است. جینگوئیست‌ها کشور خود را برتر می‌دانند و در هر موقعیتی جانبدارانه طرف خودی را می‌گیرند. خاستگاه لغوی جینگوئیسم به بریتانیا بر می‌گردد که رویکرد ستیزه‌جویانه نسبت به روسیه در خلال جنگ‌های روسیه با عثمانی در دههٔ ۱۸۷۰ شدت گرفته بود.
در نظریه گراف، قضیه جداکننده سطحی شکلی از نامساوی ایزوپریمتریک برای گراف‌های مسطح است که بیان می‌کند که هر گراف مسطح را می‌توان با حذف کردن تعداد کمی از رئوس به قطعات کوچکتر تقسیم کرد. به‌طور خاص، حذف formula_1 راس از یک گراف n راسی (جایی که O نماد O بزرگ را فراخوانی می‌کند) می‌تواند گراف را به زیرگراف‌های ناهمبند که هر یک formula_2 راس دارند افراز کند. شرح قضیه. قضیه جداکننده سطحی بیان می‌کند که در هر گراف مسطح n راسی ، formula_3 افرازی برای رئوس وجود دارد که G را به سه مجموعهٔ A, S و B تقسیم‌بندی می‌کند.
که G را به سه مجموعهٔ A, S و B تقسیم‌بندی می‌کند. اینگونه که A و B هرکدام حداکثر formula_2 راس و S, formula_1 راس دارد. همچنین یالی وجود ندارد که یک سر آن در A و سر دیگر آن در B باشد. نیازی نیست که A و B زیرگراف‌های همبند G باشند. S را نیز جداکننده برای این افراز می‌نامیم. بیان معادل این است که یال‌های هر گراف مسطح formula_6 راسی G ممکن است به دو زیرگراف ناهمبند G1 و G2 تقسیم شود به صورتی که هر دو زیرگراف حداقل formula_7 راس دارند و تقاطع مجموعه راس‌های دو زیرگراف شامل راس formula_1 است. همچین افرازی به
زیرگراف شامل راس formula_1 است. همچین افرازی به separation شناخته می‌شود. اگر separation داده شود، تقاطع مجموعه‌های راس‌ها، جداکننده را تشکیل می‌دهد و راس‌هایی که فقط به یک زیرگراف تعلق دارد، زیرمجموعهٔ separated با حداکثر formula_2 راس تشکیل می‌دهد. از لحاظ دیگر، اگر یک جداکننده به سه مجموعه S, A و B با شرایط قضیه جداکننده سطحی داده شود، می‌توان separation تشکیل داد که یال‌هایی که سر آن در A است به G1 و یال‌هایی که سر آن در B است به G2 تعلق داشته باشد و یال‌های باقی‌مانده (که دو سر آن در S است) به صورت
یال‌های باقی‌مانده (که دو سر آن در S است) به صورت دلخواه تقسیم‌بندی می‌شود. ثابت ۲/۳ در بیان قضیه جداکننده دلخواه است و می‌تواند با هر عددی در بازهٔ باز (۱ , ۱/۲) جایگزین شود بدون آنکه صورت قضیه تغییر کند. مثال. یک گراف شبکه‌ای (grid graph) با r سطر و c ستون در نظر بگیرید. عدد n، تعداد رئوس برابر rc است. برای نمونه اگر r=۵، c=۸ و n=۴۰. اگر r فرد باشد، یک سطر مرکزی و در غیر اینصورت دو سطر که به‌طور هم اندازه نزدیک به مرکزند وجود دارد. به‌طور مشابه، اگر c فرد باشد، یک ستون مرکزی و در غیر اینصورت دو ستون که
باشد، یک ستون مرکزی و در غیر اینصورت دو ستون که به‌طور هم اندازه نزدیک به مرکزند وجود دارد. S را یکی از این سطرها یا ستون‌ها در نظر می‌گیریم و سپس S را از گراف حذف می‌کنیم. گراف به دو زیر گراف همبند A و B تقسیم می‌شود و هر کدام حداکثر n/2 راس دارند. اگر r&lt;=c (مانند نمونه)، اگر ستون مرکزی را انتخاب کنیم، جداکننده S حداکثر formula_1 راس دارد و به‌طور مشابه اگر c&lt;=r آنگاه با انتخاب سطر مرکزی S حداکثر formula_1 راس خواهد داشت. پس هر گراف شبکه‌ای (gird graph) دارای جداکنندهٔ S حداکثر با اندازهٔ formula_1
دارای جداکنندهٔ S حداکثر با اندازهٔ formula_1 است که اگر حذف شود، گراف را به دو جزء همبند تقسیم می‌کند که اندازهٔ هرکدام حداکثر n/2 است. کاربردها. الگوریتم تقسیم و حل. تجزیه جداکننده می‌تواند یک طراحی کارآمد الگوریتم تقسیم و حل برای حل کردن مسائل گراف‌های مسطح باشد. برای نمونه، یک مسئله که از این راه حل می‌شود، پیدا کردن کوچکترین دور در یک گراف جهت‌دار مسطح وزن‌دار است. این مسئله با گام‌های زیر حل می‌شود: • گراف داده شده G را با توجه به قضیه جداکننده مسطح به سه زیرمجموعه A, B و S تقسیم می‌کنیم. • به صورت
به سه زیرمجموعه A, B و S تقسیم می‌کنیم. • به صورت بازگشتی کوچکترین دور در A و B را جستجو می‌کنیم. • به ازای هر راس s در S، کوچکترین دور که s در آن است را توسط الگوریتم دکسترا پیدا می‌کنیم. • کوچکترین دوری که به وسیلهٔ گام‌های بالا پیدا شده‌است را بازمی‌گردانیم. الگوریتم دکسترا کوچکترین دور را در زمان formula_13 پیدا می‌کند. راه‌حل دقیق برای مسائل NP_hard(ان‌پی سخت). با استفاده از برنامه‌نویسی پویا روی یک درخت تجزیه یا شاخه تجزیه یک گراف مسطح، بسیاری از مسائل بهینه‌سازی ان‌پی سخت ممکن است در زمان نمایی
مسائل بهینه‌سازی ان‌پی سخت ممکن است در زمان نمایی formula_1 یا formula_15 حل شود. مثال‌های به این صورت شامل یافتن حداکثر مجموعه‌های مستقل، درخت اشتاینر، مسیر همیلتونی و مسئله فروشنده دوره‌گرد می‌باشد. روش‌های مشابهی شامل قضیه جداکننده برای گراف‌های هندسی حل مسئله فروشنده دوره‌گرد، سفر اقلیدسی و مسئله ساختار درخت اشتاینر در محدودیت زمان به همین شکل استفاده می‌شود. سلسله مراتب جداکننده. جداکننده‌ها ممکن است که تشکیل یک سلسله مراتب جداکننده یک گراف مسطح یک تجزیه بازگشتی و تشکیل گراف‌های کوچکتر بدهند. می‌توان
بازگشتی و تشکیل گراف‌های کوچکتر بدهند. می‌توان سلسله مراتب جداکننده را با درخت دودویی نشان داد. اینگونه که ریشه خود گراف است و دو فرزند ریشه، ریشه‌های ساختار سلسله مراتب بازگشتی است برای زیرگراف‌های القایی که از دو زیرمجموعه A و B تشکیل شده‌است. سلسله مراتب جداکننده این شکل، پایه تجزیه درختی گراف داده شده را تشکیل می‌دهد که در آن مجموعه راس‌های مرتبط با هم گره درخت یک جداکننده یکتا روی مسیر از آن گره به ریشه آن درخت است. آز آنجایی که اندازه گراف‌ها با یک ضریب ثابت در هر سطح درخت کم می‌شود، کران بالای
یک ضریب ثابت در هر سطح درخت کم می‌شود، کران بالای اندازه جداکننده‌ها نیز با یک ضریب ثابت در هر سطح کم می‌شود. پس اندازه اضافه کردن جداکننده به این مسیر از سری هندسی پیروی کرده و در زمان formula_1 اجرا می‌شود. به این معنا که یک جداکننده که از این راه تشکیل می‌شود دارای عرض formula_1 است و مورد استفتده قرار می‌گیرد برای نشان دادن اینکه همهٔ گرافهای مسطح دارای عرض درختی formula_1 است. منابع. Lipton, Richard J. ; Tarjan, Robert E. (1980), "Applications of a planar separator theorem", SIAM Journal on Computing,
separator theorem", SIAM Journal on Computing, 9 (3): 615–627, doi:10.1137/0209046 Lipton, Richard J. ; Tarjan, Robert E. (1980), "Applications of a planar separator theorem", SIAM Journal on Computing, 9 (3): 615–627, doi:10.1137/0209046
در ریاضیات، قضیه ساختار گراف یک نتیجه عمده در زمینه نظریه گراف است. نتیجه برقرار عمیق و اساسی در ارتباط بین نظریه گراف جزئی و برازش گراف است. این قضیه که هفدهمین مقاله از یک سری 23 مقاله‌ای است که توسط نیل رابرتسون و پل سیمور نوشته شده‌است. اثبات آن بسیار طولانی و پیچیده است. و در حال بررسی دسترس به غیر متخصصان، توصیف قضیه و عواقب آن است. راه اندازی و انگیزه برای قضیه. یک گراف جزئی از گراف آ هر گراف ب است که با گراف هم ریخت است که می‌تواند از یک زیر گراف ب با انقباض چند یال به دست آید. اگر آ شامل گراف ب به
انقباض چند یال به دست آید. اگر آ شامل گراف ب به عنوان جزئی نباشد، در این صورت می‌گوییم آ ب-آزاد است. فرض کنید آ یک گراف ثابت باشد. به‌طور مستقیم، اگر آ یک گراف عظیم ب-آزاد باشد، در این صورت باید یک "دلیل خوب" برای آن وجود داشته باشد. نظریه ساختار گراف آن "دلیل خوب" را در این شکل توصیف خشن برای ساختار آ را فراهم می‌آورد
تئو یانسن (؛ زادهٔ ) هنرمند و مجسمه‌ساز اهل هلند است. تئو یانسن، هنرمند هلندی است که حدود سی سال از زندگی خود را با لوله‌های پی.‌وی‌.سی گذرانده است. او با استفاده از این لوله‌ها، سازه‌های شگفت‌انگیزی ساخته که می‌توانند با قدرت باد حرکت کنند. حرکت این سازه‌ها کاملاً تحرک حیوانات و جانوران را تداعی می‌کند. خودش می‌گوید که چند دهه قبل، وقتی ستون‌نویس علمی یک نشریه بوده است، ماجرایی تخیلی را می‌نویسد و می‌گوید: کاش می‌شد جانورانی مکانیکی طراحی کرد که در ساحل‌های هلند حرکت کرده و ماسه‌ها را انباشته کنند تا مانعی
هلند حرکت کرده و ماسه‌ها را انباشته کنند تا مانعی برای نفوذ آب شود. این چند جمله، دیگر دامن او را رها نکردند. یانسن پیوسته با خودش فکر می‌کرد که آیا واقعاً می‌شود چنین موجوداتی را ساخت؟ زمانی که گذرش به فروشگاه لوله‌های پی‌.وی‌.سی افتاد احساس کرد که پاسخ سوالش را یافته است: موجودات مکانیکی او می‌توانند با چنین لوله‌هایی ساخته شوند. او احساس کرد ایده‌اش آن‌قدر ارزش دارد که یک سال برایش وقت بگذارد. واقعاً هم آن یک سال را صرف این ایده کرد. اما از این غافل بود که قرار است سه دهه درگیر این داستان باقی بماند. او
قرار است سه دهه درگیر این داستان باقی بماند. او در یک سال اول، با استفاده از تکنیک الگوریتم ژنتیک یک برنامه نوشت تا بتواند یک مکانیزم ساده طراحی کند که شبیه حیوانات راه می‌رود. این مکانیزم، ریشه‌ی همه‌ی اختراعات و ساخته‌های بعدی او شد. اگر به تصویر بالا هم دقت کنید متوجه می‌شوید که یک مکانیزم در آن بارها تکرار شده و ساختاری پیچیده را به وجود آورده است. در سال‌های بعد، به تدریج ساخته‌های او پیچیده‌تر شدند و او حتی توانست مکانیزم‌هایی برای ذخیره‌ی باد – برای استفاده در زمان‌هایی که باد نمی‌وزد – طراحی و
استفاده در زمان‌هایی که باد نمی‌وزد – طراحی و تعبیه کند. دستگاه‌های ساخت او، به تدریج کامل و کامل‌تر شدند. در حدی که توانستند بر طوفان‌های ساحلی هم چیره شوند. بعضی از دستگا‌های او دارای مکانیزمی هستند که به محض وزش باد شدید، خود را با میخ به زمین می‌کوبند تا باد آن‌ها را از سطح زمین بلند نکند. خود تئو یانسن دوست دارد ساخته‌های دست خود را جانور بنامد. او برای این مکانیزم‌ها از اصطلاح Strandbeest استفاده می‌کند که به معنای حیوان ساحلی است. یانسن معتقد است که حیواناتِ ساخته‌ی دست او در طول این سه دهه تکامل
حیواناتِ ساخته‌ی دست او در طول این سه دهه تکامل پیدا کرده‌اند و باز هم مسیر تکامل را طی خواهند کرد. او نقشه‌ی بعضی از این حیوانات را در اینترنت منتشر کرده و امیدوار است که در نقاط مختلف جهان، نسخه‌های کامل‌تری از این حیوانات ساخته و تولید شوند.
مارول اکنون متعلق به انتشارات دی‌سی کامیکس است. ماجراهای کاپیتان مارول بیست و یکمین سریال از ۶۶ سریال ساخته شده توسط ریپابلیک پیکچرز به‌شمار می‌رود. این سریال اولین اقتباس از یک شخصیت کمیک بوکی (بدون احتساب شخصیت‌های کمیک استریپ) بود. این سریال ابرقهرمان انتشارات فاست کمیکس را در یک داستان اورجینال بصری به نمایش می‌گذارد. کاپیتان مارول با یک جنایتکار نقابدار باهوش به نام عقرب مبارزه می‌کند که مصمم است کنترل یک سلاح باستانی را در دست بگیرد. این سلاح به شکل یک عقرب فلزی بزرگ با پاهای قابل تنظیم، دم و لنزهای
عقرب فلزی بزرگ با پاهای قابل تنظیم، دم و لنزهای قابل جابجایی ساخته شده‌است که برای فعال کردن پرتو قدرتمند آن باید اعضای آن به خوبی کنار هم چیده شوند.
ماجراهای پسر کوسه‌ای و دختر گدازه‌ای در بعد سوم () فیلمی در ژانر اکشن به کارگردانی رابرت رودریگز است که در سال ۲۰۰۵ منتشر شد. خلاصه داستان. داستان در مورد پسر و دختری است که به رویای ابر قهرمان شدن شان می رسند و حالا باید با خطری که سیاره‌شان را تهدید می کند مبارزه کنند...
خاندان حسینی قزوینی از خاندان‌های مشهور قزوین در طول قرون یازدهم تا سیزدهم قمری بودند. اصل این خانواده از تبریز بوده است و جد اعلای آنان محمدفصیح بن میراولیاء نام داشت که از تبریز به قزوین کوچ کرد و اعقابش در قزوین ماندگار شدند. محمدمعصوم بن محمدفصیح (۱۰۰۷–۱۰۹۱) نخستین شخصی است که از این خاندان نام‌بردار شده است. او از علمای معروف قزوین در اواسط دوره صفوی و صاحب تالیفاتی بود. پسر او ابراهیم قزوینی از شاگردان محمدباقر مجلسی و آقا جمال خوانساری بود. او کتابخانه بزرگی داشت و به فارسی و عربی شعر می‌سرود. یکی از
بزرگی داشت و به فارسی و عربی شعر می‌سرود. یکی از پسران او به نام سید احمد از طرف نادرشاه برای شرکت در شورای دشت مغان دعوت شد. پسر دیگر او سید محمدمهدی بود که در زمان حمله افغان‌ها به ایران، فتوای جهاد صادر کرد. معروف‌ترین پسر سید ابراهیم، میرحسین قزوینی است که سید محمدمهدی بحرالعلوم و میرزا ابوالقاسم قمی از او اجازه روایت داشتند. پسر میرحسین سید عبدالجواد قزوینی است که خاندان حاج‌سیدجوادی به او منتسب هستند. او از شاگردان محمدصالح برغانی قزوینی و سید محمد مجاهد بود. او دختر سید محمد مجاهد را به همسری گرفت و
بود. او دختر سید محمد مجاهد را به همسری گرفت و در ۱۲۷۸ درگذشت. نوه او سید مهدی (متوفی ۱۳۴۶ خورشیدی) نماینده قزوین در دوره چهاردهم مجلس شورای ملی و از اعضای جبهه ملی بود. از نبیرگان معروف سید عبدالجواد در دوران معاصر، احمد صدر حاج‌سیدجوادی از بنیان‌گذاران نهضت آزادی ایران و سرپرست دائرةالمعارف تشیع و کسری حاج‌سیدجوادی بنیان‌گذار مجله ادبی کِلک بودند.
بالک شگفت‌انگیز () یک فیلم است که در سال ۲۰۱۲ منتشر شد. این فیلم از سری فیلم های هالک تقلید شده است. این فیلم برای اولین بار به صورت DVD در ۱۷ آوریل ۲۰۱۲ میلادی با بودجه ۱۴۰۰۰ دلاری منتشر شد. داستان. هنری هاوارد دانشمندی است که برای ژنرال داروین کار میکند و از طرفی دیگر به دختر او هانا علاقه دارد. او نمونه آزمایشی را به خودش تزریق میکند و تبدیل به غولی بنفش میشود و... بازخورد ها. این فیلم با نقد های منفی بسیار روبه‌رو شد. معتقدین از عملکرد بازیگران ، داستان و جلوه های ویژه کلیشه ای تاختند و این فیلم را پوچ
و جلوه های ویژه کلیشه ای تاختند و این فیلم را پوچ توصیف کردند. کارگردان این فیلم لوئیس شرنبرون در جواب به نظرات معتقدین ، آن ها را به نفهمیدن فیلمش متهم کرد.
قهرمان آمریکایی () فیلمی در ژانر کمدی-درام و کمدی به کارگردانی نیک لاو است که در سال ۲۰۱۵ منتشر شد. از بازیگران آن می‌توان به استیون درف اشاره کرد. خلاصه داستان. ملوین، یک ابرقهرمان مُردد است که تنها برای جرم و جنایت، زن‌ها و مواد مخدر زندگی می‌کند. این قضیه تا زمانی ادامه دارد که او می‌فهمد می‌تواند به وسیلهٔ مبارزه با جرم و جنایت، پسرش که سالها از او دور بوده را دوباره ببیند و…
مفهوم مهارت‌های T شکل و یا شخصیت‌های T شکل یک استعاره است که در هنگام استخدام برای توصیف توانایی‌های افراد در نیروی کار استفاده می‌شود. ستون عمودی در "T" نشان دهنده عمق مربوط به مهارت و تخصص در یک زمینه است که فرد دارا است در حالی که نوار افقی نشان دهنده توانایی‌هایی است که فرد می‌تواند در سرتاسر آن با دیگران به غیر از تخصص خود همکاری داشته باشد. این مفهوم اولین بار توسط دیوید گست در سال ۱۹۹۱ استفاده شد. تیم براون، مدیر عامل شرکت IDEO از این مفهوم به منظور بهتر ارزیابی کردن رزومه دفاع می‌کند.
مسابقات ۵۲ کیلوگرم سان دا زنان در بازی‌های آسیایی ۲۰۱۴ در اینچئون برگزار گردید. کره جنوبی از تاریخ ۲۰ سپتامبر تا ۲۴ سپتامبر میزبان این مسابقات در ساختمان ورزشگاهی گانگوا بود. ۱۴ زن از ۱۴ کشور در این مسابقات به رقابت با یکدیگر پرداختند. تنها کسانی که وزن کمتر از ۵۲ کیلوگرم داشتند شرایط حضور در این رقابت‌ها را داشتند. ساندا یک مبارزه غیرمجاز در سیستم دفاع از خود چینی و در ورزش‌های مبارزه‌ای است. آماتورها در این رقابت‌ها اجازه دارند که لگد و مشت بزنند (نه به سر) و پرت کنند.
بستگی نام یا انقیاد نام در زبان‌های برنامه‌نویسی، ایجاد پیوند بین شناسه‌ها و موجودیت‌ها (شامل کد یا داده) است. شناسه‌ای که به یک شی انقیاد شود، به‌عنوان مرجع آن شی شناخته می‌شود. شناسه‌ها در کد ماشین وجود خارجی ندارند و انقیاد بین اشیا و نام‌ها به‌عنوان یک سرویس برای برنامه‌نویس، توسط زبان‌های برنامه‌سازی پیاده‌سازی می‌شوند. انقیاد ارتباط تنگاتنگی با دامنه دارد. دامنه مشخص می‌کند که در هر قسمت از برنامه، کدام نام‌ها به کدام اشیا انقیاد می‌شوند. زمان انقیاد. به انقیاد نام‌ها پیش از اجرای برنامه انقیاد زودرس
به انقیاد نام‌ها پیش از اجرای برنامه انقیاد زودرس یا ایستا می‌گویند. انقیادهای صورت گرفته در زمان اجرای برنامه نیز انقیاد دیررس یا پویا یا مجازی نامیده می‌شوند. به‌عنوان نمونه در زبان برنامه‌نویسی سی انقیاد نام یک تابع به صورت زودرس صورت می‌گیرد؛ تابع انقیاد شده به یک نام نمی‌تواند در زمان اجرا تغییر کند.
درخت مسابقه یک نوع درخت دودویی است. درخت مسابقه به دو نوع درخت برنده و درخت بازنده تقسیم می‌شود. راس‌های درخت مسابقه به دو نوع رئوس خارجی (برگ‌ها) و رئوس داخلی (رئوس غیر برگ) تقسیم‌بندی می‌شوند. راس‌های خارجی نماینده بازیکنان هستند و رئوس داخلی هر کدام نتیجه تک‌مسابقه بین برنده‌های دو زیر درخت خود را در خود نگه می‌دارند. درخت برنده. در درخت برنده هر راس داخلی باید بازیکن برنده بین دو راس فرزند خود را ذخیره کند و در انتها ریشه درخت حاوی بازیکنی خواهد بود که در تمام تک‌مسابقه‌ها برنده شده‌است. اگر برنده را در
تمام تک‌مسابقه‌ها برنده شده‌است. اگر برنده را در هر تک‌مسابقه بازیکنی در نظر بگیریم که مقدار آن کمتر است، در این صورت ریشه درخت اشاره به بازیکنی خواهد داشت که کمترین مقدار را بین تمام بازیکنان دارد. از کاربردهای این داده ساختار می‌توان به الگوریتم مرتب‌سازی مسابقه‌ای اشاره نمود. عملیات روی درخت برنده. رئوس خارجی نماینده عناصر می‌شوند و سپس هر راس داخلی برنده بین دو فرزند خود را ذخیره کرده و به این ترتیب تا ریشه پیش می‌رویم. در نهایت ریشه حاوی برندهٔ نهایی (عنصر کمینه یا بیشینه) بین تمام عناصر خواهد بود. به
کمینه یا بیشینه) بین تمام عناصر خواهد بود. به دلیل اینکه تعداد کل رئوس ضریبی از تعداد عناصر می‌شود، در نتیجه زمان ایجاد درخت از formula_1 است. زمانی که بخواهیم عنصر کمینه (بیشینه) را حذف کنیم، مقدار آن را مثبت بی‌نهایت (منفی بی‌نهایت) می‌کنیم و سپس تک‌مسابقاتی که روی مسیر بین آن عنصر و ریشه وجود دارد را دوباره انجام می‌دهیم تا درخت جدید ساخته شود. چون ارتفاع درخت از formula_3 است زمان حذف از formula_3 می‌شود. زمانی که بخواهیم عنصر کمینه (بیشینه) را جایگزین کنیم، مقدار جدید را به آن می‌دهیم و سپس
جایگزین کنیم، مقدار جدید را به آن می‌دهیم و سپس تک‌مسابقاتی که روی مسیر بین آن عنصر و ریشه وجود دارد را دوباره انجام می‌دهیم تا درخت جدید ساخته شود. چون ارتفاع درخت از formula_3 است زمان جایگزینی نیز از formula_3 می‌شود. پیاده‌سازی درخت برنده به زبان پایتون. در ادامه پیاده‌سازی درخت برنده با استفاده از آرایه به زبان پایتون آمده است. import math def build(A, B, x, l, r): if l == r: B[x] = (A[l], x) else: mid = (l + r) // 2 build(A, B, 2 * x, l, mid) build(A, B, (2 * x) + 1, mid + 1, r) if B[(2 * x) + 1][0]
B, (2 * x) + 1, mid + 1, r) if B[(2 * x) + 1][0] &lt; B[2 * x][0]: B[x] = B[(2 * x) + 1] else: B[x] = B[2 * x] def pop(B): result = B[1][0] index = B[1][1] B[index] = None while index &gt; 1: index = index // 2 if B[index * 2] is None: minimum = B[(index * 2) + 1] elif B[(index * 2) + 1] is None: minimum = B[index * 2] else: minimum = min(B[index * 2], B[(index * 2) + 1]) if minimum == B[index]: break B[index] = minimum return result def minimum(B): return B[1][0] def replace_minimum(B, value): result =
B[1][0] def replace_minimum(B, value): result = B[1][0] index = B[1][1] B[index] = (value, index) while index &gt; 1: index = index // 2 if B[index * 2] is None: minimum = B[(index * 2) + 1] elif B[(index * 2) + 1] is None: minimum = B[index * 2] else: minimum = min(B[index * 2], B[(index * 2) + 1]) if minimum == B[index]: break B[index] = minimum return result A = [-8, 3, 17, 57, 0, -19, 21, 5, 965 , 2, 0, 1, 34, 83] n = len(A) B = [None] * (2 ** (math.ceil(math.log2(n)) + 1)) build(A, B, 1, 0, n - 1)
+ 1)) build(A, B, 1, 0, n - 1) print(replace_minimum(B, -7)) print(pop(B)) print(minimum(B)) درخت بازنده. در درخت بازنده هر راس، بازنده تک‌مسابقه را در خود ذخیره می‌کند اما برنده را به راس پدر خود می‌فرستد. در نتیجه ریشه حاوی بازنده تک‌مسابقهٔ نهایی خواهد بود و برنده نهایی را باید در راسی جداگانه از درخت ذخیره کنیم. عملیات روی درخت بازنده. رئوس خارجی نماینده عناصر می‌شوند و مقدار خود را به پدر به عنوان نتیجه می‌دهند. سپس هر راس داخلی بازنده عناصر داده شده توسط دو فرزند خود را ذخیره کرده و برنده آن‌ها را به
دو فرزند خود را ذخیره کرده و برنده آن‌ها را به عنوان نتیجه به راس پدر خود می‌دهد. به این ترتیب تا ریشه پیش می‌رویم. در نهایت ریشه حاوی بازندهٔ تک‌مسابقهٔ نهایی خواهد بود و برنده نهایی (عنصر کمینه یا بیشینه) بین تمام عناصر را به عنوان نتیجه به راسی جداگانه می‌دهد. به دلیل اینکه تعداد کل رئوس ضریبی از تعداد عناصر می‌شود، در نتیجه زمان ایجاد درخت از formula_1 است. زمانی که بخواهیم عنصر کمینه (بیشینه) را حذف کنیم، مقدار آن را مثبت بی‌نهایت (منفی بی‌نهایت) می‌کنیم. سپس کافی است راس‌های روی مسیر بین آن عنصر و
سپس کافی است راس‌های روی مسیر بین آن عنصر و ریشه از پایین به بالا مقدار گرفته شده از فرزند خود را با مقدار ذخیره شده در خود مقایسه کرده و بازنده را در خود ذخیره کرده و برنده را به پدر خود دهند تا درخت جدید ساخته شود. چون ارتفاع درخت از formula_3 است زمان حذف از formula_3 می‌شود. زمانی که بخواهیم عنصر کمینه (بیشینه) را جایگزین کنیم، مقدار جدید را به آن می‌دهیم. سپس راس‌های روی مسیر بین آن عنصر و ریشه از پایین به بالا مقدار گرفته شده از فرزند خود را با مقدار ذخیره شده در خود مقایسه کرده و بازنده را در خود
ذخیره شده در خود مقایسه کرده و بازنده را در خود ذخیره کرده و برنده را به پدر خود می‌دهند تا درخت جدید ساخته شود. چون ارتفاع درخت از formula_3 است زمان جایگزینی نیز از formula_3 می‌شود. پیاده‌سازی درخت بازنده به زبان پایتون. در ادامه پیاده‌سازی درخت بازنده با استفاده از آرایه به زبان پایتون آمده است. حافظه اضافی که برنده نهایی مسابقه را نگه می‌دارد، در خانه صفر آرایه لحاظ شده‌است. import math def rec_build(A, B, x, l, r): if l == r: B[x] = (A[l], x) return B[x] else: mid = (l + r) // 2 a = rec_build(A, B, 2
else: mid = (l + r) // 2 a = rec_build(A, B, 2 * x, l, mid) b = rec_build(A, B, (2 * x) + 1, mid + 1, r) if b[0] &lt; a[0]: B[x] = a return b else: B[x] = b return a def build(A): n = len(A) tree = [None] * (2 ** (math.ceil(math.log2(n)) + 1)) tree[0] = rec_build(A, tree, 1, 0, n - 1) return tree def pop(B): result = B[0][0] index = B[0][1] B[index] = None minimum = None while index &gt; 1: index = index // 2 if minimum is None: minimum, B[index] = B[index], minimum elif B[index] is None: pass else:
minimum elif B[index] is None: pass else: minimum, B[index] = min(B[index], minimum), max(B[index], minimum) B[0] = minimum return result def minimum(B): return B[0][0] def replace_minimum(B, value): result = B[0][0] index = B[0][1] B[index] = (value, index) minimum = B[index] while index &gt; 1: index = index // 2 if minimum is None: minimum, B[index] = B[index], minimum elif B[index] is None: pass else: minimum, B[index] = min(B[index], minimum), max(B[index], minimum) B[0] = minimum return result A =
minimum) B[0] = minimum return result A = [-8, 3, 17, 57, 0, -19, 21, 5, 965 , 2, 0, 1, 34, 83] B = build(A) print(replace_minimum(B, -7)) print(pop(B)) print(minimum(B)) منابع. Donald Knuth, The Art of Computer Programming, Sorting and Searching, Volume 3, 1973. Stepanov, Alexander and Aaron Kershenbaum. Using Tournament Trees to Sort, Brooklyn: Center for Advanced Technology in Telecommunications, 1986. https://www.cise.ufl.edu/~sahni/cop3530/slides/lec252.pdf
تخریب گورستان اعدام‌شدگان ۱۳۶۷ در اهواز به منظور از بین بردن آثار گورهای دسته‌جمعی زندانیانی است که به صورت صحرایی اعدام شده‌اند. سازمان عفو بین‌الملل و عدالت برای ایران در اول ژوئن ۲۰۱۷ طی بیانیه مشترکی اعلام کردند: «... تخریب در محل یک گورستان در اهواز در جنوب ایران که حاوی بقایای اجساد حداقل ۴۴ نفر است که به صورت صحرایی اعدام شدند یک سند پزشکی قانونی و حیاتی را از بین می‌برد و فرصتها برای رسیدگی قضایی و تحقق عدالت در مورد کشتار زندانیان که در سراسر کشور در ۱۹۸۸ انجام شده از بین می‌رود.» عفو بین‌الملل سند
۱۹۸۸ انجام شده از بین می‌رود.» عفو بین‌الملل سند تصویری و ویدئویی که توسط گروه ان.جی. او عدالت برای ایران فراهم شده را بررسی کرده و نتیجه نشان می‌دهد که بولدوزرها روی یک پروژه ساختمانی درست در کنار این گور جمعی در اهواز کار می‌کنند و علاوه بر این توده‌ای از مصالح آشغال و ساختمانی در اطراف این گور جمعی دیده می‌شود. گورهای دسته‌جمعی زندانیان سیاسی اهواز در تکه زمینی بایر در سه کیلومتری شرق گورستان بهشت‌آباد این شهر واقع شده‌است. مقامات اهواز بعد از دفن پیکرها، بلافاصله سطح گورهای جمعی را با سیمان پوشاندند.
بلافاصله سطح گورهای جمعی را با سیمان پوشاندند. شاهدان. خانواده‌های قربانیان از طریق کارگران ساختمان و برخی از رانندگان لودرها دریافتند که طرح این است که این بلوک‌های سیمانی که موقعیت گور دسته‌جمعی را مشخص می‌کند صاف شده و یک ساختمان روی آن ساخته شود. واکنش‌ها. مگدلانا مغربی، معاون بخش خاورمیانه و آفریقای عفو بین‌الملل گفت: «با تخریب گورهای جمعی در اهواز به نظر می‌رسد مقامات به‌طور بدخواهانه و عامدانه تلاش دارند که آثار جنایت‌های گذشته‌شان را از بین ببرند و خانواده‌های قربانیان کشتار سال ۱۳۶۷ را از حقوق‌شان