Информатика

Этот вопрос был перенесен из переполнения стека, поскольку на него можно ответить в разделе «Информатика в стеке». Мигрировал 7 лет назад . Определение логической задачи Min Cut (LMC) Предположим, что G=(V,E)G=(V,E)G = (V, E) - невзвешенный орграф, sss и ttt - две вершины VVV , и ttt достижимо из sss …

24 complexity-theory  graph-theory  np-complete 

Эти термины смущают меня. Насколько я понимаю SAT решатель: решить выполнимость логики высказываний (используя DPLL или локальный поиск). Процедура принятия решения - это процедура определения выполнимости некоторой разрешимой теории первого порядка. SMT-решатель - это SAT-решатель + процедура принятия решения. Теорема доказатель указывает что-то вроде динамической логики, например, инструмент KeY Решатель …

24 algorithms  terminology  reference-request  decision-problem 

Я пытаюсь получить представление о том, как следует интерпретировать тест простоты AKS, когда узнаю о нем, например, следствие для доказательства того, что PRIMES ⊆ P, или действительно практичный алгоритм тестирования простоты на компьютерах. Тест имеет полиномиальное время выполнения, но с высокой степенью и возможными высокими константами. Итак, в практическом смысле, …

24 algorithms  efficiency  primes 

Вдоль той же мысли, что и это высказывание Андрея Бауэра в этом ответе Сообщество Haskell разработало ряд методов, основанных на теории категорий, из которых монады наиболее известны, но их не следует путать с монадами . Какова связь между функторами в SML и функторами в теории категорий? Поскольку я не знаю …

24 programming-languages  functional-programming  category-theory 

Конструктивистская логика - это система, которая исключает Закон Исключенной Среды, а также Двойное Отрицание как аксиомы. Это описано в Википедии здесь и здесь . В частности, система не допускает доказательств от противного. Мне интересно, кто-нибудь знаком с тем, как это влияет на результаты, касающиеся машин Тьюринга и формальных языков? Я …

24 formal-languages  turing-machines  logic  proof-techniques  undecidability 

Этот вопрос был перенесен из переполнения стека, поскольку на него можно ответить в разделе «Информатика в стеке». Мигрировал 7 лет назад . Меня слегка смущает некоторая терминология, с которой я столкнулся в отношении сложности задач оптимизации. В классе алгоритмов у меня была большая проблема скупости, описанная как NP-полная. Однако я …

24 complexity-theory  np-complete  terminology 

Ли сглаженный анализ найти свой путь в основной анализ потока алгоритмов? Обычно разработчики алгоритмов применяют сглаженный анализ к своим алгоритмам?

24 algorithms  complexity-theory  algorithm-analysis 

Читая книгу, я натолкнулся на следующий абзац: Для синхронизации всех операций компьютера используются системные часы - маленький кристалл кварца, расположенный на материнской плате. Системные часы регулярно посылают сигнал всем остальным компонентам компьютера. И еще один абзац: Многие персональные компьютеры сегодня имеют системные тактовые частоты, работающие на частоте 200 МГц, и …

24 computer-architecture  clocks 

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

24 turing-machines  quantum-computing 

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

23 algorithms  np-complete  reductions  traveling-salesman  sudoku 

Я смотрел « Пять этапов принятия конструктивной математики » Андрея Бауэра, и он говорит, что существует два вида доказательств от противного (или две вещи, которые математики называют доказательством от противного): Предположим, что является ложным ... бла-бла-бла, противоречие. Следовательно, верно.ПпPPпPP Предположим, что это правда ... бла-бла-бла, противоречие. Следовательно, ложно.ПпPPпPP Первый из …

23 halting-problem  coq 

Это наивный и, следовательно, возможно, некорректный вопрос, поэтому заранее извиняюсь! Я считаю, что машина Тьюринга может рассматриваться как вычислительная основа для процедурных / императивных языков программирования. Точно так же лямбда-исчисление является основой для функциональных языков программирования. Недавно я узнал, что тезис Черча-Тьюринга также показывает взаимную эквивалентность с третьей моделью вычислений: …

23 programming-languages  mathematical-foundations  church-turing-thesis 

В теории вычислимости вычислимые функции также называют рекурсивными функциями. По крайней мере, на первый взгляд, они не имеют ничего общего с тем, что вы называете «рекурсивным» в повседневном программировании (т. Е. Функциями, которые сами себя вызывают). Каково реальное значение рекурсивности в контексте вычислимости? Почему эти функции называются «рекурсивными»? Другими словами: …

23 computability  terminology  history 

Я был в Википедии в списке нерешенных проблем информатики и обнаружил следующее: возможна ли криптография с открытым ключом? Я думал, что шифрование RSA было формой криптографии с открытым ключом? Почему это проблема?

23 cryptography 

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

23 terminology  computer-vision