payamvha/North_RAG huggingface dataset:
پاک در خلوت خود به دعا و نیایش پروردگار بپردازد. حتی زمانی که باب نماز جماعت برای مِیّت را مجاز دانسته، تأکید می‌کند که هیچ‌کس نباید جلوتر از دیگران بایستد. همه باید در ردیف‌های مساوی به احترام مُتوَفی بایستند. باب همچنین تأکید می‌کند که برای شناسایی پیامبر خداوند همگان باید خود دست به تحقیق بزنند، نه آنکه از یک روحانی استفتاء کنند یا از شخص دیگر جویای تکلیف شوند. باب سبب اصلی آزار همهٔ پیامبران در زمان ظهورشان را نتیجهٔ عدم جستجوی مستقل مردم میداند که به کسانی گوش می‌دادند که دانش ایشان دانشی اقتباسی و
کسانی گوش می‌دادند که دانش ایشان دانشی اقتباسی و آموخته از دیگران بوده‌است و نه آنکه از خود پیامبر و کلام وحی او بوده باشد. به عبارت دیگر ضرورت اندیشیدن فرد فرد آدمیان دربارهٔ همه چیز از جمله در مورد دین با حضور دستگاهی به نام روحانیون و منبریان در تضاّد است. علاوه بر این ها باب اعلان می‌دارد که علماء حق اجتهاد، تکفیر، فتوای قتل، و خطبه نماز خواندن، و خرید و فروش آب و خاک اماکن مقدسه را نیز ندارند. درگیری و خشونت. ماهیت چالش‌برانگیز و انقلابی ادعاهای باب مخالفت روحانیون و در پی آن مقامات مدنی ایران دوره
مخالفت روحانیون و در پی آن مقامات مدنی ایران دوره قاجار را برانگیخت. اگرچه در سه سال و نیم اولیهٔ جنبش بابیان اطلاعاتی در مورد بابیانی که به دلیل اعتقادشان کشته شدند در دست نیست اما تعداد قابل توجهی از آنان تحت تعقیب، و مورد ضرب و شتم، آزار و شکنجه قرار گرفتند. از جمله این موارد می‌توان به دستگیری و محاکمه یکی از پیروان اولیه باب به نام ملا علی بسطامی در عراق عثمانی در ژانویه ۱۸۴۵ اشاره کرد که منجر به محکومیت وی به کار اجباری در اسکله‌های دریایی استانبول شد. وی کمی بعد در آنجا درگذشت. نمونه دیگر تحقیر و
شد. وی کمی بعد در آنجا درگذشت. نمونه دیگر تحقیر و شکنجه دو بابی در ملأ عام در شیراز است که در اواسط سال ۱۸۴۵ به وقوع پیوست. اولین کشتار عمده بابیان که در تاریخ ثبت شده به دنبال قتل روحانی برجسته قزوین، ملّا محمد تقی برغانی اتفاق افتاد. ملّا محمد تقی برغانی عمو و پدرشوهر طاهره، و از مخالفان اصلی شیخی‌ها و بابی‌ها بود. با وجود آنکه قاتل وی شیخی بود، اما طاهره و یارانش مقصر شناخته شده و تعداد قابل توجهی از آنان دستگیر شدند، یکی از آنان به‌طور رسمی اعدام شد و تعداد زیادی دیگر توسط طرفداران ملّا محمد تقی برغانی
زیادی دیگر توسط طرفداران ملّا محمد تقی برغانی به قتل رسیدند. از آن زمان به بعد، حملات علیه بابیان توسط روحانیون برجسته و پیروان آنها رواج بیشتری یافت و برخی از بابیان شروع به حمل سلاح کردند. یکی از این حملات در بارفروش مازندران (بابل کنونی) رخ داد که منجر به کشته‌شدن چندین بابی و مخالفان آن‌ها و همچنین درگیری مسلحانه بابیان و دشمنان آنها در قلعه شیخ طبرسی شد. پس از آن، دو درگیری بزرگ دیگری بین بابیان و مخالفان‌شان در شهرهای زنجان و نیریز به ترتیب در شمال و جنوب ایران و همچنین درگیری کوچکتری در یزد رخ داد.
جنوب ایران و همچنین درگیری کوچکتری در یزد رخ داد. مجموعاً چند هزار بابی در این درگیری‌ها کشته شدند. بابیان در سه درگیری اصلی در طبرسی، زنجان و نیریز، توسط دشمنان خود به شورش علیه حکومت متهم می‌شدند. با این حال بعید به نظر می‌رسد که این اقدامات صرفاً انقلابی بوده باشد. بابیان در مطرح ساختن دعاوی و رسالت خود بی پروا بودند، ولی در هر سه مورد نبردهایی که به وقوع پیوست ماهیتی دفاعی داشت. در مورد دو درگیری شهری (نیریز و زنجان) با تنش‌های اجتماعی و سیاسیِ پیشین مربوط می شدند. در ضمن هیچ مدرکی دالّ بر اینکه این
مربوط می شدند. در ضمن هیچ مدرکی دالّ بر اینکه این وقایع از پیش توسط بابی ها هماهنگ شده باشند وجود ندارد. جهاد. بابیان، مطابق با قوانین شیعه، معتقد بودند که وقتی امام در جهان است، فقط او می‌تواند حکم جهاد صادر کند. آن ها مجاز بودند که برای دفاع از خود وارد جنگ شوند، اما حمله بدون دستور صریح امام - یعنی خود باب - قابل پذیرش نبود. از همان روزهای آغازین جنبش، بابی‌ها انتظار داشتند که چنین دستوری صادر شود. قرار بود امام زمان علیه دشمنان خود بجنگد و آن‌ها را شکست دهد و بابیان انتظار داشتند که برای جهان از شَرّ و
دهد و بابیان انتظار داشتند که برای جهان از شَرّ و کُفر به این جهاد بپیوندند. باب اما در زمان حیات خود هیچ‌گاه فرمان جهاد صادر نکرد. آثار باب چالش‌برانگیز و مخالف انتظار علمای سنت‌گرا بود. ولی وی در هیچ‌یک از آثارش کوچک‌ترین اشاره ای به آغاز نبرد و خشونت نکرد و عملاً مانع بروز جهادی شد که بر طبق باور اهل سنت و احادیث می‌بایست امام مهدی آن را فرماندهی می‌کرد. باب در کتاب احکامش، "بیان فارسی"، با موکول نمودن حق اعلام جهاد به پادشاهان آینده بابی، عملاً اجرای آن را غیر عملی ساخت. یکی از مهم‌ترین ایراد ردیه
آن را غیر عملی ساخت. یکی از مهم‌ترین ایراد ردیه نویسان اسلامی علیه باب آن بود که او جهاد نکرده و بنابراین نمی‌تواند مهدی موعود باشد. باب آنطوری که در آثار استدلالی‌اش می‌گوید بر آن بود که دلیل حقانیت مهدی، کلام او است و نه شمشیر. آنطور که اسناد متعدد نشان می‌دهد، در رستاخیزهای بابی‌ها در نقاط مختلف کشور، طرح سازمان یافته‌ای با هدف براندازی دنبال نمی‌شده‌است. جنگ‌ها بیشتر به بابی‌ها تحمیل شد و چون باب در حبس بود و بزرگان بابی مانند ملاحسین بشروئی و محمد علی بارفروشی، و حجت زنجانی هر کدام در شهری و در محاصره
و حجت زنجانی هر کدام در شهری و در محاصره نیروهای دولتی بودند، به دفاع از خود پرداختند. جنبش بابیه فاقد رهبری مرکزی بود. پیوند به بیرون. https://www.bbc.com/persian/arts-50220901
داتامش یا دادمهر یک فرمانده ایرانی بود که از ۳۸۰ پیش از میلاد تا ۳۶۲ پیش از میلاد فرماندار (ساتراپ) هخامنشی در کاپادوکیه یا کیلیکیه بود. او در اصل کاریایی بود و فرزند کامیسارس از مادری پافلاگونیایی بود. پدرش در زمان اردشیر دوم، ساتراپ کیلیکیه بود و منصب بالایی داشت و بدین ترتیب داتامش یکی از محافظان شاه بزرگ شد، او که در جنگ اردشیر دوم با کادوسیان از نظر توانایی جنگی و وفاداری متمایز شد، به جانشینی پدرش (که طی آن جنگ سقوط کرده بود) در فرمانداری استان خود منصوب شد. نام. داتامش (Datames) شکل یونانی شده نام
شد. نام. داتامش (Datames) شکل یونانی شده نام ایرانی باستان *Dātama- یا *Dātāma- است، که در Dātamiθra (دادمیترا به معنای"هدیه میترا") یا *Data-ama (به معنای "به او نیرو داده می‌شود") ریشه دارد. این نام در آرامی به صورت Tadanmu وارد شده است. افراد. شناخته شده‌ترین کسی که با این نام شناخته شده، داتامش (متولد ۴۰۷ پ.م. یا زودتر- درگذشت ۳۶۲ پ. م) پسر کامیسارس کاریایی است که بر قسمتی از کیلیکیه از اوایل حکومت اردشیر دوم (۴۰۵–۳۵۹ پ. م) و پافلگونیان سکاثیسه (احتمالاً شاهزاده بوده) فرمانروایی می‌کرده است. بیشترین
شاهزاده بوده) فرمانروایی می‌کرده است. بیشترین اطلاعات دردسترس دربارهٔ داتامش در گزارش زندگانی داتامش توسط کرنلیوس نپوس یافت شده است. داتامش فرمانده محافظان شخصی اردشیر دوم بود. داتامش فرزند مردی از اهالی کاریان و زنی از اهالی سیتیان بود. به هنگام جنگ علیه کادوسیان‌ها، خودی نشان داده بود و به همین جهت به آن فرماندهی منصوب شد. حدود سال ۳۷۸ پ. م وی فرماندار مناطقی از کاپادوکیه شده بود، او را مأمور کرده بودند که شورش اوتیس شاه پافلاگونیا را سرکوب کند. اندک اندک وی تبدیل به یکی از نیرومندترین فرمانداران آسیای
وی تبدیل به یکی از نیرومندترین فرمانداران آسیای صغیر شد. فعالیت‌های پرتحرک داتامش رضایت شاه ایران را جلب کرد و به همین خاطر به عنوان پاداش، سپاهیان عظیمی را به سوی وی اعزام داشت. ولی این ترقی سریع داتامش، در به دست آوردن قدرت، حسادت درباریان را برانگیخت، آن‌ها منتظر فرصت بودند تا از وی غیبت و بدگویی کنند. پاندان‌تس خزانه‌دار سلطنتی که از دوستان داتامش بود، طی نامه‌ای به وی هشدار داد که چیزی نمانده است که از سوی درباریان مورد بدگویی قرار گیرد و این در صورتی است که در جنگ شکست بخورد، زیرا عادت شاه بر آن است
است که در جنگ شکست بخورد، زیرا عادت شاه بر آن است که پیروزی‌ها را نتیجه کار خود و شکست‌ها را نتیجه کار سردارانش بداند. از آن پس داتامش با احتیاط فراوان عمل می‌کرد و کوشید تا مناطق همجوارش را تحت چیرگی خود درآورد. این مناطق اکثراً متعلق به همان شاهزاده‌های شورشی بود. بدین ترتیب وی به تدریج موفق شد که فرمانروای بسیاری از سرزمین‌های بین توروس و دریای سیاه گردد. داتامش جایگزین فارناباز دوم در لشکرکشی هخامنشیان به مصر شد. در بهار ۳۷۳ پ. م وی آشکارا طوری رفتار کرد که نشان می‌داد پادشاهی مستقل است. سکه‌هایی از آن
که نشان می‌داد پادشاهی مستقل است. سکه‌هایی از آن دوران و به سبک ایرانی که توسط داتامش ضرب شده بودند هنوز در دست است. (به ویژه این سکه‌ها نقش اهورامزدای مجهز به دو بال را دارند) هنگامی که داتامش علیه شاه طغیان کرد، وی به‌طور آشکار مورد توجه حمایت ساتراپ هلسپونت فریگیه بود که در آن زمان این مقام را آریوبرزن بر عهده داشت. به علاوه ماسول و بعضی دیگر از فرمانداران آسیای صغیر پنهانی به جبهه داتامش آمدند. وادفرداد، ساتراپ لیدی که نسبت به اردشیر وفادار مانده بود، فرمانی دریافت کرد که شورش را سرکوب کند. وی با
فرمانی دریافت کرد که شورش را سرکوب کند. وی با سپاهیانش به سوی کاپادوکیه حرکت کرد ولی توسط داتامش به عقب رانده شد. آریوبرزن و داتامش سپاه عظیمی فراهم آورده و برای طلب کمک به جانب آتن و اسپارت شتافتند. آگسیلائوس دوم شاه اسپارت که به یک زندگی صلح‌جویانه و آرام عادت نکرده بود، حاضر شد تحت فرماندهی آریوبرزن قرار گیرد به امید اینکه با کمک مالی ساتراپ شورشی، سپاهیان مزدور استخدام کند. آتنی‌ها سی کشتی جنگی و هشت هزار سرباز مزدور فرستادند، این کشتی‌ها و سپاهیان که تحت فرماندهی سردار آتنی تیموتوس قرار داشتند برای
تحت فرماندهی سردار آتنی تیموتوس قرار داشتند برای کمک به آریوبرزن آمده بودند. ولی به سپاهیان آتنی دستور داده بودند که پیمانهای منعقده با شاه را نقض نکنند! گویی کمک به آریوبرزن اصولاً نقض شرایط قرارداد صلح آنتالکیداس نیست. شورش به سرعت گسترش یافت و حتی به شهرهای فنیقیه هم رسید. وادفرداد که هنوز نسبت به شاه وفادار بود خود را مطلقاً تنها یافت و به این اندیشه افتاد که به جای اجرای یک جنگ خطرناک علیه دشمنان اردشیر، همان بهتر که به جبهه مخالفان او برود. در همان حال یکی از دامادهای اردشیر نیز به جبهه داتامش پیوست.
یکی از دامادهای اردشیر نیز به جبهه داتامش پیوست. این همان اروند یکم ساتراپ ارمنستان بود. ساتراپ‌های شورشی، شخصی به نام رئومیترس را نزد فرعون مصر تاکوس فرستادند و از وی کمک خواستند. تاکوس پول و کشتی برای شورشیان فرستاد. از طرف دیگر پی‌سیدیانها و لیسیانها نیز از شورشیان علیه شاه بزرگ پشتیبانی کردند. بدین ترتیب سراسر آسیای صغیر و پاره‌ای از مناطق همجوار آن همگی علیه شاه بزرگ به حالت جنگی درآمدند. ولی هدف اصلی هر یک حفظ منافع شخصی بود و هر کدام آماده بودند تا به متحدان خود خیانت کرده وارد مذاکره با شاه ایران
به متحدان خود خیانت کرده وارد مذاکره با شاه ایران شوند. آن‌ها به یکدیگر اعتمادی نداشتند. یرواند یکم در سال ۳۶۳ پ. م به جبهه اردشیر رفت در حالی که قرار بود به سوریه برود و بدین سان به سربازان مزدوری که در خدمتش بودند، خیانت کرد. پس از او، وادفرداد نیز به او پیوست. سرانجام در سال ۳۶۰ پ. م مهرداد فرزند آریوبرزن نیز به پدر خیانت کرد و او را کشت. سیاستمداران دربار شاه نیز از آن سو موفق شدند سپاهیان داتامش را علیه او بشورانند. اشخاص دیگر. اشخاص دیگری نیز بودند که اسم *Dātama یا Datámās داشتند. یکی از آن‌ها رهبر
اسم *Dātama یا Datámās داشتند. یکی از آن‌ها رهبر کادوسیان‌ در حمله به دژ گاداتاس تحت رهبری کوروش بزرگ (۵۵۹–۵۲۹ پ. م) بود، که در نزدیکی بابل کشته شد. Datámās دیگر، میریاچ (رهبر ۱۰ هزار سواره نظام پارسی) بود که در رژه پیروزمندانه کوروش شرکت کرده بود. یک *Dātama (ایلامی Da-(ad/ud-)da-ma))، مقام رسمی در زمان داریوش اول (۵۲۲–۴۸۶ پ. م) بود که عملکردش نامشخص است، نام این شخص در لوح‌های پرسپولیس چندین بار آمده است و احتمالاً شخص دیگری که صاحب مهر پوسپولیتن شماره ۲۰ (احتمالاً از دوران حکومت خشایارشا اول تا اردشیر
(احتمالاً از دوران حکومت خشایارشا اول تا اردشیر اول بوده) که مربوط به کتیبه آرامی تکه‌تکه شده «مهر dtm» است. داتامش، یکی از شاهان کاپادوکیه که در شجره نامه مرتبط با خاندان کوروش بزرگ لیست شده است، گفته می‌شود که پسر آنافاس، یکی از «۷ پارسی» بوده و او را به تخت پادشاهی نشانده است. او همچنین به عنوان پدر آریا (رَ) منش شناسایی شده است. این داتامش به عنوان جنگجوی شجاع و کشته شده در جنگ ستایش شده است. در آخر، داتامش پارسی وجود داشته که فرمانده ناوگان ۱۰ کشتی که به سمت کیکلدش در ۳۳۴/۳۳۳ پ. م حرکت کرده‌اند، در
به سمت کیکلدش در ۳۳۴/۳۳۳ پ. م حرکت کرده‌اند، در عهد فرمانروایی داریوش سوم (۳۳۶–۳۳۰پ. م) می‌زیسته است. در حالی که ناوگان در نزدیکی سیفنوس لنگر انداخته بود، او بوسیله پرتیس مقدونی مورد حمله قرار گرفت و هشت کشتی او به دست پرتیس افتاد. داتامش توسط بدنه اصلی ناوگان پارسی فرار کرد.
در باور برخی ادیان خداباور، خدا در گذشته خود را به برخی افراد بشر نمایان ساخته که به این امر ظهور خدا به انسان یا تجلی خدا به انسان یا خدانمود (، ، ) گفته می‌شود. قدیمی‌ترین متنی که در آن از خدانمود سخن رفته حماسه گیلگامش است. در سنت کلاسیک غربی ایلیاد نخستین متنی است که در آن خدانمود ذکر شده است. در عهد عتیق، خدا بر آدم، ابراهیم، یعقوب، موسی، یوشع، ایلیا، و دانیال نمایان می‌شود. در کلیسای کاتولیک، کلیسای ارتودکس، و برخی کلیساهای لوتری جشن خدانمون در روز ششم ژانویه برگزار می‌شود.
در نظریه گراف، یک عامل از یک گراف "G" یک زیرگراف فراگیر است، برای مثال یک زیرگرافی که مجموعه رئوس برابری با "G" دارد. یک k"-عامل از یک گراف یک زیرگراف فراگیر "k"-منتظم است و یک k"-عامل‌بندی یال‌های گراف را به "k"-عامل‌های مستقل افراز می‌کند. گراف "G" را "k"-عامل‌پذیر می‌گویند هرگاه قابل "k"-عامل‌بندی شدن باشد. به طور کلی، یک ۱-عامل یک تطابق کامل است، و یک ۱-عامل‌بندی یک گراف "k"-منتظم یک رنگ‌آمیزی یالی با "k" رنگ است. یک ۲-عامل مجموعه‌ای از دور‌ها است که تمام رئوس گراف را پوشش می‌دهند. ۱-عامل‌بندی. اگر یک
رئوس گراف را پوشش می‌دهند. ۱-عامل‌بندی. اگر یک گراف ۱-عامل‌پذیر باشد، بنابراین باید یک گراف منتظم باشد. اما تمام گراف‌های منظم ۱-عامل‌پذیر نیستند. یک گراف "k"-منتظم ۱-عامل‌پذیر است اگر عدد رنگی "k" داشته باشد. به عنوان مثال: اما گراف‌های "k"-منتظمی وجود دارد که عدد رنگی آن‌ها k"+۱" است و این گراف‌ها ۱-عامل‌پذیر نیستند. به عنوان مثال: گراف‌های کامل. یک ۱-عامل‌بندی از یک گراف کامل متناظر است با جفت‌ها در رقابت‌های دوره‌ای. ۱-عاملبندی یک گراف کامل یک حالت خاص از قضیه بارانیای که به ۱-عامل‌بندی یک ابرگراف کامل
قضیه بارانیای که به ۱-عامل‌بندی یک ابرگراف کامل مربوط است. یکی از روش‌های ساختن یک ۱-عامل‌بندی از یک گراف کامل این است که تمام رئوس به جز یکی را دور یک دایره بچینیم که یک چند ضلعی منتظم تشکیل بدهد، و راس باقیمانده را در وسط دایره قرار دهیم. اگر با این چیدمان رئوس، یک راه برای ساختن ۱-عامل گراف انتخاب یک یال "e" از مرکز به یکی از رئوس چند ضلعی و انتخاب تمام یال‌های عمود بر آن. ۱-عامل‌هایی که با این روش ساخته می‌شوند ۱-عامل‌بندی گراف را تشکیل می‌دهند. حدس 1-عامل‌بندی. فرض کنید "G" یک گراف ,"k"-منتظم با 2"n"
فرض کنید "G" یک گراف ,"k"-منتظم با 2"n" راس باشد. اگر "k" به مقدار کافی بزرگ باشد، فهمیده می‌شود که "G" باید 1-عامل‌پذیر باشد: حدس 1-عامل‌بندی یک حدس قدیمی است که بیان می‌کند "k"≈"n" کافی است. در بیانی دقیق‌تر حدس می‌گوید: اگر "n" فرد باشد و "k" ≥ "n" باشد آنگاه "G" گرافی 1-عامل‌پذیر است. همین‌طور اگر "n" زوج باشد و 1 - "k" ≥ "n" آنگاه "G" گرافی 1-عامل‌پذیر است. حدس overfull حدس 1-عامل‌بندی را نتیجه می‌دهد. ۲-عامل‌بندی. اگر یک گراف ۲-عامل‌پذیر باشد، آنگاه آن باید برای یک "k" صحیح ۲"k"-منتظم باشد. جولیوس
آن باید برای یک "k" صحیح ۲"k"-منتظم باشد. جولیوس پترسون در سال ۱۸۹۱ نشان داد که شرط لازم کافی هم است: هر ۲k-منتظم ۲-عامل‌پذیر است. اگر یک گراف همبند ۲"k"-منتظم باشد و تعداد زوجی یال داشته باشد، شاید "k"-عامل بشود، به این ترتیب که هر کدام از دو عامل‌های یک زیر مجموعهٔ متفاوت از یال‌های تور اویلری است. این قضیه فقط بر روی گراف‌های همبند صادق است. مثال نقض‌های گراف‌های ناهمبند، اجتماع تعدادی دورهای فرد یا "K"۲"k"+۱ مستقل است.
در نظریهٔ گراف، قضیه بروکس رابطه‌ای بین بیشترین یک گراف و عدد رنگی آن بیان می‌کند. بر اساس این قضیه، در یک گراف همبند که هر راسی حداکثر Δ همسایه دارد، راس‌ها می‌توانند تنها با Δ رنگ، رنگ آمیزی شوند، به جز در دو حالت، گراف‌های کامل و گراف‌های دوری با دور به طول فرد، که به Δ + ۱ رنگ نیاز دارند. این قضیه به افتخار نام‌گذاری شده‌است، کسی که یک اثبات از این مسئله را در سال ۱۹۴۱ منتشر کرد. یک رنگ‌آمیزی با تعداد رنگ‌هایی که قضیه بروکس ارائه می‌دهد، عموماً رنگ‌آمیزی بروکس یا Δ-رنگ‌آمیزی نامیده می‌شود گزاره رسمی.
بروکس یا Δ-رنگ‌آمیزی نامیده می‌شود گزاره رسمی. برای هر گراف بدون جهت همبند G با بیشترین درجه Δ، عدد رنگی G حداکثر Δ است مگر در حالتی که G خوشه یا دور فرد باشد، در این حالت عددرنگی Δ + ۱ است. اثبات. یک اثبات ساده شده برای قضیه بروکس ارائه داد. اگر گراف دوهمبند نباشد مؤلفه‌های دوهمبند آن را می‌توان به صورت جدا رنگ‌آمیزی کرد و سپس رنگ‌آمیزی‌ها را با هم ترکیب کرد. اگر گراف یک راس v با درجهٔ کمتر از Δ داشته باشد، آنگاه یک الگوریتم رنگ‌آمیزی حریصانه که راس‌های دور از v را قبل از راس‌های مجاور آن رنگ می‌کند
دور از v را قبل از راس‌های مجاور آن رنگ می‌کند حداکثر Δ رنگ استفاده می‌کند. ازاین‌رو، سخت‌ترین حالت اثبات به گراف‌های Δ-منتظم دوهمبند با Δ≥۳ مربوط است. در این حالت، Lovász نشان داد که می‌توان یک درخت پوشا پیدا کرد به طوری که دو راس همسایه با ریشه v, u و w که با هم مجاور نیستند در درخت برگ باشند. یک رنگ‌آمیزی حریصانه از راس u و w شروع می‌کند و راس‌های باقی‌مانده از درخت پوشا را از پایین به بالا با حداکثر Δ رنگ، رنگ می‌کند. برای رنگ کردن هر راس به جز v، آن راس یک پدر در درخت دارد که هنوز رنگ نشده‌است، پس
راس یک پدر در درخت دارد که هنوز رنگ نشده‌است، پس همسایه‌های رنگ شده این راس نمی‌توانند همهٔ رنگ‌ها را استفاده کرده باشند، در حالی که برای راس v هم دو راس همسایه آن، u و w رنگ یکسان دارند پس باز هم یک رنگ برای راس v باقی می‌ماند. تعمیم. یک تعریف عمومی‌تر از این تئوری به فهرست رنگ‌آمیزی اشاره می‌کند: برای هر گراف هم‌بند بدون جهت با بیش‌ترین درجه Δ که خوشه یا دور فرد نباشد، و یک فهرست از Δ رنگ برای هر راس، می‌توان به هر راس یک رنگ از این فهرست تخصیص داد به صورتی که هیچ دو راس همسایه، رنگ یکسان نداشته باشند.
که هیچ دو راس همسایه، رنگ یکسان نداشته باشند. به عبارت دیگر، فهرست تعداد رنگ گراف هم‌یند بدون جهت G هرگز از Δ بیش‌تر نمی‌شود، مگر G خوشه یا دور فرد باشد. این قضیه توسط اثبات شده‌است. برای گراف‌های خاص، حتی کمتر از Δ رنگ نیاز است. نشان می‌دهد Δ – ۱ رنگ کافی است اگر و فقط اگر گراف داده شده هیچ Δ-خوشه نداشته باشد، Δ ارائه شده به اندازه کافی بزرگ است. برای ، یا به صورت کلی‌تر گراف‌هایی که همسایگی هر راسش به اندازه کافی متراکم باشد، (O(Δ/log Δ رنگ کافی است. درجه یک گراف در انواع دیگر رنگ‌آمیزی به صورت کران بالا
یک گراف در انواع دیگر رنگ‌آمیزی به صورت کران بالا نشان داده می‌شود: برای رنگ‌آمیزی یال، قضیه ویزینگ نتیجه می‌دهد که حداکثر Δ + ۱ رنگ لازم است. یک تعمیم از قضیه بروکس برای رنگ‌آمیزی کامل، که بیان می‌کند عدد رنگی کلی حداکثر Δ + ۲ است، توسط Behzad و Vizing حدس زده شده‌است. تئوری Hajnal–Szemerédi در بیان می‌کند هر گراف یک (Δ + ۱)-رنگ‌آمیزی دارد که در آن اندازه هر کلاس دو رنگ حداکثر یک اختلاف دارد. الگوریتم. یک Δ-رنگ‌آمیزی، یا حتی یک Δ-رنگ‌آمیزی فهرستی از یک گراف Δ-درجه‌ای ممکن است در زمان خطی پیدا شود. همچنین
Δ-درجه‌ای ممکن است در زمان خطی پیدا شود. همچنین الگوریتم‌های کارآمدی برای پیدا کردن رنگ‌آمیزی بروکس در مدل‌های موازی و توزیع شدهٔ محاسبات وجود دارند.
ان‌اس‌دی یک پیاده‌سازی آزاد از پروتکل سامانه نام دامنه است. این برنامه توسط NLnet Labs آمستردام و با همکاری RIPE NCC نوشته شده‌است. ان‌اس‌دی مبتنی بر نرم‌افزار دیگری نیست و از ابتدا نوشته شده‌است. در تاریخ مارس ۲۰۰۸، سه تا از دی‌ان‌اس سرورهای root در اینترنت، از این برنامه استفاده می‌کرده‌اند و تعدادی سرویس‌دهنده دیگر که مسئول دامنه‌های سطح بالا هستند هم از این برنامه استفاده می‌کنند. این برنامه از فایل‌های ناحیه‌ای به شیوه بایند استفاده می‌کند و می‌توان فایل‌های ناحیه‌ای بایند را بدون تغییر در این برنامه
ناحیه‌ای بایند را بدون تغییر در این برنامه هم استفاده کرد. مجموعه برنامه‌ها/فرایندهایی که NSD را تشکیل می‌دهند، به گونه‌ای نوشته شده‌اند که دیمن اصلی NSD به عنوان یک کاربر غیرممتاز اجرا می‌شود و می‌توان آن را به آسانی برای اجرا شدن در یک محیط chroot پیکربندی کرد و به این ترتیب، مشکلات امنیتی دیمن اصلی این برنامه، باعث نمی‌شود تا کل سیستم تحت تأثیر قرار گیرد.
سندمیل نرم‌افزاری همه‌منظوره برای ارسال و تبادل ایمیل است که از بسیاری از روش‌های فرستادن ایمیل از جمله SMTP (که برای تبادل ایمیل بر روی بستر اینترنت استفاده می‌شود) پشتیبانی می‌کند. این برنامه از نوادگان برنامه قدیمی‌تری به نام دلیورمیل است و توسط اریک آلمن نوشته شده است. سندمیل یکی از شناخته‌شده‌ترین پروژه‌های نرم‌افزاری آزاد و متن‌باز است. این برنامه هم به صورت یک نرم‌افزار آزاد و هم به صورت نرم‌افزار انحصاری منتشر می‌شود. اریک آلمن برنامه‌ای به نام delivermail را برای آرپانت نوشته بود که به همراه
delivermail را برای آرپانت نوشته بود که به همراه نسخه‌های ۴٫۰ و ۴٫۱ بی‌اس‌دی عرضه شد. او در اوایل دهه ۱۹۸۰ برنامه سندمیل را به عنوان یکی از مشتقات دلیورمیل، در دانشگاه برکلی نوشت. برنامه سندمیل به همراه سیستم‌عامل بی‌اس‌دی 4.1c که اولین نسخه از بی‌اس‌دی بود که از TCP/IP پشتیبانی می‌کرد، عرضه شد. در سال ۲۰۰۱، حدود ۴۲ درصد از سرویس‌دهنده ایمیل عمومی از برنامه سندمیل استفاده می‌کردند. آمارگیری‌های بعدی، نشاندهنده افت میزان استفاده از این برنامه بود، بطوریکه در یک آمارگیری که در سال ۲۰۱۳ توسط E-Soft, Inc انجام
یک آمارگیری که در سال ۲۰۱۳ توسط E-Soft, Inc انجام شده بود، تنها ۱۰٫۸۶ درصد از این برنامه استفاده می‌کردند.
گروه ساس شرکت هلدینگ هوانوردی است، که مالک شرکت‌های هواپیمایی اسکاندیناوی، بلو۱، ویدیرئه و اسپن ایر می‌باشد، همچنین از سهام‌داران اصلی خطوط هواپیمایی ایر گرین‌لند و استونین ایر به‌شمار می‌آید. گروه ساس در سال ۱۹۴۶ با ادغام سه شرکت هواپیمایی حامل پرچم بنام‌های اروترانسپورت، دت دانسکه و دت نورسکه راه‌اندازی شد و در حال حاضر مالکیت این گروه متعلق به دولت سوئد (۲۱٫۴٪)، دولت دانمارک (۱۴٫۳٪)، دولت نروژ (۱۴٫۳٪) و بنیاد فاب (۷٫۶٪) (متعلق به خانواده والنبرگ) می‌باشد. دفتر مرکزی این شرکت در فرودگاه استکهلم-آرلاندا،
آلفرد اشر، (زاده ۲۰ فوریه ۱۸۱۹ – درگذشته ۶ دسامبر ۱۸۸۲) کارآفرین، سیاست‌مدار و مدیر ارشد اجرایی سوئیسی بود، که بنیانگذار شرکت‌ها و موسساتی چون کردیت سوئیس، سوئیس لایف، انستیتو تکنولوژی فدرال زوریخ، راه‌آهن شمال شرقی سوئیس و راه‌آهن گوتهارد می‌باشد.
گنو بین‌یوتیلز نامی است که به دسته‌ای از ابزارهای برنامه‌نویسی که برای ایجاد و مدیریت کردن برنامه‌ها و فایل‌های باینری، فایل‌های آبجکت، کتابخانه‌ها، داده‌های پروفایلی، کدهای منبع اسمبلی و ... مورد استفاده قرار می‌گیرند گفته می‌شود. این بسته نرم‌افزاری در ابتدا توسط برنامه‌نویسان شرکت سیگنوس سلوشنز نوشته شد. بسیاری از این ابزارها در ترکیب با کامپایلرها (از جمله جی‌سی‌سی) ابزارهای کامپایل (نظیر make) و برنامه‌های اشکال‌زدایی (نظیر جی‌دی‌بی) مورد استفاده قرار می‌گیرند. برخی از این برنامه‌ها که از libbfd
قرار می‌گیرند. برخی از این برنامه‌ها که از libbfd استفاده می‌کنند، قابلیت کار با قالب‌های پرونده‌ای فایل‌های آبجکت که توسط این کتابخانه پشتیبانی می‌شوند را هم دارند. H.J. Lu یک نسخه از این بسته نرم‌افزاری که مجهز به آخرین تغییرات و تکنولوژی‌هاست را اختصاص برای سیستم‌عامل لینوکس نگهداری و مدیریت می‌کند.
هودوریخت‌دندان نام یک سرده از راسته پتروسور است. "هودوریخت‌دندان" از قدیمی‌ترین و ابتدایی‌ترین خزندگان بال‌دار است و بقایای سنگواره‌ایش در سنگ‌های چین‌خورده‌ی کوه‌های شمال ایتالیا فراوانند. این جانور بی‌تردید نوعی خزنده‌ی بال‌دار بود و همه‌ی ویژگی‌های متمایزکننده‌ی این گروه را داشت، از جمله انگشت چهارمِ بسیار کشیده‌ای که غشای بالش را نگه می‌داشت. "هودوریخت‌دندان"، علاوه بر غشای بال، غشاهای دیگری هم میان مچ دست و گردن و میان پاها و دمش داشت که به هواسُری آن کمک می‌کردند. اما تحلیل اسکلت "هودوریخت‌دندان" نشان
می‌کردند. اما تحلیل اسکلت "هودوریخت‌دندان" نشان می‌دهد که می‌توانسته با بال زدن هم پرواز کند. "هودوریخت‌دندان" خزنده‌ی بال‌دار نسبتاً کوچکی بود و حدود ۱۰ کیلو وزن داشت؛ وزنی که در مقایسه با ابعاد غول‌آسای خویشاوندان آینده‌اش مثل "کوتزلکوتلوس" ناچیز به‌نظر می‌رسد. دندان‌های پیچیده‌ی "هودوریخت‌دندان" هم آن را از بیشتر خزندگان بال‌دار دیگر متمایز می‌کنند. بیشتر خزندگان بال‌دار دندان‌هایی ساده داشتند -یا اصلاً دندان نداشتند- اما "هودوریخت‌دندان" دهانی پر از دندان‌هایی عجیب داشت که هر کدامشان چند دندانه‌ی کوچک
عجیب داشت که هر کدامشان چند دندانه‌ی کوچک داشتند. این دندان‌ها برای گرفتن و خرد کردن شکار عالی بودند و ممکن است که در نتیجه‌ی انطباق یافتن جانور با خوردنِ ماهی‌های بزرگ پدیدار شده باشند.
کتزلکوآتلوس نام یک سرده از راسته پتروسور است. کتزلکوآتلوس یک خزنده بالدار از دورهٔ کرتاسه پسین در آمریکای شمالی است. متعلق به خانوادهٔ اژدرهایان و بزرگ‌ترین جانور پرندهٔ شناخته‌شده است.
اژدرهایان نام یک تیره از راسته پتروسور است. نام این جانور از واژه فارسی اژدها گرفته شده است.این گروه از جانوران شامل بعضی از بزرگ‌ترین جانوران پرنده در کل زمان‌ها می‌شده است.
ژیانگلینگ موتورز شرکت خودروسازی چینی است، که از طریق مشارکت انتفاعی با شرکت خودروسازی فورد، اقدام به تولید وسایل نقلیه تجاری می‌نماید، همچنین از طریق مشارکت با شرکت چانگان موتورز نیز خودروهای سواری با برند لندویند تولید می‌کند. ریشه‌های تأسیس این شرکت به سال ۱۹۵۲ بازمی‌گردد، که در قالب یک تعمیرگاه اتومبیل، در شهر نانچانگ فعالیت خود را آغاز کرد. در ۱۹۸۴ مونتاژ چند نمونه از کامیون‌های ایسوزو را آغاز کرد و در ۱۹۹۵ مشارکت با فورد آغاز گردید. دفتر مرکزی شرکت ژیانگلینگ موتورز در شهر نانچانگ، جیانگشی، جمهوری خلق
موتورز در شهر نانچانگ، جیانگشی، جمهوری خلق چین قرار دارد و سهام آن در بازار بورس شنژن معامله می‌شود.
در سری‌های زمانی تاب دادن زمان هوشمند یا کش و قوس زمانی پویا (به انگلیسی: (Dynamic time warping(DTW) الگوریتمی برای اندازه‌گیری شباهت بین دو دنباله زمانیست که ممکن است در سرعت یا زمان متفاوت باشند. برای نمونه، DTW می‌تواند شباهت بین دو الگوی راه رفتن را بیابد حتی اگر سرعت یا شتاب راه رفتنشان در بازه‌های زمانی یکسان نباشد. DTW دنباله‌های زمانی داده‌های صوتی، ویدئویی و تصویری را تحلیل کرده‌است. در واقع هر داده‌ای که بتواند به صورت دنبالهٔ پشت سر هم اطلاعات به دست بیاید، DTW می‌تواند آن را تحلیل کند. یک کاربرد
بیاید، DTW می‌تواند آن را تحلیل کند. یک کاربرد مهم این الگوریتم بازشناسی گفتار یکسان افراد مختلف با سرعت گفتار مختلف است. و از کاربردهای دیگر DTW می‌توان به تشخیص صدا، تشخیص دستخط و امضا اشاره کرد. همچنین استفاده‌های از آن در تشخیص تطبیق اشکال هندسی جزئی دیده شده‌است. در مجموع، DTW روشی است که بهینه‌ترین تطبیق بین دو دنباله زمانی با محدودیت‌های معین را پیدا می‌کند (برای مثال:سری زمانی). دنباله‌ها به صورت غیر خطی در محور زمان «کش و قوس پیدا می‌کنند» تا معیاری برای شباهت آن‌ها مستقل از برخی تغییرات غیر خطی