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

Я хотів би знати про історію цих двох термінів: " ефективний ", " здійсненний ". Хто їх використав щодо обчислень / алгоритмів вперше? (у сучасному розумінні цих термінів, тобто 20 століття). Як вони стали мейнстрімом? Як ці два терміни почали вживатися як синоніми? Я знаю, що Кобхем використовував термін "здійсненний" …

13 cc.complexity-theory  ds.algorithms  ho.history-overview 

Чи є докази того, що емуляцію машини Тьюрінга на невідомій машині Тьюрінга не можна виконати менше ніж де - кількість кроків, якими користується машина Тьюрінга ? Або це лише верхня межа?O(mlogm)O(mlog⁡m)\mathcal{O}\left(m\log m\right)mmm У статті Павла Вітанія про релятивізовані забуті машини Тьюрінга стверджує Вітаній "Вони [ Піппенгер і Фішер, 1979 ] …

13 cc.complexity-theory  turing-machines 

У 1973 році Вайнер дав першу лінійну конструкцію дерев із суфіксом. Алгоритм був спрощений у 1976 році МакКрейтом, а в 1995 році - Укконеном. Тим не менш, я вважаю, що алгоритм Укконена відносно концептуально задіяний. Чи були спрощення алгоритму Укконена з 1995 року?

13 ds.algorithms 

У мене є алгебраїчна проблема, пов'язана з векторами в області GF (2). Нехай будуть (0,1) - вектори розмірності n , m = n O ( 1 ) . Знайдіть алгоритм багаточленного часу, який знаходить (0,1) -вектор u того ж виміру, що u не є сумою жодних ( log n ) …

13 ds.algorithms  linear-algebra 

З огляду на планарний графік, можна вбудувати його в лінійний перетин часу вільно в сітку . Мене цікавить, чи відомі якісь ефективні алгоритми, щоб прямий вбудовувати плоский графік, що перетинається вільно, в сітку для якогось невеликого , таким чином, щоб мінімальний кут між двома ребрами був максимальним?n c × n …

13 reference-request  graph-theory  graph-drawing 

Один з моїх друзів задає мені наступну проблему планування на дереві. Я вважаю це дуже чистим та цікавим. Чи є посилання на це? Проблема: Є дерево , кожен край має симетричну подорожню вартість 1 . Для кожної вершини існує завдання, яке потрібно виконати до її закінчення . Завдання також позначається …

13 ds.algorithms  graph-algorithms  np-hardness 

Визначення чисел Рамзі таке: Нехай позитивне число такого , що кожен граф порядку по крайней мере , R ( , б ) містить або кліку на вершину або безліч стабільного на вершинах.R ( a , b )R(а,б)R(a,b)R ( a , b )R(а,б)R(a,b)ааaббb Я працюю над деяким розширенням Ramsey Numbers. Хоча …

13 reference-request  co.combinatorics  ramsey-theory 

Теорема про паралельне передбачення Різа є важливим результатом PCP, непроявленості тощо. Теорема формулюється так. Гра , де - кінцеві множини, - розподіл на , а предикат . Визначте значення гри І n -складна гра G ^ n = (\ mathcal {S} ^ n, \ mathcal {T} ^ n, \ mathcal …

13 cc.complexity-theory  complexity-classes  pcp  interactive-proofs 

Мене цікавлять моделювання об'єктів, від об'єктно-орієнтованого програмування, до теорії залежних типів. Як можливий додаток, я хотів би створити модель, де я можу описати різні особливості імперативних мов програмування. Я міг знайти лише одну статтю про моделювання об'єктів в теорії залежних типів, а саме: Об'єктно-орієнтоване програмування в теорії залежних типів А. …

13 reference-request  pl.programming-languages  type-theory  coq  dependent-type 

У мене виникає питання щодо скорочуваності SERF Імпальязцо, Патурі та Зена та субекспоненціальних алгоритмів. Визначення відновлення SERF дає наступне: Якщо зведений до до і існує алгоритм для для кожного , то існує алгоритм для для кожного . (Параметр твердості для обох задач позначається .)P 2 O ( 2 ε n …

13 cc.complexity-theory  reference-request 

Функція Мобіуса визначається як , якщо має квадратний простий коефіцієнт, а якщо всі праймери різні. Чи можна обчислити не обчислюючи просту факторизацію ?μ ( 1 ) = 1 μ ( n ) = 0 n μ ( p 1 … p k ) = ( - 1 ) k p …

13 comp-number-theory 

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

13 ds.algorithms  cg.comp-geom 

У моїх постійних пошуках, щоб спробувати вивчити лямбда-числення, "Хамбда-обчислення та комбінатори" Хіндлі та Селдіна "вступ" згадує наступний документ (Брюс Лерчер), який доводить, що єдиний вичерпний вираз, який є тим самим (перетворення модуля альфа) для себе є: .( λ x . x x ) ( λ x . x x )(λx.xx)(λx.xx)(\lambda …

13 lo.logic  lambda-calculus 

У визначенні (сильної) фіксованості параметра фіксації параметрів обмежений час - це вираз форми де вхідним екземпляром є з параметром , - a многочлен, а f - обчислювальна функція.f( к ) . p ( | x | ) ,f(k).p(|x|),f(k).p(|x|),k p f( х , к )(x,k)(x,k)кkkpppfff Можна замінити вимогу обчислюваності для fff …

13 cc.complexity-theory  reference-request  fixed-parameter-tractable 

Мене цікавить складність домінуючої задачі набору (DSP) у деяких конкретних класах графіків, які є підкласами хордальних графіків . Графік - це графік непрямої траси, якщо це графік перетину вершин сімейства шляхів у якомусь непрямому дереві. Нехай UP - клас графіків непрямої контури. Графік - це графік EPT, якщо це графік …

13 reference-request  graph-theory  graph-algorithms  np-hardness