فرض کنید g = (v,e) یک گراف ساده باشد. مجموعه ی s? v را اتحاد تهاجمی گوییم، هرگاه برای هر راس در s n(s) ? داشته باشیم |n[v] ?s|?|n[v]?s|. همچنین s را یک اتحاد تهاجمی فراگیر گوییم، هرگاه شرط فوق برای هر راس در v ?s برقرار باشد. یافتن یک اتحاد تهاجمی فراگیر در گراف، یک مساله ی np-سخت است. بنابراین برای به دست آوردن پارامترهای اتحاد تهاجمی فراگیر یعنی ?_o (g) و ?_o ? (g)، نیاز داریم تا کرانهایی برح...
