Hitung fungsi Mertens

18

Dengan bilangan bulat positif n , hitung nilai fungsi Mertens M ( n ) di mana

Mertens

dan μ ( k ) adalah fungsi Möbius di mana μ ( k ) = 1 jika k memiliki bilangan genap faktor prima yang berbeda, -1 jika k memiliki bilangan prima dari faktor prima yang berbeda, dan 0 jika faktor prima tidak berbeda.

  • Ini adalah jadi buat kode terpendek untuk fungsi atau program yang menghitung fungsi Mertens untuk bilangan bulat input n > 0.
  • Ini adalah urutan OEIS A002321 .

Uji Kasus

n M(n)
1 1
2 0
3 -1
4 -1
5 -2
6 -1
7 -2
8 -2
9 -2
10 -1
117 -5
5525 5
7044 -25
8888 4
10000 -23
mil
sumber
Berhubungan erat
Peter Taylor
Bisakah kita mengembalikan True, bukannya 1 ? Diskusi meta yang relevan: Haruskah Boolean diizinkan di mana nomor diperlukan?
Dennis
@ Dennis Yakin jika bahasa Anda menginterpretasikan True as 1.
miles

Jawaban:

6

Jelly , 6 byte

:Ḋ߀SC

Cobalah online! atau verifikasi kasus uji yang lebih kecil . (butuh beberapa saat)

Latar Belakang

Ini menggunakan properti

properti oleh David W. Wilson

dari A002321 , yang mengarah ke rumus rekursif berikut.

rumus rekursif

Bagaimana itu bekerja

:Ḋ߀SC  Main link. Argument: n

 Ḋ      Dequeue; yield [2, ..., n].
:       Perform the integer division of n by each k in [2, ..., n].
  ߀    Recursively call the main link on each result.
    S   Sum; add the results from the recursive calls.
     C  Complement; map the sum r to 1 - r.
Dennis
sumber
11

Mathematica, 22 20 byte

Terima kasih kepada @miles karena telah menghemat 2 byte.

Tr@*MoebiusMu@*Range

Penjelasan

Range

Buat daftar dari 1 hingga masukan.

MoebiusMu

Temukan MoebiusMusetiap nomor

Tr

Jumlahkan hasilnya.

JungHwan Min
sumber
2
Saya suka bagaimana Mathematica memiliki builtin untuk semuanya, tetapi biasanya lebih lama daripada bahasa golf. = D
DJMcMayhem
5
Panggilan lain untuk mthmca, versi Mathematica perintah-nama-panjang-dioptimalkan.
Michael Stern
11

Python 2, 45 37 byte

f=lambda n,k=2:n<k or f(n,k+1)-f(n/k)

Uji di Ideone .

Latar Belakang

Ini menggunakan properti

properti oleh David W. Wilson

dari A002321 , yang mengarah ke rumus rekursif berikut.

rumus rekursif

Bagaimana itu bekerja

Kami menggunakan rekursi tidak hanya untuk menghitung M untuk quotients, tetapi untuk menghitung jumlah gambar-gambar itu juga. Ini menghemat 8 byte dari implementasi langsung berikut ini.

M=lambda n:1-sum(M(n/k)for k in range(2,n+1))

Ketika f dipanggil dengan argumen tunggal n , argumen opsional k default ke 2 .

Jika n = 1 , n<khasilkan Benar dan f mengembalikan nilai ini. Ini adalah kasus dasar kami.

Jika n> 1 , n<kawalnya mengembalikan False dan kode berikut ordijalankan. f(n/k)secara rekursif menghitung satu istilah dari jumlah tersebut, yang dikurangkan dari nilai pengembalian f(n,k+1). Kenaikan terakhir k dan panggilan f , sehingga iterating nilai-nilai yang mungkin k . Setelah n <k + 1 atau n = 1 , f(n,k+1)akan mengembalikan 1 , mengakhiri rekursi.

Dennis
sumber
Wow, itu bahkan lebih pendek daripada implementasi Mobius. codegolf.stackexchange.com/a/70024/34718
mbomb007
Jauh lebih pendek. :) Sekarang, bagaimanapun.
Dennis
7

05AB1E , 16 15 byte

LÒvX(ygmyyÙïQ*O

Penjelasan

L        # range [1 .. n]
Ò        # list of prime factors for each in list
v        # for each prime factor list
 X(ygm   # (-1)^len(factors)
 yyÙïQ*  # multiplied by factors == (unique factors)
 O       # sum

Cobalah online!

Emigna
sumber
7

Brachylog , 22 20 byte

yb:1a+
$p#dl:_1r^|,0

Cobalah online!

Penjelasan

yb                 The list [1, 2, …, Input]
  :1a              Apply predicate 1 (second line) to each element
     +             Sum the resulting list


    $p#d               All elements of the list of prime factors of the Input are distinct
        l:_1r^         Output = (-1)^(<length of the list of prime factors>)
|                  Or
    ,0                 Output = 0
Fatalisasi
sumber
5

Jelly , 9 byte

RÆFỊNP€FS

Cobalah online! atau verifikasi semua kasus uji .

Bagaimana itu bekerja

RÆFỊNP€FS  Main link. Argument: n

R          Range; yield [1, ..., n].
 ÆF        Factor; decompose each integer in that range into prime-exponent pairs.
   Ị       Insignificant; yield 1 for argument 1, 0 for all others.
    N      Negative; map n to -n.
           This maps primes to 0, exponent 1 to -1, and all other exponents to 0.
     P€    Reduce the columns of the resulting 2D arrays by multiplication.
           The product of the prime values will always be 0; the product of the
           exponent values is 0 if any exponent is greater than, 1 if there is an
           even number of them, -1 is there is an odd number of them.
       FS  Flatten and sum, computing the sum of µ(k) for k in [1, ..., n].
Dennis
sumber
5

Haskell, 29 27 byte

f n=1-sum(f.div n<$>[2..n])
Damien
sumber
3

Jelly , 7 byte

Ị*%ðþÆḊ

Tidak terlalu efisien; penentu sulit.

Cobalah online! atau verifikasi kasus uji yang lebih kecil . (butuh beberapa saat)

Latar Belakang

Ini menggunakan rumus dari A002321 :

M (n) adalah penentu matriks Boolean A n × n , di mana a i, j adalah 1 jika j = 1 atau i | j , dan 0 sebaliknya.

Bagaimana itu bekerja

Ị*%ðþÆḊ  Main link. Argument: n

   ð     Combine the preceding atoms into a chain (unknown arity).
         Begin a new, dyadic chain with arguments a and b.
Ị        Insignificant; return 1 iff a = 1.
  %      Compute a % b.
 *       Compute (a == 1) ** (a % b).
         This yields 1 if a = 1, or if a ≠ 1 and a % b = 0; otherwise, it yields 0.
    þ    Table; construct the matrix A by calling the defined chain for every pair
         of integers in [1, ..., n].
     ÆḊ  Compute the determinant of the resulting matrix.
Dennis
sumber
3

PHP, 113 byte

for(;$i=$argv[1]--;){for($n=$j=1;$j++<$i;)if(!($i%$j)){$i/=$j;$n++;if(!($i%$j))continue 2;}$a+=$n%2?1:-1;}echo$a;

Sejauh yang saya tahu php tidak memiliki apa pun seperti fungsi bilangan prima jadi ini agak menyebalkan. Mungkin mungkin untuk melakukan yang lebih baik.

gunakan seperti:

 php -r "for(;$i=$argv[1]--;){for($n=$j=1;$j++<$i;)if(!($i%$j)){$i/=$j;$n++;if(!($i%$j))continue 2;}$a+=$n%2?1:-1;}echo$a;" 10000
pengguna59178
sumber
2

Racket 103 byte

(λ(N)(for/sum((n(range 1 N)))(define c(length(factorize n)))(cond[(= 0 c)0][(even? c)1][(odd? c)-1])))

Tidak Disatukan:

(define f
  (λ(N)
    (for/sum ((n (range 1 N)))
      (define c (length (factorize n)))
      (cond
        [(= 0 c) 0]
        [(even? c) 1]
        [(odd? c) -1]))))
juga
sumber
2

CJam (20 byte)

qiM{_,:)(@@f/{j-}/}j

Demo online

Menggunakan formula dari OEIS

sum(k = 1..n, a([n/k])) = 1. - David W. Wilson, 27 Feb 2012

dan operator memoising CJam j.

Pembedahan

qi       e# Read stdin as an integer
M{       e# Memoise with no base cases
         e#   Memoised function: stack contains n
  _,:)(  e#   Basic manipulations to give n [2 .. n] 1
  @@f/   e#   More basic manipulations to give 1 [n/2 ... n/n]
  {j-}/  e#   For each element of the array, make a memoised recursive call and subtract
}j
Peter Taylor
sumber
2

JavaScript (ES6), 50 byte

n=>[1,...Array(n-1)].reduce((r,_,i)=>r-f(n/++i|0))

Jawaban Port of @ Dennis's Python.

Neil
sumber
2

Julia, 26 25 byte

!n=1-sum(map(!,n÷(2:n)))

Cobalah online!

Latar Belakang

Ini menggunakan properti

properti oleh David W. Wilson

dari A002321 , yang mengarah ke rumus rekursif berikut.

rumus rekursif

Bagaimana itu bekerja

Kami mendefinisikan kembali operator unary ! untuk tujuan kita.

n÷(2:n)menghitung semua quotients yang diperlukan, kami didefinisikan ulang ! dipetakan di atas mereka, dan akhirnya jumlah semua panggilan rekursif dikurangi dari 1 .

Sayangnya,

!n=1-sum(!,n÷(2:n))

tidak bekerja karena jumlah diad akan tersedak koleksi kosong.

!n=n<2||1-sum(!,n÷(2:n))

memperbaikinya, tetapi tidak menyimpan byte dan mengembalikan True untuk input 1 .

Dennis
sumber
2

C, 51 50 47 byte

f(n,t,u){for(t=u=1;n/++u;t-=f(n/u));return t;}

Sunting: Berkat @ Dennis untuk -3 byte!

plafon
sumber
1

Scala, 53 byte

def?(n:Int,k:Int=2):Int=if(n<k)1 else?(n,k+1)- ?(n/k)

Port jawaban pythin Dennis.

Saya telah memanggil metode ?, yang merupakan token yang tidak menempel pada huruf.

corvus_192
sumber
1

Pyth, 12 byte

Menentukan fungsi yyang mengambil dalam n.

L-1syM/LbtSb

Test suite di sini. (Perhatikan bahwa trailing di ysini sebenarnya untuk memanggil fungsi yang dideklarasikan.)

Steven H.
sumber
1

Sebenarnya, 18 17 16 byte

Saran bermain golf diterima. Cobalah online!

R`;y;l0~ⁿ)π=*`MΣ

Tidak melakukanolf

         Implicit input n.
R        Push the range [1..n].
`...`M   Map the following function over the range. Variable k.
  ;        Duplicate k.
  y        Push the distinct prime factors of k. Call it dpf.
  ;        Duplicate dpf.
  l        Push len(dpf).
  0~       Push -1.
  ⁿ        Push (-1)**len(dpf).
  )        Move (-1)**len(dpf) to BOS. Stack: dpf, k, (-1)**len(dpf)
  π        Push product(dpf).
  =        Check if this product is equal to k.
            If so, then k is squarefree.
  *        Multiply (k is squarefree) * (-1)**(length).
            If k is NOT squarefree, then 0.
            Else if length is odd, then -1.
            Else if length is even, then 1.
           This function is equivalent to the Möbius function.
Σ        Sum the results of the map.
         Implicit return.
Sherlock9
sumber
1

PARI / GP, 24 byte

n->sum(x=1,n,moebius(x))
alephalpha
sumber
0

J, 19 byte

1#.1*/@:-@~:@q:@+i.

Menghitung fungsi Mertens untuk nmenggunakan jumlah fungsi Möbius pada rentang tersebut[1, n] .

Pemakaian

   f =: 1#.1*/@:-@~:@q:@+i.
   (,.f"0) 1 2 3 4 5 6 7 8 9 10 117 5525 7044 8888 10000
    1   1
    2   0
    3  _1
    4  _1
    5  _2
    6  _1
    7  _2
    8  _2
    9  _2
   10  _1
  117  _5
 5525   5
 7044 _25
 8888   4
10000 _23

Penjelasan

1#.1*/@:-@~:@q:@+i.  Input: integer n
                 i.  Range [0, 1, ..., n-1]
   1            +    Add 1 to each
             q:@     Get the prime factors of each
          ~:@        Sieve mask of each, 1s at the first occurrence
                     of a value and 0 elsewhere
        -@           Negate
    */@:             Reduce each using multiplication to get the product
1#.                  Convert that to decimal from a list of base-1 digits
                     Equivalent to getting the sum
mil
sumber