Комп'ютерна наука

Чи проводились дослідження щодо доказової складності вирішення проблеми P = NP? Якщо ні, зважаючи на недостатній прогрес у проблемі, чи було б нерозумним припустити, що будь-який доказ, що вирішує проблему P = NP, потребуватиме суперполіномічного числа кроків?

15 complexity-theory  np 

У нас є сітка N1×N2N1×N2N_1 \times N_2 . У нас є колекція прямокутників на цій сітці, кожен прямокутник може бути представлений у вигляді бінарної матриці N1N1N_1 -by- N2N2N_2RRR . Ми хочемо покрити сітку тими прямокутниками. Чи завершена версія рішення цього набору для вирішення проблеми NP? Введення: Колекція C={R1,R2,…,RL}C={R1,R2,…,RL}\mathcal{C}=\{R_1,R_2,\dots,R_L\} прямокутників на …

15 complexity-theory  np-complete  set-cover 

Хочете вдосконалити цю посаду? Надайте детальні відповіді на це питання, включаючи цитати та пояснення, чому ваша відповідь правильна. Відповіді без достатньої кількості деталей можуть бути відредаговані або видалені. Часто є мови програмування, спеціалізовані для конкретних завдань. Деякі мови програмування є прекрасними в арифметиці масиву (такі як матриці та використання багатовимірних …

15 programming-languages 

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

15 complexity-theory  reference-request  complexity-classes  enumeration 

Принаймні на Java, якщо я напишу цей код: float a = 1000.0F; float b = 0.00004F; float c = a + b + b; float d = b + b + a; boolean e = c == d; значення було б . Я вважаю, що це викликано тим, що поплавці …

15 arithmetic  floating-point  numerical-algorithms 

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

15 mathematical-foundations 

Припустимо два списки порівняних предметів: u та s. Нехай INV (u) - кількість перетворень u. Я шукаю ефективний алгоритм для вставки елементів s в u з мінімальним збільшенням INV (u). В основному я хотів би вставити об'єкти до списку, зберігаючи його "якомога більше сортованим", зберігаючи порядок першого списку. Приклад: u …

15 algorithms  sorting 

У статті Філіпа Вадлера про « Теореми безкоштовно» він у розділі 2 про параметричність заявляє, що не існує наївних множинно-теоретичних моделей поліморфного обчислення лямбда У наївній множинно-теоретичній моделі є набори, а функції - множинно-теоретичні функції, що здається розумним. То чому він каже, що немає наївних множинно-теоретичних моделей поліморфного обчислення лямбда?

15 functional-programming 

Нехай . Мова Кажуть , має властивість «анти-паліндром» , якщо для кожного рядка , що є паліндром, . Крім того, для кожного рядка який не є паліндром, ні u \ in L, ні \ mathrm {Reverse} (u) \ in L , але не обидва (!) (Виключні або).L ⊆ Σ ∗ …

15 formal-languages 

У моїй текстовій книзі зазначається, що: де ∅ порожня мова.∅∗={ϵ}∅∗={ϵ}\emptyset^*=\{\epsilon\}∅∅\emptyset Однак ми знаємо, що , де L - будь-яка мова.L⋅∅=∅L⋅∅=∅L \cdot \emptyset = \emptysetLLL Я не в змозі інтуїтивно зрозуміти це поняття, оскільки операція зірки Клейна вказує на те, що .∅∗=∅0∪∅1∪∅2∪⋯∅∗=∅0∪∅1∪∅2∪⋯\emptyset^*=\emptyset^0 \cup \emptyset^1 \cup \emptyset^2 \cup \cdots То чому не …

15 formal-languages  kleene-star 

Я дуже добре знайомий з Дайкстра і у мене є конкретне питання щодо алгоритму. Якщо у мене є величезний графік, наприклад 3,5 млрд. Вузлів (усі дані OpenStreetMap), я, очевидно, не міг би мати графік у пам'яті, тому графік зберігається на диску в базі даних. Існують бібліотеки для обчислення найкоротших шляхів …

15 algorithms  graph-theory  graphs  shortest-path 

Що означає журнал O ( 1 ) nlogO(1)n\log^{O(1)}n ? Я знаю нотацію великого O, але це позначення не має для мене сенсу. Я нічого не можу знайти про це, тому що немає можливості пошукова система трактує це правильно. Деякий контекст, речення, де я знайшов його, звучить "[...] ми називаємо функцію …

15 asymptotics  landau-notation 

Минулої осені я вирушив у гастролі суперкомп'ютера «Блакитні води» в Університеті Іллінойсу. Я запитав, чи хтось використовував весь комп’ютер. Мені сказали, що вона завжди працювала над кількома проектами. Це змусило мене замислитися над корисністю суперкомп'ютерів. Можливо, Блакитні води незвичні тим, що її мають поділяти галузь та університет - я не …

15 computer-architecture 

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

15 compilers  parsers 

Головоломка «Без потоку» складається з додатного цілого числа та набору (не упорядкованих) пар різних вершин на графіку сітки n × n таким чином, що кожна вершина має максимум одну пару. Рішення такої головоломки - це набір ненаправлених контурів на графіку таким чином, що кожна вершина знаходиться точно в одному шляху, …

15 np-hard  square-grid