Thử thách:

Tạo một chương trình chấp nhận một số nguyên dương và kiểm tra xem nó có thể được viết dưới dạng (3 ^ x) -1 không, trong đó X là một số nguyên dương khác .

Nếu có thể, hãy xuất X

Nếu nó không có thể, sản lượng -1 hoặc một falsy tuyên bố.

Ví dụ đầu vào / đầu ra

Đầu vào:

2

Nó có thể được viết là (3 ^ 1) - 1, vì vậy chúng tôi xuất ra x là 1

Đầu ra:

1

Đầu vào:

26

26 có thể được viết là (3 ^ 3) - 1, vì vậy chúng tôi xuất ra x (3)

Đầu ra:

3

Đầu vào:

1024

1024 không thể được viết dưới dạng (3 ^ x) - 1, vì vậy chúng tôi xuất -1

Đầu ra:

-1

Đây là môn đánh gôn nên số lượng byte thắng ít nhất

OEIS liên quan: A024023

Toán học, 21 16 byte

-1&@@Log[3,#+1]&

Làm cho việc sử dụng tính toán tượng trưng của Mathicala. Nếu #+1là Log[3,#+1]lũy thừa của ba thì sẽ tính kết quả số nguyên là giá trị nguyên tử. Nếu không, chúng tôi sẽ nhận được Log[#+1]/Log[3]như là. Vì đây không phải là một giá trị nguyên tử, nó là một biểu thức luôn có dạng head[val1,val2,...]. Trong trường hợp này, nó thực sự là một cái gì đó như Times[Power[Log[3], -1], Log[#+1]].

Chúng tôi phân biệt giữa hai trường hợp bằng cách áp dụng một chức năng khác cho kết quả. Những gì áp dụng thực sự là nó thay thế headmột phần của một biểu thức. Vì kết quả số nguyên là nguyên tử, nên áp dụng bất kỳ hàm nào cho chúng không làm gì cả. Đặc biệt f @@ atom == atom.

Tuy nhiên, trong trường hợp khác, đầu được thay thế. Hàm chúng ta đang sử dụng là -1&một hàm đơn giản bỏ qua các đối số và trả về của nó -1. Vì vậy, chúng tôi nhận được một cái gì đó -1&[Power[Log[3], -1], Log[#+1]]trong các trường hợp không nguyên, mà đánh giá trực tiếp đến -1. Vỏ bọc đặc biệt thông qua phép thuật.

Python, 46 44 byte

lambda x:max(n*(3**n-1==x)for n in range(x))

Hãy thử trực tuyến!

Trong trường hợp này, 0sẽ là giá trị giả. Cảm ơn @ mbomb007 vì đã chỉ ra đầu ra không chính xác của tôi cũng như 2 byte không []tiết kiệm.

Haskell, 35 byte

f x=last(-1:[i|i<-[1..x],3^i-1==x])

Ví dụ sử dụng: f 26-> 3.

05AB1E , 7 byte

3IÝm<¹k

Hãy thử trực tuyến!

Giải trình

3        # push 3 
 I       # push input
  Ý      # range [0 ... input]
   m     # 3^[0 ... input]
    <    # -1
     ¹k  # find index of input, return -1 if not found

Thạch , 5 byte

R3*’i

Đầu ra x hoặc 0 (giả).

Hãy thử trực tuyến!

Làm thế nào nó hoạt động

R3*’i  Main link. Argument: n

R      Range; yield [1, ..., n].
 3*    Map each k to 3**k.
   ’   Decrement the results.
    i  First index of n (0 if not found).

Python 2, 41 byte

f=lambda n,i=0:i*0**n or n%3/2*f(n/3,i+1)

Hàm đệ quy trả về 0các đầu vào không khớp. Liên tục chia sàn cho 3 đầu vào, đếm số bước trong iđó là đầu ra cuối cùng. Nhưng, nếu bất kỳ bước nào tạo ra một giá trị nkhông phải là 2 modulo 0, thì số đó không phải là của 3^i-1, vì vậy đầu ra được nhân với 0.

Perl, 31 byte

say grep{3**$_-1==$i}0..($i=<>)

Yêu cầu -Ecờ chạy:

perl -E 'say grep{3**$_-1==$i}0..($i=<>)' <<< 26

Giải thích:
grep{3**$_-1==$i}0..($i=<>)trả về danh sách các phần tử của phạm vi 0..$_(nghĩa là từ 0 đến đầu vào) thỏa mãn bài kiểm tra 3**$_-1==$i. Chỉ có một phần tử có thể đáp ứng bài kiểm tra này, vì vậy hướng dẫn này sẽ trả về một mảng 0 hoặc 1 phần tử. Sau đó chúng tôi in danh sách này: hoặc là Xkhông có gì (đó là giả mạo).

Bình thường, 11 byte

?-JjQ3 2ZlJ

Chuyển đổi sang cơ sở 3 và kiểm tra sự bình đẳng thành [2, 2, ..., 2].

JavaScript (ES7), 38 36 34 byte

f=(n,k=33)=>3**k-n-1&&--k?f(n,k):k

Hoặc chỉ cần 30 29 byte nếu không thoát được khi gặp lỗi:

f=(n,k)=>~(n-3**k)?f(n,-~k):k

Kiểm tra

f=(n,k=33)=>3**k-n-1&&--k?f(n,k):k

console.log(f(177146))
console.log(f(847288609442))
console.log(f(5559060566555522))
console.log(f(123456))

Java 8, 37 58 67 byte

i->{String s=i.toString(i,3);return s.matches("2*")?s.length():-1;}

Lambda này phù hợp với một Function<Integer, Integer>tài liệu tham khảo và sử dụng thủ thuật cơ bản 3 đơn giản.

Lần này nó sẽ hoạt động chính xác.

Đang xử lý, 60 56 byte

void q(float n){n=log(n+1)/log(3);print(n>(int)n?-1:n);}

Đầu ra -1nếu giả.

Giải trình

void q(float n){              // n is input
  n=log(n+1)/log(3);          // finds X in 3^X+1=n as a float (here we'll storing that in n)
  print(n>(int)n?-1:n);       // checks if the float is greater than
                              // the number rounded down (by int casting)
                              // if it is greater, output -1
                              // otherwise output X
}

voidngắn hơn 1 byte so với sử dụng float, vì vậy đó là lý do tại sao hàm này trực tiếp xuất ra thay vì trả về giá trị.

Giải pháp thay thế

void z(float n){int c=0;for(++n;n>1;c++)n/=3;print(n==1?c:-1);}

cho 63 byte, nhưng tôi nghĩ rằng alt này có thể được đánh golf ngắn hơn giải pháp ban đầu. Tôi đang giải quyết nó.

Brachylog , 8 byte

,3:.^-?,

Hãy thử trực tuyến!

Xuất giá trị nếu đúng và false.nếu điều này là không thể.

Giải trình

Đây là phiên âm trực tiếp của mối quan hệ đã cho:

,     ,      (Disable implicit unification)
 3:.^        3^Output…
     -?              … - 1 = Input

Perl 6 ,  25  24 byte

{first $_==3** *-1,0..$_}

Thử nó

{first $_==3***-1,0..$_}

Loại bỏ không gian sau khi **hoạt động vì nó dài hơn toán tử infix khác có thể khớp *.
Vì vậy, …***…được phân tích cú pháp như … ** * …là hơn … * ** ….

Thử nó

Mở rộng:

{  # bare block lambda with implicit parameter ｢$_｣

  first
    $_ == 3 ** * - 1,   # WhateverCode lambda
    #          ^- current value

    0 .. $_             # a Range up-to (and including) the input

}

R, 24 byte

Một cách tiếp cận khác với câu trả lời của plannapus và ngắn hơn một byte!

match(scan(),3^(1:99)-1)

Tạo tất cả các số nguyên từ 3^1-1đến 3^99-1và kiểm tra xem stdin có khớp không. Nếu vậy, nó trả về chỉ mục mà nó phù hợp, đó là x. Nếu không, trả về NAlà giá trị giả.

Ngẫu nhiên, nó sẽ chấp nhận nhiều giá trị làm đầu vào và kiểm tra tất cả chúng, đây là một tính năng gọn gàng.

Prolog, 20 byte

d(A,X):-A#=(3**X)-1.

Ngôn ngữ này mát mẻ như địa ngục.

| ?- d(1024,X).

no
| ?- d(26,X).

X = 3

yes
| ?- d(2,X).

X = 1

yes

05AB1E , 9 byte

DÝ3sm<Q1k

Hãy thử trực tuyến!

In -1 cho giả.

D         # Duplicate the input
 Ý3sm     # Push [0 .. input]^3 (e.g. [0^3, 1^3, 2^3, 4^3 ...])
     <    # subtract 1
      Q   # push a 1 everywhere that equals the input, and 0 everywhere else
       1k # push the index of the 1, or -1 if not found
          # implicit output

MATL , 8 byte

3i:^qG=f

Điều này xuất ra số xnếu nó tồn tại, hoặc nếu không đầu ra không có gì, đó là giả.

Hãy thử trực tuyến!

Giải trình

3    % Push 3
i    % Input n
:    % Range: gives `[1 2 ... n]
^    % Power, element-wise. Gives [3^1 3^2 ... 3^n]
q    % Subtract 1, element-wise. Gives [3^1-1 3^2-1 ... 3^n-1]
=    % Test for equality. Contains 'true' at the position x, if any,
     % where 3^x-1 equals n
f    % Find. Gives index of the 'true' position, which ix x; or gives
     % an empty array if no such position exists. Implicitly display

Japt , 11 byte

o æ@U+1¥3pX

Hãy thử nó ở đây .

Cảm ơn rất nhiều vì đã giúp đỡ ETH!

Python 3, 74 66 64 byte

_{-10 byte nhờ @ mbomb007, @FlipTack và @ nmjcman101}

from math import*
def f(n):x=ceil(log(n,3));print((3**x-1==n)*x)

Ruby, 30 byte

Trả về nil(một giá trị giả) nếu không tìm thấy số nào. [Dùng thử trực tuyến]

->n{(0..n).find{|i|3**i-1==n}}

C, 56 byte

 n;f(a){n=0;for(a++;!(a%3)&&(a/=3);++n);return --a?-1:n;}

thêm một vào đầu vào và sau đó liên tục chia cho ba cho đến khi tìm thấy phần còn lại, nếu đạt được một, hãy trả về số lần chia khác -1

Tiện ích Bash / Unix, 37 35 byte

bc<<<`dc<<<3o$1p|grep ^2*$|wc -c`-1

Hãy thử trực tuyến!

Sử dụng dc để chuyển đổi sang cơ sở 3, kiểm tra xem chuỗi kết quả có phải là tất cả 2 giây không, đếm số lượng ký tự (bao gồm cả một dòng mới), sau đó sử dụng bc để trừ đi 1.

Nếu số trong cơ sở 3 không phải là tất cả 2 giây, thì grep sẽ không tạo ra gì (thậm chí không phải là một dòng mới), do đó, số ký tự là 0 và trừ đi 1 sẽ mang lại -1.

C được biên dịch với Clang 3.8.1, 53 , 52 , 54 , 51 Byte

n;f(y){y++;for(n=0;y%3==0;y/=3)n++;return y^1?0:n;}

@SteadyBox đã đăng một giải pháp trong C, nhưng tôi đang sử dụng một cách tiếp cận khác.

@ Cảm ơn Jasen vì đã giúp lưu byte.

C, 42 byte, được tối ưu hóa từ Wade Tyler's

n;f(y){for(n=0;y%3>1;y/=3)n++;return!y*n;}

Thử

C, 37 byte, không có return

n;f(y){for(n=0;y%3>1;y/=3)n++;n*=!y;}

Thử

nlà toàn cầu nhưng (I)MULchỉ có thể có toán hạng mệnh của nó trong một thanh ghi, vì vậy phải đưa vào EAX(sự lựa chọn thông thường) và di chuyển đến đó

JavaScript 6, 32 byte

f=(y,n)=>y%3>1?f(y/3|0,-~n):!y*n
;[1,2,3,8,12,43046720].forEach(x=>console.log(f(x)))

Nếu "giả" cần phải giống nhau, 33 Byte:

f=(y,n)=>y%3>1?f(y/3|0,-~n):!y&&n

Pyt , 10 9 byte

←⁺3ĽĐĐƖ=*

Giải trình:

←                Get input
 ⁺               Add one
  3Ľ             Log base 3
    ĐĐ           Triplicate top of stack
      Ɩ          Convert top of stack to integer
       =         Check for equality between top two on stack
        *        Multiply by log_3(input+1)

Đã lưu một byte bằng cách sử dụng hàm tăng thay vì thêm rõ ràng 1

Python, 64 byte

Đầu ra Falsenếu số không thể được viết theo định dạng đó.

def f(n):L=[3**x-1for x in range(n)];print n in L and L.index(n)

Điều này cũng hoạt động trong 64 byte và in chuỗi rỗng dưới dạng đầu ra giả:

def f(n):
 try:print[3**x-1for x in range(n)].index(n)
 except:0

Một giải pháp sáng tạo cho 65 byte, xuất ra 0cho giả mạo:

lambda n:-~",".join(`3**x-1`for x in range(n+1)).find(',%s,'%n)/2

Bình thường, 10 byte

*J@hQ3!%J1

Hãy thử nó ở đây!

Julia, 30 byte

n->findfirst(n.==3.^(0:n)-1)-1

Đây là một hàm đơn giản - nó tạo ra một vectơ truechỉ có ở vị trí tương ứng 3^a-1, trong đó amột vectơ chứa các số nguyên nằm trong khoảng từ 0 đến n. Nó tìm vị trí "đầu tiên" truevà trừ đi 1 (nếu là tất cả false, kết quả tìm được ước tính bằng 0 và trả về -1).

Như 0:nđã có 0ở vị trí đầu tiên, phép trừ 1 sửa lỗi để lập chỉ mục và cũng cho phép -1phản hồi sai.

Pyke, 9 6 byte

3m^Qh@

Hãy thử nó ở đây!

3m^    -  map(3**i, range(input))
     @ - V in ^
   Qh  -  input + 1

Phiên bản 9 byte cũ:

b3'l}\2q*

Hãy thử nó ở đây!

Pyth 8 byte

xm^3dUQh

     UQ  # generate all values 1..Q (Q is the input)
 m^3d    # map 3^d over this ^ list
x      h # find the input+1 (hQ) in the result of the last command

Thử ở đây