در این پژوهش تابع غالب رومی علامت دار را روی برخی گراف ها مطالعه می کنیم. تابع f:v(g)?{-1 ,1 ,2} را غالب رومی علامت دار (srdf) می نامیم هرگاه برای هر رأس v با شرط f(v)= -1 ، حداقل یک رأس مجاور با v مانند u موجود باشد که f(u)=2 و هم چنین برای هر x?v(g) داشته باشیم: f[x]=?_(y?n[x])??f(y)?1? وزن هر srdf مانند f به صورت (f)=?_(v?v)f(v)? است. عدد غالب رومی علامت دار گراف g برابر srdf های روی گراف...

در این پایان نامه منطق های گودل مرتبه اول که خانواده ای از منطق های متناهی یا نامتناهی ارزشی هستند، مطالعه می شود. مجموعه ی ارزش های صدق، v، زیر مجموعه ی بسته ای از [0,1] است که شامل 0 و 1 می باشد. gv منطق حاصل از مجموعه ی v، مجموعه ی آن دسته از فرمول ها است که تحت هر تعبیری بتوی v ارزش 1 پیدا کنند. انتخاب مجموعه های متفاوت v موجب پدید آمدن منطق های متفاوت gv می شود. ثابت خواهیم کرد که gv بندا...

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

چکیده فرض کنیدg=(v,e) گرافی همبند و بدون جهت باشد و r?1 عددی صحیح باشد. زیرمجموعه ای از رئوس مانند c?v را در نظر بگیرید. به ازای هر راس v?v مجموعه b_r (v) را به صورت b_r (v)={x?v: d(x,v)?r} تعریف می کنیم. اگر به ازای هر راسv?v، همه مجموعه های b_r (v)?c ناتهی و دو به دو متمایز باشند، آن گاه c را کدr-شناسایی می نامیم. اگر به ازای هر راسv?vc ، همه مجموعه های b_r (v)?c ناتهی و دو به دو متمایز باشن...

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