Описание тега partial-ordering
2
ответа
Проверьте, переписан ли метод в Java
Я хотел бы реализовать метод, который сравнивает два объекта моего интерфейса Task, Поскольку будет строго строгий порядок Task, partialCompareTo должен вернуться null тогда и только тогда, когда два объекта несопоставимы. Если вас смущает концепция…
05 мар '16 в 16:42
1
ответ
Как изготовить модель для частичных заказов?
Я пытаюсь использовать Z3 для создания модели для набора SAT-утверждений, описывающих теорию частичного порядка. Я попробовал пример подтипа в руководстве по Z3, но, похоже, я не могу получить конкретную модель. Есть ли способ, которым Z3 может созд…
11 мар '14 в 19:17
1
ответ
Упорядочить текстовые файлы по названию, а затем по телу
У меня есть класс с именем TextFile с Title а также Body которые обе строки. В моем приложении я хочу, чтобы конечный пользователь мог выполнять поиск по этим файлам. Я хочу создать свой алгоритм, чтобы сначала упорядочивались файлы с поисковым терм…
13 авг '18 в 14:52
2
ответа
SCTP заказал доставку сообщений
Можно ли заставить SCTP отправлять все данные в полном порядке? Давайте сделаем этот эксперимент: 1) Возьми этот SCTP-Discard-сервер и этот SCTP-клиент. 2) Пусть клиент много раз посчитает до 100 и каждый раз отправляет байт соответственно на сервер…
06 янв '19 в 20:52
2
ответа
Когда шаблон более специализирован, чем другой? "И" / "Или" путаница с логикой.
В 14.8.2.4p10 проекта C++11 написано Если для каждого рассматриваемого типа данный шаблон, по крайней мере, столь же специализирован для всех типов и более специализирован для некоторого набора типов, а другой шаблон не более специализирован для как…
29 мар '13 в 11:15
1
ответ
Как работает `std::less`?
Реляционные операторы указателя не определяют полный порядок ( п. 5.9 стандарта C++11): Если два указателя p а также q одного и того же типа указывают на разные объекты, которые не являются членами одного и того же объекта или элементов одного и тог…
03 июн '15 в 10:13
2
ответа
Генерация DAG из poset с использованием строго функционального программирования
Вот моя проблема: у меня есть последовательность S из (непустых, но, возможно, не отличных) наборов s_i, и для каждого s_i нужно знать, сколько наборов s_j в S (i ≠ j) являются подмножествами s_i. Мне также нужна дополнительная производительность: к…
12 янв '12 в 16:44
2
ответа
Графический интерфейс C/C++ для представления частичного порядка
В моем коде я использую класс, который представляет направленный ациклический граф. Я сам написал код, это было не сложно. Но позже я понял, что мое приложение предъявляет больше требований: граф должен быть транзитивно-сокращенным, то есть уникальн…
24 янв '13 в 20:29
1
ответ
Частичное упорядочивание вариабельных шаблонных функций
В настоящее время я играю в проекте с использованием Boost.ProgramOptions, и мне пришлось создать следующую структуру, чтобы добавить некоторые ограничения для параметра: template <const char *str1, const char*... str2> struct restrictedValues…
11 апр '15 в 14:49
1
ответ
Как найти "минимальный охватывающий набор" для коллекции регулярных выражений?
КОНТЕКСТ: У меня небольшая (в настоящее время меньше 100), но растущая коллекция регулярных выражений, и я хочу оптимизировать процесс определения для заданной текстовой строки, какие из RE в моей коллекции соответствуют текстовой строке. Некоторые …
02 май '11 в 18:25
0
ответов
Упорядочение событий на основе векторных часов
У меня есть копии некоторой структуры данных и истории операций, которые произошли на ней. Каждая операция имеет метку времени с векторными часами. Предположим, три векторных часов: VC(a) = <1, 0, 0>, VC(b) = <0, 1, 0> а также VC(c) = &l…
05 ноя '17 в 12:44
3
ответа
Частичное упорядочение специализаций с не выводимым контекстом
Согласно [temp.class.order] §14.5.5.2, выбор частичной специализации t в этом примере: template< typename > struct s { typedef void v, w; }; template< typename, typename = void > struct t {}; template< typename c > struct t< c, …
19 июл '15 в 02:11
2
ответа
Как доказать разрешимость отношения, меняющего его параметры?
У меня есть ситуация, когда я определил индуктивный тип данных t и частичный заказ le за это (ср le_refl, le_trans, а также le_antisym). Орден имеет эту особенность в le_C В этом случае порядок аргументов поменялся местами в индуктивной гипотезе. Из…
31 авг '18 в 12:51
2
ответа
Частичное упорядочение шаблона - почему частичное удержание здесь успешно
Рассмотрим следующий простой (в той мере, в какой это касается шаблонных вопросов) пример: #include <iostream> template <typename T> struct identity; template <> struct identity<int> { using type = int; }; template<typenam…
13 июл '15 в 22:04
4
ответа
Частичное упорядочение с шаблоном функции, имеющим неопределенный контекст
Читая другой вопрос, я столкнулся с проблемой частичного упорядочения, которую я сократил до следующего контрольного примера. template<typename T> struct Const { typedef void type; }; template<typename T> void f(T, typename Const<T>…
24 июл '09 в 21:45
2
ответа
Частичное упорядочение с L-значением-ref
Почему это неоднозначно? template<class T> void g(T) {} // 1 template<class T> void g(T&) {} // 2 int main() { int q; g(q); } Я понимаю, что это частичный порядок контекста. И мое, возможно, ошибочное мышление: любой T& from #2 может…
22 янв '13 в 07:48
2
ответа
Когда два функциональных шаблона считаются частично упорядоченными, а когда - неоднозначными?
Я полностью запутался после прочтения вопроса Как сделать эти параметры std::function однозначными? До сих пор я думал, что понимаю, что такое частичное упорядочение шаблонов функций, но после прочтения этого вопроса я записал три примера, чтобы про…
11 окт '14 в 18:23
2
ответа
Определяет ли приведение указателей к целым числам общий порядок указателей?
(связано с моим предыдущим вопросом) В QT QMap Документация гласит: Тип ключа QMap должен обеспечивать operator<() указав общий заказ. Однако в qmap.hкажется, они используют что-то похожее на std::less сравнить указатели: /* QMap uses qMapLessTha…
03 июн '15 в 19:17
1
ответ
Почему scala.math.PartialOrdering.lteq является абстрактным, а не определенным в терминах.tryCompare?
Кажется, что scala.math.PartialOrdering.lteq всегда должен быть определен как (или, по крайней мере, дать тот же результат, что и): override def lteq(x: Pattern, y: Pattern) = { tryCompare(x, y).map(_ <= 0).getOrElse(false) } Есть ли какая-то при…
24 июн '12 в 08:21
0
ответов
Заказать другую часть запроса
У меня есть некоторые проблемы. Мне нужно использовать два порядка для разных частей набора запросов. Это означает: заказать все -> заказать первую часть -> заказать вторую часть for item in queryset: if not item.state.sold: on_sale_count +=1 querys…
21 сен '15 в 13:02