บล็อกการเรียงลำดับแบบสุ่ม

การเรียงบล็อกแบบสุ่มเป็นวิธีการ (ค่อนข้างจะเป็นการประดิษฐ์) ในการจัดเรียงรายการ มันทำงานได้ดังแสดงในตัวอย่าง

[6, 1, 0, 3, 2, 4, -2, -1]
                            Break list into contiguous blocks
[6][1, 0][3, 2, 4][-2, -1]
                            Sort each block
[6][0, 1][2, 3, 4][-2, -1]
                            Sort blocks lexicographically
[-2, -1][0, 1][2, 3, 4][6]
                            Concatenate
[-2, -1, 0, 1, 2, 3, 4, 6]

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

[6, 1, 0, 3, 2, 4, -2, -1]
[6, 1, 0][3, 2, 4][-2, -1]
[0, 1, 6][2, 3, 4][-2, -1]
[-2, -1][0, 1, 6][2, 3, 4]
[-2, -1, 0, 1, 6, 2, 3, 4]

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

งาน

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

จำนวนไบต์ต่ำสุดในแต่ละภาษาชนะ ใช้กฎมาตรฐานของกอล์ฟ

กรณีทดสอบ

[5] -> 1
[1,2] -> 2
[0,2,1,-1] -> 3
[-1,0,2,1] -> 2
[9,3,8,2,7] -> 4
[9,2,8,3,7] -> 3
[5,9,3,7,2,4,8] -> 7
[-1,-2,1,2,-1,-2,7] -> 4
[6,1,0,3,2,4,-2,-1] -> 4
[12,5,6,-6,-1,0,2,3] -> 3
[1,0,1,0,1,0,1,0,1,0] -> 6
[1,2,1,3,1,2,3,2,4,3] -> 5
[7,7,7,7,8,9,7,7,7,7] -> 4

Brachylog , 23 22 20 19 ไบต์

ขอบคุณ Zgarb, H.PWiz และ Fatalize สำหรับการบันทึกจำนวนไบต์

~cᶠ{oᵐoc≤₁&≡ᵃlᵐ⌉}ˢ⌋

ลองออนไลน์!

ฉันแน่ใจว่ามีสนามกอล์ฟเพิ่มเติมที่นี่ ...

คำอธิบาย

~cᶠ      Find all lists that concatenate into the input, i.e. all partitions
         of the input.
{        Discard all partitions for which this predicate fails, and replace
         the rest with the output of this predicate.
  oᵐ       Sort each sublist of the partition.
  o        Sort the entire list.
  c≤₁      And require concatenation of the result to be sorted.
  &        Then:
  ≡ᵃ       Append the partition to itself.
  lᵐ       Map "length" over this list, i.e. we get the length of each block, as
           well as the length of the partition itself.
  ⌉        Take the maximum.
}ˢ
⌋        Take the minimum of all those maxima.

เยลลี่ขนาด 17 ไบต์

Ṣ€ṢF
ŒṖÇÐṂ+Z$€L€Ṃ

ลองออนไลน์!

เวอร์ชันสำรอง 15 ไบต์โพสต์ข้อท้าทาย

ในรุ่นล่าสุดƊรวมการเชื่อมโยงที่สามเข้าไปในโซ่ monadic สิ่งนี้จะช่วยให้สนามกอล์ฟดังต่อไปนี้

ŒṖṢ€ṢFƊÐṂ+ZLƊ€Ṃ

ลองออนไลน์!

มันทำงานอย่างไร

Ṣ€ṢF          Helper link. Argument: P (partitioned array)

Ṣ€            Sort each chunk.
  Ṣ           Sort the sorted chunks.
   F          Flatten.


ŒṖÇÐṂ+Z$€L€Ṃ  Main link. Argument: A (array)

ŒṖ            Generate all partitions of A.
  ÇÐṂ         Keep those for which the helper link returns the minimal array, i.e.,
              those that return sorted(A).
     +Z$€     Add each partition to its transpose.
              Due to how Jelly vectorizes, the length of the sum is the maximum of
              the length of the operands, and the length of the transpose is the
              length of the array's largest column.
         L€   Take the length of each sum.
           Ṃ  Take the minimum.

Stax , 28 26 25 24 23 ไบต์^CP437

é%(>ù│ê²☻û◙T╠►╜◘íaæAtI╥

เรียกใช้และแก้ไขข้อบกพร่องออนไลน์!

เครดิตเป็น @recursive สำหรับการบันทึก 3 ไบต์

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

คำอธิบาย

ใช้เวอร์ชันที่คลายการแพคเพื่ออธิบาย

%cFxs|!F{{omo:f:^!C_Mch\%|m
%cFxs|!F                        Do for all partitions, grouped by number of sub-arrays
                                    Grouping by number of sub-arrays in this problem does not help but it's the default                    
        {{om{o                  Sort inside block then sort blocks lexicographically
              :f:^              The result when flattened is sorted
                  !C            Skip the rest of the loop if the last line is false
                    _|<         Take the current partition, pad to the longest

                       h        Take the first element, whose length is now the maximum of all sub-arrays in the original partition
                        \       Zip with the current partition, the shorter one is repeated
                         %      Number of elements
                                Which is the maximum of all sub-array sizes and the number of sub-arrays in the current partition  
                          |m    Take the minimum among all choices of partitions

Brachylogขนาด 17 ไบต์

~c₎{oᵐoc≤₁&lᵐ⌉≤}ᵈ

ลองออนไลน์!

คำอธิบาย

นี่คือคำตอบด้วยตนเอง ฉันออกแบบความท้าทายนี้โดยคำนึงถึง Brachylog และพบ~c₎{…}ᵈสิ่งปลูกสร้างที่น่าสนใจ

บิวด์อินcเชื่อมต่อรายการของรายการ ถ้ามันจะได้รับห้อยก็ต้องใช้จำนวนของรายการที่จะN Nสัญลักษณ์₎ปรับเปลี่ยนบิวด์อินเพื่อรับคู่เป็นอินพุตและใช้อิลิเมนต์ที่เหมาะสมเป็นตัวห้อย ดังนั้นc₎ต้องใช้คู่[L,N]ต้องว่าจำนวนของรายการในLเป็นและผลตอบแทนที่เรียงต่อกันของN Lเมื่อทำงานแบบย้อนกลับ~c₎ใช้รายการLและส่งคืนคู่[P,N]โดยที่Pพาร์ติชันของLเป็นNบล็อก Nพวกเขาจะระบุในการสั่งซื้อที่เพิ่มขึ้นของ

metapredicate ᵈแปลงเพรดิเคตธรรมดาเป็นหนึ่งที่ตรวจสอบความสัมพันธ์ระหว่างสององค์ประกอบของคู่ เพิ่มเติมอย่างชัดเจน{…}ᵈใช้เวลาคู่[A,B]ตรวจสอบว่าถือและเอาท์พุทA{…}B Bฉันใช้มันเพื่อตรวจสอบว่าPสามารถเรียงลำดับบล็อกและมีรายการความยาวได้มากที่สุดNเท่านั้น

~c₎{oᵐoc≤₁&lᵐ⌉≤}ᵈ  Input is a list, say L = [9,2,8,3,7].
~c₎                Guess the pair [P,N]: [[[9],[2],[8,3,7]],3]
   {           }ᵈ  Verify this predicate on P and N and return N:
    oᵐ              Sort each list in P: [[9],[2],[3,7,8]]
      o             Sort lexicographically: [[2],[3,7,8],[9]]
       c            Concatenate: [2,3,7,8,9]
        ≤₁          This list is nondecreasing: true.
          &lᵐ       Length of each list in P: [1,1,3]
             ⌉      Maximum: 3
              ≤     This is at most N: true.

โปรดทราบว่าPอาจมีรายการที่ว่างเปล่า สิ่งนี้ทำให้มั่นใจในความถูกต้องในกรณีที่ความยาวสูงสุดของบล็อกมากกว่าจำนวนบล็อก

Python 2 , 186 146 bytes

lambda l:min(max(map(len,z+[z]))for z in p(l)if sum(s(z),[])==s(l))
p=lambda l:[q+[s(l[i:])]for i in range(len(l))for q in p(l[:i])]or[l]
s=sorted

ลองออนไลน์!

ฟังก์ชั่นที่สองจะนำมาจากปลายนี้โดยfeersum

Ruby , 158 ไบต์

f=->l,i=[],s=l.size,m=s{k=*l;i.sum==s&&i.map{|z|k.shift(z).sort}.sort.flatten==l.sort&&[m,[i.size,*i].max].min||i.sum<s&&(1..s).map{|z|f[l,i+[z],s,m]}.min||m}

ลองออนไลน์!

Pyth ,  24 23  20 ไบต์

hSmeSlMs]Bd.msSSMb./

ชุดทดสอบ

มันทำงานอย่างไร

hSmeSlMs]Bd.msSSMb./ – Full program. Hereby, Q represents the input.
                  ./ – All possible partitions of Q.
           .m        – Take the partitions which yield a minimal (i.e. sorted) list over:
             sSSMb   – Sorting function. Uses the variable b.
               SMb   – Sort each list in each partition b.
              S      – Sort the partition b.
             s       – And flatten (by 1 level).
  meSlMs]Bd          – Map. Uses a function whose variable is d.
        ]Bd          – Pair d with its wrapping in a singleton list. Returns [d, [d]].
       s             – Flatten (by 1 level). Returns [*d, d], where "*" is splatting.
     lM              – Take the length of each element.
   eS                – Retrieve the maximal length.
hS                   – Return the minimum element of the list of maximal lengths.

APL (Dyalog Classic) , 71 67 ไบต์

{⌊/(⌈/≢,≢¨)¨T/⍨{S[⍋S]≡∊⍵[⍋↑⍵]}¨T←{⍵[⍋⍵]}¨¨⊂∘S¨(-≢S)↑¨2⊥⍣¯1¨⍳2*≢S←⍵}

⎕IO จะต้องเป็น 0

ลองออนไลน์!

อย่างไร?

• ⌊/- ค้นหาขั้นต่ำของ ...
• (⌈/≢,≢¨)- ... ความยาวสูงสุดและจำนวนองค์ประกอบ ...
• ¨- ... ของแต่ละองค์ประกอบของ ...
• T/⍨- ... องค์ประกอบที่ ...
• {S[⍋S]≡∊⍵[⍋↑⍵]}¨- ... จะถูกจัดเรียงเมื่อแบนของ ...
• T←{⍵[⍋⍵]}¨¨- ... องค์ประกอบที่เรียงลำดับขององค์ประกอบของ ...
• ⊂∘S¨(-≢S)↑¨2⊥⍣¯1¨⍳2*≢S←⍵- ... พาร์ติชันของอาร์กิวเมนต์ (พร้อมกับขยะ)