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

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

11 graph-theory  co.combinatorics  graph-algorithms  graph-isomorphism 

Матриця має розмірність n × n ( n - 1 ) . Ми хочемо заповнити A за допомогою цілих чисел від 1 до n включно.АAAn × n ( n - 1 )n×n(n−1)n \times n(n-1)АAA111нnn Вимоги: Кожен стовпець - перестановка 1 , … , n .АAA1 , … , н1,…,n1, \dots, …

11 co.combinatorics  cr.crypto-security  coding-theory 

Умовна логіка - це логіка, яка збільшує традиційний логічний вплив з модальними операторами, що відповідають іншим поняттям умови (наприклад, причинно-наслідкова читає " A викликає" B "або ймовірнісне обумовлення" A | Б "яка говорить" A дану B «).A□→BA◻→BA\; \square\!\!\!\!\to BAAAA|BA|BA|BAAABBB Зазвичай ці логіки вивчаються теоретично модельно, але я замислювався над їх …

11 reference-request  lo.logic  pl.programming-languages  type-theory  proof-theory 

Nurikabe - це головоломка, заповнена сіткою, обмежена схожою на Міночистач / Нонограми; номери розміщуються на сітці, яку слід заповнити значеннями включення / вимкнення для кожної комірки, причому кожне число вказує область з’єднаних комірок "on" такого розміру, а також деякі незначні обмеження на область "off" комірок (це повинні бути підключені та …

11 cc.complexity-theory  np-hardness  puzzles 

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

11 cc.complexity-theory  reference-request  space-bounded  average-case-complexity 

У мене є проблема, яка знаходиться в NEXP і її також можна вирішити змінним ТМ, використовуючи експоненціальний час і лише одне чергування (починаючи в екзистенційному стані).НПNP^{\text{NP}} Чи відомо щось про NEXP ? Чи дорівнює NEXP чи іншому класу? Чи існують повні проблеми, крім загальної (з урахуванням машини NEXP і слова, …

11 cc.complexity-theory  reference-request  complexity-classes  nexp 

Захист SHA-1 обговорювався з моменту, коли алгоритм пошуку зіткнень був вперше опублікований на CRYPTO 2004 та згодом був удосконалений. У Вікіпедії перераховано декілька посилань , однак, схоже, останнє дослідження, опубліковане (і пізніше відкликане) з цього приводу, було в 2009 році (Камерон Макдональд, Філіп Хоукс та Йозеф Піпржик "Диференціальний шлях для …

11 cr.crypto-security  hash-function  cryptographic-attack 

У своєму доробковому документі 1999 року "Метрична модель PCF" Мартін Ескардо показав, що можна дати просту інтерпретацію PCF у категорії повних ультраметричних просторів та нерозширених карт. Він показав, що ця модель є адекватною, і що вона може моделювати додавання конструкції таймауту (тобто оператора, який би запускав свій аргумент за деяку …

11 pl.programming-languages  denotational-semantics  metric-spaces 

Мерлін, яка має необмежені обчислювальні ресурси, хоче переконати Артура в тому, що м | ∑p ≤ N, p прайм pкm|∑p≤N, p primepkm|\sum_{p\le N,\ p\text{ prime}}p^k для ( N, м , к )(N,m,k)(N,m,k) при k = O ( логN)k=O(log⁡N)k=O(\log N) і m = O ( N) .m=O(N).m=O(N). Обчислення цієї суми прямо …

11 cc.complexity-theory  ds.algorithms  time-complexity  interactive-proofs  nt.number-theory 

Angluin and Laird ('88) формалізували навчання з випадково пошкодженими даними у моделі "PAC з випадковим класифікаційним шумом" (або шумним PAC). Ця модель аналогічна PAC навчання , для етикеток прикладів , наведених до студентів за винятком того, були пошкоджені (перевернуто), незалежно один від одного випадковим чином , з імовірністю .η&lt;1/2η&lt;1/2\eta < …

11 lg.learning 

Це питання було мотивоване запитанням про stackoverflow . Припустимо, вам задано вкорінене дерево (тобто є корінь і у вузлів є діти тощо) на вузлах (позначено ).n 1 , 2 , … , nТTTнnn1 , 2 , … , п1,2,…,n1, 2, \dots, n Кожна вершина має невід'ємну цілу вагу: .ш iiiiшiwiw_i …

11 cc.complexity-theory  reference-request  np-hardness  tree  application-of-theory 

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

11 graph-theory  co.combinatorics  big-list  application-of-theory 

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

11 ds.algorithms  graph-theory  sat 

Чи існує клас хеш-алгоритмів, теоретичний чи практичний, такий, що алгоритм у класі може вважатися "рефлексивним" відповідно до визначення, наведеного нижче: hash1 = algo1 ("вхідний текст 1") hash1 = algo1 ("вхідний текст 1" + хеш1) Оператор + може бути конкатенацією або будь-якою іншою заданою операцією для об'єднання виводу (хеш1) назад у …

11 ds.algorithms  hash-function 

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

11 cc.complexity-theory  approximation-algorithms  reductions