นี่คือคำสั่ง nauty-labelg ที่สามารถเรียกใช้ในผู้ให้บริการโฮสต์ฟรีของ OnWorks โดยใช้หนึ่งในเวิร์กสเตชันออนไลน์ฟรีของเรา เช่น Ubuntu Online, Fedora Online, โปรแกรมจำลองออนไลน์ของ Windows หรือโปรแกรมจำลองออนไลน์ของ MAC OS
โครงการ:
ชื่อ
nauty-labelg - กราฟป้ายกำกับตามบัญญัติ
เรื่องย่อ
ป้ายกำกับ [-qsg] [-fxxx] [-S|-ต] [-ผม# -ผม#:# -เค#] [แฟ้ม [ออกจากไฟล์]]
DESCRIPTION
Canonically ติดป้ายกำกับไฟล์ของกราฟ
-s บังคับให้ส่งออกเป็นรูปแบบกระจัดกระจาย6
-g บังคับให้ส่งออกเป็นรูปแบบ graph6 หากไม่มี -s or -g จะได้รับ รูปแบบผลลัพธ์คือ
กำหนดโดยส่วนหัวหรือหากไม่มีตามรูปแบบของอินพุตแรก
กราฟ. ดูเพิ่มเติม -S.
-S ใช้การแสดงแบบเบาบางภายใน
โปรดทราบว่าการดำเนินการนี้จะเปลี่ยนการติดฉลากตามรูปแบบบัญญัติ ไม่รองรับหลายขอบ
หนึ่งวงต่อจุดยอดก็โอเค
-t ใช้ร่องรอย
โปรดทราบว่าการดำเนินการนี้จะเปลี่ยนการติดฉลากตามรูปแบบบัญญัติ ไม่มีขอบและลูปหลายอัน
ได้รับการสนับสนุนหรือค่าคงที่
ไฟล์เอาต์พุตจะมีส่วนหัวก็ต่อเมื่อไฟล์อินพุตมีเท่านั้น
-fxxx ระบุพาร์ติชันของชุดจุด xxx เป็นอะไรก็ได้
สตริงของอักขระ ASCII ยกเว้น nul
สตริงนี้คือ
ถือว่าขยายไปถึงอนันต์ทางด้านขวาด้วยตัวอักษร 'z' หนึ่งตัวอักษร
สัมพันธ์กับแต่ละจุดตามลำดับที่กำหนด การติดฉลากที่ใช้เป็นไปตามข้อกำหนดเหล่านี้
กฎ:
(1) ลำดับใหม่ของคะแนนนั้นสัมพันธ์กัน
ตัวอักษรอยู่ในลำดับ ASCII จากน้อยไปมาก
(2) ถ้ากราฟสองอันติดป้ายกำกับโดยใช้สตริง xxx เดียวกัน
กราฟเอาต์พุตจะเหมือนกันหากมีการสงวนอักขระที่เกี่ยวข้อง
isomorphism ระหว่างพวกเขา ไม่สามารถต่อตัวเลือกทางขวาของ -f.
-i# เลือกค่าคงที่ (1 = twopaths, 2 = adjtriang(K), 3 = triples,
4 = สี่เท่า 5 = เซลล์ทริป 6 = เซลล์ควอด 7 = เซลล์ควิน 8 = ระยะทาง (K), 9 =
indsets(K), 10 = กลุ่ม (K), 11 = cellcliq(K),
12 = เซลล์ลินด์ (K), 13 = ส่วนต่อประสาน, 14 = เซลล์ฟาโน, 15 = เซลล์ฟาโน2, 16 = รีฟินวาร์ (K))
-I#:# เลือก mininvarlevel และ maxinvarlevel (ค่าเริ่มต้น 1:1)
-K# เลือก invararg (ค่าเริ่มต้น 3)
-q ระงับข้อมูลเสริม
ใช้ nauty-labelg ออนไลน์โดยใช้บริการ onworks.net
