В докладе будет доказана теорема о невозможности построения парного самплера(а значит, и односторонней функции), выдающего пары (условие, решение з.п. R) по тотальной задаче поиска R', трудной на распределении, задаваемом полиномиальным сюрьективным самплером.