(Kryptograficzne) problemy do rozwiązania w wielomianowej liczbie kroków arytmetycznych


9

W artykule Adi Shamira [1] z 1979 r. Pokazuje, że faktoring można wykonać w wielomianowej liczbie kroków arytmetycznych . Fakt ten został powtórzony i dlatego zwrócił moją uwagę w niedawnej pracy Borweina i Hobarta [2] w kontekście programów liniowych (SLP).

Ponieważ byłem raczej zaskoczony, gdy to przeczytałem, mam następujące pytanie: Czy są jakieś inne problemy kryptograficzne, a może także inne istotne problemy, które można rozwiązać w wielomianowej liczbie kroków za pomocą SLP i które obecnie nie są znane z możliwości rozwiązania wydajnie na „normalnym” klasycznym komputerze?

[1] Adi Shamir, Faktoring Numbers inO(logn)kroki arytmetyczne . Information Processing Letters 8 (1979) S. 28–31

[2] Peter Borwein, Joe Hobart, Niezwykła moc podziału w programach prostych , The American Mathematical Monthly Vol. 119, nr 7 (sierpień ‒ wrzesień 2012 r.), S. 584–592


Co oznacza „możliwe do rozwiązania w wielomianowej liczbie kroków arytmetycznych”? Najlepsze obecnie dostępne algorytmy faktoringowe zajmują podwykładniczy czas (ale super-wielomian). Nigdzie nie mogę znaleźć papieru Shamira.
mikeazo

Proponuję opublikować to na Crypto.SE, ponieważ nie otrzymałeś tutaj dużej odpowiedzi.
mikeazo

Istnieje podobny wpis na blogu autorstwa Liptona: rjlipton.wordpress.com/2012/10/16/... Ten model obliczeniowy jest swego rodzaju oszustwem, ponieważ pozwalasz na obliczenia z dowolną długą precyzją. Nie znam innych problemów związanych z kryptografią, które zostały rozwiązane w tym modelu. Ale model jest tak potężny, że warto go wypróbować.
Minar

@minar problem oszustwa nie jest z aribtrarną precyzją. oszustwo tutaj polega na operacjach podłogi i sufitu.
T ....

Odpowiedzi:


-2

Nie przeczytałem też artykułu, ale streszczenie wydaje się mówić, że wymagana jest wykładnicza liczba operacji bitowych.

Praca Czebyszewa na temat zgodności i jego przeformułowania w algorytmie AKS pokazuje, że generowanie liczb pierwszych odbywa się w P. Dlatego podział próby daje czynniki niebanalne. W takim przypadku dla pewnej liczby N można oczekiwać gęstości liczb pierwszych 1 / ln (N).

Co więcej, możesz spojrzeć na rozprawę doktorską Turinga z 1937 r. Na ten temat.


3
Cześć Phil. Witamy w cstheory. Odpowiedziałeś na wiele pytań w krótkim czasie, co nie jest tutaj normalne. Posty, które są naprawdę komentarzami, a nie odpowiedziami na pytania, nie powinny być publikowane jako odpowiedzi. Przed opublikowaniem kolejnych odpowiedzi możesz rozejrzeć się i sprawdzić inne pytania oraz to, jak tu działają.
Kaveh
Korzystając z naszej strony potwierdzasz, że przeczytałeś(-aś) i rozumiesz nasze zasady używania plików cookie i zasady ochrony prywatności.
Licensed under cc by-sa 3.0 with attribution required.