Информатика

Существует ли алгоритмический подход для определения того, что даты, указанные в абзаце, соотносятся с конкретными событиями (фразами) в абзаце? Пример, рассмотрим следующий абзац: В июне 1970 года великий лидер принес присягу. Но только после мая 1972 года, после смерти государственного министра, он взял на себя управление страной. Хотя он пользовался …

13 algorithms  data-mining  natural-language-processing 

Эвристическая функция ...h(n)h(n)h (n) Согласованно, если оценочная стоимость от узла до цели не превышает стоимость шага для его преемника плюс расчетную стоимость от преемника до цели.n ′nnnn′n′n' Допустимо, если никогда не переоценивает истинную стоимость состояния цели.h(n)h(n)h(n) В учебнике для моего курса по искусственному интеллекту говорится, что согласованность сильнее допустимости, но …

13 algorithms  shortest-path  heuristics 

Похоже, что «Основные регулярные выражения», как определено в POSIX.1-2008 , не поддерживают чередование a|b(хотя некоторые реализации grep распознают экранированную версию \|). Поскольку регулярные языки по определению замкнуты относительно объединения, означает ли это, что POSIX BRE обладает меньшей выразительной силой, чем конечный автомат? Или есть какой-то способ имитации чередования с использованием …

13 formal-languages  regular-expressions 

Могут ли быть внесены какие-либо изменения в ЦП, чтобы они работали лучше для одновременных сред выполнения, таких как Rust? Например, есть ли изменения в реализациях прогнозирования ветвлений или размерах кэша, которые могли бы помочь одновременным выполнениям? У меня сложилось впечатление, что текущие конструкции ЦП могут быть оптимизированы в большей степени …

13 computer-architecture  concurrency  functional-programming 

Я думал, что правильно понял зависимую типизацию (DT), но ответ на этот вопрос: /cstheory/30651/why-was-there-a-need-for-martin-l%C3% Теория типа «создать творческий интуиционизм» заставила меня думать иначе. После прочтения DT и попыток понять, что они из себя представляют, я пытаюсь задаться вопросом, что мы получаем от этого понятия DT? Они кажутся более гибкими и …

13 logic  type-theory  intuition 

Хорошо известная проблема SAT определена здесь для справки. Проблема DOUBLE-SAT определяется как DOUBLE-SAT={⟨ϕ⟩∣ϕ has at least two satisfying assignments}DOUBLE-SAT={⟨ϕ⟩∣ϕ has at least two satisfying assignments}\qquad \mathsf{DOUBLE\text{-}SAT} = \{\langle\phi\rangle \mid \phi \text{ has at least two satisfying assignments}\} Как мы можем доказать, что это NP-полная? Будет оценен более чем один способ …

13 complexity-theory  np-complete  satisfiability 

Динамическое программирование может сократить время, необходимое для выполнения рекурсивного алгоритма. Я знаю, что динамическое программирование может помочь уменьшить временную сложность алгоритмов. Являются ли общие условия такими, чтобы при выполнении рекурсивного алгоритма подразумевалось, что использование динамического программирования уменьшит временную сложность алгоритма? Когда я должен использовать динамическое программирование?

13 algorithms  dynamic-programming  efficiency  algorithm-design 

Я новичок (абсолютный новичок в теории вычислительной сложности), и у меня есть вопрос. Допустим, у нас есть «проблема коммивояжера», решит ли ее следующее применение алгоритмов Дейкстры? Из начальной точки мы вычисляем кратчайшее расстояние между двумя точками. Мы идем к сути. Удаляем исходную точку. Затем мы вычисляем следующую кратчайшую точку расстояния …

13 algorithms  graphs 

При сообщении алгоритмической сложности алгоритма предполагается, что базовые вычисления выполняются на некоторой абстрактной машине (например, ОЗУ), которая приближается к современному ЦП. Такие модели позволяют нам сообщать о временной и пространственной сложности алгоритмов. Теперь, с распространением GPGPU , возникает вопрос, существуют ли хорошо известные модели, в которых можно учитывать и энергопотребление. …

13 complexity-theory  computer-architecture  power-consumption  machine-models 

Закрыто. Этот вопрос не по теме . В настоящее время он не принимает ответы. Хотите улучшить этот вопрос? Обновите вопрос так это на тему для Computer Science Stack Exchange. Закрыто 2 года назад . Типы AFAIU могут быть Setэлементами, чьи элементы являются программами, или propositionэлементами, чьи элементы являются доказательствами. Итак, …

13 dependent-types  coq 

Если у меня есть две матрицы AAA и BВB с размерами 1000×21000×21000\times2 и 2×10002×10002\times1000 , соответственно, и я хочу вычислить (AB)5000(AВ)5000(AB)^{5000} , более эффективно сначала переписать выражение как A(BA)4999BA(ВA)4999ВA(BA)^{4999}B и только потом оценивать численно, потому что ABAВAB имеет размер 1000×10001000×10001000\times1000 а BABABA имеет размер 2×22×22\times2 . Я хочу решить обобщенную …

13 optimization  dynamic-programming  linear-algebra 

Из того, что я прочитал в preliminary version of a chapter of the book “Lectures on Scheduling” edited by R.H. M¨ohring, C.N. Potts, A.S. Schulz, G.J. Woeginger, L.A. Wolsey, to appear around 2011 A.D. Это определение PTAS : Схема аппроксимации полиномиального времени ( PTAS ) для задачи - это схема …

13 algorithms  complexity-theory  terminology  complexity-classes  approximation 

Я думал, что этот вопрос лучше обслуживать в CS-части Stack Exchange. Теперь, когда у нас есть GPGPU с такими языками, как CUDA и OpenCL, мультимедийные расширения SIMD (SSE / AVX / NEON) все еще служат цели? Недавно я прочитал статью о том, как можно использовать инструкции SSE для ускорения сортировки …

13 computer-architecture  parallel-computing 

Наши современные компьютеры используют биты, поэтому они используют двоичную систему счисления. Но я слышал, что будущие квантовые компьютеры будут использовать кубиты вместо простых бит. Поскольку в слове «кубит» есть слово «би», я сначала подумал, что это означает, что квантовые компьютеры будут использовать двоичные файлы (база 2). Но потом я услышал, …

13 computer-architecture  quantum-computing  numeral-representations 

У меня есть следующий вопрос, но у меня нет ответа на этот вопрос. Буду признателен, если мой метод правильный: Q. При поиске значения ключа 60 в двоичном дереве поиска узлы, содержащие значения ключа 10, 20, 40, 50, 70, 80, 90, пересекаются, необязательно в указанном порядке. Сколько возможных порядков, в которых …

13 data-structures  combinatorics  binary-trees  search-trees  graph-traversal