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

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

12 lo.logic  relativization 

Мені цікаво конкретно, чи існує цікава умова щодо відсотка завдань, які відповідають формулі 3SAT, щоб гарантувати, що такі проблеми можна відстежувати. Припустимо, наприклад, клас задач 3SAT, що з можливих призначень задовольняє булева формула; чи можемо ми ефективно знайти задоволення? Для чого є результуючою проблемою в P?2 n ϵϵ ( n …

12 cc.complexity-theory  ds.algorithms  sat  np 

Результат Бейкера-Гілла-Солової показав, що питання P = NP не релятивізується, в тому сенсі, що жодне релятивізуюче доказ (не чутливе до присутності оракула) не може вирішити питання P = NP. Моє запитання: Чи є аналогічний результат для запитання "Чи існує проблема, пов’язана з PH?" Відповідь негативно на це питання означатиме P! …

12 cc.complexity-theory  complexity-classes 

Враховуючи (iid гауссі із середнім значенням та дисперсією ), чи можливо (як?) Вибірку (для ) таким, що - незалежні гауси із середнім та дисперсією . 0 1 m = k 2 Y 1 , … , Y m Y i 0 1X1,…,XkX1,…,XkX_1,\ldots,X_k000111m=k2m=k2m=k^2Y1,…,YmY1,…,YmY_1, \ldots, Y_mYiYiY_i000111

12 derandomization  pr.probability 

За http://www.cs.umd.edu/~jkatz/complexity/relativization.pdf Якщо є PSPACE-повний мову, Р = N P A .АAAПА= NПАPA=NPAP^{A}=NP^{A} Якщо - детермінований оракул полінома-часу, P B ≠ N P B (якщо вважати P ≠ N P ).БBBПБ≠ NПБPB≠NPBP^{B}\ne NP^{B}П≠ NПP≠NPP\ne NP - клас аналогів задач рішення для # P і P ⊆ P P ⊆ P …

12 cc.complexity-theory  complexity-classes  counting-complexity  open-problem  oracles 

Знову проблема розбиття краю, складність якої мені цікаво, мотивована попереднім моїм питанням . Введення: кубічний графік G=(V,E)G=(V,E)G=(V,E) Запитання: чи є розділ на E 1 , E 2 , … , E s , таким чином, що підграф, індукований кожним E i, є або кігтом (тобто K 1 , 3 , …

12 cc.complexity-theory  graph-theory  np-hardness  co.combinatorics 

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

12 machine-learning  lg.learning  clustering 

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

12 ds.algorithms  graph-theory  approximation-algorithms  online-algorithms 

Чи не будуть втрачені дані при зіставленні 6-бітових значень на 4-бітні значення в S-коробках DES? Якщо так, то як ми можемо повернути його, щоб з’явився правильний вихід?

12 cr.crypto-security 

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

12 lo.logic  csp  security 

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

12 reference-request  soft-question 

Еквівалентним формулюванням теореми PCP є: Для Max 3-SAT слід твердо розрізняти задоволені формули та формули, де не більше фракції пропозицій є задоволеними (для деяких ).r r < 1NПNPNPrrrr < 1r<1r\lt 1 Чи існує якась відома теорема про дихотомію, яка класифікує всі Max CSP на основі того, чи мають вони важкі …

12 cc.complexity-theory  pcp  csp 

Назвіть найбільш практично ефективні алгоритми множення двох дуже розріджених булевих матриць (скажімо, N = 200 і є лише деякі 100-200 ненульових елементів)? Насправді, я маю перевагу в тому, що коли я множу A на B, B є заздалегідь визначеними, і я можу робити довільно складну попередню обробку на них. Я …

12 ds.algorithms  matrix-product  sparse-matrix  boolean-matrix  implementation 

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

12 soft-question  cg.comp-geom 

Ширина дерева вимірює наближеність графіка до дерева. На графіках із обмеженою шириною дерева можна відстежити декілька проблем, пов'язаних з NP. Якщо проблема залишається непомітною на деревах, то ширина дерева не може нас врятувати. Це було мотивацією одного з моїх попередніх запитань, які задавали NP-важкі проблеми на деревах. Існує кілька спрямованих …

12 np-hardness  directed-acyclic-graph