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

Я читав статтю Фрейда "Алгебраїчно повні категорії" у знаменитому Como90, і у мене є два питання щодо поняття алгебраїчної компактності, яке він визначив у цій роботі. (Якщо ви не знайомі з визначенням, ось це: Категорія називається алгебраїчно компактною, якщо кожен ендофунктор має початкову алгебру та кінцеву когелгеру, які є канонічно …

12 reference-request  type-theory  ct.category-theory 

Я шукаю бібліографічні посилання на такий алгоритм / проблему: я назвав його "BiSelect" або "t-ary Select" або "Select in Union of Sorted Arrays", але я думаю, що він був введений раніше під іншою назвою? Проблема Розглянемо наступну проблему: Враховуючи неперервані відсортовані масиви A 1 , … , A k відповідних …

12 reference-request 

Я намагаюся зрозуміти, до якого класу складності належить наступна проблема: Розкриття проблеми поліномального кореня (EPRP) Нехай - многочлен з з коефіцієнтами, виведеними з кінцевого поля з простим числом, а примітивним коренем для цього поля. Визначте розв’язання: (або еквівалентно нулі ), де означає експоненцію .deg ( p ) ≥ 0 G …

12 cc.complexity-theory  reference-request  comp-number-theory  np-intermediate 

Чи знаємо ми, що ієрархія T C0TC0\mathsf{TC^0} не руйнується ( TC0d⊊TC0d+1TCd0⊊TCd+10\mathsf{TC^0_d} \subsetneq \mathsf{TC^0_{d+1}} для всіх ddd )? Запис у зоопарку для TC0TC0\mathsf{TC^0} зазначає лише розділення між глибиною 2 та 3. Чи є стандартна посилання на те, що AC0dACd0\mathsf{AC^0_d} ієрархія не руйнується?

12 cc.complexity-theory  reference-request  complexity-classes  circuit-complexity  bounded-depth 

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

12 reference-request  co.combinatorics  fl.formal-languages  automata-theory  research-practice 

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

12 ds.algorithms  reference-request  optimization  linear-programming  na.numerical-analysis 

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

12 ds.algorithms  reference-request  order-theory 

Сподіваюся, хтось знає відповідь на це, тому мені не доведеться читати літературу ... Розглянемо послідовність чисел . Подумайте про послідовність як проміжки . Зрозуміло, що початкова послідовність є бітонічною, якщо будь-яка точка на реальній прямій врізається не більше 2 інтервалів. Ми будемо називати послідовність, де точка колюється на більшій кількості …

12 ds.algorithms  reference-request  sorting 

MPA (багатоскатний автомат) - це 2DFA (двосторонній детермінований кінцевий автомат), який може використовувати довільну кількість гальки (насправді не більше гальки на заданому вході w - вхід записується на стрічку між двома кінцями -марки як # w # ). Під час обчислень MPA може виявити, чи є символ під головою з …

12 cc.complexity-theory  reference-request  automata-theory  space-bounded 

Унікальний SAT - це добре відома проблема: враховуючи формулу CNF , чи правда, що F має саме одну модель?FFFFFF Мене цікавить проблема «Рівно -SAT»: з урахуванням формули CNF F і цілого числа m > 1 , чи правда, що F має саме m моделей?mmmFFFm>1m>1m>1FFFmmm Обидві проблеми виглядають схоже. Отже, мої …

12 cc.complexity-theory  reference-request  np-hardness  sat  reductions 

Якщо являє собою графік з максимальним ступенем 3 , і є мінор H , то G є топологічним мінор H .GGGHHHGGGHHH Вікіпедія цитує цей результат із "Теорії графіків" Дістеля. Він вказаний як Prop 1.7.4 в останній версії книги. У книзі бракує доказів або цитування. Чи відомі місця проживання (оригінального) доказу …

12 reference-request  graph-theory  co.combinatorics  graph-minor 

Ми можемо думати про складність Колмогорова рядка як довжину найкоротшої програми P та вхід y такий, що x = P ( y ) . Зазвичай ці програми складаються з деякого набору Тьюрінга (наприклад, P може бути описом машини Тьюрінга, або це може бути програма в LISP або C). Навіть коли …

12 reference-request  computability  kolmogorov-complexity 

Я шукаю хороший орієнтир для вузьких найкоротших шляхів. Зокрема, задавши вершини s і t у непрямому графіку з вагою ребер, ви хочете найкоротший шлях від s до t, де довжина шляху є максимальним ребром на цьому шляху. Це можна вирішити за O (n + m) час, знайшовши середню вагу ребра …

12 ds.algorithms  reference-request  graph-algorithms 

Чи є опитування (з паперу, глави книги, підручника, посилання, ...) семантики різних особливостей мови програмування? Я спочатку був переповнений особливостями D тут http://www.digitalmars.com/d/2.0/comppare.html Я хотів би побачити, що я міг би отримати звідси, хоча я поставив подібне запитання щодо stackoverflow і зрозумів, що ці два сайти мають різні точки зору. …

12 reference-request  pl.programming-languages  survey 

Що відомо про наступну проблему? Давши колекцію функцій , знайдіть найбільшу підколекцію урахуванням обмеження, яке VC-розмір для деяке ціле .CCCf:{0,1}n→{0,1}f:{0,1}n→{0,1}f:\{0,1\}^n\rightarrow\{0,1\}S⊆CS⊆CS \subseteq C(S)≤k(S)≤k(S) \leq kkkk Чи є алгоритми наближення або результати твердості для цієї проблеми?

12 reference-request  approximation-algorithms  cg.comp-geom  lg.learning  vc-dimension