-
set graphs. iii. proof pearl: claw-free graphs mirrored into transitive hereditarily finite sets
جزئیات بیشتر مقاله- تاریخ ارائه: 1392/07/24
- تاریخ انتشار در تی پی بین: 1392/07/24
- تعداد بازدید: 677
- تعداد پرسش و پاسخ ها: 0
- شماره تماس دبیرخانه رویداد: -
we report on the formalization of two classical results about claw-free graphs, which have been verified correct by jacob t. schwartz’s proof-checker referee. we have proved formally that every connected claw-free graph admits (1) a near-perfect matching, (2) hamiltonian cycles in its square. to take advantage of the set-theoretic foundation of referee, we exploited set equivalents of the graph-theoretic notions involved in our experiment: edge, source, square, etc. to ease some proofs, we have often resorted to weak counterparts of well-established notions such as cycle, claw-freeness, longest directed path, etc.
مقالات جدیدترین رویدادها
-
استفاده از تحلیل اهمیت-عملکرد در ارائه الگوی مدیریت خلاقیت سازمانی و ارائه راهکار جهت بهبود
-
بررسی تاثیر ارزش وجوه نقد مازاد بر ساختار سرمایه شرکت های پذیرفته شده در بورس اوراق بهادار تهران
-
بررسی تأثیر سطح افشای ریسک بر قرارداد بدهی شرکت های پذیرفته شده در بورس اوراق بهادار تهران
-
بررسی تأثیر رتبه بندی اعتباری مبتنی بر مدل امتیاز بازار نوظهور بر نقد شوندگی سهام با تأکید بر خصوصی سازی شرکت ها
-
تأثیر آمیخته بازاریابی پوشاک ایرانی بر تصویر ذهنی مشتری پوشاک ایرانی (هاکوپیان)
-
نقض حقوق شهروندی و تأثیر آن بر سلامت شهروندان
-
بررسی ارتباط بین رهبری تحول آفرین و تعهد سازمانی کارکنان
-
نمونه های مشترک مضامین اخلاقی (اندرزی) دین محور در ادبیات ایران باستان
-
تاثیر استفاده از شیشه های رنگی در ارسی های عمارت های قاجاری بوشهر
-
میزان رضایت مندی بیماران بستری و مراجعه کننده به یک بیمارستان نظامی
مقالات جدیدترین ژورنال ها
-
مدیریت و بررسی افسردگی دانش آموزان دختر مقطع متوسطه دوم در دروان کرونا در شهرستان دزفول
-
مدیریت و بررسی خرد سیاسی در اندیشه ی فردوسی در ادب ایران
-
واکاوی و مدیریت توصیفی قلمدان(جاکلیدی)ضریح در موزه آستان قدس رضوی
-
بررسی تاثیر خلاقیت، دانش و انگیزه کارکنان بر پیشنهادات نوآورانه کارکنان ( مورد مطالعه: هتل های 3 و 4 ستاره استان کرمان)
-
بررسی تاثیر کیفیت سیستم های اطلاعاتی بر تصمیم گیری موفق در شرکتهای تولیدی استان اصفهان (مورد مطالعه: مدیران شرکتهای تولیدی استان اصفهان)
-
بررسی علل تاخیر در پروژه های راه آهن
-
سازمان ارزش بنیان و خلق ارزش شرکت: تحلیل نقش میانجی اخلاق کاری (مورد مطالعه: شرکت های دانش بنیان پارک های علم و فناوری شهر تهران)
-
تبیین شفافیت ساختار فضایی معماری ایران در دروه صفویه مطالعه مورد : مسجد شیخ لطف الله و کاخ عالی قاپو اصفهان
-
legal nature of the municipal agreement with owner in order to implement development projects (case study of germi)
-
energy loss investigation in submarine pipelines: case study of cyprus water supply project
سوال خود را در مورد این مقاله مطرح نمایید :