Вопросы с тегом «reference-request»

Алгоритм Рамер-Дуглас-Peucker для упрощения линии имеет наихудший среда выполнения. Для правильно распределенных случайных входов ожидаемая сложность времени выполнения . В 2D есть другие алгоритмы со сложностью времени выполнения худшем случае , которые вычисляют точно такой же результат, что и алгоритм Рамера-Дугласа-Пекера. Поскольку эти алгоритмы основаны на структуре данных «траектория (выпуклая) …

19 reference-request  computational-geometry  randomized-algorithms 

Постоянные структуры данных являются неизменными структурами данных. Операции над ними возвращают новую «копию» структуры данных, но измененную операцией; старая структура данных остается неизменной. Эффективность обычно достигается за счет совместного использования некоторых базовых данных и предотвращения полного копирования структуры данных. Вопросов: Есть ли результаты о классах структур данных, которые можно сделать …

19 reference-request  data-structures  functional-programming  persistent-data-structure 

Я начинаю личное библиографическое исследование по алгоритмам проверки типов и хочу несколько советов. Какие алгоритмы, стратегии и общие методы проверки типов наиболее часто используются? Меня особенно интересуют сложные алгоритмы проверки типов, которые были реализованы в широко известных строго статических типизированных языках, таких как, например, C ++, Java 5+, Scala или …

19 algorithms  programming-languages  reference-request  type-checking 

У меня есть небольшой исторический вопрос, а именно, как следует из заголовка, я ищу раннее использование деревьев (в качестве структуры данных, дерева поиска и т. Д.) В компьютерной науке.

18 data-structures  reference-request  trees  history 

Говорят, что «Юджин Густман», компьютерная программа, разработанная для имитации 13-летнего мальчика, сумела убедить 33% судей, что это был человек, и, таким образом, прошла тест Тьюринга. Компьютерная программа, она же чатбот, притворялась 13-летним украинским мальчиком, для которого английский был вторым языком - что-то совсем другое. Для меня Евгений звучит точно так …

18 reference-request  artificial-intelligence  history  turing-test 

Проблемы с обрезкой - это проблемы, при которых определенный большой объект следует разрезать на несколько небольших объектов. Например, представьте , у вас есть завод , который работает с большими листами сырого стекла, шириной и длиной . Есть несколько покупателей, каждый из которых хочет неограниченное количество маленьких стеклянных листов. Покупатель хочу …

18 reference-request  computational-geometry  lower-bounds  packing 

Я начал читать все больше и больше статей по языковым исследованиям. Я нахожу это очень интересным и хорошим способом узнать больше о программировании в целом. Тем не менее, как правило , приходит раздел , где я всегда борюсь с (Возьмем, например , части третьей этой ) , так как мне …

18 logic  reference-request  terminology  type-theory 

Как следует из моего предыдущего вопроса , я играл с гипотезой Римана как с рекреационной математикой. В ходе этого процесса я столкнулся с довольно интересным повторением, и мне любопытно, как оно называется, как оно сокращается, и как оно приспосабливается к разрешимости разрыва между простыми числами. Говоря кратко, мы можем определить …

18 complexity-theory  reference-request  recurrence-relation  mathematical-analysis 

Существует ли машина Тьюринга, которая останавливается на всех входах, но это свойство не доказуемо по какой-то причине? Мне интересно, если этот вопрос был изучен. Обратите внимание, что «недоказуемое» может означать «ограниченную» систему доказательств (которая в слабом смысле думает, что ответ должен быть да). Меня, конечно, интересует самый сильный ответ, т. …

17 computability  reference-request  turing-machines  halting-problem 

Решатели SAT становятся все более и более эффективными в решении больших случаев и используются в качестве бэкэнда в различных контекстах. Каждый раз, когда кто-то хочет использовать их для решения проблемы в определенной области, он / она должен придумать специальную кодировку, которая не только имеет правильный набор решений, но также помещает …

17 reference-request  satisfiability  sat-solvers 

Пусть - фиксированная функция, построенная по времени.fff Классический универсальный результат моделирования для ТМ (Hennie and Stearns, 1966) гласит, что существует ТМ с двумя лентами , для которогоUUU описание МТ , и⟨M⟩⟨M⟩\langle M \rangle входная строка ,xxx работает для шагов и возвращает ответ M на x . А g можно принять …

16 complexity-theory  reference-request  turing-machines  machine-models  simulation 

Немного подставного лица: я специалист по информатике и работаю программистом. Итак, извините, если эта подсказка кажется несколько за пределами левого поля - я обычно играю с математической симуляцией и открываю задачи, когда мне нечего делать. Играя с гипотезой Римана , я определил, что главный разрыв может быть уменьшен до рекуррентного …

16 algorithms  reference-request  discrete-mathematics 

Я узнал, что в графическом процессоре есть нечто, называемое объединением памяти. Читая об этом, я не был ясно по теме. Это как-то связано с параллелизмом уровня памяти. Я искал в Google, но не смог получить удовлетворительный ответ. Было бы полезно, если бы кто-то дал более полное и понятное объяснение.

16 terminology  reference-request  computer-architecture  memory-management 

Недавно я чрезвычайно заинтересовался пониманием и доказательством аспектов (функциональных) языков программирования. Однако, как я углублюсь в глубину, такие вещи, как исчисление , теория категорий и денотационная семантика, немного трудно найти без надлежащего объяснения.λλ\lambda Я читаю SICP (довольно поучительная книга), но я хочу углубиться в теорию функционального программирования. Есть ли какие-нибудь …

16 reference-request  lambda-calculus  functional-programming  books 

Я читал в Stack Overflow вопрос о том, является ли NP- трудным перечисление всех простых циклов в графе, содержащем определенный узел, и мне пришло в голову, что я не могу придумать какой-либо существующий класс сложности, который хорошо подходит для разговор о проблемах в форме «перечислите все решения этой проблемы». Класс …

15 complexity-theory  reference-request  complexity-classes  enumeration