กำหนดหมายเลขการแบ่งพาร์ติชันของการเปลี่ยนแปลงπ , เขียนแทนr ( π )โดยใช้กระบวนการต่อไปนี้ ให้kเป็นจำนวนเต็มสูงสุดเช่นว่าตัวเลขนาที( π ) , ... , kปรากฏในลำดับที่เพิ่มขึ้นในπ ลบออกจากπและทำซ้ำกระบวนการ จำนวนรอบที่ใช้ในการกินการเปลี่ยนแปลงทั้งหมดเป็นR ( π )πr(π)kmin(π),…,kππr(π)
ตัวอย่างเช่นสมมติของการคำนวณR ( 62735814 ) เราชุดแรกกัน1เพื่อให้ได้6,273,584 แล้วเราตั้งสำรอง234จะได้รับ6758 แล้วเราตั้งสำรอง5จะได้รับ678 ในที่สุดเราก็จัดสรร678เพื่อให้ได้การเปลี่ยนแปลงที่ว่างเปล่า นี้จะใช้เวลาสี่รอบดังนั้นR ( 62,735,814 ) = 4r(62735814)1627358423467585678678r(62735814)=4
การเป็นตัวแทนนี้มีประโยชน์สำหรับการเรียงลำดับ62735814อย่างไร ใช้ทุกวินาทีที่วิ่งเช่น234 , 678และย้ายตัวเลขเหล่านี้ไปทางขวาเพื่อรับ51627384 (แก้ไข: ตามลำดับที่ปรากฏในการเรียงสับเปลี่ยนเช่น627384 ) ขณะนี้มีการวิ่งเพียงสองครั้งคือ1234 , 5678และเราสามารถเรียงลำดับรายการโดยเลื่อน5678ไปทางขวา62735814234,678516273846273841234,56785678
ตอนนี้ผมขอให้คาดเดาต่อไปนี้: สำหรับการเปลี่ยนแปลงπให้Πเป็นชุดของพีชคณิตทั้งหมดที่สามารถเข้าถึงได้จากπภายในหนึ่งย้าย จากนั้นนาทีα ∈ เธ R ( α ) = ⌈ R ( π ) / 2 ⌉πΠπminα∈Πr(α)=⌈r(π)/2⌉
ได้รับการคาดเดานี้มันเป็นเรื่องง่ายที่จะแสดงให้เห็นว่าจำนวนน้อยที่สุดของการเคลื่อนไหวที่จำเป็นในการเรียงลำดับการเปลี่ยนแปลงπมี⌈ เข้าสู่ระบบ2 R ( π ) ⌉และฉันได้รับการตรวจสอบสูตรนี้สำหรับพีชคณิตทั้งหมดในS nสำหรับn ≤ 8π⌈log2r(π)⌉Snn≤8
แก้ไข: นี่คือตีความแตกต่างกันของจำนวนวิ่งพาร์ทิชันซึ่งจะช่วยให้ขั้นตอนวิธีเส้นเวลาสำหรับการคำนวณมันและช่วยให้ผมวาดหลักฐานของการคาดเดาของฉันจึงตรวจสอบสูตร⌈ เข้าสู่ระบบ2 R ( π ) ⌉⌈log2r(π)⌉
พิจารณาการเปลี่ยนแปลง62735814อีกครั้ง ด้วยเหตุผลที่ว่าคนแรกที่วิ่งปลายใน1คือการที่2ปรากฏขึ้นก่อนที่1 ทำนองเดียวกันการรันครั้งที่สองจะสิ้นสุดลงใน4เนื่องจาก5ปรากฏขึ้นก่อน4และต่อไปเรื่อย ๆ ดังนั้นจำนวนวิ่งพาร์ทิชันของการเปลี่ยนแปลงคือจำนวนของฉัน s เช่นที่ฉัน+ 1ปรากฏขึ้นก่อนที่ฉัน62735814121454ii+1i
เราสามารถบอกสิ่งนี้ได้อย่างชัดเจนยิ่งขึ้นถ้าเราดูการผกผันของการเปลี่ยนแปลง พิจารณาอีกครั้งπ = 62735814 ใช้π - 1 = 72485136 การเรียงสับเปลี่ยนนี้มีสามการสืบทอด: 7 2 48 5 1 36 (การสืบเชื้อสายเป็นตำแหน่งที่เล็กกว่าอันก่อน) การแทรกแต่ละรายการสอดคล้องกับการเริ่มต้นการรันใหม่ ดังนั้นR ( π )มีค่าเท่ากับหนึ่งบวกจำนวนแทรกในπ - 1π=62735814π−1=7248513672485136r(π)π−1
อะไรลักษณะการดำเนินงานเช่นในแง่ของπ - 1 ? ให้Bเป็นชุดของตัวเลขที่เราเลื่อนไปทางขวาและAเป็นชุดของตัวเลขที่อยู่ทางซ้าย เราแทนที่ตัวเลขในAด้วยการเปลี่ยนแปลงบน{ 1 , … , | A | }แทนลำดับญาติและแทนที่ตัวเลขในBด้วยการเปลี่ยนแปลงบน{ | A | + 1 , … , | A | + | B | }π−1BAA{1,…,|A|}B{|A|+1,…,|A|+|B|}. ตัวอย่างเช่นพิจารณาย้าย6273 5 8 1 4 ↦ 51 627384 ในแง่ของการเพิ่มเงินผกผันก็7 248 5 136 ↦ 2 468 1 357 ดังนั้น75ถูกแมปไป21และ248,136ถูกแมปไป46835762735814↦5162738472485136↦246813577521248136468357
เชื้อสาย... x Y ...ในπ - 1จะหายไปหลังจากการดำเนินการเฉพาะในกรณีที่x ∈และY ∈ B ในทางกลับกันในแง่ของπ - 1พาร์ติชันในAและBสอดคล้องกับA -run และB -run ทุกครั้งที่B -run สิ้นสุดลงและA- Run เริ่มต้นขึ้นจะมีการตกลงมา เพื่อที่จะ "ฆ่า" โคตรเราต้องเปลี่ยนจากA -run ไปเป็นB…xy…π−1x∈Ay∈Bπ−1ABABBAAB-วิ่ง. หากเราฆ่าผู้สืบทอดสองคนเราจะสลับตรงกลางจากB -run ไปเป็นA -run ซึ่งจะมีสายเลือดเกิดขึ้นBA
เรื่องนี้สามารถเป็นทางการแสดงให้เห็นว่าถ้าαเกิดจากπผ่านการดำเนินการแล้วd ( α - 1 ) ≥ ⌊ d ( π - 1 ) / 2 ⌋ที่d ( ⋅ )คือจำนวนแทรก นี้จะเทียบเท่ากับR ( α ) ≥ ⌈ R ( π ) / 2 ⌉απd(α−1)≥⌊d(π−1)/2⌋d(⋅)r(α)≥⌈r(π)/2⌉ดังนั้นการพิสูจน์ทิศทางเดียวของการคาดเดาของฉัน ทิศทางอื่น ๆ ได้ง่ายขึ้นและได้รับการระบุไว้แล้วข้างต้น: เราก็ใช้ทุกระยะที่สองและผลักดันการทำงานเหล่านี้เพื่อสิทธิในการรับการเปลี่ยนแปลงαความพึงพอใจR ( α ) = ⌈ R ( π / 2 ) ⌉αr(α)=⌈r(π/2)⌉