مقاله‌ی زیر به همراه خلاصه آن در وب‌سایت ویکیپدیا آمده است. موضوع آن را مشخص کنید

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