Olyan algoritmust, amely garantaltan megall, es megmondja, hogy van-e ut ket pont kozott nem tudok mondani

Az a sejtesem, hogy bizonyithato, hogy nem letezhet ilyen algoritmus, (bar ahogy mondtam, eloszor tisztatni kell, hogy hogyan van vegesen megfogalmazva a vegtelen graf.)