Вопросы с тегом «terminology»

вопросы об определениях, терминах и общеупотребительных именах в теоретической информатике.

6
Регулярные выражения не
Спросите даже кого-то, имеющего опыт работы в области компьютерных наук, что такое регулярное выражение, и ответ, вероятно, выйдет за пределы возможности быть в пределах досягаемости конечного автомата. Например, «регулярное выражение» /^1?$|^(11+?)\1+$/ созданная известной личностью Perl Абигейл (и часть набора тестов Perl с 2002 года) описывает машину, которая принимает только составные …
1
Проблема удовлетворенности ограничением (CSP) и выполнимость по модулю теории (SMT); с кодой на программировании ограничений
Кто-нибудь осмелится попытаться выяснить, какова связь между этими областями обучения или, возможно, даже дать более конкретный ответ на уровне проблем? Например, включает в себя некоторые общепринятые формулировки. Если я правильно понял, когда вы переходите от SAT к SMT, вы в основном входите в поле CSP; наоборот, если вы ограничиваете CSP …
2
Происхождение и применение теории А против теории Б?
В паре недавних вопросов ( q1, q2 ) обсуждалась «Теория А» и «Теория В», по-видимому, чтобы уловить разрыв между изучением логики и языков программирования и изучением алгоритмов и сложности. Эта терминология была для меня новой, и при быстром поиске в Интернете не было никаких явных ссылок, объясняющих это. Кто-нибудь знает …
3
В чем разница между переписыванием терминов и сопоставлением с образцом?
Поскольку в Lambda the Ultimate не было ответа, я пробую это снова: системы переписывания терминов используются, например, в автоматизированной теореме, доказывающей символьные вычисления, и, конечно, для определения формальных грамматик. Есть некоторые языки программирования, основанные на переписывании терминов, но, насколько я понимаю, концепция больше известна как сопоставление с образцом . Сопоставление …
4
Есть ли проблемы без эффективных алгоритмов, где теоремы существования доказали, что такие алгоритмы должны существовать?
Существуют ли проблемы в CS, где эффективные алгоритмы не известны, несмотря на теоремы существования, доказывающие, что такие эффективные алгоритмы должны существовать? Как называются эти проблемы? Где я могу узнать больше?
1
Почему идеальные графики называются идеальными?
Извините, если это наивный вопрос, но я не смог найти оправдания ни в одном из основных учебников, таких как Бонди-Мёрти, Дистел или Уэст. У совершенных графиков есть много прекрасных свойств, но какова единственная причина, по которой их называют идеальными? Или это просто эстетическое предпочтение Берге?
1
Как называется этот тип задачи ориентированного графа?
Возьмем ориентированный граф края которого украшены натуральным числом. Нам нужно множество всех путей P между двумя вершинами v 1 и v 2 , чтобы каждое последующее ребро в пути было украшено натуральным числом, которое больше натурального числа, украшающего предыдущее ребро.GGGPPPv1v1v_1v2v2v_2 Заявка на это будет расписание автобусов или поездов. Если вы …
3
Есть ли название для «физических вещей, из которых можно построить машину Тьюринга»?
Одна из удивительных вещей в компьютерной науке заключается в том, что физическая реализация в некотором смысле «неактуальна». Люди успешно создали компьютеры из нескольких различных подложек - реле, вакуумных трубок, дискретных транзисторов и т. Д. Вскоре люди могут преуспеть в создании компьютеров с полной Тьюрингом из нелинейных оптических материалов, различных биомолекул …
2
Является ли пропозициональное разрешение полной системой доказательств?
Этот вопрос касается логики высказываний, и все случаи «разрешения» следует понимать как «предложенные решения». Этот вопрос является чем-то чрезвычайно основным, но это беспокоило меня некоторое время. Я вижу, как люди утверждают, что решение по предложению завершено, но я также вижу, что люди утверждают, что решение является неполным. Я понимаю смысл, …
4
Является ли eta-эквивалентность для функций совместимой с операцией seke в Haskell?
Лемма: Предполагая, что эта эквивалентность у нас есть (\x -> ⊥) = ⊥ :: A -> B. Доказательство: ⊥ = (\x -> ⊥ x)по eta-эквивалентности и (\x -> ⊥ x) = (\x -> ⊥)по сокращению под лямбду. В отчете Haskell 2010, раздел 6.2, seqфункция определяется двумя уравнениями: seq :: a …
1
Как проблема может быть в NP, быть NP-сложной, а не NP-полной?
Долгое время я думал, что задача была NP-полной, если она (1) NP-сложная и (2) в NP. Однако в известной статье «Метод эллипсоидов и его последствия в комбинаторной оптимизации» авторы утверждают, что проблема дробного хроматического числа принадлежит NP и является NP-сложной, но пока неизвестно, что она NP-полная. На третьей странице статьи …
1
Эквивалентные определения конструктивности времени
Мы говорим, что функция f:N→Nf:N→Nf:\mathbb{N}\rightarrow\mathbb{N} является конструируемой во времени , если существует детерминированная многоленточная машина Тьюринга MMM которая на всех входах длины nnn делает не более f(n)f(n)f(n) шагов, и для каждого существует некоторый вход длина на которой делает точно шагов.n M f ( n )nnnnnnMMMf(n)f(n)f(n) Будем говорить , что функция …
1
Что такое «псевдо время» при сравнении с семафорами
В настоящее время я слушаю выступление Алана Кейса "Это действительно сложно или мы просто усложнили?" ( https://www.youtube.com/watch?v=ubaX1Smg6pY&= ), где он говорит, что «семафоры были плохой идеей и что-то под названием псевдо-время было превосходным» (в 51:40 на связанном видео). Может быть, я неправильно понял слово «псевдо время», но знаете ли вы …
2
Почему лямбда-исчисление является «исчислением»?
Единственное определение «исчисления», которое я знаю, - это изучение пределов, производных, интегралов и т. Д. В анализе. В каком смысле лямбда-исчисление (или такие вещи, как mu calculus) является «исчислением»? Как это связано с исчислением в анализе?
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.