Вопросы по теме 'non-deterministic'
Что это означает, что недетерминированные пользовательские функции могут использоваться детерминированным образом?
Согласно странице MSDN SQL BOL (книги в Интернете) в разделе Детерминированные и недетерминированные функции , недетерминированные функции можно использовать " детерминированным образом "
Следующие функции не всегда являются...
14951 просмотров
schedule
01.03.2022
В С++ и С# выполняются ли множественные проверки условий в заранее определенной или случайной последовательности?
Ситуация: проверка условия на C++ или C# по многим критериям:
if (condition1 && condition2 && condition3)
{
// Do something
}
Я всегда считал, что последовательность, в которой выполняются эти проверки, не гарантируется....
4131 просмотров
schedule
18.11.2022
Создание недетерминированных функций в SQL Server с использованием RAND()
После небольшого поиска и чтения документации становится ясно, что вы можете писать пользовательские функции в SQL Server, которые помечены как детерминированные или недетерминированные, в зависимости от того, какие встроенные функции используются в...
7866 просмотров
schedule
09.06.2024
Почему недетерминированная функция выбора в стандартной библиотеке Curry определена не напрямую, а с помощью вспомогательной функции с двумя аргументами?
Рассмотрим функцию choose на языке программирования Curry со спецификацией, что " (choose xs) недетерминировано выбирает один элемент из список xs ".
Я бы реализовал это напрямую с помощью двух альтернативных недетерминированных правил:...
617 просмотров
schedule
17.06.2023
Mercury: Как объявить детерминизм типа данных более высокого порядка?
Когда я компилирую приведенный ниже код Mercury, я получаю эту ошибку от компилятора:
In clause for `main(di, uo)':
in argument 1 of call to predicate
`test_with_anonymous_functions.assert_equals'/5:
mode error: variable `V_15' has...
270 просмотров
schedule
09.03.2024
недетерминированный вопрос конечной автоматизации
Я кое-что изучаю и немного запутался в этом маленьком недетерминированном алгоритме, когда он обрабатывает 1. Я понимаю, что он разделится на бренд с q1, так как 0 или 1 перенаправят обратно, и что есть стрелка выхода к q2. равно 1, но зачем ему...
272 просмотров
schedule
13.01.2023
Неотлаживаемый недетерминированный гейзенбаг в однопоточном вызове функции C++
Здесь я на пределе: у меня есть однопоточная программа на C++. Вот некоторые эмпирические данные и справочная информация, я попытался выделить наиболее важные ключевые слова;
Весь раздел, о котором я говорю, не имеет никаких системных вызовов ,...
755 просмотров
schedule
27.04.2023
Используя TSQL, CAST() с COLLATE не является детерминированным. Как сделать его детерминированным? Что такое обходной путь?
У меня есть функция, которая включает в себя:
SELECT @pString = CAST(@pString AS VARCHAR(255)) COLLATE SQL_Latin1_General_Cp1251_CS_AS
Это полезно, например, для удаления акцентов во французском языке; Например:
UPPER(CAST('Éléctricité'...
1923 просмотров
schedule
27.10.2022
Тестирование недетерминированного поведения функции python
У нас есть большая и сложная функция, которая должна быть детерминированной. Это одна из рабочих лошадок в нашей компании, которая охватывает большой объем кода. Этот код часто становится недетерминированным из-за итератора Python dict. Это...
1417 просмотров
schedule
25.02.2023
Недетерминизм против проверяемости за полиномиальное время
Я читал, что проблема NP поддается проверке за полиномиальное время или, что то же самое, решается за полиномиальное время с помощью недетерминированной машины Тьюринга. Почему эти определения эквивалентны?
374 просмотров
schedule
18.07.2022
Является ли C с плавающей запятой недетерминированным?
Я где-то читал, что в C с плавающей запятой с двойной точностью существует источник недетерминизма следующим образом:
Стандарт C говорит, что 64-битные числа с плавающей запятой (двойные числа) необходимы для получения только 64-битной точности....
2013 просмотров
schedule
10.12.2022
Невозможно построить NFA с 4 состояниями для определенного регулярного выражения
В упражнении по NFA меня попросили построить NFA с 4 состояниями на основе регулярного выражения (aa|aab)*b. Я пытался построить его сам, но смог найти NFA только с 5 состояниями, что позже подтвердил онлайн-инструмент.
(Я нашел это без (4)...
119 просмотров
schedule
09.12.2022
Недетерминированный Math.pow(x, 2) [Scala]
В своем коде я начал замечать, что одни и те же начальные условия приводят к разным результатам.
После нескольких часов охоты я нашел, где возникает ошибка.
У меня есть простая функция, которая принимает несколько параметров, один из которых v...
64 просмотров
schedule
01.03.2023
Промела - недетерминизм не недетерминирован?
Рассмотрим этот фрагмент:
chan sel = [0] of {int};
active proctype Selector(){
int not_me;
endselector:
do
:: sel ? not_me;
if
:: 0 != not_me -> sel ! 0;
:: 1 != not_me -> sel ! 1;
:: 2 !=...
530 просмотров
schedule
15.07.2023
Являются ли эпсилон и пустые языки NFA? (Недетерминированные конечные автоматы)
У меня есть NFA, как это:
и вопрос:
Являются ли языки эпсилон и пустой набор этой NFA?
990 просмотров
schedule
03.03.2023
Понимание строки, помещаемой в стек в NPDA
Я изучаю NPDA, и, честно говоря, я пытаюсь понять, на что я смотрю в этой проблеме:
Что именно определило, что «aaz» или «aaa» были помещены в стек? Имеет ли это значение, если они появляются при чтении b?
118 просмотров
schedule
17.06.2022
MSSQL Почему эта функция недетерминирована
У меня есть эта пользовательская функция, которая всегда помечается как недетерминированная, хотя значение всегда будет одинаковым, если входной параметр один и тот же. Все, что я читал, предполагает, что это должно быть детерминированным....
108 просмотров
schedule
21.02.2023
Действительно воспроизводимые контейнеры Docker?
Существует тенденция безопасности, называемая воспроизводимыми сборками . копии выходных двоичных файлов, чтобы пользователь мог проверить, заслуживает ли доверия версия, найденная в Интернете. Есть ли подобное движение и инструменты в сообществе...
59 просмотров
schedule
17.11.2022
ошибка недетерминированной модели содержимого DTD
Данный:
<!ELEMENT diagnostic-tracks (hookup*, (%step;)*, ((diagnostic-track-automated, diagnostic-track-manual) | diagnostic-track-automated | diagnostic-track-manual), evaluate*, disconnect*)>
а также
<!ELEMENT...
86 просмотров
schedule
28.08.2022
Независимая от порядка сумма с плавающей запятой
Я знаю, что сложение с плавающей запятой не ассоциативно: (a + b) + c вообще не равно a + (b + c) . Таким образом, этот алгоритм для суммы может дать другой результат в зависимости от порядка ввода:
float naive_sum(float[] input) {
float...
108 просмотров
schedule
18.06.2023
