فرض کنید g=(v,e) یک گراف همبند غیرجهتدار و c?v یک زیرمجموعه از رئوس باشد. اگر به ازای هر رأس v?v، مجموعه¬های n_g [v]?c غیرتهی و متفاوت باشند، آنگاه c را یک کدشناساگر می نامیم. در ادامه ویژگی های اساسی کدهای شناساگر را بررسی خواهیم کرد، یک کران بالا برای کدشناساگر مینیمم ارائه خواهیم داد و گراف هایی که این کران را بدست می دهند، بررسی خواهیم کرد. همچنین سیستم های نظاره گر در گراف را معرفی می کنیم...