equivalence

-1зной

1ответ

векторный порт ввода входного порта одного бита net

Почему эти два кода не эквивалентны? Я проверяю логическую эквивалентность между ними, они терпят неудачу, что может быть ошибкой? Будет ли это восприниматься как несоответствие ширины или сеть, приво

1зной

1ответ

Доказательства эквивалентности между не-хвостом-рекурсивными и хвостовой рекурсией функциями

у меня есть рекурсивная функция *, которая похожа на «опциональную карту», со следующей подписью: omap (f : option Z -> list nat) (l : list Z) : option (list nat) Я определил эквивалент (по модулю

2зной

1ответ

Отношение эквивалентности схемы

Мне нужна помощь, определяющая функцию схемы, которая принимает раздел (список списков) и возвращает список пар, представляющий отношение эквивалентности. Я начал писать код, но понимаю, что иду в неп

0зной

1ответ

Эффективный способ группировки всех равных объектов, определенных IEqualityComparer

У меня есть большой список определенных объектов, которые имеют тип Order. Кроме того, я определил IEqualityComparer<Order>, и моя цель состоит в том, чтобы эффективно создавать список списков (или гр

1зной

1ответ

с использованием карт свойств для эквивалентности в vf2_sub_graph_iso

Я пишу код для добычи графа с использованием библиотеки наддува, и я хочу использовать функцию vf2_sub_graph_iso, в общем vf2_subgraph_iso возвращается true если граф-подграф изоморфизм существует и f

0зной

2ответ

Как сделать функцию, которая сообщает, что два списка эквивалентны в python

Этот вопрос будет действительно раздражать из-за того, что он для класса, и у нас есть много ограничений на наш код. Цель состоит в том, чтобы сделать функцию, чтобы увидеть, имеют ли два списка (случ

0зной

2ответ

Подсчитывая, сколько раз пара слов появляется вместе в текстовом файле, используя R

У меня есть функция, которая принимает документ текста и два слова, которые я хочу найти в этом тексте, и я пытаюсь выяснить вероятность того, что эти 2 слова появляются рядом друг с другом в тексте.