Теоретична інформатика

Давши плоский невагомий графік і колекцію вершинних пар ( - константа), знайдіть вершинно-роз'єднаних (крім джерела) шляхів від до таких що довжина найдовшого шляху зменшена до мінімуму.(s,t1),…,(s,tk)(s,t1),…,(s,tk)(s,t_1),\dots,(s,t_k)k s t ik≥2k≥2k\ge2kkkssstitit_i Запитання: Чи існує алгоритм поліноміального часу для задачі? Деякі пов'язані результати: якщо не виправлено, проблема є NP-жорсткою, навіть якщо ;kkkt1=⋯=tkt1=⋯=tkt_1=\dots=t_k якщо …

10 ds.algorithms  graph-algorithms 

Мені хотілося б знати, чи вивчалася раніше така проста проблема і чи відоме якесь рішення. Нехай G - кінцева (MxN) сітка, S - підмножина клітин G ("крихти"). Як кажуть, дві крихти (локально) з'єднані, якщо їх координати відрізняються щонайбільше однією (тобто, якщо вони намальовані як квадрати, вони поділяють принаймні одну кутову …

10 ds.algorithms  graph-theory  graph-algorithms 

Я досить знайомий з теорією VC-Dimension, але зараз я дивлюся на останні (останні 10 років) досягнення в галузі теорії статистичного навчання: (місцеві) середні показники Rademacher, лема кінцевого класу Массарта, покриття чисел, ланцюжок, Дадлі Теорема, псевдомірність, розмір руйнування жирів, номери упаковки, склад радімахера та, можливо, інші результати / інструменти, про які …

10 reference-request  machine-learning  lg.learning  books  vc-dimension 

Під час роботи я зіткнувся з такою проблемою: Я намагаюся знайти -матрицю для будь-якого із такими властивостями:n×nn×nn \times n (0,1)(0,1)(0,1)MMMn>3n>3n > 3 Детермінанта є парною.MMM Для будь-яких непустих підмножин з, Подматріца має непарний детерминанту тоді і тільки тоді , коли . I,J⊆{1,2,3}I,J⊆{1,2,3}I,J\subseteq\{1,2,3\}|I|=|J||I|=|J||I| = |J|MIJMJIM^I_JI=JI=JI=J Тут позначає подматріца створюється шляхом видалення …

10 graph-theory  co.combinatorics  linear-algebra  matrices  boolean-matrix 

Визначення Нехай а , і - натуральні цілі числа (з ).d r g g > 2 r + 1ϵ > 0ϵ>0\epsilon > 0гddrrrгggг> 2 r + 1g>2r+1g > 2r+1 Нехай - простий, -регулярний, непрямий, кінцевий графік з обхватом не менше .d gG = ( V, Е)G=(V,E)G = (V,E)гddгgg Нехай бути …

10 graph-theory  co.combinatorics  dc.distributed-comp 

Припустимо, у мене простий багатокутник і ціле число k . Якими є деякі існуючі підходи для знаходження найменшого радіуса ¨R таким чином, що я можу покрити S з K кіл радіуса г ? Як щодо того, якщо r зафіксовано, і я хочу мінімізувати k ?SSSккkrrrSSSккkrrrrrrккk

10 cg.comp-geom  planar-graphs  set-cover 

У моєму пошуку наукових праць щодо типів систем імперативних мов я знаходжу рішення лише для мови з змінними посиланнями, але без справжніх імперативних структур управління, таких як складові оператори, цикли або умовні умови. Тож незрозуміло, як може бути реалізована імперативна мова з частковим висновком типу, наприклад http://rust-lang.org . У документах …

10 reference-request  pl.programming-languages  type-theory  type-inference  imperative-programming 

Чи apx-важко наблизити дробове хроматичне число на обмежених градусних градусах?

10 cc.complexity-theory  graph-theory  approximation-hardness  graph-colouring  bounded-degree 

Алгоритм Дойча є добре відомим квантовим обчисленням f(0)+f(1)mod2f(0)+f(1)mod2f(0) + f(1)\mod{2} лише з одним оцінкою fff . Якщо ми замінимо +++ на ⋅⋅\cdot проблема здається стає зовсім іншою. Моє запитання: чи існує квантовий алгоритм, який обчислює значення f(0)⋅f(1)f(0)⋅f(1)f(0)\cdot f(1) (або AND, якщо вам зручніше), використовуючи лише одне оцінювання fff . Інакше: …

10 reference-request  quantum-computing 

Я шукаю приклади важких проблем (в NP чи важче) з інформатики, які можна звести до моделей фізичних процесів. Наприклад, max-2-sat можна зменшити до мінімізації енергії в моделі Ізінга. Я хотів би знайти більше прикладів такого типу скорочення.

10 cc.complexity-theory  reductions  physics  formal-modeling 

Не впевнений, чи правильна площа, але ось іде. Починати докторську ступінь з управління довірою та репутацією в комунікаційних мережах (багато теорії графів, імовірнісний аналіз тощо), і багато читати попереду мене. Чи можу хтось порадити найкращі способи управління читанням у академічній формі та що я маю зазначити для огляду літератури / …

10 soft-question  advice-request  research-practice 

Чи існує алгоритм поліноміального часу, щоб знайти, якщо такий існує, павука, що охоплює заданий графік ? Павук - це дерево, що має максимум один вузол зі ступенем більше 2: Я знаю, що різні умови ступеня на (по суті, досить великі ступені вузла) гарантують існування павутинного павука. Але мені цікаво , …

10 ds.algorithms  reference-request  graph-theory  graph-algorithms 

Враховуючи набір точок в 3D-декартовому просторі, я шукаю алгоритм, який буде сортувати ці точки, таким чином, щоб мінімальна евклідова відстань між двома точками поспіль була максимальною. Було б також вигідно, якби алгоритм мав тенденцію до більш високої середньої евклідової відстані між послідовними точками.

10 graph-algorithms  cg.comp-geom  optimization 

Я шукаю доступні в Інтернеті конспекти лекцій чи інші ресурси, які добре вводять у паралельне програмування, як і паралельний аналог основних класів з інформатики. Моя увага полягає в наступному: хоча я можу говорити про поділ і перемогти, жадібні алгоритми, динамічне програмування тощо, тобто основні шаблони послідовних алгоритмів (і проблеми), і …

10 reference-request  soft-question  dc.parallel-comp  survey 

У мене 400 кульок, у яких 100 червоні, 40 - жовті, 50 - зелені, 60 - сині, 70 - фіолетові, 80 - чорні. (кулі одного кольору однакові) Мені потрібен ефективний алгоритм перетасовки, так що після перетасування кулі знаходяться в списку, і Будь-які 3 поспіль кулі не одного кольору. наприклад, я …

10 ds.algorithms  randomized-algorithms  permutations