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

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

19 cc.complexity-theory  complexity-classes  cr.crypto-security  circuit-complexity 

У своїй роботі (стор. 503) зауваження Гарі та Джонсона: ... може існувати повна NP-проблема, яка не є ані повною в NP в сильному сенсі, ані вирішена алгоритмом часу псевдополінома ... Хтось знає якісь проблеми кандидата щодо згаданих вище властивостей? Я думаю, що можливою відповіддю на це питання може бути перелік …

19 ds.algorithms  np-hardness  np 

Які найкращі ресурси для пошуку роботи на посадах викладачів з теорії CS? Чи є один веб-сайт чи перелік розсилки, який є досить вичерпним? В даний час у мене складається враження, що треба використовувати різноманітні ресурси, щоб отримати вичерпний, всесвітній список оголошень про роботу. Це так? Це питання пов'язане з тим, …

19 soft-question  career 

Питання є простим і прямим: для фіксованого , скільки (різних) мов приймається DFA розміром (тобто держав)? Я офіційно зазначу це:nnnnnnnnn Визначте DFA як , де все як завжди, і δ : Q × Σ → Q є (можливо, частковою) функцією. Нам потрібно це встановити, оскільки іноді лише загальні функції вважаються …

19 co.combinatorics  fl.formal-languages  automata-theory  regular-language  dfa 

Оборотні обчислення - це обчислювальна модель, яка дозволяє лише термодинамічно оборотні операції. Відповідно до принципу Ландауера, який стверджує, що стираючи трохи інформації, що вивільняє джоулів тепла, це виключає функції переходу, які не є однозначними (наприклад, булеві оператори AND і OR). Добре відомо, що квантове обчислення за своєю суттю є оборотним, …

19 cr.crypto-security  quantum-computing  big-picture  physics  quantum-information 

Прогнозувати фондовий ринок важко! Чи може TCS зробити такі настрої більш формальними? Нещодавно я почав трохи думати про фінанси, і цікавився, як знання TCS можуть допомогти. Здається, хедж-фонди та інвестиційні фірми весь час використовують алгоритмічну торгівлю, машинне навчання та ІІ, але результатів ТКС, здається, мало. Зокрема, я знаю лише два …

19 cc.complexity-theory  reference-request  survey  ce.computational-finance  algorithmic-lens 

EDIT в 2011/02/08: Після пошуку та читання деяких посилань я вирішив розділити оригінальне запитання на два окремих. Ось частина, що стосується UP vs NP, про частину синтаксичних та семантичних класів див. Переваги для синтаксичних та семантичних класів . (однозначний поліноміальний час, див.Вікітазоопаркдля посилань) визначається як мови, вирішені N P -машинами …

19 cc.complexity-theory  complexity-classes  conditional-results  unique-solution 

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

19 graph-theory  ds.data-structures  graph-algorithms  tree  online-algorithms 

Нехай - найгірший час запуску проблеми при введенні розміру . Давайте зробимо задачу трохи дивною, фіксуючи для але для .f( n )f(n)f(n)нnnf( n ) = n2f(n)=n2f(n) = n^2n = 2 kn=2kn=2kf( n ) = nf(n)=nf(n) = nn = 2 k + 1n=2k+1n=2k+1 Отже, яка нижня межа проблеми? Я зрозумів, що …

19 cc.complexity-theory  time-complexity 

DFA має слово синхронізації, якщо є рядок, який передає будь-який стан DFA в один стан. У статті "Черні для аперіодичних автоматів" А.Н. Трахтмана (дискретна математика та теоретичні інформатики, т. 9: 2, 2007, с. 3-10) він написав: У 1964 р. Черні припустив, що кожен DF-станція, що синхронізує n-стан, має синхронізуюче слово …

19 fl.formal-languages  automata-theory  open-problem  synchronization 

Я десь читав, що машина Тьюрінга не може це обчислити, і тому не можна визначити, але чому? Чому комп'ютерно неможливо створити дерево розбору та прийняти рішення? Можливо, я помиляюся, і це можна зробити?

19 computability  turing-machines  context-free 

Це нещодавнє питання теорії ігор змусило мене задуматися (це, звичайно, дотична): Чи можна ефективно оптимізувати особисту стратегію вибору дослідницьких питань для роботи з використанням теорії ігор? Для того, щоб перейти до формалізації питання, я зроблю такі (неофіційно викладені) припущення: Я однаково "насолоджуюся" будь-якою конкретною проблемою, доступною мені для роботи (щоб …

19 soft-question  gt.game-theory 

Здається, відомо, що для пошуку відповіді на запит по реляційній базі даних потрібен час , і не можна позбутися від показника.QQQDDD| Q || Д || Q ||D||Q||D|^{|Q|}| Q ||Q||Q| Оскільки може бути дуже великим, ми дивуємося, чому бази даних взагалі працюють на практиці.DDD Це лише питання про те, що звичайні …

19 cc.complexity-theory  time-complexity  descriptive-complexity  db.databases 

Мене цікавлять моделі випадкових графіків, схожих на графіки реальних комп'ютерних мереж. Я не впевнений, що загальна добре вивчена модель ( вершин, кожне можливе ребро вибрано з вірогідністю ) добре для вивчення реальних комп'ютерних мереж (це?).n pG(n,p)G(n,p)G(n,p)nnnppp які моделі випадкових графіків корисні для розуміння комп'ютерних мереж, що створюються на практиці? Більш …

19 reference-request  graph-theory  co.combinatorics 

Паритет і це нерозлучні близнюки. Або так здавалося останні 30 років. Зважаючи на результат Райана, відновиться інтерес до малих класів.AC0AC0AC^0 Фурст Сакс-Сіпсер - Яо - Хастад - це сукупність паритетних і випадкових обмежень. Разборов / Смоленський - це приблизний многочлен з парністю (ок, модні ворота). Aspnes та ін використовують слабкий …

19 cc.complexity-theory  complexity-classes  lower-bounds  circuit-complexity