คำพารามิเตอร์
ในการศึกษาคณิตศาสตร์ของคอมบินาทอริกบนคำคำพารามิเตอร์คือสตริงบนตัวอักษร ที่กำหนด ซึ่ง มี อักขระตัวแทนจำนวนหนึ่ง[ 1 ]เซตของสตริงที่ตรงกับคำพารามิเตอร์ที่กำหนดเรียกว่าเซตพารามิเตอร์หรือลูกบาศก์คอมบินาทอริกคำพารามิเตอร์สามารถประกอบกันเพื่อสร้างลูกบาศก์ย่อยที่เล็กกว่าของลูกบาศก์คอมบินาทอริกที่กำหนด มีการประยุกต์ใช้ในทฤษฎีแรมซีย์และในวิทยาศาสตร์คอมพิวเตอร์ในการตรวจจับรหัสที่ซ้ำกัน
คำจำกัดความและสัญลักษณ์
อย่างเป็นทางการแล้ว-พารามิเตอร์ความยาวของคำเหนือตัวอักษรที่กำหนดเป็นลำดับของตัวละครบางตัวอาจมาจาก...และส่วนอื่นๆ ก็คืออักขระไวด์การ์ดที่แตกต่างกันอักขระตัวแทนแต่ละตัวจะต้องปรากฏอย่างน้อยหนึ่งครั้ง แต่สามารถปรากฏได้หลายครั้ง และอักขระตัวแทนจะต้องปรากฏตามลำดับที่กำหนดโดยดัชนี: อักขระตัวแทนตัวแรกในคำจะต้องเป็นอันถัดไปที่แตกต่างจากต้องเป็นเป็นต้น ในกรณีพิเศษ คำที่เขียนด้วยตัวอักษรที่กำหนดโดยไม่มีอักขระตัวแทนใดๆ เรียกว่าคำที่มีพารามิเตอร์ 0 ตัว สำหรับคำที่มีพารามิเตอร์ 1 ตัว สามารถละเว้นตัวห้อยได้ เนื่องจากไม่มีความกำกวมระหว่างอักขระตัวแทนที่แตกต่างกัน เซตของทั้งหมด-พารามิเตอร์คำต่างๆความยาวถูกกำหนดโดย[ 1 ]
เอ-พารามิเตอร์คำแสดงถึงชุดของสตริง (คำที่ไม่มีพารามิเตอร์) ที่ได้จากการแทนที่สัญลักษณ์ของสำหรับอักขระตัวแทนแต่ละตัว ชุดของสตริงนี้เรียกว่าชุดพารามิเตอร์ของลูกบาศก์เชิงการจัดเรียงและเรียกว่ามิติของมัน ลูกบาศก์เชิงคอมบินาทอริกหนึ่งมิติอาจเรียกว่าเส้นเชิงคอมบินาทอริก[ 1 ]
ในลูกบาศก์เชิงการจัดเรียง (combinatorial cube) อักขระตัวแทน (wildcard character) แต่ละตัวจะต้องมีตัวแทนเดียวกัน การวางนัยทั่วไปของคำพารามิเตอร์ช่วยให้สามารถแทนที่อักขระตัวแทนเดียวกันด้วยอักขระอื่นจากตัวอักษรได้อย่างเป็นระบบเป็นตัวอักษรและเป็นกลุ่มที่มีการกระทำเกี่ยวกับจากนั้น- คำพารามิเตอร์ที่มีป้ายกำกับ คือ a-พารามิเตอร์คำ พร้อมกับการกำหนดองค์ประกอบกลุ่มให้กับอักขระตัวแทนแต่ละตัวในคำนั้น การปรากฏครั้งแรกของอักขระตัวแทนแต่ละตัวจะต้องถูกกำหนดให้เป็นองค์ประกอบเอกลักษณ์ของกลุ่ม จากนั้น สตริงที่แสดงโดยพารามิเตอร์คำที่มีป้ายกำกับจะได้รับโดยการเลือกอักขระตัวใดตัวหนึ่งสำหรับอักขระตัวแทนแต่ละตัว และแทนที่ผลลัพธ์ของการรวมอักขระนั้นกับองค์ประกอบกลุ่มที่ติดป้ายกำกับสำเนาแต่ละชุดของอักขระนั้น เซตของทั้งหมดติดป้ายกำกับ-พารามิเตอร์คำต่างๆความยาวถูกกำหนดโดย[ 1 ]
ตัวอย่าง
ในเกมโอเอ็กซ์ช่องบนกระดานเกมสามารถกำหนดพิกัดเป็นจำนวนเต็ม สอง ค่าได้จากตัวอักษรการนำพิกัดทั้งสองมาต่อกันจะสร้างสตริงที่แสดงถึงแต่ละเซลล์ ซึ่งเป็นหนึ่งในเก้าสตริงหรือมีคำที่มีพารามิเตอร์เดียวจำนวนเจ็ดคำที่มีความยาวสองในตัวอักษรนี้ ได้แก่ คำเหล่านั้นและเส้นเชิงการจัดเรียงที่สอดคล้องกันจะประกอบเป็นเจ็ดในแปดแถวของสามเซลล์ในแถวเดียวบนกระดานเกมโอเอ็กซ์ ตัวอย่างเช่น คำที่มีพารามิเตอร์เดียวสอดคล้องกับเส้นเชิงการจัดเรียงและคำที่มีพารามิเตอร์เดียวสอดคล้องกับเส้นเชิง การจัดเรียง[ 2 ]
อย่างไรก็ตาม หนึ่งในแปดเส้นที่ชนะในเกมโอเอ็กซ์นั้นหายไปจากชุดเส้นเชิงการจัดเรียงนี้ นั่นคือเส้นทแยงมุมตรงข้ามเป็นไปได้ที่จะได้เส้นนี้เป็นเส้นเชิงการจัดเรียง (โดยไม่รวมการจัดเรียงเซลล์อื่นๆ ที่ไม่ถูกต้องสำหรับเกมโอเอ็กซ์) โดยใช้กลุ่มที่มีสององค์ประกอบ และการกระทำที่องค์ประกอบที่ไม่ใช่เอกลักษณ์จะสลับตัวอักษรและขณะที่ออกจากองค์ประกอบนั้นอยู่ในตำแหน่งที่ถูกต้อง มีคำที่มีป้ายกำกับหนึ่งพารามิเตอร์แปดคำที่มีความยาวสองสำหรับแอ็กชันนี้ โดยเจ็ดคำได้มาจากคำที่ไม่มีป้ายกำกับหนึ่งพารามิเตอร์โดยใช้ป้ายกำกับเอกลักษณ์สำหรับไวด์การ์ดทั้งหมด คำทั้งเจ็ดนี้มีบรรทัดการรวมกันเหมือนเดิม คำที่มีป้ายกำกับคำที่แปดประกอบด้วยคำว่าติดป้ายกำกับด้วยองค์ประกอบเอกลักษณ์สำหรับครั้งแรกและองค์ประกอบที่ไม่เหมือนกันแบบย้อนกลับสำหรับตัวที่สองเส้นการจัดเรียงของมันคือเส้นที่ชนะสุดท้ายของกระดานเกมโอเอ็กซ์[ 2 ]
องค์ประกอบ
สำหรับพารามิเตอร์จำนวนเต็มสามตัวที่กำหนดสามารถรวมคำพารามิเตอร์สองคำเข้าด้วยกันได้และเพื่อสร้างคำพารามิเตอร์อีกคำหนึ่งในการทำเช่นนั้น เพียงแค่เปลี่ยนสำเนาแต่ละฉบับของสัญลักษณ์ไวด์การ์ดตัวที่ th ในโดยตัวละครที่ th ในซึ่งจะทำให้ได้คำที่มีความยาวตามที่ต้องการที่ใช้สัญลักษณ์ไวด์การ์ดแต่ละตัวในอย่างน้อยหนึ่งครั้ง เรียงลำดับจากน้อยไปมาก เพื่อให้ได้ผลลัพธ์ที่ถูกต้อง-พารามิเตอร์ความยาวของคำแนวคิดเรื่องการประกอบนี้สามารถขยายไปสู่การประกอบคำพารามิเตอร์ที่มีป้ายกำกับ (โดยใช้ตัวอักษรและการกระทำกลุ่มเดียวกัน) โดยการใช้การกระทำกลุ่มกับอักขระที่แทนที่ด้วยตัวอักษรที่ไม่ใช่ไวด์การ์ด และประกอบป้ายกำกับกลุ่มสำหรับอักขระที่แทนที่ด้วยไวด์การ์ด เซตย่อยของลูกบาศก์เชิงคอมบินาทอริกจะเป็นลูกบาศก์เชิงคอมบินาทอริกที่เล็กกว่าหากสามารถได้มาโดยการประกอบในลักษณะนี้[ 1 ]
การแจงนับเชิงการจัดเรียง
จำนวนคำพารามิเตอร์ในสำหรับตัวอักษรขนาดเป็น- เลขสเตอร์ลิงชนิดที่สองตัวเลขเหล่านี้แสดงจำนวนการแบ่งส่วนของจำนวนเต็มในช่วงที่กำหนดเข้าไปข้างในเซตย่อยที่ไม่ว่างเปล่าซึ่งตัวแรกจำนวนเต็มเป็นของเซตย่อยที่แตกต่างกัน การแบ่งประเภทนี้สามารถนำไปใส่ในความสัมพันธ์แบบหนึ่งต่อหนึ่งกับคำพารามิเตอร์ได้ โดยการสร้างคำที่มีอักขระสำหรับแต่ละตัวจำนวนเต็มในช่วงโดยกำหนดค่าอักขระนี้ให้เป็นจำนวนเต็มหรือจำนวนเต็มก็ได้ที่อยู่ในเซตย่อยเดียวกันของพาร์ติชัน หรืออักขระตัวแทน (wildcard) สำหรับแต่ละเซตย่อยของพาร์ติชันที่ไม่มีจำนวนเต็มอยู่. เดอะ-จำนวนสเตอร์ลิงเป็นไปตามความสัมพันธ์เวียนเกิด อย่างง่าย ซึ่งสามารถคำนวณได้ง่าย[ 3 ] [ 4 ]
แอปพลิเคชัน
ในทฤษฎีแรมซีย์คำพารามิเตอร์และลูกบาศก์เชิงการจัดเรียงอาจถูกนำมาใช้เพื่อกำหนดทฤษฎีบทเกรแฮม-รอธส์ไชลด์ซึ่งระบุว่า สำหรับตัวอักษรจำกัดทุกตัวและการกระทำของกลุ่มทุกกลุ่ม และการรวมกันของค่าจำนวนเต็มทุกชุด,, และมีอยู่จำนวนที่มากพอสมควรโดยที่ถ้าแต่ละลูกบาศก์เชิงการจัดเรียง แบบหลายมิติเหนือสตริงที่มีความยาวได้รับการกำหนดให้เป็นหนึ่งในสีต่างๆ ดังนั้นจึงมีอยู่ลูกบาศก์เชิงการจัดเรียง มิติทั้งหมดซึ่งลูกบาศก์ ย่อยมิติ -มิติมีสีเดียวกัน ผลลัพธ์นี้เป็นรากฐานสำคัญของทฤษฎีแรมซีย์เชิงโครงสร้างและใช้ในการกำหนดจำนวนของเกรแฮมซึ่งเป็นจำนวนมหาศาลที่ใช้ในการประมาณค่าของสำหรับค่าผสมบางอย่าง[ 1 ]
ในวิทยาการคอมพิวเตอร์ในปัญหาการค้นหารหัสที่ซ้ำกันรหัสต้นฉบับสำหรับรูทีนหรือโมดูลที่กำหนดอาจถูกแปลงเป็นคำพารามิเตอร์โดยการแปลงเป็นลำดับของโทเค็นและสำหรับชื่อตัวแปรหรือรูทีนย่อยแต่ละชื่อ ให้แทนที่สำเนาของชื่อเดียวกันด้วยอักขระตัวแทนเดียวกัน หากรหัสซ้ำกัน คำพารามิเตอร์ที่ได้จะยังคงเท่ากันแม้ว่าตัวแปรหรือรูทีนย่อยบางส่วนจะถูกเปลี่ยนชื่อก็ตาม อัลกอริทึมการค้นหาที่ซับซ้อนกว่าสามารถค้นหาส่วนของรหัสที่ซ้ำกันยาวๆ ที่เป็นสตริงย่อยของคลังรหัสต้นฉบับขนาดใหญ่ได้ โดยอนุญาตให้ใช้อักขระตัวแทนแทนกันได้[ 5 ]
กรณีพิเศษที่สำคัญของคำพารามิเตอร์ ซึ่งได้รับการศึกษาอย่างดีในคณิตศาสตร์เชิงการจัดเรียงของคำ คือคำบางส่วนคำเหล่านี้เป็นสตริงที่มีอักขระตัวแทนที่สามารถแทนที่ได้อย่างอิสระจากกันและกัน โดยไม่จำเป็นต้องให้อักขระที่ถูกแทนที่บางตัวเท่ากันหรือถูกควบคุมโดยการกระทำของกลุ่ม ในภาษาของคำพารามิเตอร์ คำบางส่วนอาจอธิบายได้ว่าเป็นคำพารามิเตอร์ที่สัญลักษณ์ตัวแทนแต่ละตัวปรากฏเพียงครั้งเดียว อย่างไรก็ตาม เนื่องจากไม่มีการทำซ้ำของสัญลักษณ์ตัวแทน คำบางส่วนจึงสามารถเขียนได้ง่ายกว่าโดยการละเว้นตัวห้อยบนสัญลักษณ์ตัวแทน[ 6 ]