Запитання з тегом «reference-request»

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

10 cc.complexity-theory  ds.algorithms  reference-request  string-matching  edit-distance 

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

10 cc.complexity-theory  reference-request  parameterized-complexity 

Де я можу знайти вступ до імовірнісних автоматів і що вони розпізнають (певні функції від слів до )? Чи існує стандартний термін для таких функцій, які розпізнаються ймовірнісними автоматами, аналогічні "звичайним мовам", для яких визнають детерміновані кінцеві автомати (DFA)?[ 0 , 1 ][0,1][0,1] Я шукаю щось, що підходить до цього …

10 reference-request  fl.formal-languages  probabilistic-automata 

Нехай - матриця над кінцевим полем і , - вектори простору . Мене цікавить обчислювальна складність вирішення, чи існує така, що , тобто в задачі про доступність для лінійних динамічних систем над кінцевими полями.AAAF2={0,1}F2={0,1}\mathbb{F}_2 = \{0,1\}xxxyyyFn2F2n\mathbb{F}_2^nt∈Nt∈Nt \in \mathbb{N}Atx=yAtx=yA^t x = y Проблема чітко в (здогадка та обчислити у часі многочлена …

10 cc.complexity-theory  reference-request  linear-algebra 

Розглянуті тут перетворювачі - це ті, що у Вікіпедії називають перетворювачами кінцевого стану . Поведінка перетворювача , тобто відношення, яке він обчислює, записується [ T ] : слово y - вихід для x iff x [ T ] y .TTT[T][T][T]yyyxxxx[T]yx[T]yx[T]y Питання: Чи вирішується така проблема: Дано: перетворювач і регулярний мову …

10 ds.algorithms  reference-request  automata-theory  regular-language  dfa 

Розглянемо наступну проблему: Давши матрицю ММM ми хочемо оптимізувати кількість доповнень в алгоритмі множення для обчислення v ↦ Mvv↦Мvv \mapsto Mv . Я вважаю цю проблему цікавою через її зв’язок зі складністю множення матриць (ця проблема є обмеженою версією множення матриці). Що відомо про цю проблему? Чи є якісь цікаві …

10 cc.complexity-theory  reference-request  circuit-complexity  matrices  arithmetic-circuits 

Це досить відомий факт, що виведення суперечності з нерівності (наприклад, ) в теорії типу Мартіна-Лоефа вимагає всесвіту.( 0 = 1 ) → ⊥(0=1)→⊥(0=1) \to \bot Доказ також досить простий - за відсутності всесвітів ми можемо стерти залежності від будь-якого залежного типу, щоб отримати простий тип як його форму, і так …

10 reference-request  lo.logic  pl.programming-languages  type-theory  dependent-type 

У статті 1965 р. « Про обчислювальну складність алгоритмів » Хартманіса та Стівенса автори здогадуються, що якщо машина Тьюрінга в реальному часі обчислює реальне число у, наприклад, базі 10, то r є або раціональним числом трансцендентальне число.rrrrrr Чи існує обчислюване трансцендентальне число, яке не можна обчислити машиною Тьюрінга в реальному …

10 cc.complexity-theory  reference-request  examples 

Доказовий складність є найбільш базовою областю теорії складності обчислень. Кінцевою метою цієї області є доведення , тобто будь-який довідник не може дати доказ незадовільності заданої формули введення. NП≠ c o NПNП≠cоNПNP\neq coNP Графік є однією з формальних моделей доказів. Моє питання щодо подальшого обмеження цієї моделі. Доказ представлений як DAG. …

10 cc.complexity-theory  reference-request  graph-theory  np  proof-complexity 

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

10 reference-request  big-list  dc.distributed-comp  db.databases 

Чи є проблеми, які вирішуються в поліноміальний час, лише якщо P! = NP, інакше вирішуються в (скажімо) час?О ( 2н)О(2н)O(2^n) Простим прикладом може бути: Якщо P! = NP, обчисліть тест первинності для випадкового n-бітного числа, в іншому випадку оцініть випадкову позицію в гіршому випадку в узагальнених шахах дошки nxn з …

10 cc.complexity-theory  reference-request 

Яке стандартне визначення Planar 3-SAT? Я бачив ряд різних визначень. Який оригінальний документ визначав його і довів, що він є повним NP?

10 cc.complexity-theory  reference-request  np-hardness  sat  planar-graphs 

Я намагаюся знайти розподіл по випадкових векторів, скажімо , на -вимірній сфері одиниці (де ), яка мінімізує умови обмеження \ mathbb {E} [x_i ^ Tx_j] = 0 .nnnx1,…,xnx1,…,xnx_1,\ldots, x_nkkkn>kn>kn > kE [ x T i x j ] = 0maxi≠jVar(xTixj)maxi≠jVar(xiTxj)\max_{i\neq j} \mathrm{Var}(x_i^T x_j)E[xTixj]=0E[xiTxj]=0\mathbb{E}[x_i^Tx_j]=0 Я спробував деякі дистрибуції, і майже всі …

10 reference-request  randomized-algorithms 

У главі 13 "Атомні об'єкти" книги "Розподілені алгоритми" Ненсі Лінч лінійна здатність (також відома як атомність) виявляється властивістю безпеки. Тобто відповідне його властивість слід непусте, префікс-закрите та обмежене закрите , як визначено у розділі 8.5.3. Неофіційно власність безпеки часто трактується так, що говорить про те, що якась конкретна «погана» річ …

10 reference-request  fl.formal-languages  dc.distributed-comp  concurrency 

Давши спрямований графік, ми хочемо вирішити, чи містить він спрямований цикл рівної довжини. У цьому документі YUSTER та ZWICK 1997 р. Зазначено, що проблема, як відомо, не існує в а також не є повною.ППPNПNПNP Чи є якийсь останній результат, який вирішує складність задачі рівного циклу у спрямованих графіках?

10 cc.complexity-theory  reference-request  graph-theory