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

Мені здається, що теоретики більшості складності взагалі вважають таке філософське правило: Якщо ми не можемо з'ясувати , ефективний алгоритм для задачі , і ми можемо звести задачу до задачі , тобто , ймовірно, не ефективний алгоритм для задачі , або.AАAAАAAВБBBБBB Ось чому, наприклад, коли нову проблему доведено NP-Complete, ми просто …

14 cc.complexity-theory  big-picture  reductions 

Чи відомо, якщо проблема оцінки ланцюга знаходиться в N C 1 ? Як щодо A L o g T i m e (рівномірний N C 1 )?NC1NC1\mathsf{NC^1}NC1NC1\mathsf{NC^1}ALogTimeALogTime\mathsf{ALogTime}NC1NC1\mathsf{NC^1} Ми знаємо, що схеми глибини можна оцінити за допомогою схем глибини k + c, де c є універсальною постійною. Це означає, що схеми …

14 cc.complexity-theory  reference-request  circuit-complexity 

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

14 reference-request  gt.game-theory 

Цікаво, як знайти обхват розрідженого ненаправленого графіка. Під рідким я маю на увазі . Під оптимом я маю на увазі найнижчу складність у часі.| Е| =O( | V| )|E|=O(|V|)|E|=O(|V|) Я подумав про деяку модифікацію алгоритму Таряна для ненаправлених графіків, але не знайшов хороших результатів. Насправді я думав, що якщо мені …

14 ds.algorithms  graph-theory  open-problem 

У дослідницькій заяві Дж. М. Сіскіндза зазначено: Сталін - це оптимізуючий компілятор для Схеми, який виконує статичний аналіз загальнопрограми та використовує результати цього аналізу для створення надзвичайно ефективного коду. Сталін використовує велику колекцію методик статичного аналізу. Він виконує нову форму поліваріантного аналізу потоку, яка використовує ітераційний аналіз моноваріантного потоку для …

14 compilers 

Я здійснив деякий пошук з цього питання, але жодного разу не зміг знайти відповідь. Гек відповів на це повністю. Спасибі :)

14 cc.complexity-theory  complexity-classes  time-complexity  space-complexity 

Останнім часом я маю справу з алгоритмами стиснення, і мені було цікаво, який найкращий коефіцієнт стиснення, який можна досягти за рахунок стиснення даних без втрат. Поки єдиним джерелом, яке я міг знайти на цю тему, була Вікіпедія: Компресія без втрат оцифрованих даних, таких як відео, оцифрована плівка та аудіо, зберігає …

14 it.information-theory  data-streams 

Нехай - формула CNF з змінними та m застереженнями. Нехай t \ in \ {0,1 \} ^ n являє собою присвоєння змінної і f _ {\ varphi} (t) \ in \ {0, \ ldots, m \} підраховують кількість пропозицій, задоволених призначенням змінної \ варфі . Потім визначте Median-SAT як задачу …

14 cc.complexity-theory  sat  counting-complexity 

Це ім'я, яке я склав для цієї проблеми. Я ніколи не бачив його описаного ніде. Я ще не зміг знайти доказ повноти NP або поліноміального алгоритму часу для цієї проблеми. Це не проблема домашнього завдання - це пов'язано з проблемою, з якою я зіткнувся у своїй роботі. НАЙБІЛЬШІ ДИСКРИМІНУЮЧІ БИТИ …

14 cc.complexity-theory  np-hardness 

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

14 cc.complexity-theory  reference-request  soft-question  big-picture 

Питання Що нового в чисто функціональних структурах даних після Окасакі? , і епічна відповідь jbapple, згадана з використанням списків різниць у функціональному програмуванні (на відміну від логічного програмування), що мене нещодавно цікавило. Це змусило мене знайти реалізацію списку різниць для Haskell. У мене є два запитання (пробачте / виправте мене, …

14 reference-request  ds.data-structures  pl.programming-languages  functional-programming  logic-programming 

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

14 cr.crypto-security  algebra  algebraic-complexity 

Мета : Встановіть припущення про відсутність проективної площини порядку 12. У 1989 році, використовуючи комп’ютерний пошук на Cray, Лам довів, що не існує проективної площини порядку 10. Тепер, коли Боже число для кубика Рубіка було визначене лише через кілька тижнів масового пошуку грубої сили (плюс розумна математика симетрії), мені здається, …

14 open-problem 

Розглянемо , де lambda_i> 0 і Y_i розподілено як стандартне нормальне. Які межі концентрації можна довести на X як функцію від (фіксованих) коефіцієнтів lambda_i?X=∑iλiY2iX=∑iλiYi2X = \sum_i \lambda_i Y_i^2 Якщо всі лямбда_і рівні, то це обмеження Чорноффа. Єдиний інший мені відомий результат - лема з паперу Арори та Каннана ("Навчальні суміші …

14 chernoff-bound 

Чи будуть якісь серйозні наслідки, якби SAT мав щонайбільше субекспонентних невластивих доказів або ще сильніше, SAT мав алгоритми субекспоненціального часу?

14 cc.complexity-theory  sat  proof-complexity