Рассмотрим следующую проблему: Пусть - конечное подмножество натуральных чисел.S= { с1, с2, . , , sN}Sзнак равно{s1,s2,,,,sN}S = \{ s_1, s_2, ... s_n \} Пусть | где - наибольший общий делитель и yg c d ( s i , s j ) s i , s j ∈ S , s i ≠ s j } g c d ( x , y ) x yG = {гзнак равно{G = \{ гс д( ся,...
Я занимаюсь следующими упражнениями в Фонде программного обеспечения : (** **** Exercise: 2 stars (baz_num_elts) *) (** Consider the following inductive definition: *) Inductive baz : Type := | x : baz -> baz | y : baz -> bool -> baz. (** How _many_ elements does the type [baz] have? (*...
Я думал о написании хобби операционной системы для некоторых процессоров ARM. Есть много популярных одноплатных компьютеров с ARM MPU, поэтому я просто хотел купить один из них (выбирая один с более открытой документацией). Я был удивлен, когда узнал, что даже платы с действительно достаточным...
Мне было интересно, если у этой проблемы есть имя: Для простого графа, ребра которого окрашены в красный, синий и зеленый цвета, , существует ли раскраска вершин такая, что каждое ребро имеет конечную точку с тем же цветом?G = ( V, B ∪ R ∪ G )гзнак равно(В,В∪р∪г)G=(V,B\cup R\cup G)с : V→ { B , R ,...
Ответ Бабу на недавний вопрос напоминает мне о том, что когда-то я читал статью об эквивалентности (с точки зрения как фактов, которые можно вывести или доказать, так и сложности времени выполнения алгоритма вывода) анализа потока данных , абстрактная интерпретация , и тип логического вывода . В...
При обновлении весов нейронной сети с использованием алгоритма обратного распространения с импульсом, должна ли скорость обучения применяться и к члену импульса? Большая часть информации, которую я мог найти об использовании импульса, имеет уравнения, выглядящие примерно так:...
В предыдущем вопросе Что такое алгоритм? Я спросил, является ли алгоритм алгоритмом, который возвращает значение функции, основанной на массиве предварительно вычисленных значений. Один из ответов, который привлек мое внимание, был таким: Факторный пример попадает в другую модель вычисления,...
Предположим, нам дан набор из строк, S 1 , … , S n . Я хотел бы знать, является ли какая-либо из этих строк подстрокой любой другой строки в коллекции. Другими словами, я хотел бы алгоритм для следующей задачи:NnnS1, … , SNS1,…,SnS_1,\dots,S_n Ввод: S1, … , SNS1,…,SnS_1,\dots,S_n Вывод: такой, что...
Valiant & Vazirani доказал, что SAT сводится к UNIQUE SAT при рандомизированных вероятностных сокращениях за полиномиальное время. Calabro et al . показал, что УНИКАЛЬНЫЙ k-SAT такой же жесткий, как и k-SAT. Теперь возникает вопрос: если кто-то показывает, что UNIQUE k-SAT находится в P,...
Может ли кто-нибудь объяснить мне, что именно забывает ОЗУ? Я нашел следующее объяснение, которое делает его довольно понятным для меня, но я хотел бы получить представление о технических аспектах: Шифрование не всегда достаточно для обеспечения конфиденциальности. Если злоумышленник может...
Скажем, у меня есть неориентированный конечный разреженный граф, и мне нужно эффективно выполнять следующие запросы: IsConnected(N1,N2)IsConnected(N1,N2)IsConnected(N_1, N_2) - возвращает если есть путь между и N_2 , в противном случае FН 1 Н 2 FTTTN1N1N_1N2N2N_2FFF...
Как мы можем гарантировать, что мы продолжаем делать правильные и обоснованные заявления о классах сложности при использовании машин оракула Тьюринга? В соответствии с моим пониманием (на основе определений, данных во вводных учебниках по этой теме), машины оракула Тьюринга могут определить статус...
Я хотел бы привести цитату из Nielsen & Chuang, Quantum Computing and Quantum Information, издание, посвященное 10-й годовщине, стр. 5 (выделено мной): Один класс вызовов для сильного тезиса Черча-Тьюринга исходит из области аналоговых вычислений. За годы, прошедшие после Тьюринга, многие...
В настоящее время я готовлюсь к экзамену по информатике и наткнулся на концепцию, которая несколько озадачила меня. Когда вы набираете клавишу на клавиатуре, символ ASCII передается в CPU. После получения этого символа CPU выводит тот же символ на экран. Этот процесс называется эхом. Вместо того,...
Хотя я работаю программистом в своей повседневной жизни и использую все модные языки (Python, Java, C и т. Д.), У меня все еще нет четкого представления о том, что такое функциональное программирование. Из того, что я прочитал, одно свойство функциональных языков состоит в том, что структуры данных...
Существуют ли какие-либо известные субквадратичные алгоритмы для вычисления минимального значения квадратного корня из nцелого бита? Наивный алгоритм будет что-то вроде def sqrt(x): r = 0 i = x.bit_length() // 2 while i >= 0: inc = (r << (i+1)) + (1 << (i*2)) if inc <= x: x -= inc...
Я второкурсник средней школы, который интересуется информатикой. Я разработал классный алгоритм для #SAT, и я реализую и выполняю научный проект на нем. Моя консультант, которая является лучшим учителем естественных наук в моей школе, а также преподавателем AP Comp Sci, сказала мне, что она...
Рассмотрим следующую проблему: Входные данные : списки X,YX,YX,Y целых чисел Цель : определить, существует ли целое число в обоих списках.xxx Предположим, что оба списка имеют размер . Существует ли детерминистический алгоритм с линейным временем для этой задачи? Другими словами, можете ли вы...
Поскольку я готовлюсь к курсу обучения в колледже формальных языков, я наткнулся на эти увлекательные посты ( Один Два ), в которых описывается, как найти простое число с помощью регулярного выражения . Как я уже сказал, регулярное выражение , а не регулярное выражение . Поскольку регулярное...
В « Концепциях языков программирования» Джон Митчелл пишет, что статическая проверка типов обязательно является консервативной (чрезмерно строгой) из-за проблемы остановки. Он приводит в качестве примера: if (complicated-expression-that-could-run-forever) then (expression-with-type-error) else...