Membandingkan co-bilangan prima

8

Misalkan kita memiliki dua bilangan yang difaktorkan ke dalam bilangan prianya, direpresentasikan sebagai daftar (p, d), di mana semua p adalah bilangan prima, dan d adalah kekuatan p.

Apakah ada cara untuk membandingkan dua angka seperti itu tanpa mengubahnya menjadi bilangan bulat panjang?

Membandingkan dua angka dapat direduksi menjadi membandingkan dua co-bilangan prima, tetapi kemudian tampaknya keberuntungan habis, dan sepertinya saya perlu melakukan beberapa aritmatika polinomial, yang sama dengan mengubah menjadi bilangan bulat panjang.

Sassa
sumber
1
Perbandingan apa yang Anda pikirkan?
Martin Berger
pembagian atas tiga bagian
5
Anda bisa menjumlahkan dan membandingkan logritma, dengan presisi yang malas dihitung. Sayangnya, saya pikir dalam kasus terburuk (angka hampir sama) Anda akan membutuhkan cukup presisi sehingga setara dengan mengalikan angka saja. Ini akan memungkinkan Anda mendeteksi angka yang sangat berbeda jauh lebih cepat.
Antimony
Pembandingan @MartinBerger karena kemampuan untuk memesannya. Untuk tujuan tugas saya, saya bisa menambahkan "deriving Ord", tetapi itu bukan urutan numerik.
Sassa
@Antimony logaritma dengan presisi yang malas dihitung? maksud Anda, hitung seri logaritma, atau sesuatu yang lebih baik?
Sassa

Jawaban:

0

Ini pertanyaan yang sangat menarik. Saya tidak dapat melihat cara untuk menggunakan factorisations utama bilangan bulat untuk mempercepat perbandingan wrt <, =,>.

Inilah intuisi saya tentang mengapa harus sulit menghubungkan faktorisasi dengan <, = dan>: faktorisasi utama adalah tentang struktur multiplikasi bilangan bulat, sementara <dan> adalah hal-hal tambahan. Mungkin dengan melihat definisi <dalam aritmetika Peano memperjelas ini: definisi <diberikan oleh (antara lain) klausa berikut.

  1. x.x<x+1

  2. .xy.x<yx+1<y+1

Yang relevan di sini adalah kasus dasar (1). Diterjemahkan ke dalam factorisation prima, ia mengatakan bahwa Anda perlu tahu sesuatu tentang factorisations dari dan y + 1 dari factorisations dari x dan y . Namun, sejauh yang saya ketahui faktorisasi x dan x +1 pada dasarnya tidak berhubungan.x+1y+1xyxx+1

Martin Berger
sumber