Saya mencari referensi untuk hasil berikut:
Menambahkan dua bilangan bulat dalam representasi factored sama sulitnya dengan memfaktorkan dua bilangan bulat dalam representasi biner biasa.
(Saya cukup yakin itu ada di luar sana karena ini adalah sesuatu yang saya tanyakan pada suatu saat, dan kemudian bersemangat ketika akhirnya saya melihatnya di media cetak.)
"Menambahkan dua bilangan bulat dalam representasi yang difaktorkan" adalah masalahnya: mengingat faktorisasi utama dari dua angka dan , hasilkan faktorisasi utama . Perhatikan bahwa algoritma naif untuk masalah ini menggunakan faktorisasi dalam representasi biner standar sebagai subrutin.y x + y
Pembaruan : Terima kasih Kaveh dan Sadeq untuk buktinya. Jelas semakin banyak bukti yang lebih meriah, tetapi saya juga ingin mendorong lebih banyak bantuan dalam menemukan referensi , yang seperti yang saya katakan saya cukup yakin ada. Saya ingat pernah membacanya di sebuah makalah dengan ide-ide lain yang menarik dan tidak sering dibahas di dalamnya, tetapi saya tidak ingat apa ide-ide lain itu atau apa makalah itu secara umum.