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

Чи легше пошук автоматичних теорем і пошук доказів у лінійній та іншій підструктурній логіці, якій не вистачає стиснення? Де я можу прочитати докладніше про автоматичне підтвердження теореми в цих логіках та роль стиснення в пошуку доказів?

18 reference-request  lo.logic  survey  automated-theorem-proving  linear-logic 

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

18 cc.complexity-theory  reference-request  time-complexity  query-complexity 

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

18 reference-request  cr.crypto-security 

Чи правда, що існують проблеми в ієрархії поліномів, розв’язувані за часом O(nk)O(nk)O(n^k) (за допомогою змінної машини Тюрінга на деякому рівні поліноміальної ієрархії), які не вирішуються в O(nk−1)O(nk−1)O(n^{k-1}) на будь-якому рівні поліноміальна ієрархія? Іншими словами - чи існує теорема про ієрархію часу для ієрархії поліномів, як це існує для P та …

18 cc.complexity-theory  reference-request  polynomial-hierarchy  time-hierarchy 

2 питання для обчислювальних геометрів або алгебраїстів: Я тільки починаю занурюватися в обчислювальну геометрію і люблю це =) Я намагаюся прочитати відому статтю Гібаса та Столфі під назвою "Примітиви для маніпулювання загальними підрозділами та обчислення діаграм Вороного" , щоб реалізувати алгоритм триангуляції Делоне. Мені спокуса пропустити всі теоретичні речі і …

18 reference-request  cg.comp-geom  algebra 

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

18 reference-request  fl.formal-languages  parsing 

Проблема: нам надають набір паличок, всі мають цілі довжини. Загальна сума їх довжин - n (n + 1) / 2. Чи можемо ми їх розбити, щоб отримати паліноми розміром за багаточлен? 1 , 2 , … , н1,2,…,n{1,2,\ldots,n} Дивно, але єдине посилання, яке я знаходжу на цю проблему, - це …

18 reference-request  complexity-classes  puzzles 

Мене цікавить наступна проблема: Враховуючи набір X і підмножини X_1, ..., X_n з X, знайдіть забарвлення елементів X з k кольорами таким чином, що елементи в кожному X_i всі мають різний колір. Більш конкретно, я розглядаю випадок, коли всі X_i мають розмір k. Чи відомо це в літературі під якоюсь …

18 cc.complexity-theory  reference-request  np-hardness  hypergraphs 

Здійсненності проблема, звичайно ж , основна проблема в теоретичній CS. Я грав з однією версією проблеми з нескінченно великою кількістю змінних.\newcommand{\sat}{\mathrm{sat}} \newcommand{\unsat}{\mathrm{unsat}} Основні настройки. Нехай - порожній і, можливо, нескінченний набір змінних . Буквал - це або змінна або її заперечення ¬ x . Пункт c - диз'юнкція кінцевої кількості …

18 reference-request  lo.logic  sat  topology  lattice 

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

17 context-free  automata-theory  reference-request 

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

17 cc.complexity-theory  reference-request  circuit-complexity 

Чи відомий наступний клас графів у літературі? Клас графіків параметризований натуральними числами і і містить кожен графік таким, що для кожної вершини підграф індукований у всіх вершинах на відстані, щонайбільше від в має ширину ширини не більше .dddtttG=(V,E)G=(V,E)G=(V,E)v∈Vv∈Vv\in VGGGdddvvvГГGттt Він узагальнює поняття локально обмеженої широти , і це здається корисним …

17 reference-request  graph-theory  treewidth 

Намагаючись переконати економістів у важливості теорії складності у друку, чи є стандартна посилання на цитування? Я знайомий з блозі Ноам Нісан в , обстеженні Тіма Роугарден в і главі 11 есе Ааронсон в . Ці посади доступні для вчених-комп'ютерів, але не використовують мову економістів і не публікуються у місцях, що …

17 cc.complexity-theory  reference-request  application-of-theory  ho.history-overview  ce.computational-finance 

Я шукаю природні приклади ефективних алгоритмів (тобто в поліноміальний час) st їх правильність та ефективність можна довести конструктивно (наприклад, у або ), алеPRAPRAPRAHAHAHA ніяких доказів, що використовують лише ефективні поняття, не відомо (тобто ми не знаємо, як довести їх правильність та ефективність у або ).TV0TV0TV^0S12S21S^1_2 Я можу самостійно робити штучні …

17 cc.complexity-theory  reference-request  lo.logic  proof-complexity  constructive-mathematics 

Більшість веб-сайтів, які я відвідував, читаючи цю цікаву тему, вказують щось на зразок "єдині сили двох (крім самих 2), які виникають у цій послідовності, - це сили з простим показником" (MathWorld) або "Після 2 ця послідовність містить такі сили 2: [...], які є простими силами 2." (Вікіпедія) Ці обережні формулювання …

17 reference-request  primes