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

Квантовые вычисления - это активная область исследований, целью которой является использование квантовой физики (например, квантовой запутанности) для повышения эффективности компьютеров (не изменяет тезис Черча-Тьюринга ). Каковы наиболее значимые эксперименты, которые были проведены для демонстрации теории квантовых вычислений (такие как кубиты и телепортация)?

17 reference-request  quantum-computing 

Предположим, вам дан связный простой неориентированный граф H. Проблема H-свободного среза определяется следующим образом: Для простого неориентированного графа G существует ли разрез (разбиение вершин на два непустых множества L, R) такой, что графы, индуцированные множествами разрезов (L и R), не содержат подграфа, изоморфного H , Например, когда H является графом …

17 cc.complexity-theory  reference-request  graph-theory  np-hardness 

Мне известны как минимум два разных теоретических подхода к пониманию реляционных баз данных: реляционная алгебра Кодда и теория категорий. Есть ли связь между этими двумя подходами? В каком-то смысле они эквивалентны? Есть ли вводная работа, объясняющая, как обе эти структуры объясняют реляционные базы данных? Фон: Некоторое время назад я прочитал …

17 reference-request  ct.category-theory  db.databases  relational-structures 

Фон . Я студент бакалавриата, который интересуется исследованиями, связанными с теорией категорий, монадами и Хаскеллом, и я хочу найти тему для своей диссертации бакалавра в этой области. Я посмотрел на бумагу Эудженио Могги , « Понятия вычислений и монад », 1991, и я пока не очень разбираюсь в этом. Возможно, …

17 reference-request  pl.programming-languages  big-picture  ct.category-theory  monad 

Известно, что пересечение трех общих матроидов является NP-трудным ( источником ), что осуществляется посредством сокращения из гамильтонова цикла. Сокращение использует один графический матроид и два матроида связи. Частный случай проблемы, над которой я работаю, может быть решен путем пересечения нескольких графических матроидов, но я не смог найти, есть ли эта …

16 reference-request  np-hardness  reductions 

Меня интересует сортировка массива положительных целочисленных значений за линейное время (в модели оперативной памяти с одинаковой мерой стоимости, т. Е. Целые числа могут иметь размер до логарифмического, но предполагается, что арифметические операции над ними будут выполняться единица времени). Конечно, это невозможно с помощью алгоритмов сортировки, основанных на сравнении, поэтому мне …

16 reference-request  time-complexity  sorting 

Многие публикации по компьютерным наукам 1950-х и 1960-х годов содержат захватывающие философские рассуждения о природе ума и значении информации по отношению к физическому миру. Известными примерами являются «Тест Тьюринга», «Расчет пространства» Цузе, «Это из бит» Уилера и т. Д. Сегодня такие темы широко освещаются в научно-популярных книгах, но, похоже, почти …

16 reference-request  soft-question  philosophy 

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

16 ds.algorithms  reference-request  graph-theory  graph-algorithms  directed-acyclic-graph 

Подсчет треугольников в общих графах можно сделать тривиально за раз, и я думаю, что делать намного быстрее сложно (ссылки приветствуются). Как насчет планарных графиков? Следующая простая процедура показывает, что это можно сделать за O ( n log n ) времени. У меня вопрос двоякий:O(n3)O(n3)O(n^3)O(nlogn)O(nlog⁡n)O(n\log{n}) Какая ссылка для этой процедуры? Можно …

16 reference-request  graph-algorithms  planar-graphs 

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

16 reference-request  boolean-functions 

Пусть орграф (не обязательно DAG) и . Что является сложность подсчета количества простой путей в . GGGs,t∈V(G)s,t∈V(G)s,t \in V(G) s−ts−ts-tGGG Я ожидал бы, что проблема будет # -полной, но не смог найти точную ссылку. PP{\mathsf P} Также обратите внимание, что на ряд похожих вопросов были даны правильные ответы здесь и …

16 ds.algorithms  reference-request  counting-complexity 

Я пытаюсь понять сложность функций, которые можно выразить через пороговые элементы, и это привело меня к . В частности, мне интересно, что в настоящее время известно об обучении в , так как я не эксперт в этой области.TC0TC0\mathsf{TC}^0TC0TC0\mathsf{TC}^0 На данный момент я обнаружил, что: Все из могут быть изучены в …

16 cc.complexity-theory  reference-request  cr.crypto-security  lg.learning  boolean-functions 

Мне интересно, существуют ли какие-нибудь хорошие пояснительные статьи или обзоры, на которые я могу сослаться, когда пишу об операторах класса сложности : операторах, которые преобразуют классы сложности, выполняя такие вещи, как добавление к ним кванторов. Примеры операторов Следующее может быть истолковано как минимальный список операторов, который должен уметь дать ответ. …

16 reference-request  complexity-classes 

Край крышки представляет собой подмножество ребер графа, что каждая вершина графа смежна по крайней мере , одного края крышки. В следующих двух статьях говорится, что подсчет краевых покрытий является # P- полным: Простая FPTAS для подсчета краевых покрытий и генерации краевых покрытий для графов путей . Однако, если я что-то …

16 reference-request  graph-algorithms  counting-complexity  proofs 

Существует очень мало информации, которую я могу найти по NP-полной задаче решения линейного диофантового уравнения в неотрицательных целых числах. То есть, есть решение в неотрицательном к уравнению 1 х 1 + 2 х 2 + . , , + a n x n = b , где все константы положительны? …

16 cc.complexity-theory  reference-request  np-hardness  counting-complexity