Ito ang command na isofilter2 na maaaring patakbuhin sa OnWorks na libreng hosting provider gamit ang isa sa aming maramihang libreng online na workstation gaya ng Ubuntu Online, Fedora Online, Windows online emulator o MAC OS online emulator
PROGRAMA:
NAME
isofilter - inaalis ang isomorphic na istruktura mula sa tungkod4(1) mga modelo
SINOPSIS
isofilter [pagpipilian] input-file > output-file
isofilter0 [pagpipilian] input-file > output-file
isofilter2 [pagpipilian] input-file > output-file
DESCRIPTION
Ang manu-manong pahinang ito ay nagdodokumento ng maikling isofilter, isofilter0 at isofilter2 utos.
If tungkod4(1) gumagawa ng higit sa isang istraktura, ang ilan sa mga ito ay malamang na maging
isomorphic sa iba. Ang programa isofilter ay maaaring gamitin upang alisin ang isomorphic na istruktura.
ALGORITMO
Mayroong maramihang isofilter mga variant na nagbibigay ng mga alternatibong algorithm.
isofilter
Gumagamit ng algorithm ng Occurrence Profiles.
isofilter2
Gumagamit ng algorithm ng Canonical Forms.
Opsyon
Ang isang buod ng mga opsyon ay kasama sa ibaba.
ignore_constants
Huwag pansinin ang lahat ng mga constant sa panahon ng mga pagsubok sa isomorphism.
tsek
Isaalang-alang lamang ang nakalista pagpapatakbo sa mga pagsubok sa isomorphism.
output
Output lamang ang nakalista pagpapatakbo.
balutin Ilakip ang mga nagresultang istruktura sa listahan(mga interpretasyon). ... end_of_list.
Gumamit ng isofilter2 online gamit ang mga serbisyo ng onworks.net
