Seberapa dekat kita dengan multiply linear, tambah, dan bandingkan (pada bilangan bulat)?

Mengakses artikel KW Regan "Connect the Stars" , ia menyebutkan pada akhirnya bahwa masih merupakan masalah terbuka untuk menemukan representasi bilangan bulat sehingga operasi penambahan, perkalian, dan perbandingan dapat dihitung dalam waktu linier:

Apakah ada representasi bilangan bulat sehingga penambahan, perkalian, dan perbandingan semuanya bisa dilakukan dalam waktu linier? Pada dasarnya, apakah ada waktu linier yang dipesan secara acak?

(1) Seberapa dekat kita dengan multiplikasi dan penambahan waktu linear, tanpa membandingkan? Di sini saya berasumsi bahwa ukuran masalah dapat bervariasi, sehingga kita mungkin memerlukan struktur data / algoritma yang memungkinkan untuk mengubah ukuran bilangan bulat.

(2) Untuk masalah lengkap, kita dapat mengasumsikan bahwa kita akan menemukan skema optimal untuk melipatgandakan, menambah, dan membandingkan pada bilangan bulat. Seberapa dekat kita bisa mendapatkan paling lambat dari tiga operasi ini (dalam kasus terburuk) menuju waktu linier? Dan pada catatan itu, seberapa cepat operasi lainnya?

PERNYATAAN MASALAH FORMAL

Seperti yang disebutkan oleh Emil Jeřábek, kami ingin mengesampingkan kasus-kasus sepele dan berkonsentrasi pada perilaku kasus terburuk untuk pertanyaan ini.

Jadi kami bertanya, untuk bilangan bulat non-negatif dan mana dan , dapatkah kita menemukan struktur data / algoritma yang dapat melakukan penambahan, perkalian, dan membandingkan dengan \ antara dan dalam waktu dan ruang ? $\forall x$ $\forall y$ $0 \le x < n$ $0 \le y < n$ $x$ $y$ $O(n \log{(n)})$ $O(\log^2{(n)})$

ds.algorithms ds.data-structures worst-case Matt Groff
sumber

Saya akan menyebutkan bahwa adalah mungkin untuk membuat skema yang melakukan operasi ini dalam waktu

pada bilangan bulat non-negatif, di mana

adalah bitsize dari integer terbesar (dengan asumsi kita tahu

depan waktu). Saya ingin tahu apakah kita dapat melakukan yang lebih baik, dan melakukan ini dalam waktu yang sebanding dengan bilangan bulat saat ini sedang dihitung.

Θ (n)

$\Theta(n)$

n

$n$

n

$n$

Matt Groff

@TysonWilliams: Ya! Biner!

Jeff

Alih-alih mendapatkan waktu linier untuk semua operasi ini, adakah representasi bilangan bulat sehingga semua operasi ini memiliki waktu

O (n \log n)

$O(n\log n)$

Emil Jeřábek mendukung Monica

Sebenarnya, ada jawaban positif sepele: mewakili bilangan bulat dalam biner dengan

bit padding. Tidakkah pernyataan itu mencakup beberapa kondisi yang menyatakan bahwa representasi harus memiliki panjang linier dalam panjang representasi biner?

n^{2}

$n^2$

Emil Jeřábek mendukung Monica

@ EmilJeřábek: Saya berasumsi dia ingin representasi dari setiap bilangan bulat

untuk menggunakan

bit, untuk beberapa fungsi

n

$n$

f (n)

$f(n)$

f (n) = Θ (\log n)

$f(n)=\Theta(\log n)$

Jeffε

Mungkin bukan jawaban terbaik, tapi mungkin ini adalah titik awal yang berguna. Jika kita ingin merepresentasikan bilangan bulat non-negatif, kita dapat menyimpannya sebagai satu set residu bilangan prima modulo residu mulai dari 2. Dalam bentuk ini perbandingan berpotensi sulit, tetapi penggandaan dan penambahan dapat dilakukan dengan cukup cepat. Produk dari primes pertama didekati oleh Oleh karena itu untuk mewakili bilangan bulat Anda memerlukan modulo residu pertama , di mana $n$

p_{n} # = \exp ((1 + o (1)) n \log n) .

$p_n\# =\exp((1+\mathcal{o}(1) )n\log n).$

N

$N$

n

$n$

. Karena kita dapat merepresentasikan

menggunakan modulo sebagairesidu

primepertama, kita dapat mengambil

. Penambahan dan perkalian dapat dilakukan langsung antara pasangan residu. Ada

pasangan demikian, dengan prima maksimum berada di sekitar

. Jadi penambahan harus dalam

N < \exp ((1 + o (1)) n \log n)

$N<\exp((1+\mathcal{o}(1) )n\log n)$

N < p_{n} #

$N<p_n\#$

n

$n$

n \log n \propto \log (N)

$n \log n \propto \log(N)$

n

$n$

n \log (n)

$n\log(n)$

, sedangkan perkalian melalui Schonhage-Strassen harus dalam

. Karena

, maka perkiraan kasar memberikan

dalam

O (n \log \log (N))

$O(n\log\log(N))$

O (n \log \log (N) \log \log \log \log (N) \log \log \log (N))

$O(n\log\log(N)\log\log\log\log(N)\log\log\log(N))$

n \log n \propto \log N

$n \log n \propto \log N$

n

$n$

O (\log N / \log \log N)

$O(\log N/\log\log N)$ . Hal ini akan memberikan kompleksitas penjumlahan dan perkalian sebagai sekitar

dan

O (\log N)

$O(\log N)$

O (\log N \log \log \log N \log \log \log \log N)

$O(\log N \log\log\log N \log\log\log\log N)$

Joe Fitzsimons
sumber

lihat juga teorema sisa Cina

vzn

@ vz: Ya, saya akan menyebutkan itu untuk perbandingan, tetapi kemudian terpikir oleh saya bahwa mungkin ada operasi perbandingan yang lebih cepat melalui representasi radix campuran.

Joe Fitzsimons

Seberapa dekat kita dengan multiply linear, tambah, dan bandingkan (pada bilangan bulat)?

Jawaban: