transitive-closure

1зной

1ответ

Я пытаюсь использовать transitive_reduction boost, но я не знаю, как его использовать. Я граф определяется: typedef boost::adjacency_list<boost::vecS, boost::vecS, boost::bidirectionalS, IQsNode*> Gra

3зной

3ответ

Нужен ли мне «базовый шаг», чтобы сделать рекурсию на Prolog?

Я изучаю Пролог в своем университете, и я застрял в вопросе. Обратите внимание, что я новичок в Prolog, и я даже не знаю правильного написания элементов Prolog. Мне нужно определить рекурсивное правил

0зной

2ответ

Вычислить достижимость для каждой вершины из списка смежности

Учитывая список смежности Map<Vertex, Set<Vertex>> для DAG, я хочу рассчитать достижимость каждой вершины (т. Е. Если есть путь от u до v). static Map<Vertex, Set<Vertex>> reachability(Map<Vertex, Set

2зной

2ответ

Как я могу рассчитать количество рекурсий, которые рекурсивное правило делает?

Я имею дело с проблемой; Я хочу рассчитать, сколько рекурсий рекурсивное правило моего кода. Моя программа проверяет, является ли объект компонентом компьютерного оборудования или нет (через предикат

2зной

1ответ

Определите транзитивное отношение по фактам

Я новичок в Prolog и пытаюсь его изучить. Я хочу достичь чего-то вроде a>b и b>c, а затем a>c, который является транзитивным отношением. У меня есть набор следующих правил. bigger(elephant,horse). bi

1зной

1ответ

Результаты не сравниваются с данными

Используя пролог, сделайте код, чтобы получить некоторые сравниваемые выходы, но некоторые выходы не работают должным образом. кажется, что они не сравниваются с фактами. вот код fact(Fact) :- Fact,!.

1зной

1ответ

Этикетировочных группы из двух столбцов в SQL (BigQuery SQL, если это возможно)

дана таблица name ip A = |A 1 | |B 1 | |C 1 | |B 2 | |C 2 | |D 3 | |E 2 | Если два названия разделяют же IP они принадлежат одной группе. Также ip с тем же име

2зной

1ответ

Prolog - 2 способ реализации прародителя предиката

Учитывая множество фактов, которые представляют родитель-потомок через предикат родителя/2, каковы различия при определении отношения «предшественники» (предок) с предикатами pred1/2 и pred2/2 как пок