nauty-shortg - ອອນລາຍໃນຄລາວ

ໂຄງການ:

NAME

nauty-shortg - ເອົາ isomorphs ອອກຈາກໄຟລ໌ຂອງກາຟ

ສະຫຼຸບສັງລວມ

ສັ້ນ [-qvkdu] [-i# -I#:# -K#] [-fxxx] [-S|-t] [-Tdir] [infile [outfile]]

ລາຍລະອຽດ

ເອົາ isomorphs ອອກຈາກໄຟລ໌ຂອງກາຟ.

ຖ້າ​ຫາກ​ວ່າ outfile ຖືກ​ຍົກ​ເວັ້ນ​, ມັນ​ໄດ້​ຖືກ​ປະ​ຕິ​ບັດ​ໃຫ້​ເປັນ​ດຽວ​ກັນ​ກັບ infile ຖ້າ​ທັງ infile ແລະ​
outfile ຖືກລະເວັ້ນ, ການປ້ອນຂໍ້ມູນຈະຖືກປະຕິບັດ

ຈາກ stdin ແລະຂຽນເປັນ stdout

ໄຟລ​໌​ຜົນ​ຜະ​ລິດ​ມີ​ຫົວ​ຂໍ້​ຖ້າ​ຫາກ​ວ່າ​ແລະ​ພຽງ​ແຕ່​ຖ້າ​ຫາກ​ວ່າ​ໄຟລ​໌​ປ້ອນ​ເຂົ້າ​ເຮັດ​ໄດ້​.

-s ບັງຄັບໃຫ້ຜົນຜະລິດເປັນຮູບແບບ sparse6

-g ບັງຄັບໃຫ້ຜົນຜະລິດເປັນຮູບແບບ graph6 ຖ້າບໍ່ມີ -s or -g ແມ່ນໃຫ້, ຮູບແບບຜົນຜະລິດແມ່ນ
ກໍານົດໂດຍຫົວຫຼື, ຖ້າບໍ່ມີ, ໂດຍຮູບແບບຂອງການປ້ອນຂໍ້ມູນທໍາອິດ
ເສັ້ນສະແດງ.

-S ໃຊ້ຕົວແທນແບບກະແຈກກະຈາຍພາຍໃນ. ໃຫ້ສັງເກດວ່ານີ້ມີການປ່ຽນແປງ canonical
ການຕິດສະຫຼາກ. ບໍ່ຮອງຮັບຫຼາຍຂອບ. ຫນຶ່ງ loop ຕໍ່ vertex ແມ່ນ ok.

-t ໃຊ້ການຕິດຕາມ. ໃຫ້ສັງເກດວ່ານີ້ມີການປ່ຽນແປງການຕິດສະຫຼາກ canonical. ຫຼາຍຂອບແລະ
loops ບໍ່ຮອງຮັບ, ຫຼື invariants.

-k ກຣາຟຜົນຜະລິດມີປ້າຍກຳກັບ ແລະຮູບແບບດຽວກັນກັບວັດສະດຸປ້ອນ. ໂດຍບໍ່ມີການ -k, ຜົນຜະລິດ
ກຣາຟມີປ້າຍຊື່ canonical. -s ແລະ -g ບໍ່ມີປະສິດຕິຜົນຖ້າ -k ແມ່ນໃຫ້.

-v ຂຽນໃສ່ stderr ບັນຊີລາຍຊື່ຂອງກາຟ input ທີ່ສອດຄ້ອງກັບວ່າກາຟຜົນຜະລິດໃດ. ໄດ້
ເສັ້ນ input ແລະ output ທັງສອງຕົວເລກເລີ່ມຕົ້ນທີ່ 1. A ຄ້າຍຄື

23: 30 154 78

ຫມາຍຄວາມວ່າວັດສະດຸປ້ອນ 30, 154 ແລະ 78 ແມ່ນ isomorphic, ແລະຜະລິດຜົນຜະລິດ 23.

-d ລວມເອົາຢູ່ໃນຜົນຜະລິດພຽງແຕ່ວັດສະດຸປ້ອນເຫຼົ່ານັ້ນທີ່ເປັນ isomorphic ກັບວັດສະດຸປ້ອນອື່ນ. ຖ້າ
-k ຖືກລະບຸໄວ້, ວັດສະດຸປ້ອນດັ່ງກ່າວທັງໝົດແມ່ນລວມຢູ່ໃນການຕິດສະຫຼາກຕົ້ນສະບັບ. ໂດຍບໍ່ມີການ
-k, ມີພຽງແຕ່ສະມາຊິກຂອງແຕ່ລະຊັ້ນ isomorphism nontrivial ແມ່ນລາຍລັກອັກສອນ, ມີ canonical
ການຕິດສະຫຼາກ.

-fxxx ກໍານົດການແບ່ງສ່ວນຂອງຈຸດທີ່ກໍານົດໄວ້. xxx ແມ່ນອັນໃດ

ສະຕຣິງຂອງຕົວອັກສອນ ASCII ຍົກເວັ້ນ nul.
ສາຍນີ້ແມ່ນ

ພິ​ຈາ​ລະ​ນາ​ຂະ​ຫຍາຍ​ໄປ infinity ກ່ຽວ​ກັບ​ສິດ​ທິ​ທີ່​ມີ​ຕົວ​ອັກ​ສອນ 'z​'​. ລັກສະນະຫນຶ່ງ
ແມ່ນກ່ຽວຂ້ອງກັບແຕ່ລະຈຸດ, ໃນຄໍາສັ່ງທີ່ໄດ້ຮັບ. ການຕິດສະຫຼາກທີ່ໃຊ້ແມ່ນເຊື່ອຟັງເຫຼົ່ານີ້
ກົດລະບຽບ:

(1) ຄໍາສັ່ງໃຫມ່ຂອງຈຸດແມ່ນດັ່ງກ່າວວ່າທີ່ກ່ຽວຂ້ອງ

ຕົວອັກສອນຢູ່ໃນ ASCII ຕັ້ງແຕ່ໃຫຍ່ຫານ້ອຍ

(2​) ຖ້າ​ຫາກ​ວ່າ​ສອງ​ເສັ້ນ​ສະ​ຫຼາກ​ໂດຍ​ການ​ນໍາ​ໃຊ້ xxx ສາຍ​ດຽວ​ກັນ​,

ເສັ້ນສະແດງຜົນແມ່ນຄືກັນ iff ມີການອະນຸລັກລັກສະນະທີ່ກ່ຽວຂ້ອງ
isomorphism ລະຫວ່າງພວກເຂົາ.

-i# ເລືອກ invariant (1 = twopaths, 2 = adjtriang(K), 3 = triples,

4 = quadruples, 5 = celltrips, 6 = cellquads, 7 = cellquins, 8 = ໄລຍະຫ່າງ(K), 9 =
indsets(K), 10 = cliques(K), 11 = cellcliq(K),

12 = cellind(K), 13 = adjacencies, 14 = cellfano, 15 = cellfano2, 16 = refinvar(K))

-I#:# ເລືອກ mininvarlevel ແລະ maxinvarlevel (ຄ່າເລີ່ມຕົ້ນ 1:1)

-K# ເລືອກ invararg (ຄ່າເລີ່ມຕົ້ນ 3)

-u ຂຽນບໍ່ມີຜົນຜະລິດ, ພຽງແຕ່ລາຍງານຈໍານວນກາຟທີ່ມັນຈະມີຜົນຜະລິດ. ໃນ​ກໍ​ລະ​ນີ​ນີ້,
outfile ບໍ່ໄດ້ຮັບອະນຸຍາດ.

-Tdir ລະບຸວ່າໄດເຣັກທໍຣີ "dir" ຈະຖືກໃຊ້ສໍາລັບແຜ່ນຊົ່ວຄາວ

ຊ່ອງໂດຍຂະບວນການຍ່ອຍການຈັດລຽງ.
ຄ່າເລີ່ມຕົ້ນແມ່ນປົກກະຕິແລ້ວ / tmp.

-q ສະກັດກັ້ນຜົນຜະລິດເສີມ

ໃຊ້ nauty-shortg ອອນໄລນ໌ໂດຍໃຊ້ບໍລິການ onworks.net