Запитання з тегом «reference-request»

Чи існують на сьогодні більш прості алгоритми / докази для тріангуляції плоского багатокутника за лінійним часом? Який хороший ресурс про сучасність цієї відомої проблеми?

15 reference-request  cg.comp-geom 

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

15 ds.algorithms  reference-request  graph-theory 

З огляду на матрицю (якщо вважати ), який найшвидший алгоритм для обчислення його рангу та основи стовпців?m×nm×nm \times nm≥nm≥nm \ge n Я знаю, що це можна вирішити за допомогою лінійного перетину матроїдів, що передбачає детермінований алгоритм часу та рандомізований алгоритм часу . Чи існує алгоритм детермінованого часу , який більш …

15 ds.algorithms  reference-request  time-complexity  linear-algebra  matrices 

У мене є багатогранник визначений .ПPP{ x : A x ≤ b , x ≥ 0 }{x:Ax≤b,x≥0}\{ x : Ax \leq b, x \geq 0\} Питання: З огляду на , вершина з , існує поліноміальний алгоритм час рівномірно зразка від сусідів в графі ? (Поліном у вимірі, кількість рівнянь та …

15 reference-request  np-hardness  counting-complexity  linear-programming  polytope 

Нехай LL\mathcal{L} - сімейство всіх мов над задовольняє властивості перекачування регулярних мов. А саме: для кожного існує st, кожне слово , може бути записане у вигляді де: 1. , 2. , 3. для всіх .ΣΣ\SigmaL∈LL∈LL\in\mathcal{L}N∈NN∈NN\in\mathbb{N}w∈Lw∈Lw\in L|w|>N|w|>N|w|> Nw=xyzw=xyz w=xyz|y|>0|y|>0|y|>0|xy|≤N|xy|≤N|xy|\le Nxyiz∈Lxyiz∈Lxy^i z\in Li≥0i≥0i\ge 0 Це простою вправою [1] довести, що містить однотонні …

14 reference-request  fl.formal-languages  automata-theory 

Я хочу дізнатися про алгебраїчні алгоритми та складність торій. Зокрема, мене цікавить ПДФО. Чи є набір конспектів лекцій, книг, статей та опитувань для студентів, які прочитали стандартний підручник з теорії, як книга Сіпсера чи підручник зі складнощами Арори-Барака. Набір посилань включатиме недавні передові результати.

14 cc.complexity-theory  reference-request  algebraic-complexity  arithmetic-circuits 

За допомогою досліджень в імовірнісних графічних моделях було показано, що поширення віри є дуже потужним методом. Однак я не знаю нічого про БП, що можна порівняти з методами МСМС, де ми можемо мати повністю поліноміальні схеми рандомізованого наближення (FPRAS) для проблем із # P-завершенням. Чи міг би хтось вказати мені …

14 cc.complexity-theory  reference-request  graph-algorithms  machine-learning  st.statistics 

Як всім відомо, SAT є завершеним для wrt багаточленних багаторазових скорочень. Це все ще повне скорочення wrt багато-одного.NPNP\mathsf{NP}AC0AC0\mathsf{AC^0} Мої запитання - яка мінімально необхідна глибина для скорочень? Більш офіційно, Що найменше такого, що SAT - \ mathsf {NP} -hard wrt \ mathsf {AC ^ 0_d} багато-один скорочення?dddNPNP\mathsf{NP}AC0dACd0\mathsf{AC^0_d} Мені здається, що …

14 cc.complexity-theory  reference-request  np-hardness  circuit-complexity  reductions 

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

14 reference-request  computability  big-picture 

Фон : Я закінчую ступінь магістра з математики і в серпні буду починати докторську ступінь з логіки. Чим більше логіки я вивчаю, тим більше я піддаюсь теоретичній інформатиці, наприклад, теорія рекурсії, обчислення лямбда, але основна КС зачищена під килим. Мої основні сфери інтересів - теорія множин та теорія категорій - …

14 reference-request  soft-question 

Який клас складності пов'язаний з вичерпними алгоритмами пошуку? (якщо є) Це NP чи PSPACE? Чи існують обмежені моделі обчислень, що фіксують клас вичерпних алгоритмів пошуку, схожих на моделі жадібного та динамічного програмування?

14 cc.complexity-theory  ds.algorithms  reference-request  big-picture  machine-models 

Розглянемо ннn розмірний простір {0,1}n{0,1}н\{0,1\}^n , і нехай ccc є лінійним обмеженням виду a1x1+a2x2+a3х3+ ... +an−1xn−1+anxn≥ka1x1+a2x2+a3x3+ ... +an−1xn−1+anxn≥ka_1x_1 + a_2x_2 + a_3x_3 +\ ...\ + a_{n-1}x_{n-1} + a_nx_n \geq k , де , іx i ∈ { 0 , 1 } k ∈ Rai∈Rai∈Ra_i \in \mathbb{R}xi∈{0,1}xi∈{0,1}x_i \in \{0,1\}k∈Rk∈Rk \in \mathbb{R}. …

14 reference-request  co.combinatorics  optimization  linear-programming  convex-optimization 

Пригадую, я бачив дослідження чи статтю деякий час тому, що стверджував, що більшість прискорень, що спостерігаються в комп'ютерних програмах протягом останніх кількох десятиліть, - це покращені алгоритми, а не швидше обладнання. Хтось знає дослідження чи статтю?

14 ds.algorithms  reference-request  big-picture  ar.hardware-architecture 

GI та Knot Problem - це проблема вирішення структурної еквівалентності математичних об'єктів. Чи є результати, що встановлюють зв'язки між ними? Хороші зв’язки проблеми вузла зі статистичною фізикою були досліджені за допомогою вузлів поліномів , чи є подібні результати для ?Г яГЯGI Було б особливо корисно знати, чи є якісь стандартні …

14 cc.complexity-theory  reference-request  graph-theory  graph-isomorphism  algebraic-topology 

Я розпочинаю докторську ступінь цієї осені і планую працювати над теорією складності для своєї дипломної роботи. Я складаю перелік важливих робіт, які повинен знати кожен теоретик складності. Які документи ви запропонували б такій людині, як я? І, будь ласка, коротко поясніть, чому ви вважаєте, що документ важливий.

14 cc.complexity-theory  reference-request  big-list