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

Я читав про класи графів , для яких Ізоморфізм графів ( GIGIGI ) знаходиться в PPP . Одним із таких випадків є графіки обмеженої валентності (максимум понад ступінь кожної вершини), як пояснено тут . Але я вважав це занадто абстрактним. Буду вдячний, якщо хтось може запропонувати мені кілька посилань описувального …

17 ds.algorithms  reference-request  graph-theory  graph-isomorphism 

Я вчив нижніх меж сьогодні, і один зі студентів запитав про причини назви C . Офіційне пояснення полягає в тому, що "A" означає "Чергування".А С0АС0AC^0АСАСAC Я туманно пам'ятаю, як мені говорили багато років тому, що Нік Піппенгер Стів Кук назвав честь Ніка Піппенгера (клас Ніка), а пізніше Ніка назвав S …

17 cc.complexity-theory  reference-request  ho.history-overview 

Багато років тому я чув, що обчислення мінімальної NFA (недетермінований кінцевий автомат) від DFA (детермінованої) було відкритим питанням, на відміну від навпаки напрямку, яке було відоме десятиліттями і добре досліджене з ефективним алгоритм. Хтось придумав алгоритм?О ( п лгn )О(нlg⁡н)O(n \lg n) Швидкий пошук дав мені цей документ, який доводить, …

17 ds.algorithms  reference-request  fl.formal-languages  automata-theory  optimization 

Контекст: відносини між логікою та автоматами Теорема Бючі говорить, що логіка Монадичного другого порядку над рядками (MSO) захоплює клас регулярних мов. Доказ фактично показує, що екзистенціальної MSO ( або EMSO ) над рядками достатньо для захоплення звичайних мов. Це може бути трохи дивно, оскільки для загальних структур MSO суворо виражає, …

17 reference-request  lo.logic  regular-language  finite-model-theory 

Мережевий комутатор (назва придумано) виконаний з трьома типами вузлів: один пусковий вузол один кінцевий вузол один або кілька вузлів комутації Вузол комутації має 3 виходи: вліво, вгору, вправо; має два стани L і R і цільовий стан TL або TR . Кожен перемикач можна пройти за допомогою наступних правил: завжди …

17 ds.algorithms  reference-request  graph-algorithms  np 

Назвіть найвідоміші методи циклічної згортки довжиною над малим полем, тобто коли | Ж | ≪ n ? Мене особливо цікавлять поля постійного розміру, або навіть F = F 2 . Загальні твердження та посилання на асимптотичну ефективність високо оцінені.nnn|F|≪n|F|≪n|\mathbb{F}| \ll nF=F2F=F2\mathbb{F} = \mathbb{F}_2 Передумови: Нехай - поле, а n > …

17 ds.algorithms  reference-request 

Мені сказали, що є кілька хороших поліноміальних часових алгоритмів для наближення кількості простих шляхів у спрямованому графіку від заданої вершини до заданої кінцевої вершини t . Хтось знає про хороший довідник з цього приводу?sssttt Передумови: підрахунок точної кількості шляхів у загальному графіку є # P-повним, але можуть бути приблизні поліноміальні …

17 ds.algorithms  reference-request  graph-algorithms  approximation-algorithms  counting-complexity 

Негативний метод супротивника ( ADV±ADV±ADV^\pm ) - це СДП, який характеризує складність квантового запиту. Це узагальнення широко застосовуваного протиборчого методу ( ADVADVADV ) і долає два бар'єри, що перешкоджали протиборчому методу: Бар'єр тестування властивостей: якщо всі 0-екземпляри ϵϵ\epsilon -далі від усіх 1-екземплярів, тоді метод супротивника не може довести нижню межу …

17 cc.complexity-theory  reference-request  quantum-computing  query-complexity  property-testing 

Добре відомо, що якщо ви кидаєте n кульок у n контейнерів, велика ймовірність, що у найзавантаженому смітнику є кульки O(logn)O(log⁡n)O(\log n) . Взагалі можна запитати про m>nm>nm > n кульок у nnn бункерах. Доповідь RANDOM 1998 від Raab і Steger досліджує це детально, показуючи, що зі збільшенням mmm ймовірність навіть …

17 reference-request  pr.probability 

Що робити, якщо щось відомо про параметризовану складність обчислення номера перетину графа (найменша кількість кліків, необхідних для покриття всіх його ребер)? Здавна відомо, що він є NP-повним, і це, очевидно, FPT, оскільки він має ядро: якщо ви можете покрити графік kліками, то є щонайменше 2 k різних закритих околиць вершин …

17 ds.algorithms  reference-request  graph-algorithms  parameterized-complexity 

Оскільки термін перевантажений, спочатку коротке визначення. Пост - це набір наділений частковим порядком . Враховуючи два елементи , ми можемо визначити x \ vee y (приєднатись) як їх найменшу верхню межу в X , і аналогічно визначити x \ wedge y (meet) (join) як найбільшу нижню межу.XXX≤≤\lea,b∈Xa,b∈Xa,b \in Xx∨yx∨yx \vee …

17 reference-request  co.combinatorics  metrics  lattice  order-theory 

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

17 reference-request  pl.programming-languages  semantics  formal-systems 

Я хочу розібратися, чи є якісь загальні результати щодо чи приклади, що стосуються NP-повноти проблеми пошуку другого рішення проблеми, завершеної NP. Точніше, мене цікавлять будь-які проблеми такої форми: З огляду на рішення до примірника I як NP-повної задачі є рішення S ' ≠ S в I ?SSSIЯIS′≠SS'≠SS' \neq SIЯI Будемо …

17 cc.complexity-theory  reference-request  np-hardness  unique-solution 

Наскільки я розумію, всі знають детерміновані правила зведення для симплексних алгоритмів мають специфічні входи, на які алгоритм вимагає експоненціального часу (або принаймні не многочлена), щоб знайти оптимум. Назвемо ці випадки «патологічними», оскільки зазвичай (тобто на більшості входів) алгоритм симплекс швидко припиняється. Я пам'ятаю зі свого курсу математичного програмування, що стандартні …

17 cc.complexity-theory  reference-request  linear-programming  simplex 

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

17 ds.algorithms  reference-request  algebra  algebraic-complexity