นี่คือคำสั่ง nauty-shortg ที่สามารถเรียกใช้ในผู้ให้บริการโฮสต์ฟรีของ OnWorks โดยใช้หนึ่งในเวิร์กสเตชันออนไลน์ฟรีของเรา เช่น Ubuntu Online, Fedora Online, โปรแกรมจำลองออนไลน์ของ Windows หรือโปรแกรมจำลองออนไลน์ของ MAC OS
โครงการ:
ชื่อ
nauty-shortg - ลบ isomorphs ออกจากไฟล์ graphs
เรื่องย่อ
สั้น [-qvkdu] [-ผม# -ผม#:# -เค#] [-fxxx] [-S|-ต] [-ทีดีร์] [แฟ้ม [ออกจากไฟล์]]
DESCRIPTION
ลบ isomorphs ออกจากไฟล์กราฟ
หากละเว้น outfile จะถือว่าเหมือนกับ infile ถ้าทั้ง infile และ
outfile ถูกละไว้ อินพุตจะถูกรับ
จาก stdin และเขียนถึง stdout
ไฟล์เอาต์พุตมีส่วนหัวก็ต่อเมื่อไฟล์อินพุตมี
-s บังคับให้ส่งออกเป็นรูปแบบกระจัดกระจาย6
-g บังคับให้ส่งออกเป็นรูปแบบ graph6 หากไม่มี -s or -g จะได้รับ รูปแบบผลลัพธ์คือ
กำหนดโดยส่วนหัวหรือหากไม่มีตามรูปแบบของอินพุตแรก
กราฟ.
-S ใช้การแสดงแบบเบาบางภายใน โปรดทราบว่าการดำเนินการนี้จะเปลี่ยนรูปแบบบัญญัติ
การติดฉลาก ไม่รองรับหลายขอบ หนึ่งวงต่อจุดยอดก็โอเค
-t ใช้ร่องรอย โปรดทราบว่าการดำเนินการนี้จะเปลี่ยนการติดฉลากตามรูปแบบบัญญัติ หลายขอบและ
ไม่รองรับลูปหรือค่าคงที่
-k กราฟเอาต์พุตมีป้ายกำกับและรูปแบบเหมือนกับอินพุต ปราศจาก -k, เอาท์พุท
กราฟมีการติดฉลากตามรูปแบบบัญญัติ -s และ -g ไม่ได้ผลถ้า -k ได้รับ
-v เขียนถึง stderr รายการที่กราฟอินพุตตรงกับกราฟเอาต์พุตใด NS
กราฟอินพุตและเอาต์พุตมีทั้งหมายเลขเริ่มต้นที่ 1 เส้น like
23 : 30 154 78
หมายความว่าอินพุต 30, 154 และ 78 เป็นไอโซมอร์ฟิคและให้เอาต์พุต 23
-d รวมเฉพาะอินพุตที่เป็น isomorphic กับอินพุตอื่นในเอาต์พุต ถ้า
-k ถูกระบุ อินพุตดังกล่าวทั้งหมดรวมอยู่ในการติดฉลากดั้งเดิม ปราศจาก
-kมีเพียงสมาชิกเดียวเท่านั้นของแต่ละคลาส isomorphism ที่ไม่ธรรมดา ถูกเขียนด้วย canonical
การติดฉลาก
-fxxx ระบุพาร์ติชันของชุดจุด xxx เป็นอะไรก็ได้
สตริงของอักขระ ASCII ยกเว้น nul
สตริงนี้คือ
ถือว่าขยายไปถึงอนันต์ทางด้านขวาด้วยตัวอักษร 'z' หนึ่งตัวอักษร
สัมพันธ์กับแต่ละจุดตามลำดับที่กำหนด การติดฉลากที่ใช้เป็นไปตามข้อกำหนดเหล่านี้
กฎ:
(1) ลำดับใหม่ของคะแนนนั้นสัมพันธ์กัน
ตัวอักษรอยู่ในลำดับ ASCII จากน้อยไปมาก
(2) ถ้ากราฟสองอันติดป้ายกำกับโดยใช้สตริง xxx เดียวกัน
กราฟเอาต์พุตจะเหมือนกันหากมีการสงวนอักขระที่เกี่ยวข้อง
isomorphism ระหว่างพวกเขา
-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)
-u เขียนไม่มีผลลัพธ์ เพียงแค่รายงานว่าจะมีผลลัพธ์กี่กราฟ ในกรณีนี้,
ไม่อนุญาตให้ใช้ไฟล์ภายนอก
-ทีดีร์ ระบุว่าไดเร็กทอรี "dir" จะถูกใช้สำหรับดิสก์ชั่วคราว
ช่องว่างตามกระบวนการย่อยการเรียงลำดับ
ค่าเริ่มต้นมักจะ / Tmp.
-q ระงับเอาต์พุตเสริม
ใช้ nauty-shortg ออนไลน์โดยใช้บริการ onworks.net
