Це команда isofilter2, яку можна запустити в постачальнику безкоштовного хостингу OnWorks за допомогою однієї з наших численних безкоштовних робочих станцій, таких як Ubuntu Online, Fedora Online, онлайн-емулятор Windows або онлайн-емулятор MAC OS
ПРОГРАМА:
ІМ'Я
ізофільтр - видаляє ізоморфні структури mace4(1) моделі
СИНТАКСИС
ізофільтр [опції] вхідний файл > вихідний файл
ізофільтр0 [опції] вхідний файл > вихідний файл
ізофільтр2 [опції] вхідний файл > вихідний файл
ОПИС
На цій сторінці посібника коротко описано ізофільтр, ізофільтр0 та ізофільтр2 команди.
If mace4(1) створює більше однієї структури, деякі з них, швидше за все, будуть
ізоморфний іншим. Програма ізофільтр можна використовувати для видалення ізоморфних структур.
АЛГОРИТМ
Є кілька ізофільтр варіанти, що забезпечують альтернативні алгоритми.
ізофільтр
Використовує алгоритм профілів появи.
ізофільтр2
Використовує алгоритм Canonical Forms.
ВАРІАНТИ
Нижче наведено короткий опис варіантів.
ignore_constants
Ігноруйте всі константи під час тестів ізоморфізму.
перевірка
Розглянемо лише перераховані операції у тестах ізоморфізму.
вихід
Виведіть лише перераховані операції.
обернути Закладіть отримані конструкції в список (тлумачення). ... кінець_списку.
Використовуйте isofilter2 онлайн за допомогою служб onworks.net
