Lehmerjeva pot je nepopolna Hamiltonova pot in je definirana kot sprehod, kjer obiščemo vsa vozlišča v grafu, nekatera pa lahko obiščemo dvakrat zapored. Leta 1965 je Derrick Henry Lehmer postavil domnevo, da vsak graf transpozicij sosedov vsebuje Lehmerjevo pot. Domneva je v veliki meri že dokazana in te izreke z dokazi bomo v magistrski nalogi tudi predstavili. Izkaže se, da je v mnogih primerih možna celo konstrukcija Lehmerjevega cikla, kar bomo tudi pokazali. Za mankajoči del dokaza bomo podali možen pristop, ki bi domnevo D. H. Lehmerja dokončno potrdil. Najprej poiščemo Hamiltonovo pot v sorodnem dvojiškem grafu transpozicij sosedov, nato pa s konstrukcijo Stachowiaka postopoma dodajamo manjkajoče simbole in združujemo dobljene Lehmerjeve poti.
|