تعمیر کامپیوتر در اصفهان . 410 تاتیانا ام. کانر و همکاران.

 مشکل تست قابل حل نیست، زیرا برآوردن شرایط کامل بودن تست مشخص شده در [6] غیرممکن خواهد بود. برای بررسی اینکه هر رأس v ∈ V در G�m یا متعلق به یک زنجیره جهت‌دار است یا در یک مؤلفه قوی متصل (SCC) قرار دارد، به شکلی است که در شکل 1 نشان داده شده است. این را می‌توان با استفاده از الگوریتم کوساراجو-شریر انجام داد. در دو جستجوی عمقی نمودار [7، 10، 11، 12]: برای یافتن تمام اجزای متصل و بررسی اتصال بین  تعمیر کامپیوتر در اصفهان . 410 تاتیانا ام. کانر و همکاران. / Procedia Computer Science 190 (2021) 408-413 شکل 1. شکل کلی نمودار به منظور حل مسئله آزمایش - رئوس، زنجیره‌ها یا اجزای متصل ممکن است وجود نداشته باشند، k ∈ N0. راس اولیه v0 و همه رئوس دیگر. در غیر این صورت، مشکل تست قابل حل نیست، زیرا برآوردن شرط کامل بودن ارائه شده در [6] نیز غیرممکن خواهد بود.