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

Я постійно чую, як треба вивчити теорію категорій, щоб справді зрозуміти теорію мови програмування. Поки що я навчився великій кількості PL, не вступаючи ніколи в сферу категорій. Однак я подумав, що настав час зробити стрибок, щоб побачити, чого я пропустив. На жаль, жодне з джерел, які я можу знайти, здається, …

13 reference-request  programming-languages  type-theory  category-theory 

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

13 complexity-theory  reference-request  time-complexity  graph-isomorphism 

Чи існує якийсь природний чи помітний спосіб зв’язати чи зв’язати математичні групи та формальні мови CS чи якусь іншу основну концепцію CS, наприклад, машини Тьюрінга? Шукаю посилання / програми. Однак зауважте, що мені відомо про зв’язок між напівгрупами та мовами CS (а саме через обмежені автомати ). (Чи ця література …

13 formal-languages  reference-request  automata  discrete-mathematics  group-theory 

Мені було цікаво, чи хтось знає походження моделі клієнтського сервера. Звідки походить цей термін (папір, програмне забезпечення, книга)?

13 terminology  reference-request  distributed-systems  history 

Проблема після кореспонденції (PCP) не може бути вирішена. Обмежена версія PCP є -повне і відзначений варіант PCP (слова одного з двох списків повинні відрізнятися в першому листі) в [1].P S P A C EН ПNP\mathrm{NP}P S P A C EPSPACE\mathrm{PSPACE} Чи використовуються ці обмежені версії для доведення деяких складних результатів …

13 complexity-theory  computability  reference-request 

Існує та популярна проблема [1] [2] в інформатиці, яка полягає у знаходженні мінімальної кількості прямих, що охоплюють заданий набір точок у 2D. Хоча я просканував багато робіт, жодна з них не має чіткої мотивації проблеми. У чому полягає користь вирішення цієї проблеми? Чи є папір, яка пояснює це?

12 reference-request  computational-geometry  applied-theory 

З точки зору найгіршого асимптотичного періоду виконання, яка NP-повна проблема має найшвидший відомий (точний) алгоритм і який алгоритм? Чи є щось відоме, що швидше, ніж ?О ( н.)2∗ 2н)O(n2∗2n)O(n^2*2^n)

12 algorithms  reference-request  np-complete 

Я намагаюся вирішити проблему SAT із змінами 25k пунктів 5k. Оскільки вона працює протягом години (попередня пластика), і я хотів би вирішити більш великі після цього, я шукаю багатоядерний SAT-Solver. Оскільки, здається, є багато рішучих SAT, я досить розгублений. Чи міг би хтось вказати на мене найкращим для моєї справи? …

12 algorithms  reference-request  parallel-computing  sat-solvers 

Я не знаю, чи це був жарт, але одного разу я прочитав те, що називалося формальним визначенням файлу в такій версійній системі, як git, hg або svn. Це було щось на зразок математичного об'єкта, як гомеоморфізм. Це був жарт чи є насправді теорія інформатики щодо версійних систем та математики VCS?

12 terminology  reference-request 

Мені цікаво, у чому полягає складність часу визначення порожнечі для двосторонніх ДФА? Тобто, кінцеві автомати, які можуть рухатись назад на вхідній стрічці лише для читання. Згідно з Вікіпедією, вони еквівалентні DFA, хоча еквівалентний DFA може бути експоненціально більшим. Я виявив складність держави для їх доповнення та перехрестя, але не для …

12 complexity-theory  formal-languages  reference-request  automata  finite-automata 

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

11 reference-request  programming-languages  semantics  model-checking 

Мені цікаво, чи є якісь проблеми, що стосуються які є "многочленними" в середньому випадку. Я думаю, що є два способи інтерпретувати це?NПNПNP Якщо , чи може існувати алгоритм, що розв'язує задачу твердого з амортизованим (середнім випадком) часом роботи для постійної ?П≠ NПП≠NПP \neq NPNПNПNPО ( н.)к)О(нк)O(n^k)ккk Чи є якісь проблеми, …

11 complexity-theory  reference-request  np-complete  probabilistic-algorithms  amortized-analysis 

Чи можете ви дати мені кілька пропозицій щодо хорошої вступної (але всебічної) книги про логіку та обчислення? Деякі нечіткі теми, які я маю на увазі: Прісбургер артім., Пенсільванія, ZF, ZFC, HOL Теорія множин, Теорія типів Моделювання обчислень (машини Тюрінга) в різних теоріях Посилання з обчислювальною складністю (FMT, описова складність)

11 reference-request  logic  books 

Відповідно до статті Вікіпедії про схеми наближення полінома-часу : Усі проблеми в FPTAS є фіксованими параметрами. Цей результат мене дивує - ці заняття, здається, сильно відрізняються один від одного. FPTAS характеризує проблеми тим, наскільки їх легко наблизити, тоді як FPT характеризує проблеми за їх складністю щодо певного параметра. На жаль, …

11 complexity-theory  reference-request  approximation  parameterized-complexity 

З огляду на завдань , для кожного завдання потрібно час.нnnT i > 0 , T i ∈ NJ1, J2, . . . , JнJ1,J2,...,JnJ_1,J_2,...,J_nТi> 0 , Тi∈ NTi>0,Ti∈NT_i > 0, T_i \in N Кожне завдання повинно бути попередньо оброблене та опрацьоване на одній машині M, яка може обробляти лише 1 …

11 complexity-theory  reference-request  scheduling