Описание тега transitivity
1
ответ
Найти максимум непереходного множества с минимальными сравнениями
Непереходный набор может иметь члены A B и C, где A > B > C но C > A, Такой набор мог бы быть фотографиями, заказанными предпочтением человека. Я могу относительно легко найти алгоритмы для нахождения максимума транзитивного набора с минима…
08 май '13 в 22:02
1
ответ
SQL Server Query для поиска минимальной даты в транзитивных отношениях с возможными циклическими циклами
С этим вопросом возникает небольшая головная боль и некоторые советы и рекомендации. Я не смог найти ничего действительно связанного с моей проблемой - я нашел кое-что о транзитивных замыканиях, что не совсем то, что мне нужно, поскольку мои данные …
07 авг '17 в 20:51
1
ответ
Почему пол теряет точность и как это влияет на транзитивность равенства?
Я начинаю с определения большого целого числа n: Prelude> let n = 5705979550618670446308578858542675373983 Prelude> n :: Integer 5705979550618670446308578858542675373983 Затем я посмотрел на поведение s1 а также s2: Prelude> let s1 = (sqrt …
14 авг '13 в 19:31
0
ответов
Почему нужно использовать общий барьер для гарантии транзитивности процессора?
Недавно я прочитал транзитивность процессора в барьерах памяти, и автор подчеркивает, что только общий барьер может гарантировать транзитивность. Но я не очень хорошо понимаю это. Например: CPU 1 CPU 2 CPU 3 ======================= =================…
10 янв '16 в 13:56
0
ответов
Является ли оператор "моделей" транзитивным?
Как говорится в заголовке, я хотел бы знать, что оператор models (|=) является транзитивным. Я думаю, что это: допустим, у нас есть: phi |= psi и psi |= theta. Тогда все интерпретации J, которые являются истинными для phi, верны для psi (и число эти…
30 апр '18 в 15:21
1
ответ
SQL Server Query для поиска минимальной даты на основе транзитивных отношений
С этим вопросом возникает небольшая головная боль и некоторые советы и рекомендации. Я не смог найти ничего действительно связанного с моей проблемой - я нашел кое-что о транзитивных замыканиях, что не совсем то, что мне нужно, поскольку мои данные …
10 авг '17 в 15:02
2
ответа
Coq: применить транзитивность с заменой
Я хочу доказать эту лемму в Coq: a : Type b : Type f : a -> b g : a -> b h : a -> b ______________________________________(1/1) (forall x : a, f x = g x) -> (forall x : a, g x = h x) -> forall x : a, f x = h x я знаю это Coq.Relations…
02 апр '14 в 12:36
2
ответа
Отключите транзитивные зависимости для всего, что ожидает проект компиляции (...)
Можно ли настроить hibernate так, чтобы он брал только транзитивные зависимости из проекта, на который я полагаюсь (compile("foobar")), и отключал транзитивность для всего остального? Вот что я попробовал до сих пор: configurations.all { transitive …
03 авг '15 в 16:52
1
ответ
Репликация графа Эрдоша-Рени
Я действительно плохо знаком с R, и у меня есть задание для моих классов. Мне нужно создать 1000 сетей модели Erdos-Renyi. Дело в том, что на самом деле я могу создать одну модель, проверить ее параметры, такие как распределение степеней, построить …
29 окт '17 в 00:30
2
ответа
Транзитивность от простого к первому в 3nf нормальной форме
Я застрял в этом вопросе. Какой должен быть ответ на это: Схема отношений Student Performance (name, courseNo, rolINo, grade) имеет следующие функциональные зависимости: название, курс №, -> оценка rolINo, конечно нет -> оценка имя -> rolINo rolINo …
18 авг '14 в 07:21
0
ответов
Detransitivization? Поиск транзитивной базы?
Меня интересует операция, которую я опишу ниже, но я не знаю, изучалась ли она уже (возможно, под другим названием) и была ли она реализована. Идея состоит в следующем: для любого ориентированного графа мы можем вычислить транзитивное замыкание, ска…
01 дек '18 в 10:39
1
ответ
Пролог попадает в бесконечный цикл
Я пытаюсь определить правило "Друг моего друга - мой друг" в прологе, и у меня есть следующий код: friends(john,jake). friends(mike,hans). friends(hans,robert). friends(robert,angela). mutual_friendship(X,Y):- friends(X,Y); friends(Y,X). friendship(…
12 май '13 в 15:53
2
ответа
Транзитивность Python между словарями
У меня есть список, подобный следующему в Python (настоящий - огромный, и я не могу сделать это, только посмотрев на него): original1=[['email', 'tel', 'fecha', 'descripcion', 'categ'], ['a@gmail.com', '1', '2014-08-06 00:00:06', 'MySpace a', 'anima…
27 авг '14 в 18:06
1
ответ
Пролог: проверь транзитивность на простые факты
Я намеревался реализовать простой пример (только для себя) транзитивности в Прологе. Это мои факты: trust_direct(p1, p2). trust_direct(p1, p3). trust_direct(p2, p4). trust_direct(p2, p5). trust_direct(p5, p6). trust_direct(p6, p7). trust_direct(p7, …
27 фев '17 в 21:16
1
ответ
Сортировка массива на основе бинарных сравнений при минимизации непереходных испытаний
У меня есть список из 15 городов. Я случайно рисую 70 пар из возможных 15*14/2=105 пар городов. Для каждой из 70 пар я прошу своих участников решить, больше ли город А, чем город В. Важно то, что иногда участники делают "ошибки" и дают ответ, которы…
17 май '15 в 18:07
4
ответа
Почему в C++ разрешено изменять память переменной члена-указателя постоянного объекта извне?
Я пытался понять, когда я пишу функцию в C++ с постоянным аргументом и переменной указателя внутри этого объекта, чем флаг const не защищает основную память от изменений. Например, совершенно законно делать следующее в operator=() функция класса наз…
05 авг '15 в 12:56
1
ответ
Эквивалентна ли эта формула CTL и что ее поддерживает?
Мне интересно, эквивалентны ли приведенные ниже формулы CTL, и если да, то можете ли вы помочь мне убедить себя, что это так? A(p U ( A(q U r))) = A(A(p U q) U r) Я не могу придумать какие-либо модели, которые противоречат этому, и мои внутренности …
13 окт '15 в 13:59
2
ответа
Есть ли реализация Python2, где порядок является транзитивным?
Существует ли какая-либо существующая реализация Python2, где порядок является транзитивным? То есть там, где невозможно увидеть это поведение без создания пользовательских типов: >>> x < y < z < x True CPython не является транзити…
21 окт '16 в 16:16
5
ответов
Является ли неравенство транзитивным в Java?
Если у меня есть 3 объекта a, b и c, и я хочу проверить, что ни один из них не равен друг другу, мне нужно проверить: if (!a.equals(b) && !b.equals(c) && !a.equals(c)) { // to simplify, assume non-null // do something } Согласно доку…
07 сен '11 в 11:41
1
ответ
Получить строки по транзитивности в MySQL
Предположим, у меня есть следующая таблица: Images |id | similarTo| |---|----------| |1 | 2 | |2 | 3 | |--------------| Где SimilarTo - это внешний ключ к идентификатору. То, что я хочу, это запрос, который может получить транзитивное закрытие идент…
21 июл '16 в 19:55