Вопросы по теме 'transitive-closure'

Нахождение транзитивного замыкания графа
Я пытаюсь вычислить транзитивное замыкание графа. Рассмотрим этот граф в качестве примера (на картинке изображен граф, его матрица смежности и связности): Используя алгоритм Варшалла, который я нашел на этой странице, я генерирую эту матрицу...
3100 просмотров

Вычислить переходное замыкание
У меня есть данные о парных последовательностях ДНК, которые показывают сходство следующим образом. AATGCTA|1 AATCGTA|2 AATCGTA|2 AATGGTA|3 AATGGTA|3 AATGGTT|8 TTTGGTA|4 ATTGGTA|5 ATTGGTA|5 CCTGGTA|9 CCCGGTA|6 GCCGGTA|7 GGCGGTA|10...
325 просмотров

ОШИБКА: вне локального стека в моем коде Prolog
Я не могу понять, почему следующий запрос из данного кода Пролога генерирует ошибку Out of local stack . Пролог-код: likes(g,c). likes(c,a). likes(c,b). likes(b,a). likes(b,d). likes(X,Z) :- likes(X,Y), likes(Y,Z). запрос ?-...
4156 просмотров
schedule 25.03.2022

Проблема с получением списка путей поездки в Прологе
У меня возникли проблемы со следующей проблемой в Prolog, например, у меня есть несколько фактов в базе знаний: flight(rome,london,ba,1500,150,400). flight(london,newyork,airfrance,600,60,200). flight(rome,paris,airfrance,1200,120,500)....
727 просмотров
schedule 26.05.2023

Пролог: устранение циклов из косвенной связи
У меня есть список пользовательских фактов, определенных как: user(@michael). user(@ana). user(@bob). user(@george). user(@john). и так далее. Кроме того, у меня есть ряд фактов: follows(@michael,@ana). follows(@ana,@bob)....
701 просмотров
schedule 11.10.2022

Рекурсия в Прологе и не только
У меня есть эта база знаний в прологе авиакомпании и их рейсов: flight(departure,arrive,day). flight(london,paris,monday). flight(paris,barcelona,thursday). flight(paris,madrid,sunday). flight(madrid,lisbon,saturday). рекурсивные правила:...
323 просмотров
schedule 23.02.2024

Проверка связности графа
Я проверяю, связан ли график и по какой-то причине становится ложным, когда это должно быть правдой. allConnected([]). allConnected(A|L) :- checkConnect(A,L), allConnected(L). checkConnect([],[]). checkConnect(X, Head|Y) :- isConnected(X,Head),...
455 просмотров
schedule 16.04.2024

Почему мое правило пролога застревает в бесконечной рекурсии
Мой код работает по своему прямому назначению, но всегда зацикливается в конце, что приводит к ошибке, говорящей о превышении предела стека. Мой код ниже: byCar(auckland,hamilton). byCar(hamilton,raglan). byCar(valmont,saarbruecken)....
112 просмотров