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

Ссылка-запрос используется, когда автору необходимо узнать о работе, связанной с вопросом.

1
Существуют ли варианты визуально выпадающих автоматов, которые позволяют помещать слова в стек?
Мне интересно, есть ли какие-либо статьи или исследования, посвященные явно выталкивающим автоматам, но позволяющие помещать слова, а не отдельные буквы, в стек. С другой стороны, конструкция, которая позволяла нажимать символы на ϵϵ\epsilon переходы, могла бы достичь той же цели. Очевидно, что такие вариации могут быть сформированы, но мне интересно, разрушает …
1
Параметрическость и проективные исключения для зависимых записей
π 1 : A × B → A π 2 : A × B → BA×B≜∀α.(A→B→α)→αA×B≜∀α.(A→B→α)→α A \times B \triangleq \forall\alpha.\; (A \to B \to \alpha) \to \alpha π1:A×B→Aπ1:A×B→A\pi_1 : A \times B \to Aπ2:A×B→Bπ2:A×B→B\pi_2 : A \times B \to B Это не так удивительно, хотя естественное чтение типа F …
1
?
Читая блог Дика Липтона, я наткнулся на следующий факт в конце его поста о факторе Борна : Если для каждого существует отношение вида где , и каждый из , и является по длине в битах, тогда факторинг имеет полином размерные схемы.( 2 n ) ! = m - 1 ∑ …
4
Параметризованный алгоритм поиска бикликов
Для заданного ненаправленного графа из вершин, какова наилучшая известная оценка времени выполнения для нахождения подграфа, который является k × k -бикликом? Существуют ли более быстрые параметризованные алгоритмы, чем алгоритм времени для "угадывания" одной стороны биклика и проверки, есть ли хотя бы других вершин, инцидентных всем им?NNnк × кК×Кk\times k( нК) …
1
Ищу Скотта оригинальную бумагу LCF
Доступна ли следующая рукопись публично? Дана Скотт, 1969, Теория вычислимых функций высшего типа . Неопубликованные заметки семинара, 7 страниц, Оксфордский университет. Эта статья обсуждается в разделе 8.1.2, Типы как множества , в Cardone & Hindley, 2006 История лямбда-исчисления и комбинаторной логики ; кроме того, в разделе 10.1, « Теория предметной …
1
Как называется этот тип задачи ориентированного графа?
Возьмем ориентированный граф края которого украшены натуральным числом. Нам нужно множество всех путей P между двумя вершинами v 1 и v 2 , чтобы каждое последующее ребро в пути было украшено натуральным числом, которое больше натурального числа, украшающего предыдущее ребро.GGGPPPv1v1v_1v2v2v_2 Заявка на это будет расписание автобусов или поездов. Если вы …
1
Тавтологии / противоречия в среднем случае за пределами случайной модели k-CNF
Хорошо известно, что случайные формулы -CNF над n переменными с предложениями c n являются неудовлетворительными (т.е. являются противоречиями) с большой вероятностью для достаточно большой постоянной c . Таким образом, случайные формулы k- CNF (для достаточно больших c ) представляют собой естественное распределение по неудовлетворительным булевым формулам (или двойственно, по тавтологиям, …
2
Нахождение наибольшего набора точек ограниченного диаметра
Для заданных точек в R d и расстояния l найти наибольшее подмножество этих точек, такое, что евклидово расстояние ни одной из них не превышает l .p1,…,pnp1,…,pnp_1,\ldots,p_nRdRd\mathbb{R}^{d}llllll В чем сложность этой проблемы? На графике точек, имеющих ребро, когда расстояние между двумя точками не превышает , задача эквивалентна поиску максимальной клики. Обратное …
2
Приводит ли битовое обязательство к переносной передаче в теоретико-информационной модели безопасности?
Предположим, у вас есть два произвольно влиятельных участника, которые не доверяют друг другу. У них есть доступ к обязательству по битам (например, запечатанные конверты, содержащие данные, которые один игрок может передать другому, но которые нельзя открыть, пока первый игрок не даст второму ключ). Можете ли вы использовать это для создания …
1
Ссылка для (нечетных, анти-дырочных) графиков?
Графы без X - это графы, которые не содержат графов из X в качестве индуцированного подграфа. Отверстие представляет собой цикл, по крайней мере 4 -х вершин. Нечетное отверстие представляет собой отверстие с нечетным числом вершин. Antihole является дополнением дырки. Графики (нечетные дыры, нечетные дыры) являются в точности идеальными графами; это …
2
Список чтения по экспериментальной алгоритмике
Как и в области статей в журнале ACM по экспериментальной алгоритмической JEA . Какие были основополагающие работы? Каковы основные результаты? Как они характеризуются? Какие-нибудь интересные связи с другими областями информатики?
1
Чтение на
Что я должен прочитать, чтобы понять эту проблему? Мощность квантовых цепей малой глубины. Является ли ? Другими словами, может ли «квантовая» часть любого квантового алгоритма быть сжата до глубины полилога (n), если мы хотим выполнить классическую постобработку за полиномиальное время? (Известно, что это верно для алгоритма Шора.) Если это так, …
2
Где узнать больше о том, что такое теоретическая информатика?
Я аспирант по математике, и теоретическая информатика - это область, в которой я никогда не понимал, о чем она, потому что не мог найти хорошее прочтение по этой теме. Я хочу знать, о чем этот домен на самом деле, какие темы он затрагивает, какие предпосылки необходимы для его запуска и …
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.