ในรูปสามเหลี่ยมของปาสคาลแต่ละตัวเลขคือผลรวมของตัวเลขสองตัวที่อยู่เหนือมันโดยตรงโดยรักษาจุดว่างเป็นศูนย์:

โดยการหมุนสามเหลี่ยมเราสามารถตัดเมทริกซ์สี่เหลี่ยมจัตุรัสที่มีขนาดและการหมุนต่างกันซึ่งฉันจะเรียกว่าเมทริกซ์ของปาสคาล โปรดทราบว่าเมทริกซ์เหล่านั้นจำเป็นต้องมี$1$อันดับแรกเสมอ นี่คือตัวอย่างบางส่วน:

1  1  1  1
1  2  3  4
1  3  6 10
1  4 10 20

6  3  1
3  2  1
1  1  1

1  5 15 35 70
1  4 10 20 35
1  3  6 10 15
1  2  3  4  5
1  1  1  1  1

1

1  1
2  1

งาน

ให้เมทริกซ์จตุรัสที่มีตัวเลขเป็นบวกในรูปแบบที่สมเหตุสมผลพิจารณาว่าเป็นเมทริกซ์ของปาสกาลหรือไม่

ตัดสินใจหมายถึงการส่งคืนค่าความจริงหรือค่าเท็จขึ้นอยู่กับว่าอินพุตเป็นเมทริกซ์ของปาสกาลหรือเพื่อแก้ไขค่าคงที่สองค่าและส่งกลับค่าหนึ่งสำหรับอินพุตจริงและอีกอันสำหรับอินพุตปลอม

นี่คือโค้ดกอล์ฟดังนั้นพยายามใช้ให้น้อยที่สุดในภาษาที่คุณเลือก รหัสที่สั้นที่สุดในแต่ละภาษาชนะดังนั้นฉันจะไม่ยอมรับคำตอบ

กรณีทดสอบ

จริง

[[1, 1, 1, 1], [1, 2, 3, 4], [1, 3, 6, 10], [1, 4, 10, 20]]
[[6, 3, 1], [3, 2, 1], [1, 1, 1]]
[[1, 5, 15, 35, 70], [1, 4, 10, 20, 35], [1, 3, 6, 10, 15], [1, 2, 3, 4, 5], [1, 1, 1, 1, 1]]
[[1]]
[[1, 1], [2, 1]]

เท็จ

[[2]]
[[1, 2], [2, 1]]
[[1, 1], [3, 1]]
[[1, 1, 1, 1], [1, 2, 3, 4], [1, 4, 6, 10], [1, 4, 10, 20]]
[[6, 3, 1], [1, 1, 1], [3, 2, 1]]
[[2, 2, 2, 2], [2, 4, 6, 8], [2, 6, 12, 20], [2, 8, 20, 40]]
[[40, 20, 8, 2], [20, 12, 6, 2], [8, 6, 4, 2], [2, 2, 2, 2]] 
[[1, 5, 15, 34, 70], [1, 4, 10, 20, 34], [1, 3, 6, 10, 15], [1, 2, 3, 4, 5], [1, 1, 1, 1, 1]]

Brachylog , 28 24 23 ไบต์

มันให้ความรู้สึกค่อนข้างยาว แต่ที่นี่มันก็อยู่ดี

• -4 ไบต์ต้องขอบคุณ DLosc ด้วยการบีบอัดไฟล์เสริม
• -1 ไบต์ขอบคุณ DLosc อีกครั้งโดยทำผลรวมบางส่วนใน 1 go

{|↔}\↰₁{k{a₀ᶠ+ᵐ}ᵐ⊆?h=₁}

คำอธิบาย

{|↔}\↰₁{k{a₀ᶠ+ᵐ}ᵐ⊆?h=₁}       # Tests if this is a pascal matrix:
{|↔}\↰₁                       #     By trying to get a rows of 1's on top
{|↔}                          #       Through optionally mirroring vertically
     \                        #       Transposing
      ↰₁                      #       Through optionally mirroring vertically

       {k{a₀ᶠ+ᵐ}ᵐ⊆?h=₁}       #     and checking the following
                  ?h=₁        #        first row is a rows of 1's
        k{     }ᵐ             #        and for each row except the last
          a₀ᶠ+ᵐ               #          calculate the partial sum by
          a₀ᶠ                 #             take all prefixes of the input
             +ᵐ               #             and sum each
               ⊆?             #        => as a list is a subsequence of the rotated input

ลองออนไลน์!

JavaScript (ES6), 114 ไบต์

m=>[m,m,m=m.map(r=>[...r].reverse()),m].some(m=>m.reverse(p=[1]).every(r=>p=!r.some((v,x)=>v-~~p[x]-~~r[x-1])&&r))

ลองออนไลน์!

MATL , 17 ไบต์

4:"Gas2YLG@X!X=va

ลองออนไลน์! หรือตรวจสอบกรณีทดสอบทั้งหมด

เอาต์พุต1สำหรับ Pascal matrices เป็น0อย่างอื่น

คำอธิบาย

4:      % Push [1 2 3 4]
"       % For each
  G     %   Push input: N×N
  a     %   1×N vector containing 1 for matrix columns that have at least a nonzero
        %   entry, and 0 otherwise. So it gives a vector containing 1 in all entries
  s     %   Sum. Gives N
  2YL   %   Pascal matrix of that size
  G     %   Push input
  @     %   Push current iteration index
  X!    %   Rotate the matrix that many times in steps of 90 degress
  X=    %   Are they equal?
  v     %   Concatenate with previous accumulated result
  a     %   Gives 1 if at least one entry of the vector is nonzero
        % End (implicit). Display (implicit)

R , 104 ไบต์

function(m,R=row(m)-1,y=nrow(m):1,Z=choose(R+t(R),R))any(sapply(list(Z,Z[,y],Z[y,y],Z[y,]),identical,m))

ลองออนไลน์!

น่ารังเกียจ ...

สร้างเมทริกซ์ที่ยอมรับของปาสคาลZที่มีขนาดเท่ากับว่าmแล้วทดสอบว่าเมทริกซ์การป้อนข้อมูลที่mเป็นidenticalไปของการหมุนของanyZ

ถ่าน , 41 ไบต์

Ｆ‹¹⌈§θ⁰≔⮌θθＦ‹¹⌈Ｅθ§ι⁰≦⮌θ⌊⭆θ⭆ι⁼λ∨¬κΣ…§θ⊖κ⊕μ

ลองออนไลน์! การเชื่อมโยงคือการใช้รหัสเวอร์ชันอย่างละเอียด คำอธิบาย:

Ｆ‹¹⌈§θ⁰

หากค่าสูงสุดของแถวแรกมากกว่า 1

≔⮌θθ

จากนั้นพลิกอาร์เรย์อินพุต

Ｆ‹¹⌈Ｅθ§ι⁰

หากค่าสูงสุดของคอลัมน์แรกมีค่ามากกว่า 1

≦⮌θ

จากนั้นทำมิเรอร์อาร์เรย์อินพุต

⌊⭆θ⭆ι

วนรอบองค์ประกอบของอินพุตอาร์เรย์และพิมพ์ผลลัพธ์ขั้นต่ำ (เช่นตรรกะและผลลัพธ์ทั้งหมด)

⁼λ∨¬κΣ…§θ⊖κ⊕μ

เปรียบเทียบแต่ละค่ากับ 1 หากอยู่ในแถวแรกมิฉะนั้นผลรวมของแถวด้านบนจนถึงและรวมเซลล์ข้างต้น

Python 2 , 129 ไบต์

f=lambda M,i=4:i and(set(M[0])=={1}and all(a+b==c for x,y in zip(M,M[1:])for a,b,c in zip(x[1:],y,y[1:]))or f(zip(*M[::-1]),i-1))

ลองออนไลน์!

ส่งคืนTrueถ้าMเป็นเมทริกซ์ Pascal หรือ0ไม่

05AB1E , 29 ไบต์

¬P≠iR}DøнP≠ií}¬PΘsü)ε`sηOQ}P*

ลองมันออนไลน์หรือตรวจสอบกรณีทดสอบทั้งหมด

คำอธิบาย:

¬P≠i }        # If the product of the first row of the (implicit) input-matrix is NOT 1:
    R         #  Reverse the order of the rows
D             # Duplicate the resulting matrix
 øнP≠i }      # If the product of the first column is NOT 1:
      í       #  Reverse each row individually
¬PΘ           # Check if the product of the first row is exactly 1
           *  # AND
          P   # And check if everything after the following map is truthy:
sü)ε     }    #  Map over each pair of rows:
    `sη       #   Get the prefixes of the first row
       O      #   Sum each prefix
        Q     #   And check if it's equal to the second row
              # (and output the result implicitly)

Kotlin , 269 ไบต์

{m:List<List<Int>>->val n=m.size
var r=0
var c=0
fun f()=if(m[0][0]!=1)m[n-r-1][n-c-1]
else if(m[n-1][0]!=1)m[r][n-c-1]
else if(m[0][n-1]!=1)m[n-r-1][c]
else m[r][c]
var g=0<1
for(l in 0..n*2-2){r=l
c=0
var v=1
do{if(r<n&&c<n)g=f()==v&&g
v=v*(l-c)/++c}while(--r>=0)}
g}

ลองออนไลน์!

Julia 0.7 , 78 ไบต์

m->any(i->(n=rotr90(m,i))[1]<2&&all(cumsum(n)'[1:end-1,:]-n[2:end,:].==0),0:3)

ลองออนไลน์!

Java (JDK) , 234 ไบต์

m->{int l=m.length,L=l-1,p=1,s=0,S=0,e=l,E=l,d=1,D=1,i,j;if(m[0][0]>1|m[0][L]>1){s=L;e=d=-1;}if(m[0][0]>1|m[L][0]>1){S=L;E=D=-1;}for(i=s;i!=e;i+=d)for(j=S;j!=E;j+=D)p=(i==s|j==S?m[i][j]<2:m[i][j]==m[i-d][j]+m[i][j-D])?p:0;return p>0;}

ลองออนไลน์!

เครดิต

• -1 ขอบคุณไบต์เควิน Cruijssen

เยลลี่ , 22 ไบต์

Ż€Iṫ2⁼ṖaFḢ=1Ʋ
,Ṛ;U$Ç€Ẹ

ลองออนไลน์!

คำอธิบาย

ลิงค์ผู้ช่วยตรวจสอบว่าการหมุนของเมทริกซ์นี้ถูกต้องหรือไม่

Ż€            | prepend each row with zero
  I           | find differences within rows
   ṫ2         | drop the first row
     ⁼Ṗ       | compare to the original matrix
              |   with the last row removed
       a      | logical and
        FḢ=1Ʋ | top left cell is 1

ลิงค์หลัก

,Ṛ            | copy the matrix and reverse the rows
  ;U$         | append a copy of both of these
              |   with the columns reversed
     ǀ       | run each version of the matrix
              |   through the helper link
       Ẹ      | check if any are valid