6
ответов
Общие правила для упрощения SQL-операторов
Я ищу некоторые "правила вывода" (подобный правилам операции присвоения или логическим правилам), который я могу использовать для сокращения SQL-запроса в сложности или размере. Там существует что-то как этот? Любые бумаги...
вопрос задан: 16 March 2016 12:57
4
ответа
Шаги сокращения представления в Haskell
Там какой-либо путь состоит в том, чтобы просмотреть шаги сокращения в haskell, т.е. проследить выполненные вызовы рекурсивной функции? Например, chez схема предоставляет нам лямбду трассировки. В Haskell существует ли эквивалентная форма?
вопрос задан: 21 March 2016 10:19
2
ответа
Этапы сокращения функции-предшественника лямбда-исчисления
Я застрял в описании в Википедии функции-предшественника в лямбда-исчислении. Википедия говорит следующее: PRED: = λnfx.n (λgh.h (gf)) (λu.x) (λu.u) Может кто-нибудь ...
вопрос задан: 9 January 2012 14:51
2
ответа
Сокращение Лямбда-исчисления
Все, Ниже являются лямбда-выражением, которое я нахожу трудным уменьшить, т.е. Я не могу понять, как пойти об этой проблеме. (λm λn λa λb. m (n b) b) (λ f x. x) (λ f x. f x) Это...
вопрос задан: 29 July 2010 12:45
1
ответ
Первый параметр в инструкции shuffle war в описании CUDA 9 [дубликат]
С CUDA 9 у нас есть новая версия функции перетасовки warp, и они устарели предыдущие. Но первый параметр для этих функций, называемый «маска», и я не могу просто найти какие-либо подробности ...
вопрос задан: 1 June 2018 08:30
0
ответов
Proof that Dominating Set is NP-Complete
here is the question. I am wondering if there is a clear and efficient proof: Vertex Cover: input undirected G, integer k > 0. Is there a subset of
vertices S, |S|<=k, that covers all edges? ...
вопрос задан: 25 May 2012 10:22
0
ответов
Reducing логическое выражение
Предположим, у меня есть выражение a = 1 && (b = 1 || b! = 0) && (c> = 35 || d! = 5) && (c> = 38 || d = 6) Я ожидаю, что оно будет сокращено до, a = 1 && b! = 0 & ...
вопрос задан: 20 March 2012 09:51
0
ответов
Java конвертирует хэш в случайную строку
Я пытаюсь разработать функцию сокращения для использования в генераторе радужных таблиц. Основной принцип функции сокращения состоит в том, что она принимает хэш, выполняет некоторые вычисления и ...
вопрос задан: 19 February 2012 20:55
0
ответов
сокращение openCL и передача 2d-массива
Вот цикл, который я хочу преобразовать в openCL. for (n = 0; n
вопрос задан: 9 January 2012 14:48
0
ответов
OpenMP: предложения nowait и Reduction в одной прагме
Я изучаю OpenMP и наткнулся на следующий пример: #pragma omp parallel shared (n, a, b, c, d , сумма) частный (i)
{#pragma omp for nowait for (i = 0; i
вопрос задан: 11 June 2011 12:27
0
ответов
Call by value in the lambda calculus
I'm working my way through Types and Programming Languages, а Пирс, для стратегии call by value reduction, приводит пример термина id (id (λz. id z)). Внутренний редекс id (λz. id z) ...
вопрос задан: 29 May 2011 18:43
0
ответов
Как создать купон на конкретный продукт в Magento?
Допустим, у меня есть 10% скидочный купон. Этот купон применим только к продукту B Покупатель имеет в своей корзине: Продукт P1 Продукт B Продукт P2 Я не хочу, чтобы мой купон на скидку 10% относился к другим ...
вопрос задан: 17 March 2011 11:20
0
ответов
Можно ли уменьшить массив с помощью openmp?
Поддерживает ли OpenMP изначально сокращение переменной, представляющей массив? Это будет работать примерно так ... float * a = (float *) calloc (4 * sizeof (float));
omp_set_num_threads (13);
# ...
вопрос задан: 24 October 2010 17:53