Запитання з тегом «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(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), і нехай s , t ∈ V ( G ) . Яка складність підрахунку кількості простий s - т шляхів в G . ГГGs , t ∈ V( G )с,т∈V(Г)s,t \in V(G) s−ts−ts-tGGG Я б очікував, що проблема буде # -повною, але не …

16 ds.algorithms  reference-request  counting-complexity 

Я намагаюся зрозуміти складність функцій, виражених через порогові ворота, і це привело мене до . Зокрема, мене цікавить, що зараз відомо про навчання всередині , оскільки я не є експертом у цій галузі.T C 0TC0ТС0\mathsf{TC}^0TC0ТС0\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-задачу розв’язання лінійного рівняння діофантину в негативних цілих числах. Тобто чи є рішення в невід’ємних рівняння , де всі константи позитивні? Єдина відома згадка про цю проблему, про яку я знаю, - це в Теорії лінійного та цілого програмування …

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