Payamvdn/NorthPersian_fa_wiki huggingface dataset:
سط پیتر زد. گراف تیوت با ۴۶ راس در سال ۱۹۴۶ و در ۱۹۷۱ تیوت حدس زد که تمام گراف های دوبخشی مکعبی همیلتونی هستند درصورتی که جوزف هورتون یک مثال با ۹۶ راس زد. بعداً Mark Ellingham دو مثال مانند هورتون پیدا کرد: Ellingham-Horton graphs. Barnette's conjecture که این موارد ترکیبی از حدس های تیت و تیوت هستند که نشان می دهد هر گراف دو بخشی مکعبی پلی هدرال همیلتونی می باشد. حال اگر یک گراف مکعبی به صورت رندوم انتخاب شود از بین n راس گراف های مکعبی آنگاه احتمال بسیار زیادی دارد که همیلتونی باشد: در واقع حد تعداد رأس های گراف که n فرض شده اند از یک به بینهایت که به صورت زیر نمایش می دهیم: lim n و n به بینهایت میل می کند.David Eppsteinحدس زد که هر گراف مکعبی با n راس دارای دست کم 2"n"/3 مسیر همیلتونی هستند؛ و فراهم می کند مثال گراف های مکعبی با همون تعداد زیاد مسیر؛ که حال بیگ O این مقدار formula_1. می باشد. خواص دیگر. طول مسیر تمام گراف هایی با n راس از سری گراف های مکعبی دست کم n/6 می باشد. درصورتی که بیشترین کران پایین طول مسیر گراف های مکعبی کمتر از 0.082"n". توسط handshaking lemma که توسط لئونارد اویلر اثبات شده است
در سال ۱۷۳۶ به عوان قسمتی از صفحه اول دفتر ئوری گراف نوشته شده است که هر گراف مکعبی که تمام گراف های مکعبی دارای تعداد زوج راس می باشند. تئوری پترسن نشان می دهد که همهٔ گراف های مکعبی که دارای یال برشی هستند یک گراف با قابلیت matching هستند.Lovász و Plummer حدس زندند که تمام گراف های مکعبی با یال برشی یک تعداد مشخص به صورتی نمایی از قابلیت perfect matching را دارا می باشند. آن امروزه اثبات شده است و نشان داده شده است که تمام گراف های مکعبی دارای یال برشی با دست کم n راس تعداد n/3656 قابلیت perfect matchings می باشند. الگوریتم ها و پیچیدگی. تحقیقات و مطالعات زیادی انجام شده دربارهٔ پیچیدگی زمان انجام یک الگوریتم که به گراف های مکعبی محدود شده اند. به طور مثال با ایجاد یک برنامه داینامیک برای تجزیه مسیر (یا تفسیر مسیر) گراف. قومین و هویه نشان دادند که چگونه مجموعه های مستقل آن هارو با زمانی که بیگ O آن (2"n"/6 + o(n)) است پیدا کرد. حال مسئله پیر مرد دست فروش ما با سرعت (1.2312"n") قابل حل می باشد. تعداد زیاد مهمی از الگوریتم هایی برای بهینه کردن مشکلات گرافی وجود دارد که APX hard می باشند؛ که به معنی این میباش
که برای آن ها الگوریتم های برای تقریب این مقدار وجود دارد که توسط یک مقدار دارای کران شده اند و آن ها دارای polynomial time approximation scheme که رشد آن ها به کمتر یک می باشد ندارند. این مشکلات شامل پیدا کردن حداقل پوشش راس و بیشترین مجموعه مستقل و حداقل مجموعه های مربوطه و بیشترین برش می باشد هستند. حال عدد گذرش (که حداقل تعداد یال هایی می باشد که می توان در یک گرافذ گذر کرد) گراف های مکعبی یک ان پی سختمی باشد که برای گراف های مکعبی ممکن است تقریب زده شده باشد.
آماندا بلیک والر یک شخصیت تخیلی در کتاب های کمیک آمریکایی که توسط دی سی کامیکس منتشر شده می باشد. اولین بار در "افسانه ها" جلد ۱ در سال ۱۹۸۶ توسط جان اوستراندر، لن وین و جان بیرن پدیدار شد. آماندا والر به طور متناوب در نقش هماورد یا متحد برای ابرقهرمان های دنیای دی سی ظاهر می شود؛ و هر چند وقت یک بار به عنوان یک ابرشرور در نظر گرفته می شود. اگرچه آماندا والر فاقد هرگونه قدرت ابرانسانی است، اغلب به عنوان یک مقام دولتی بی رحم و عالی رتبه به تصویر کشیده می شود که برای دستیابی به اهدافش به نام امنیت ملی معمولاً از فریب، ارتباطات سیاسی، و رعب و وحشت استفاده می کند. والر غالباً با سازمان های دولتی خیالی شامل چک مِیت و آرگوس مرتبط است. از شخصیت آماندا والر اقتباس های قابل ملاحظه ای در رسانه های مختلف شده است که شامل: پم گریر در مجموعه تلویزیونی آمریکایی "اسمالویل"؛ آنجلا باست در فیلم "گرین لنترن" (۲۰۱۱)؛ شریل لی رالف در مجموعه تلویزیونی یانگ جاستیس؛ سینتیا رابینسون در مجموعه تلویزیونی "کماندار"؛ ایوت نیکول براون در مجموعه پویانمایی "دخترهای ابرقهرمان دی سی"؛ و وایولا دیویس نقش این شخصیت را در دنیای توسعه یافته دی سی
شامل فیلم های "جوخه انتحار" (۲۰۱۶)، دنبالهٔ آن، و "بلک ادم" (۲۰۲۲) ایفا کرده است.
محمود مکی (؛ زادهٔ ) یک دیپلمات و قاضی اهل مصر است.وی از ۱۲ اوت تا ۲۲ دسامبر ۲۰۱۲ معاون رئیس جمهور مصر بود. زندگی نامه. مکی در سال ۱۹۵۴ در اسکندریه به دنیا آمد. پس از فارغ التحصیلی از دانشکده پلیس در قاهره به عنوان افسر پلیس در نیروهای امنیتی مرکزی مشغول به کار شد.
صوفی ابو طالب (؛ – ) یک سیاست مدار اهل مصر بود. صوفی ابو طالب در ۲۱ فوریه ۲۰۰۸ در سن ۸۳ سالگی درگذشت.
رولاند کیکینگر (؛ زادهٔ ) یک هنرپیشه اهل اتریش است. وی از سال ۱۹۹۷ میلادی تاکنون مشغول فعالیت بوده است. از فیلم ها یا برنامه های تلویزیونی که وی در آن نقش داشته است می توان به "۱۵ دقیقه"، ""، "اسلحه مرگبار ۴"، "شجاعت" و "تیم نایت رایدر" اشاره کرد.
اخگر زغال داغ درست شده از چوب یا زغال سنگ است. اخگر همچنین می تواند به این معانی به کار برود:
بی عدالتی ۲ یک بازی ویدئویی در سبک مبارزه ای و برگرفته از دنیای دی سی است که توسط ندررلم استودیوز توسعه یافته و به وسیلهٔ وارنر برادرز. اینتراکتیو انترتینمنت در مه ۲۰۱۷ برای کنسول های پلی استیشن ۴ و ایکس باکس وان منتشر شد. همچنین نسخه مایکروسافت ویندوز این بازی در نوامبر ۲۰۱۷ در دسترس قرار گرفت. این بازی دنباله ای بر بازی "" در سال ۲۰۱۳ محسوب می شود. همانند قسمت پیشین، یک نسخه به صورت اپ موبایل نیز برای سیستم عامل های آی اواس و اندروید عرضه شد. داستان "بی عدالتی ۲" حول محور شخصیت بتمن و تلاش او برای بازگرداندن جامعه پس از سقوط سازمان سوپرمن است؛ اگرچه با ورود گروه شرور بزرگ تازه تشکیل شده ای با عنوان انجمن سری و همچنین شخصیت برین نیاک، بتمن مجبور به آزاد نمودن سوپرمن زندانی برای کمک کردن در مقابل این تهدیدات شد. بازی مورد تحسین منتقدین قرار گرفت که داستان بازی، عرضه، مکانیک بهبود یافته روند بازی، محتوای بسیار زیاد موجود در بازی، و سیستم سفارشی سازی شخصیت ها را ستایش کردند. روند بازی. "بی عدالتی ۲" یک بازی ویدئویی به سبک مبارزه ای است که در آن بازیکنان به صورت یک به یک و با در اختیار گرفتن شخصیت هایی از دنیای
دی سی و دیگر فرنچایزهای شخص ثالث با یکدیگر به رقابت و مبارزه می پردازند. بازیکنان باید با استفاده از ترکیب های مختلفی از کلیدهای جهت و دکمه های فشاری به اجرای حملات اولیه، حرکات ویژه و کمبو بپردازند و سعی در آسیب رساندن به حریف و در نهایت ناک اوت او دست پیدا کنند. "بی عدالتی ۲" بسیاری از مکانیک های روند بازی از نسخه "بی عدالتی: خدایان میان ما" را حفظ کرده است که از آن می توان به تعامل با محیط اطراف، تغییر مراحل حین مبارزه و ویژگی های منحصر به فرد هر شخصیت اشاره کرد. داستان. داستان بازی در مورد حمله برین یاک به سیاره زمین می باشد. برین یاک که پیش از زمین به سیاره کریپتون حمله کرده بود و آن را نابود کرده بود این بار زمین را مورد هدف قرار داده است. سوپرگرل که با کمک مادرش از کریپتون به زمین فرار کرده بود، از قدرت برین یاک در زمان حمله به زمین آگاه بود. همزمان با این حمله گوریلا گراد به همراه ارتشش هدف نابودی زمین را دارد. بتمن جهت مبارزه با این حملات، ابتدا بلک کنیری و گرین ارو را به گوریلاسیتی می فرستد تا جلوی حمله گوریلا گراد را بگیرد. گرین لنترن نیز به آتلانتیس سیتی می رود تا از آکوامن درخواست کند تا برای جلو
گیری از حمله برین یاک به تیم آن ها ملحق شود، اما برین یاک به آتلانتیس سیتی رسیده و این شهر را تخریب کرده است. واندر وومن، سایبورگ و بلک ادم برای جلوگیری حمله برین یاک به کمک تیم بتمن می آیند. شخصیت ها. فهرست شخصیت های بازی در "بی عدالتی ۲" شامل ۲۹ شخصیت قابل کنترل، متشکل از شخصیت های ابرقهرمان و شرور جدید و بازگشته است. بازی همچنین دارای ۱۳ شخصیت اضافه می باشد که از طریق محتوای قابل دانلود در دسترس قرار می گیرد. ندررلم استودیوز از دیگر شخصیت مجموعه مورتال کامبت یعنی ساب-زیرو و رِی دن، به عنوان محتوای قابل دانلود استفاده کرده است.
در نظریه گراف ضخامت گراف G، به حداقل تعداد گراف مسطحی که با یال های گراف G می توان ساخت گویند. به طوری که اگر k گراف مسطح وجود داشته باشد که همه شامل رئوس یکسانی باشد و حاصل اجتماع این گراف ها برابر G شود، آنگاه حداکثر عدد ضخامت این گراف k می باشد. به عبارت دیگر ضخامت گراف کمترین تعداد زیرگراف های مسطحی است که اجتماعشان برابر خود گراف باشد. بنابر این ضخامت یک گراف مسطح برابر ۱ است. گراف هایی با ضخامت ۲ دو سطحی نامیده می شود. مفهوم ضخامت گراف از تخمین Frank Harary در سال ۱۹۶۲۲ نشات می گیرد: برای هر گرافی با درجه ۹ یا خودش یا مکملش غیر مسطح است. این مسیله معادل این است: تعیین این که ایا گراف کامل k9 دو سطحی است یا خیر (دو سطحی است و تخمین درست است)بررسی دقیقی در ۱۹۹۸ توسط Petra Mutzel ,Thomas odenthal وMark scharbrodr در این این زمینه صورت گرفته است. گراف های خاص. ضخامت گراف کامل در n راس Knاست به جز زمانی که که در این صورت ضخامت ۳ است. با چند استثنا ضخامت کامل گراف دوبخشی Ka,b به طور کلی برابر: مسا ئل مرتبط. هر جنگلی یک گراف مسطح است و هر گراف مسطحی حداکثر می تواند به سه جنگل تقسیم شود؛ بنابراین ضخامت هر گراف
G حداکثر برابر arboricity گراف است. (کمترین تعداد جنگلی که یک گراف می تواند به آن تقسیم شود) و حداقل برابر با arboricity گراف تقسیم بر ۳ است. ضخامت گراف G همچنین در فاکتور ثابت دیگری از مشخصه های گراف، degeneracy، مشهود است. این مشخصه همان بیشینهٔ کمترین درجهٔ زیر گراف های G است. اگر یک گراف با n راس ضخامتی با مقدار t داشته باشد، آنگاه حد اکثر (t(3n-6 یال دارد که از آن نتیجه می شود که degeneracy آن حد اکثر 6t-۱ است. از سویی دیگر می توان گفت که اگر degeneracy گرافی برابر با D باشد آنگاه arboricity و ضخامت آن حد اکثر D خواهد بود. ضخامت رابطهٔ نزدیکی با مسئلهٔ تعبیهٔ همزمان دارد. اگر به تعداد دو یا بیشتر گراف مسطح داشته باشیم که همگی دارای چینش یکسانی از رئوس باشند آنگاه امکان پذیر است که همهٔ این گراف ها را در صفحه ای جاسازی کنیم به طوری که یال های آن به صورت مجموعه ای از خم ها نمایش داده شده باشند. در نتیجه هر راس در همهٔ حالات مکان مشخصی خواهد داشت. حال آنکه اگر این یال ها را به خط های صاف نمایش دهیم، این امر ممکن نخواهد بود. یکی دیگر از ویژگی های گراف ضخامت آن در مسیر راست یا Geometric thikness است که نشان د
هندهٔ کمترین تعداد گراف های مسطحی است که گراف G می تواند به آن ها تقسیم شود به شرطی که همهٔ این گراف ها بتوانند به صورت همزمان به وسیلهٔ خطوط راست رسم شوند. «ضخامت کتابی» شرط دیگری را اضافه می کند و آن این است که، همهٔ رئوس باید با یک دیگر تشکیل شکلی محدب بدهند. با این وجود با در نظر گرفتن arboricity و degeneracy همیشه دو تا از این سه ویژگی مطرح شده برای ضخامت گراف در مشخصه های ثابت یکدیگر وجود ندارند. پیچیدگی محاسباتی. محاسبهٔ ضخامت یک گراف داده شده یک مسئلهٔ NP- سخت و نتیجه گیری اینکه ضخامت آن حد اکثر ۲ است، یک مسئلهٔ NP-کامل است. با این وجود arboricity به ما امکان تخمین عدد ضخامت را با تقریب ۳ برابر در زمان چند جمله ای فراهم می کند.
در رشتهٔ ریاضی، گراف دوگان گراف G گرافی است که در هر ناحیه از گراف G یک راس دارد. بین دو راس در گراف دوگان یال وجود دارد، هرگاه دوناحیه از گراف G با یک یال از یکدیگر جدا شده باشند؛ بنابراین، متناظر با هر یال e ازگراف G یالی درگراف دوگان وجود دارد که نواحی طرفین یال e را به هم وصل می کند. گراف دوگان یک تعمیم توپولوژیک مفاهیم هندسی چندوجهی ها و موزائیک کاری های دوبعدی است. در گراف دوگان واژهٔ "دوگان" از آن جهت مورد استفاده قرار می گیرد که گراف دوگان بودن یک رابطهٔ متقارن و دوطرفه است یعنی اگر گراف G گراف دوگان H باشد گراف H نیز گراف دوگان G خواهد بود. هنگامی که در مورد گراف دوگان گراف G بحث می شود گراف G ممکن است یک گراف اولیه " primal graph" باشد. بسته به نوع و خواص گراف G گراف دوگان آن متفاوت است. گراف های چند وجهی و دوبعدی گراف دوگان یکتایی دارند درحالی که بعضی گراف ها گراف دوگان یکتایی ندارند. نمونه. چند وجهی دوگان. دوگانگی گراف های مسطح با مفهوم یک جسم چندوجهی دوگان بسیار مرتبط است. برای یک جسم چندوجهی سه بعدی، گراف این چندوجهی (مجموعه رئوس و یال ها) دوگان گراف آن چندوجهی دوگان است. به این علت گراف های اجس
ام افلاطونی به صورت جفت های دوگان می آیند. گراف K2,2،2 از یک ۸ وجهی منتظم، دوگان گراف مکعب است و غیره. ۴ وجهی منتظم خوددوگان است، بنابراین گراف آن یک K4 نیز هست. گراف های خود دوگان. یک گراف مسطح را خود دوگان گویند، اگر با گراف دوگان خود یک ریخت باشد. گراف های چرخ مجموعه ای نامحدود از گراف های خود دوگان پدیدمی آورند که از چندوجهی های خود دوگان (هرم ها) پدید می آیند. با این حال، گراف های خود دوگانی وجود دارند که چندوجهی نیستند، همانند گرافی که نمایش داده شده. Servatius و Christopher دو عملگر توصیف کردند، اتصال و افتراق، که می توانند برای ساخت یک گراف دوگان که یک گراف مسطح داده شده ای در بردارد به کار رود؛ به طور مثال، گراف خود دوگان نشان داده شده می توانند به عنوان adhesion از یک چهاروجهی با دوگانش ساخته شود. با توجه با توجه به فرمول اویلر، هر گراف خود دوگان با n گره، دقیقاً 2n – ۲ یال دارد. هر گراف خود دوگان محاط شده حداقل ۴ وجه مثلثی دارد. تغییرات. گراف های دوگان جهت دار. در یک گراف جهت دار گراف دوگان ممکن است به خوبی جهت دار شود به طوری که با چرخش هر یک از یال های گراف دوگان به اندازهٔ ۹۰ درجه در جهت ساعتگرد
باعث شود که آن یال بر یال گراف اولیه منطبق شود. صرف سخن باید گفت که این حرکت (ساختن گراف جهت دار با استفاده از چرخش۹۰ درجه) یک رابطهٔ متقارن نیست یعنی اگر گراف G را دو بار به اندازهٔ ۹۰ درجه در راستای ساعت گرد بچرخانیم خودش تشکیل نمی شود، بلکه اگر این عمل را ۴ بار روی گراف G تکرار کنیم باعث می شود خودش تشکیل شود. دوگان ضعیف. دوگان ضعیف یک گراف مسطح، زیرگراف گراف دوگانی است که گره های آن با وجه های محدود گراف اولیه مطابقت می کند. یک گراف مسطح، مسطح بیرونی است، اگر و تنها اگر دوگان ضعیف آن جنگل باشد و یک گراف مسطح یک Halin graphاست اگر و تنها اگر دوگان ضعیف آن گراف دوهمبند و مسطح بیرونی باشد. برا ی هر گراف مسطح G، G+را گراف چندگانه مسطحی در نظر بگیرید که با اضافه کردن یک گره تنهای جدید v در بیکران، و مرتبط کردن v به هر گره از وجه بیرونی (چند بار، اگر یک گره چند بار در مرز وجه بیرونی ظاهر شود) آنگاه G یک دوگان ضعیف دوگان (مسطح) است. گراف ها بی نهایت و موزائیک کاری. همچنین به این نکته باید توجه داشت که فضای خارج گراف G نیز یک ناحیه محسوب می شود پس باید یک راس را هم درفضای خارج گراف G در نظر گرفت و اگر بین ناحیهٔ
داخلی G و ناحیهٔ خارجی یالی وجود داشته باشد بین راسی که مربوط به ناحیهٔ داخلی است و راسی که درناحیهٔ خارجی قرار دارد یالی ایجاد می شود.
سندرم استاندال () که با نام های سندرم فلورانس و هایپرکولچرِمیا (hyperkulturemia) نیز شناخته می شود، یک اختلال روان تنی است که با تجربه های منکوب کنندهٔ شخصی، هنگام مواجهه با آثار هنری عارض می شود و فرد را با افزایش تپش قلب، سرگیجه، کاهش هشیاری، غش و گاه توهم روبرو می کند. صحت و سقم این عارضه مورد اختلاف روانپزشکان است اما عوارض اختلال روی مبتلایان به اندازه ای بوده که برخی از آنان در بیمارستان تحت درمان داروهای ضدافسردگی قرار بگیرند. نخستین بار استاندال نویسنده شهیر فرانسوی در بازدیدش از کلیسای سانتا کروچه و تماشای فرسکوهای جوتو دی بوندونه از این حالت سخن گفت و به همین دلیل سندرم به افتخار او نامگذاری شده است. علایم بیماری سندروم استاندال شامل:. - گرگرفتگی - تعریق - تپش قلب - ترس - فشار عاطفی - فرسودگی - فرسودگی و افسردگی انواع استندال. سندرم استاندال و به وجود آمدن آن تنها در دیدن اثر هنری خلاصه نمی شود، بلکه فرد در معرض سندرم می تواند در اثر تنفر، به آن مبتلا شود. اینگونه آن را وهم خود آزار می گویند؛ «در این شیوه فرد می تواند در اثر برخورد با فرد و یا شی ای که از آن تنفر دارد و آن را به شدت ناخوشایند می دان
د و اغلب هم راه گریزی از آن نمی یابد، علائم سندرم استاندال و یا وهم خود آزار در او پدیدار می شود، مانند تعریق، تپش قلب، ترس و گر گرفتگی.»
شهرک صنعتی بهارستان، شهرکی از توابع بخش قلعه نو، شهرستان ری در استان تهران ایران است. جمعیت. این شهرک در دهستان قلعه نو قرار دارد و براساس سرشماری مرکز آمار ایران در سال ۱۳۸۵، جمعیت آن ۴۹ نفر (۳۱ خانوار) بوده است.
در ریاضیات، به خصوص در نظریه ترتیب، یک عنصر ماکسیمال (Maximal Element) از زیرمجموعه formula_1 از یک مجموعه مرتب جزئی (poset)، عنصری از formula_1 است که از هیچ عنصر دیگری از formula_1 کوچکتر نباشد. تعریف عنصر مینیمال (Minimal Element)، دوگان تعریف اخیر است: عنصری از formula_1 که از هیچ عنصر دیگر formula_1 بزرگتر نباشد. مفاهیم عناصر ماکسیمال و مینیمال به ترتیب از بزرگترین و کوچکترین عنصر (یا ماکسیمم و مینیمم) ضعیف ترند. ماکسیمم زیرمجموعه formula_1 از یک مجموعه مرتب جزئی، عنصری از formula_1 است که از هر عنصر formula_1 بزرگتر مساوی بوه و مینیمم formula_1 نیز به صورت دوگان ماکسیمم تعریف می شود. درحالی که مجموعه مرتب جزئی حداکثر یک ماکسیمم و حداکثر یک مینیمم دارد، تعداد هرکدام از عناصر ماکسیمال و مینیمال ممکن است بیش از یکی باشند. مفاهیم عناصر ماکسیمال و ماکسیمم برای مجموعه های مرتب کلی یکی می شوند، همچنین مینیمال و مینیمم برای چنین مجموعه هایی یکی می شوند. به عنوان مثال مجموعه زیر را در نظر بگیرید: formula_10 اگر ترتیب شمول (زیرمجموعه بودن) را بر روی آن در نظر بگیریم، عنصر formula_11 در مجموعه فوق مینیمال است، چرا
که شامل هیچ مجموعه دیگری از formula_1 نیست. عنصر formula_13 در آن ماکسیمال است، چرا که هیچ مجموعه دیگری از formula_1 آن را دربر ندارد. عنصر formula_15 نه مینیمال است و نه ماکسیمال، در حالی که formula_16 هم ماکسیمال است و هم مینیمال. برهمین اساس مجموعه formula_1 هیچ ماکسیمم یا مینیممی ندارد. لم زرن بیان می کند که هر مجموعه مرتب جزئی که هر زیرمجموعه مرتب کلی آن (زنجیره ها) دارای کران بالا باشد، شامل حداقل یک عنصر ماکسیمال است. این لم معادل با قضیه خوش-ترتیبی و اصل موضوع انتخاب است. لم زرن نتایج مهمی را در سایر شاخه های ریاضیات ایجاب می کند: قضیه هان-باناخ، قضیه کیرسزبراون، قضیه تیخونوف، وجود پایه همل برای هر فضای برداری و وجود بستار جبری برای هر میدان. تعریف. formula_18 مجموعه جزئاً مرتب و formula_19. آنگاهformula_20 است یک عضو بیشین formula_1 اگر برای همه formula_22با formula_23 قرار دهیم formula_24 تعریف عضو کمین با استفاده از ≤ به جای ≥ حاصل می شود. وجود و منحصر به فرد. عناصر بیشین لزوماً وجود ندارند. به طور کلی ≤ فقط یک مرتب جزیی روی S است. اگر m یک عضو بیشین و s∈S باشد، احتمال اینکه نه s≤m و نه m≤s باشد،
باقی می ماند. این، احتمال اینکه آنجا بسیاری ازعضوهای بیشین هست را باقی می گذارد.
در منطق هر قاعده استنتاج، قاعده ای است که با دریافت دسته ای از مقدمات به عنوان ورودی٬ با توجه به شکل آن ها٬ نتیجه(یا نتایجی) را بازمی گرداند. برای مثال در قاعده وضع مقدم، از دو مقدمه (به صورت کلی) "اگر الف آنگاه ب" و "الف"٬ به نتیجه "ب" می رسد(که "الف" و "ب" هر جمله ای خبری دلخواهی می توانند باشند). این قاعده بر اساس معناشناسی منطق کلاسیک (و برخی منطق های غیر کلاسیک) معتبر است به این معنا که در هر استنتاج با این فرم٬ ممکن نیست که مقدمات درست باشند اما نتیجه غلط باشد. به این معنا قواعد استنتاج معتبر٬ حافظ االصدق هستند: یعنی از مقدمات درست ضرورتا به نتیجه درست می رسند. با این حال٬ قواعد استنتاج صرفا بر اساس شکل مقدمات عمل می کنند. مهم ترین قواعد استنتاج در منطق گزاره ها شامل وضع مقدم٬ نفی تالی و عکس نقیض می شود. منطق مرتبه اول به رابطه استنتاجی میان جملات دارای سور منطقی می پردازد--مثل سور کلی "همه" یا "هر" (هر که دل آرام دید از دلش آرام رفت) و سور جزئی "برخی" (برخی دخترها زیبا هستند). فرم استاندارد قوانین استنتاج. در منطق صوری قواعد استنتاج معمولاً در به این شکل اند: مقدمه ۱ &lt;br&gt; مقدمه ۲&lt;br&gt; ...&lt
;br&gt; مقدمه nام&lt;br&gt; ------ (قاعده X)&lt;br&gt; نتیجه &lt;br&gt; این عبارت بیان می کند که هر گاه مقدمات ۱ تا n را داشته باشید با قاعده X (مثلا قاعده وضع مقدم) می توانید به نتیجه می رسید. مثلا اگر الف٬ آنگاه ب.&lt;br&gt; الف.&lt;br&gt; ------(قاعده وضع مقدم)&lt;br&gt; ب &lt;br&gt; این صورت کلی قاعده است. یک مثال خاص از این قاعده این است: اگر در انتخابات تقلب شود٬ مردم معترض می شوند.&lt;br&gt; در انتخابات تقلب می شود. &lt;br&gt; مردم معترض می شوند. یکی دیگر از قواعد پر استفاده قاعده وضع تالی است. این صورت کلی قاعده است: اگر الف٬ آنگاه ب. &lt;br&gt; ب غلط است. &lt;br&gt; بنابراین الف غلط است. یک مثال خاص قاعده است است: اگر در انتخابات تقلب شود٬ مردم معترض می شوند.&lt;br&gt; مردم معترض نمی شوند. &lt;br&gt; در انتخابات تقلب نمی شود.
در نظریه گراف، مسئله سنجش مسطح بودن، مسئله الگوریتمی است راجع به اینکه آیا یک گراف داده شده گراف مسطح است یا خیر (یعنی آیا آن را می توان در صفحه بدون اینکه یال هایش تقاطع داشته باشند رسم کرد). این مسئله در علم کامپیوتر به خوبی بررسی شده است که برای آن الگوریتم های عملی بسیاری پدید آمده که خیلی از آن ها از رمان ساختارهای داده بهره گرفته اند. بیشتر این روش ها در زمانی از مرتبه n (زمان خطی) که در آن "n" تعداد یال (یا راس) در گراف است انجام می شوند که به صورت جانبی مطلوب است. به جای فقط یک مقدار بولی (صفر و یک) برای خروجی از یک آزمون الگوریتم مسطح بودن ممکن است خروجی یک گراف مسطح تعبیه شده باشد اگر گراف مسطح باشد یا یک مانع برای مسطح بودن باشد مانند یک زیرگراف کراتوفسکی اگر مسطح نباشد. معیارهای مسطح بودن. الگوریتم های آزمون مسطح بودن به طور معمول از قضایا در نظریه گراف استفاده می کنند که در اصطلاح مجموعه ای از گراف های مسطح که مستقل از کشیدن گراف است را مشخص می کند. این قضایا عبارت اند از: معیار مسطح بودن Fraysseix–Rosenstiehl می تواند به طور مستقیم به عنوان بخشی از الگوریتم برای آزمون مسطح بودن مورد استفاده قرار
گیرد در حالی که قضایای Kuratowski و واگنر کاربرد غیرمستقیم دارند: اگر یک الگوریتم می توانید یک کپی از "K"5 یا "K"3,3 در یک گراف داده شده را پیدا کند می توان مطمئن شد که گراف ورودی مسطح نیست و بدون محاسبات اضافی آزمون تمام می شود. دیگر معیارهای مسطح بودن، که مسطح بودن گراف را به صورت ریاضی و کمتر به طور مرکزی با الگوریتم های آزمون مسطح بودن مشخص می کند، شامل معیار مسطح بودن ویتنی است که می گوید یک گراف مسطح است اگر و تنها اگر متروید گرافیکی آن شرکت گرافیکی نیز است. معیار مسطح بودن مک لین گراف مسطح را برمبنای چرخه فضاها مشخص می کند، قضیه Schnyder گراف مسطح را با ترتیب فضایی از جمع بندی ترتیب جزئی مشخص می کند و معیار مسطح بودن کالین د وردیر با استفاده از نظریه گراف طیفی است. الگوریتم ها. روش افزایش مسیر. روش کلاسیک "افزایش مسیر توسط" Hopcroft و Tarjan اولین روش آزمون مسطح بودن در زمان خطی بود که در ماه مه سال ۱۹۷۴ منتشر شد. یک پیاده سازی از الگوریتم Hopcroft و Tarjan's در کتابخانه کارآمد انواع داده ها و الگوریتم ها توسط Mehlhorn، Mutzel و Näher ارائه شد. در سال ۲۰۱۲ تیلور این الگوریتم را برای تولید تمام جایگشت
های چرخ های ترتیب یال برای به صورت مسطح جاسازی شده از قطعات بدون اتصال توسعه داد. روش افزایش رئوس. روش افزایش رئوس با حفظ ساختار داده ها که نمایش می دهند زیرگراف القایی محتمل موجود را و اضافه کردن رئوس در یک زمان به این ساختار داده ها کار می کند. این روش با یک روش نامناسب که از مرتبه n² درست شده توسط Lempel، Even و Cederbaum در سال ۱۹۶۷ آغاز می شود. این روش توسط Evan و Tirjan که یک روش در زمان خطی پیدا کردند برای s، شماره گذاری قدمی t، و توسط Booth و Lucker که ساختار داده درختی PQ را ساختند بهتر شد. با این بهتر شدن ها، روش ها در زمان خطی اجرا شدند و در عمل روش افزایش مسیر را بهتر کردند. در سال ۱۹۹۹، Shih و Hsu این روش ها را با استفاده از درخت کامپیوتری (یک نوع درخت PQ) و یک پیمایش پسا ترتیب ازجست و جوی اول عمق درخت از راس ها ساده کردند. روش افزایش یال. در سال ۲۰۰۴ بویر و Myrvold یک الگوریتم از مرتبه n را توسعه دادند، که در اصل با الهام از درخت PQ است که با خلاص شدن از درخت PQ از افزایش یال یک جاسازی مسطح را اگر ممکن باشد محاسبه می کند. در غیر این صورت یک زیر بخش Kuratowski (یا "K"5 یا "K"3,3) محاسبه می شود. ا
مروزه این یکی از دو وضعیت فعلی الگوریتم هنری است (یک دیگر از الگوریتم های آزمون مسطح بودن الگوریتم de Fraysseix، د مندز و Rosenstiehl است). را برای یک مقایسه عملی با مدل مقدماتی از آزمون بویر و Myrvold planarity ببینید. بعلاوه آزمون بویر–Myrvold برای استخراج چند زیربخش Kuratowski از یک گراف ورودی غیر مسطح در یک زمان در حال اجرا خطی وابسته به خروجی اندازه گسترش یافت. منبع کد برای آزمون مسطح بودن و استخراج متعدد زیربخش های Kuratowski در دسترس عموم است. الگوریتم هایی که یک زیرگراف Kuratowski در زمان خطی در راس ها پیدا می کنند، توسط ویلیامسون در دهه ۱۹۸۰ توسعه یافتند. روش ساخت دنباله. یک روش متفاوت از ساخت القایی گراف ۳ بخشی استفاده می کند تا به صورت صعودی یک زیر گراف بسازد از گراف G(در نتیجه یک جاسازی مسطح از گراف G). ساخت و ساز با "K4 شروع می شود" و در چنین راهی تعریف شده است که هر گراف حد واسط در راه کامل شدن اجزا که دوباره ۳ بخشی می شود قرار می گیرد. به خاطر اینکه این نوع گراف ها یک جاسازی یکتا دارند، گراف بزرگتر بعدی اگر باز سطحی باشد باید بهبودی از گراف قبلی باشد. این کاهش آزمون مسطح بودن برای در هر مرحله ر
ا اجازه می دهد که آیا یال اضافه شده بعدی دو انتها در هر دو وجه خروجی زیر گراف فعلی دارد یا خیر. در حالی که این یک مفهوم بسیار ساده است (و در زمان خطی اجرا می شود) خود روش دچار پیچیدگی پیدا کردن ساخت دنباله است.
سندرم لهجه خارجی (به انگلیسی: Foreign accent syndrome) وضعیت پزشکی نادری است. بیماران دچار الگوهای گفتاری با یک لهجه خارجی می شوند که متفاوت از لهجه بومی آنهاست و در درک لهجه محل مبدأ تأثیری ندارد. مبتلایان به سندرم لهجه خارجی در سخن گفتن مشکل دارند، به گونه ای که سایر افراد گمان می کنند آنها به یک زبان خارجی صحبت می کنند. این وضعیت پزشکی ناشی از آسیب بخش هایی از مغز است که مسئول هماهنگ کردن کلمات هستند. در نتیجه با وقوع چنین اتفاقی افرادی که مثلا به زبان ژاپنی صحبت می کنند، ممکن است لهجه ای شبیه زبان کره ای پیدا کرده و یا لهجه انگلیسی شبیه لهجه فرانسوی، لهجه اسپانیایی شبیه مجارستانی و …به نظر می رسد. سندرم لهجه خارجی معمولاً می تواند نتیجه یک سکته مغزی باشد همچنین می تواند از ضربه به سرایجاد شود یا همچنین از میگرن، مشکلات رشد نیز می تواند باشد. وضعیت این بیماری در سال ۱۹۰۷ برای اولین بار منتشر شد، و بین سال های ۱۹۴۱ و ۲۰۰۹ شصت و دو مورد ثبت شده است.
مرشد و مارگاریتا رمانی از بولگاکف است و ممکن است به یکی از اقتباس های زیر نیز اشاره داشته باشد:
دهستان چاله طرخان، نام دهستانی در بخش قلعه نو، شهرستان ری، استان تهران در ایران است. طبق مصوبه (۲۶ شهریور ۱۳۹۱) تعدادی روستا از دهستان قلعه نو جدا شدند و این دهستان را تشکیل دادند. این دهستان اکنون دارای ۹ روستا است. این ۹ روستا عبارت اند از: ۱)چاله طرخان ۲)فیروزآباد ۳)مقیم آباد ۴)ده خیر ۵)حمیدآباد ۶)نظرآباد ۷)عشق آباد ۸)قمی آباد ۹)کلاغایه.
آنا ماریا آلبرگتی (؛ زادهٔ ) هنرپیشه تئاتر و سینما و خوانندهٔ اپرای اهل ایتالیا است. او از سال ۱۹۴۲ میلادی تاکنون مشغول فعالیت بوده و از فیلم هایی که در آن نقش داشته می توان به "خوانندهٔ جاز" و "از سیر تا پیاز" اشاره کرد.