ماشین‌حساب سطح نمودار هاسه

درباره این ابزار

نمودار هاسه نمایشی ساده‌شده از یک ترتیب جزئی است که یال‌های بازتابی و تعدی را حذف می‌کند و فقط رابطه‌های مستقیم «پوشاندن» را می‌کشد؛ عنصرها طوری چیده می‌شوند که جایگاه بالاتر یعنی «بزرگ‌تر» در آن ترتیب. در ترتیب جزئی بخش‌پذیری روی مجموعه‌ای از اعداد صحیح مثبت، یک عنصر عنصر دیگر را می‌پوشاند هرگاه مضرب مستقیم آن باشد و هیچ مقسوم‌علیهی از مجموعه میان آن‌ها نباشد، و سطح (رتبه) یک عنصر نشان می‌دهد چند گام پوششی آن را از عنصرهای مینیمال نمودار جدا می‌کند.

این ماشین‌حساب مجموعه‌ای از اعداد صحیح مثبت را می‌گیرد، رابطهٔ بخش‌پذیری میان آن‌ها را می‌سازد و به هر عنصر سطحش را در نمودار هاسهٔ حاصل نسبت می‌دهد. دانشجویان ریاضیات گسسته و نظریهٔ ترتیب از آن برای بررسی تکلیف دربارهٔ مشبکه‌ها و ترتیب‌های جزئی استفاده می‌کنند، چون ردیابی دستی رابطه‌های پوششی و سطح‌ها برای بیش از چند عدد معدود خسته‌کننده و پرخطا است.