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

У розділі 2.2 дерев B-дерев , які не враховуються кеш-пам'яті , сильно врівноважені пошукові дерева визначаються як: Для деякої постійної кожен вузол v на висоті h має Θ ( d h ) нащадків.dddvvvhhhΘ(dh)Θ(dh)\Theta(d^h) Вони стверджують: Дерева пошуку, які задовольняють властивості 1 та 2, включають B-дерева з урівноваженою вагою, детерміновані списки …

11 ds.data-structures  skip-lists 

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

11 sat  soft-question  proofs 

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

11 randomness  derandomization 

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

11 gt.game-theory 

Це може здатися більше схожим на питання соціальних наук, ніж на питання ТКС, але це не так. Читаючи " Випадкові алгоритми ", в яких описується стабільна проблема шлюбу, можна прочитати наступне (p54) "Можна показати, що для кожного вибору списків уподобань існує принаймні один стабільний шлюб. (Цікаво, що це не так …

11 ds.algorithms  graph-theory  matching 

Для даного графіка задача сепаратора задає питання про те, чи існує вершина чи ребровий набір малої кардинальності (чи ваги), чиї вилучення розділяють G на два неперервні графіки приблизно однакових розмірів. Це називається Проблема розділення вершин, коли видалений набір є набором вершин, і проблема Розділення країв, коли це набір ребер. Обидві …

11 cc.complexity-theory  approximation-hardness 

Уявіть функціональну мову програмування, єдиним типом даних якої є чисельні скаляри та довільні вставки масивів. У мові відсутні будь-які засоби безмежної ітерації, тому заборонено наступне: явні петлі (не так багато використання без побічних ефектів) рекурсія довільні функції першого класу (без у-комбінатора) Однак мова має: функції верхнього рівня лексично охоплені нехай …

11 complexity-classes  functional-programming  dc.parallel-comp 

Мотивацією цього питання є той факт, що більшість n-бітових рядків є нестислимими. Інтуїтивно, ми можемо запропонувати за аналогією, що більшість доказів тавтологій є нестислимими для розмірів поліномів. В основному, моя інтуїція полягає в тому, що деякі докази за своєю суттю є випадковими і їх неможливо стиснути. Чи є хороша посилання …

11 lower-bounds  proof-complexity  kolmogorov-complexity 

Immerman (Descriptive Complexity, 1999) представляє ігри EF для екзистенціальної монадики другого порядку (ігри Ajtai-Fagin) на сторінці 127. Оскільки MSO на слова еквівалентні звичайним мовам, гру можна записати так.∃∃\exists Мова є регулярною, якщо і лише якщо у Деліла немає стратегії виграшу в наступній грі: 1. Самсон вибирає c , m ∈ …

11 lo.logic  automata-theory  descriptive-complexity 

У той час як EE undergrad, я відвідував деякі лекції, в яких було представлено приємну характеристику булевих схем з точки зору кількості вкладених циклів. За складністю булеві схеми часто розглядаються як даги, але в реальних апаратних циклах поширені. Тепер, з точки зору деяких технічних можливостей щодо того, що таке цикл, …

11 cc.complexity-theory  reference-request  circuit-complexity  machine-models  ar.hardware-architecture 

Я вважаю, що відповідь на це питання добре відома; але, на жаль, я не знаю. У квантових обчисленнях ми знаємо, що змішані стани представлені матрицями щільності. А слідова норма різниці двох матриць щільності характеризує відмінність двох відповідних змішаних станів. Тут визначення норми сліду - це сума всіх власних значень матриці …

11 quantum-computing  quantum-information 

У графіку незалежна множина - це підмножина вершин, яка не містить ребра як індукований підграф. Проблема пошуку найбільших незалежних множин у графі є основним алгоритмічним питанням, при цьому важким. Розглянемо більш загальне питання про знаходження (розмір) найбільшого безвільного набору у графіку, де H-вільний означає, що він не викликає підграф, який …

11 ds.algorithms  reference-request  graph-theory  np-hardness  co.combinatorics 

Розглянемо два метричних простору і і вкладення . Традиційні вкладиші метричного простору вимірюють якість як найгірше відношення початкового до кінцевої відстані: ( Y , f ) μ : X → Y μ ρ = max p , q ∈ X { d ( x , y )( X, д)(X,d)(X, d)( …

11 approximation-algorithms  cg.comp-geom  embeddings 

Яка точна часова складність алгоритму простору логічного простору прямої сполученості Омером Рейнгольдом?

11 cc.complexity-theory  randomness 

У багатьох підручниках легко знайти докази зменшення теми та сильну нормалізацію для системи F, також, іноді є визначення системи F з парами, де (t, r) - термін, а не лише кодування. Питання в тому, що було б еталонним для цієї системи?

11 reference-request  lo.logic  type-theory  lambda-calculus  polymorphism