Теоретична інформатика

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

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

Проблема, яку ми розглянемо тут, - це розширення відомої проблеми фарбування інтервалів. Замість інтервалів ми вважаємо прямокутники, які мають сторони, паралельні осям. Метою є забарвлення прямокутників, використовуючи мінімальну кількість кольорів таким чином, щоб будь-яким двома прямокутниками, що перекриваються, присвоювали різні кольори. Як відомо, ця проблема є важкою для NP. Xin …

17 ds.algorithms  approximation-algorithms  cg.comp-geom  graph-colouring  online-algorithms 

Неважко помітити, що будь-яка проблема, яка вирішується в детермінованому просторі журналів ( ), працює не більше, ніж у поліномії ( P ). Багато відомих алгоритмів журнального простору (наприклад: непряме з'єднання st, плоский ізоморфізм графа) працюють в O ( n k ), де k шалено велике.LLLPPPO(nk)O(nk)O(n^k)kkk Я шукаю приклади природних задач, …

17 cc.complexity-theory  space-bounded  space-time-tradeoff 

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

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

Враховуючи випадкову ходу на графіку, час покриття - це перший раз (очікувана кількість кроків), коли кожна вершина була вдарена (охоплена) ходою. Для підключених ненаправлених графіків час покриття, як відомо, є верхньою межею на O(n3)O(n3)O(n^3) . Існують сильно пов'язані диграфи з експоненціалом часу покриття в nnn . Прикладом цього є Орграф …

17 graph-theory  co.combinatorics  markov-chains  random-walks 

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

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

Лінійне розширення з ч.у.м. є лінійним порядком на елементах , такі , що в тягне в для всіх .LLLPП\mathcal{P}PП\mathcal{P}x≤yх≤уx \leq yPП\mathcal{P}x≤yх≤уx \leq yLLLx,y∈Pх,у∈Пx,y\in\mathcal{P} Лінійне розширення граф являє собою графік , на безлічі лінійних розширень відвідати, де дві лінійних розширення є суміжними , якщо вони точно ді ер і далі в …

17 graph-theory  co.combinatorics 

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

17 ds.algorithms  reference-request  algebra  algebraic-complexity 

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

17 sat  lo.logic  csp 

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

17 computability 

Розподіл називається ε -fool функцію F , якщо | E x ∈ U ( f ( x ) ) - E x ∈ D ( f ( x ) ) | ≤ ϵ . І, як кажуть, обдурити клас функцій, якщо він обдурює кожну функцію цього класу. Відомо, що ϵ …

17 cc.complexity-theory  derandomization  space-bounded  pseudorandomness 

Це питання натхнене футболкою центру технічних алгоритмів та випадковості , яка запитує "Випадково чи ні ?!" Існує багато прикладів, коли рандомізація допомагає, особливо при роботі в змагальних умовах. Також є деякі параметри, коли рандомізація не допомагає і не шкодить. Моє запитання: Які налаштування коли рандомізація (деяким, здавалося б, розумним способом) …

17 randomness  big-picture  randomized-algorithms 

Мене цікавлять властивості довільно спрямованих графіків з фіксованою поза-ступеневоюddd . Я уявляю випадкову модель графа, де кожна вершина вибирає d сусідів (скажімо, із заміною) uar Питання : Чи відомо про стаціонарний час розподілу та змішування випадкових прогулянок на цих випадкових графах (для різних значень )? ddd Мене особливо цікавить випадок, …

17 graph-theory  co.combinatorics  automata-theory  random-walks 

Я знайшов книгу « Пара незалежності та дендандомізація» на цю тему, але вона більше орієнтована на дослідження, ніж орієнтована на навчальний посібник. Я новачок у темі "Дерандомізація", і тому я хотів знати, з якого посилання почати? Я віддаю перевагу той, який обговорює літературу та історію, а також технічні деталі.

17 cc.complexity-theory  derandomization  randomized-algorithms 

Динаміка Глаубера - це ланцюг Маркова на забарвленнях графіка, в якому на кожному кроці намагаються перефарбувати випадкову обрану вершину випадковим кольором. Він не змішується для 3-х забарвлень 5-ти циклу: існує 30 3-х забарвлень, але лише 15-ти з них можна досягти одновершинними кроками перефарбовування. Більш загально, може бути показано, що він …

17 graph-theory  markov-chains