Teoretyczne informatyka

14
Rzutna płaszczyzna zamówienia 12

Cel : ustalenie przypuszczenia, że ​​nie ma rzutowej płaszczyzny rzędu 12. W 1989 r., Korzystając z wyszukiwania komputerowego na kredce, Lam udowodnił, że nie istnieje rzutowa płaszczyzna rzędu 10. Teraz, gdy Boski numer Kostki Rubika został ustalony po zaledwie kilku tygodniach masowych...

14
Gwarancje twardości dla AES

Wiele kryptosystemów z kluczem publicznym ma pewnego rodzaju sprawdzalne zabezpieczenia. Na przykład kryptosystem Rabin jest tak samo trudny jak faktoring. Zastanawiam się, czy istnieje taki rodzaj możliwego do udowodnienia bezpieczeństwa dla kryptosystemów tajnych kluczy, takich jak AES. Jeśli...

14
Wydajny algorytm do aktualizowania drzewa analizy

Powiedzmy, że mam duży blok kodu, który już sprawdziłem i przeanalizowałem. Załóżmy, że zmienia się tylko jedna postać; Chciałbym zaktualizować parsowanie, ale ponieważ modyfikacja jest bardzo niewielka w porównaniu do całości, chciałbym wiedzieć, czy nie można ponownie przeanalizować całości, ale...