Viết chương trình hoặc hàm sẽ lấy giá trị bên trái và bên phải của súc sắc làm số nguyên (1-6) và trả về giá trị trên đầu.

Bố trí súc sắc:

    +---+
    | 1 |
+---+---+---+---+
| 2 | 3 | 5 | 4 |
+---+---+---+---+
    | 6 |
    +---+

  ,^.
<´ 5 `>  <-- Top value
|`._,´|
.6 | 4,  <-- Side values
 `.|,´

Vì vậy, nhập liệu 6 4sẽ trở lại 5.

Thứ tự là quan trọng:

2 3 -> 1
3 2 -> 6

Chương trình không phải làm việc với các giá trị đầu vào không hợp lệ.

Để không khuyến khích cách tiếp cận rõ ràng (sử dụng bảng với tất cả các kết hợp), không được phép sử dụng bất kỳ quy trình mã hóa hoặc khử / nén văn bản dựng sẵn hoặc mã hóa cơ sở hoặc bất kỳ điều gì khác tương tự để giảm kích thước. Lưu ý rằng việc sử dụng bảng vẫn được cho phép và việc giải nén của riêng bạn cũng được cho phép, miễn là nó không được thực hiện bằng cách sử dụng một số chức năng thư viện sẵn sàng.

Đối với mục đích tham khảo, đây là bảng gồm tất cả các kết hợp (nghĩa là tất cả các đầu vào và đầu ra có thể):

23, 35, 42, 54 -> 1
14, 31, 46, 63 -> 2
12, 26, 51, 65 -> 3
15, 21, 56, 62 -> 4
13, 36, 41, 64 -> 5
24, 32, 45, 53 -> 6

Mã ngắn nhất sẽ thắng và áp dụng sơ hở tiêu chuẩn.

Con trăn, 30

lambda a,b:a^b^7*(2<a*a*b%7<5)

Không có tra cứu, chỉ cần bashing.

Các mặt đối diện đi theo cặp là ba phần bổ sung cho nhau, nghĩa là chúng XOR thành 7.

1,6
2,5
3,4

Cho hai khuôn mặt từ một bộ, chúng tôi muốn có được một khuôn mặt từ bộ khác. Đối với (1,2,3), chúng ta có thể làm điều này với XOR ( ^). Vì vậy, ^đưa ra câu trả lời đúng lên đến bổ sung ba bit, ý nghĩa x^7. Chúng ta có thể bổ sung có điều kiện bằng cách x^7*_.

Để quyết định có lấy phần bù hay không (XOR với 7), chúng tôi kiểm tra xem bộ ba có vi phạm quy tắc bàn tay phải hay không. Điều đó có nghĩa là, a,bđi theo thứ tự tuần hoàn ngược của

1,6
2,5
3,4

coi mỗi dòng là một trong ba loại. Vì các phần tử trong mỗi dòng là âm 7, chúng ta có thể "băm" chúng bằng cách thực hiện x*x%7.

1,6 -> 1
2,5 -> 4
3,4 -> 2

Mỗi dòng được lấy từ chu kỳ trước bằng cách nhân với 4 modulo 7, vì vậy chúng tôi có thể kiểm tra xem mối quan hệ này có giữ (b,a)để quyết định có bổ sung hay không : a*a%7==b*b*4%7.

Điều này tương đương với việc kiểm tra xem, modulo 7, có a**2 * b**(-2)bằng không 4. Vì b**6bằng 1modulo 6, điều này tương đương với a**2 * b**4. Vì giá trị có thể khác là 2 (bằng cách kiểm tra các trường hợp), chúng tôi có thể kiểm tra xem đó có phải là 4 hay không bằng cách so sánh với 3.

Có một biểu thức đa thức đẹp modulo 7 cho bên thứ ba cho hai cạnh a và b .

hoặc bao thanh toán

Bản đồ modulo 7 còn lại trong {0,1,2,3,4,5,6}.

Tôi giải thích lý do tại sao nó hoạt động trong câu trả lời Math SE này , mặc dù tôi nghĩ có lẽ có một đối số rõ ràng hơn mà tôi đang thiếu. Đa thức hai kỳ khác chỉ hoạt động là

mà ban đầu tôi đã tìm thấy bằng cách chuyển đổi bit bashing của mình thành các phép toán số học, sau đó thực hiện tìm kiếm vũ phu trên các đa thức của dạng này để tìm ra phép toán đẹp hơn.

Xin vui lòng thêm các cổng này vào ngôn ngữ yêu thích của bạn; đây là một bài viết CW.

J, 9 bởi Synthetica

7|3***+*-

Xem bài viết của tôi

Dyalog APL, 9 by ngn (lỗi đánh máy bởi Adám)

7|3×××+×-

Bị đánh cắp trắng trợn từ phía trên câu trả lời J.

TI-Basic, 14 bởi Timtech

7fPart((A³B-AB³)/21

Pyth, 16 bởi FryAmTheEggman

M%*3-*H^G3*^H3G7

Xác định hàm gcủa hai giá trị.

Golfscript, 18 của Peter Taylor (đa thức cũ)

~1$*.5?3*@.*@*- 7%

CJam, 18 của Martin Büttner (được chuyển từ Peter's GolfScript) (đa thức cũ)

l~1$*_5#3*@_*@*m7%

Mathicala, 20 của Martin Büttner

Mod[+##(#-#2)3##,7]&

Vâng, đó là một phép cộng đơn phương, và không, không có cách nào ngắn hơn mà không sử dụng một phép cộng đơn phương.

dc, 21 bởi Toby Speight

sb7+d3^lb*rlb3^*-3*7%

Tôi phải thêm 7 để ađảm bảo chênh lệch luôn dương (dc có %toán tử đã ký ).

Julia, 24 23 bởi Martin Büttner

f(a,b)=3a*b*(a^2-b^2)%7

CoffeeScript, 28 26 bởi rink.attguard.6

x=(a,b)->3*a*b*(a*a-b*b)%7

JavaScript (ES6), 28 26 bởi rink.attguard.6

x=(a,b)=>3*a*b*(a*a-b*b)%7

Về cơ bản giống như CoffeeScript.

Python 28, bởi xnor

lambda a,b:3*a*b*(a*a-b*b)%7

Bash, 31

Không có gì đặc biệt:

echo $[3*($1**3*$2-$1*$2**3)%7]

Hay cách khác:

echo $[3*$1*$2*($1*$1-$2*$2)%7]

Một cách tiếp cận khác (dài hơn nhưng có lẽ thú vị) .

Nim, 36 bởi Sillesta

proc(x,y:int):int=3*x*y*(x*x-y*y)%%7

Java 7, 46 44 bởi rink.attguard.6

int f(int a,int b){return(a*a-b*b)*a*b*3%7;}

Java 8, 25 23 của Kevin Cruijssen

a->b->(a*a-b*b)*a*b*3%7

PHP, 49 47 bởi rink.attguard.6

function x($a,$b){echo($a*$a-$b*$b)*3*$a*$b%7;}

Mẻ, 52 chưa mở

set/aa=(3*(%1*%1*%1*%2-%1*%2*%2*%2)%%7+7)%%7
echo %a%

CMD không hỗ trợ mô đun thực sự nguyên bản (vì vậy không thể xử lý số âm) - do đó %%7+7)%%7.

LESS (dưới dạng mixin tham số ), 62 60 bởi rink.attguard.6

.x(@a,@b){@r:mod(3*@a*@b*(@a*@a-@b*@b),7);content:~"'@{r}'"}

Xem bài viết của tôi dưới đây .

05AB1E, 10 8 bởi Emigna (-2 byte bởi Kevin Cruijssen)

nÆs`3P7%

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

Haskell, _{31 27} 25 theo Tên hiển thị chung

a#b=3*a*b*(a*a-b*b)`mod`7

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

Excel, 27 bởi Wernisch

=MOD(3*(A1^3*B1-A1*B1^3),7)

VBA Excel, 25 của Taylor Scott

?3*[A1^3*B1-A1*B1^3]Mod 7

Forth (gforth) 41 bởi reffu

: f 2>r 2r@ * 2r@ + 2r> - 3 * * * 7 mod ;

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

C #, 23 của Kevin Cruijssen

a=>b=>(a*a-b*b)*a*b*3%7

CJam, 43 28 byte

Không có ý tưởng nếu một cách tiếp cận dựa trên bảng đầy đủ sẽ ngắn hơn, nhưng ở đây đi:

l_~^56213641532453s@S-#)g7*^

Nhập như

2 3

Đầu ra:

1

Đây là một hỗn hợp của thuật toán trước đây của tôi để xác định khuôn mặt chính xác trong số 2 mặt và cách tiếp cận xors của xors.

Dùng thử trực tuyến tại đây

BÀI, 62 byte

Sử dụng thuật toán trong bài này :

.x(@a,@b){@r:mod(3*@a*@b*(@a*@a+6*@b*@b),7);content:~"'@{r}'"}

Nó có thể ngắn hơn nếu giá trị số nguyên được sử dụng, nhưng để hiển thị nó, tôi cần sử dụng thuộc tính CSS contentcần nội suy biến .

Tuy nhiên, không thường xuyên sử dụng ngôn ngữ tiền xử lý CSS cho mã golf!

Để sử dụng với một số HTML, bạn sẽ làm điều này:

p::after { .x(1, 3); }

<p>Number on top: </p>

Bình thường, 30 byte

K"23542 31463 12651 "h/x+K_Kz6

Yêu cầu hai chữ số làm đầu vào, không có khoảng trắng ở giữa (ví dụ: 23 không 2 3).

Giải trình:

Bất kỳ chuỗi hai chữ số nằm trong 23542đại diện cho hai mặt có 1trên đầu. Tương tự như vậy, 31463cho 2, v.v. Đảo ngược chuỗi này cung cấp các chuỗi cho 4qua 6.

Mã này chỉ thực hiện tra cứu trong chuỗi "23542 31463 12651 15621 36413 24532", chia chỉ số cho 6 và tăng để xác định phía trên phải là gì.

Kiểm tra trực tuyến tại đây.

Cảm ơn @FryAmTheEggman cho lời khuyên về việc chơi golf này.

Thực hiện một cách tiếp cận tương tự như es1024 với một chuỗi tra cứu khác:

JavaScript (ES6), 73 72 61 byte

t=(l,r)=>-~('354233146312651215623641332453'.search([l]+r)/5)

JavaScript (ES5), 88 87 77 byte

function t(l,r){return -~('354233146312651215623641332453'.indexOf([l]+r)/5)}

Cà phê, 71 62 byte

Và chỉ để giải trí, mã này ngắn hơn 1 byte trong CoffeeScript là ES6 do thiếu sót cho phép của dấu ngoặc đơn

Do sử dụng -~mánh khóe, điều này hóa ra có cùng số lượng ký tự với ES6.

t=(l,r)->-~('354233146312651215623641332453'.indexOf([l]+r)/5)

J (9)

Sử dụng thuật toán từ bài viết này .

7|3***+*-

Biểu đồ cây của hàm (có thể xóa một số thứ):

    f=:7|3***+*-
    f
7 | 3 * * * + * -
   5 !: 4 < 'f'
  ┌─ 7            
  ├─ |            
──┤   ┌─ 3        
  │   ├─ *        
  └───┤   ┌─ *    
      │   ├─ *    
      └───┤   ┌─ +
          └───┼─ *
              └─ -

Trình diễn, thuyết trình:

   3 f 5
1
   4 f 6
2
   2 f 6
3
   2 f 1
4
   1 f 2
3
   4 f 5
6

PHP, 81 byte

Giống như giải pháp JavaScript của tôi:

function t($l,$r){echo(int)(1+strpos('354233146312651215623641332453',$l.$r)/5);}

Lua 118

Phải khôi phục phiên bản cuối cùng vì một lỗi tôi không thể tìm thấy, cũng không có thời gian để tìm kiếm nó.

z=io.read;o={"","","34","5 2","2165","46 13",""," 31064","  5612","   2 5","    43"}a=z();b=z();print(o[a+b]:sub(a,a))

Vẫn làm việc về điều này mặc dù.

JavaScript (ES6), 79 byte

Không phải là ngắn nhất nhưng tôi đã thử một cách tiếp cận khác với các câu trả lời hiện tại.

f=(a,b)=>[a,b,7-a,7-b].reduce((p,v,i,r)=>p?p:'2312132'.indexOf([v]+r[i+1])+1,0)

Lua, 89 byte

Một cổng đơn giản của giải pháp Python của xnor.

x=require('bit32').bxor
function(a,b)c=a*a*b%7;return x(a,x(b,2<c and c<5 and 7 or 0))end

Bash, 85

Điều này không cạnh tranh golf khôn ngoan với đa thức ma thuật của @ xnor. Nhưng tôi nghĩ đây là một cách thú vị khác để tính toán câu trả lời:

g(){
((d[$1$2]))||{
d[$1$2]=$3
g $2 $1 $[7-$3]
g $2 $3 $1
}
}
g 1 2 3
echo ${d[$1$2]}

Cụ thể chúng tôi biết những điều sau đây về xúc xắc:

• Nếu mặt trái là 1 và mặt phải là 2, thì mặt trên là 3
• Xoay quanh các đỉnh đối diện bằng 120 ° cho thêm một số bộ ba giá trị. Ví dụ: chúng ta xoay {l = 1, r = 2, t = 3} khi chúng ta nhận được {l = 2, r = 3, t = 1} và quay lại, chúng ta sẽ nhận được {l = 3, r = 1, t = 2}
• Tổng số các mặt đối diện luôn là 7

Kết hợp đệ quy ở trên (sử dụng {1,2,3} mã hóa cứng làm điểm bắt đầu), chúng ta có thể tạo toàn bộ ánh xạ của {l, r} -> t cho tất cả các giá trị có thể. Câu trả lời này xác định hàm đệ quy g () cư trú một mảng đầy đủ sao cho d [lr] = t. Hàm đệ quy ban đầu được gọi với {1,2,3} và đệ quy trên toàn bộ khối cho đến khi không còn phần tử mảng nào chưa được đặt. Hàm đệ quy vào chính nó theo hai cách:

• với l và r hoán đổi và trừ đi từ 7 (mặt đối diện)
• với {l, r, t} được xoay thành {r, t, l}

Sau đó, nó thực hiện một tìm kiếm mảng đơn giản của các giá trị cần thiết.

APL Dyalog , 9 byte

Thay thế nhân vật trắng trợn của giải pháp J của ıʇǝɥʇuʎs :

7|3×××+×-

Chỉnh sửa: Sau đó tôi nhận thấy rằng giải pháp chính xác này được đề xuất bởi ngn vào ngày 17, 15 tháng 1.

  the division remainder when divided by seven of
  |        three times
  |        | the product of the arguments
  |        |   times   \┌───┐
  |        |     \  ┌───┤ × │
┌────┐   ┌────┐   ┌─┴─┐ └───┘ ┌───┐
│ 7| ├───┤ 3× ├───┤ × │   ┌───┤ + │ - the sum of the arguments
└────┘   └────┘   └─┬─┘ ┌─┴─┐ └───┘      
                    └───┤ × │ ---- times
                        └─┬─┘ ┌───┐
                          └───┤ - │ - the difference between the arguments
                              └───┘

Dùng thử trực tuyến!

Julia, 26 byte

f(a,b)=a$b$7*(2<a^2*b%7<5)

hoặc là

f(a,b)=(3*a^5*b^5-a^3*b)%7

hoặc là

f(a,b)=3*a*b*(a+b)*(a-b)%7

Lisp thông thường, 45 byte

(lambda(a b)(mod(* 3 a b(-(* a a)(* b b)))7))

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

Cổng của giải pháp xnor.

C # (Trình biên dịch tương tác Visual C #) , 49 byte

x=>1+("3542331463126512156236413"+x).IndexOf(x)/5

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

-1 byte nhờ @GB!

Đầu vào là một chuỗi 2 ký tự chứa các chữ số bên trái và bên phải có thể nhìn thấy.

Dưới đây là giải pháp mà tôi đã đưa ra một cách độc lập. Tận dụng chuỗi tra cứu từ câu trả lời JavaScript của rink.attguard.6 , tôi đã có thể tắt 5 byte (nhưng bây giờ câu trả lời của chúng tôi khá giống nhau;)

C # (Trình biên dịch tương tác Visual C #) , 55 byte

x=>1+"42354 31463 51265 21562 41364 24532".IndexOf(x)/6

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