تالار گفتمان مانشت

سلام دوستان
کشیدن نمودار هاس به نظر ساده میاد ولی وقتی یه سوال مثل این بهت میدن اشکت در میاد چون خیلی درهم ورهم میشه البته استادمون یه لطف کرد و گفت من یک روش دارم (توضیح نداد که چجوریه) گفت سعی کنید بفهمید ولی هیچ کی نفهمید و بعدش با همان روش معمولی اشکمون رو در اورد( منظور همون که رابطه ها رو بنویسیم، بعد گرافش رو رسم کنیم متعدی ها، بازخورد رو حذف کنیم) دوستانی که این روش رو می دونن می تونن لطف کنن و ما را راهنمایی کنن
سوال:
فرض کنید{ S={1,2,3 و ( A=P(s
یعنی{.{1,2,3},{2,3},{1,3},{1,2},{3},{2},{A={0,{1
نمودار هاس (A,C) را رسم کنید.
نکته1: منظور از 0 در مجموعه بالا همان علامت تهی است(نتونستم پیداش کنم رو کی بور)
نکته2: منظور از C علامت زیر مجموعه هست که نتونستم پیداش کنم...

ایشون خیلی قشنگ گفتن تهی زیر مجموعه همه هست خوب زیر همه قرارش داد بعد {1} و {2} و {3} رو تو ردیف دوم و{ 1,2} و {1,3} و
{2,3} رو تو ردیف سوم و نهایتا {1,2,3} رو تو ردیف آخر قرار داد و باتوجه با همون زیر مجموعه بودن یا نبودن خط هاشو کشید حالا سوال من اینه چرا {1} و {2} و {3} رو تو ردیف گذاشته خوب بقیه هم زیر مجموعه مجوعه تهی هستند یا نه

سلام
ببینید نمودار هاس یه نمودار ساده شده است. یعنی دلیلی نداره که هر رابطه ای توش نشون داده بشه و بعضی از رابطه ها به دلیل تعدی نشون داده نمیشه.
مثلا تو همین سوال : تهی زیر مجموعه {1} هست و {1} هم زیر مجموعه {1,2} پس تهی هم زیر مجموعه {1,2} میشه ولی خط رابطه کشیده نمیشه.
و اینکه توجه کنید همیشه رابطه ها از پایین به بالا تعریف میشن.
اگه گنگ توضیح دادم گسسته پوران خوب توضیح داده به نظرم.

سلام. ترتیبشو اینجور درنظر بگیرید. چون سوال از زیرمجموعه های یک مجموعه هست، مسلماً مجموعه های kعضوی زیرمجموعه ی زیر مجموعه های k+1عضوی هستن. برای همین میشه kعضوی هارو روی یه سطر قرار داد. چون اگه قرار باشه دووتا مجموعه kعضوی رو مقایسه کنیم مسلماً توی هرکدوم از دو زیرمجموعه عضوی هست که توی اون یکی نیست. پس باهم قابل مقایسه نیستن. (مثل زیرمجموعه 1تا5 و زیرمجموعه 1تا4 به همراه 6 که توی یه عضو اختلاف دارن و زیرمجموعه اعداد فرد و زیرمجموعه اعداد زوج که با فرض برابر بودن تعداد اعضاشون که بگیم توی یک سطر هست، هیچ عضو مشترکی ندارن.) مجموعه ای که عضو بیشتر داشته باشه مسلماً زیرمجموعه هایی داره که حداقل یکی از اعضاشو نداره. (اگه بیشتر از یه عضوشو ندارن هم زیرمجموعه زیرمجموعه هاش میتونن باشن. مثلاً یه مجموعه 5عضوی رو درنظر بگیرید. درسته که زیرمجموعه 3عضوی داره؛ ولی چون تمام زیرمجموعه هارو داریم، دو زیرمجموعه 4دو عضوی (که خوشون قابل مقایسه نیستن) داریم که بین این دو مجموعه توی نمودار هاسه قرار دارن. مثلا مجموعه اعداد 1تا5 زیرمجموعه 2تا4 داره؛ ولی توی نمودار هاسه نمیتونه زیرش قرار بگیره. چون زیرمجموعه های 1تا4 و 2تا5 هم هستن که باید بین این دو مجموعه 3 و 5 عضوی باشن و خودشون هم مسلماً با هم رابطه ندارن.)
پس ترتیب سطر مشخص میشه. 0عضوی زیرمجموعه تکعضوی هاست. هرکدوم از تک عضوی ها زیرمجموعه چند دوعضویه و هر kعضوی هم زیرمجموعه k+1عضویه. توی زیرمجموعه های مجموعه مرتب اگه شرطی نداشته باشیم (مثل مجموعه های با فاصله اعضای p عضو و ...) این لم صدق میکنه.
توی یک مجموعه kعضوی، عضو تهی زیر مجموعه k زیرمجموعه تک عضویه. اعضای تک عضوی هم هرکدوم زیرمجموعه k-1 زیرمجموعه دوعضوین. 2عضویها زیرمجموعه k-2 مجموعه 3عضوین و ... و k-1 عضوی ها فقط زیرمجموعه مرجه هستن. هر مجموعه pعضوی هم توی نمودار هاسه، pعضو داره که زیرمجموعشن.

سلام
رسم هاس دیاگرام کار خاصی نداره
فقط کافیه که گراف ترتیب جزیی مربوطه رو بکشی این گراف بدون در نظرگیری طوقه ها فاقد دور خواهد بود(به خاطر خاصیت پاد تقارنی در ترتیب جزیی) اگه گرافی که تو این مرحله کشیدی رو نگا کنی مثه حرف شما از 1 به 3و1و2 یال هست و ...(گراف حتما جهت دار خواهد بود)
در مرحله دوم حذف یال تعدی میکنی مثل حذف یال از 2 به 3و2و1 و از تهی به1و2 و ...(این مرحله بیشتر مد نظر شماست تو تعریف داریم تعدی خوب این تعدی باعث میشه یالهای اضافه ای بوجود بیاد مثه همین بالایی ها و چون هدف نمودار هاس نمایش ساده روابط ترتیب جزیی به شکل گراف هست اینا حذف میشن چون قابل استدلال هستن)
در مرحله آخر هم حذف جهت یالها رو میکنی (تبدیل به یک گراف بی جهت میشه)
میتونی برای مثال های بیشتر به کتاب Discrete mathematics and it's applications نویسنده Rosen نگاه کنی به بخش Hasse diagram