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

Що таке алгоритм наближення двокритерій? Це з'являється у випадку кластеризації потоків даних. Чи пов’язано це з багатоцільовою оптимізацією? Ось де я натрапив на це: cis.upenn.edu/~sudipto/mypapers/datastream.pdf. У статті йдеться про потокову версію алгоритму k-означає. У статті є посилання, але жодна з них не дає пояснення, що таке алгоритм наближення двокритерій. Я, …

11 optimization  approximation 

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

11 data-structures  functional-programming  persistent-data-structure 

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

11 reference-request  logic  books 

Скільки арифметичних операцій потрібно, щоб знайти псевдоінверсію матриці Мура – ​​Пенроуза довільного поля? Якщо матриця обернена і складна, то це просто обернена. Пошук зворотного займає час O(nω)О(нω)O(n^\omega) , де ωω\omega - константа множення матриці. Це теорема 28.2 у вступі до алгоритмів 3-го видання. Якщо матриця має лінійно незалежні рядки або …

11 algorithms  linear-algebra 

Це свого роду питання про відстань до редагування, і це дуже просто. Я просто мертвий з цього приводу і не можу цього розібратися. Дано ряд чисел, напр [3, 1, 1, 1] Як би найефективніше перетворити всі числа в одне і те ж число з мінімальною кількістю "ходів"? Під "переміщенням" мається …

11 algorithms  optimization 

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

11 turing-machines 

На уроці нам було представлено алгоритм пошуку максимуму в масиві паралельно у часовій складності з ЕОМ.n 2O(1)O(1)O(1)n2n2n^2 Алгоритм: Дано масив довжиною n: Складіть масив прапора B довжиною n та ініціалізуйте його з нулями з комп'ютерів.nnn Порівняйте кожні 2 елементи і запишіть 1 в B з індексом мінімуму з комп’ютерів.n2n2n^2 знайдіть …

11 algorithms  search-algorithms  parallel-computing 

У задачі на АЗС нам задано nnn міст {0,…,n−1}{0,…,n−1}\{ 0, \ldots, n-1 \} та дороги між ними. Кожна дорога має довжину, і кожне місто визначає ціну пального. Одна одиниця дороги коштує одну одиницю палива. Наша мета - поїхати від джерела до місця призначення найдешевшим можливим способом. Наш танк обмежений якоюсь …

11 algorithms  graphs  recurrence-relation 

Мінімізація детермінованих кінцевих автоматів (DFA) є проблемою, детально вивченою в літературі, і було запропоновано кілька алгоритмів для вирішення наступної проблеми: Дано DFA , обчислити відповідний мінімальний DFA, приймаючи ту саму мову, що і . Більшість із цих алгоритмів працює в поліноміальний час.АА\mathscr{A}АА\mathscr{A} Однак мені цікаво, чи варіант рішення цієї проблеми …

11 algorithms  formal-languages  finite-automata 

Я беру участь у курсі програмування та алгоритмів першого курсу. У нещодавній лекції я вирішив представити матеріал за допомогою прямого кодування , що по суті означало, що я сиджу за клавіатурою і пишу код та оцінюю його, використовуючи emacs для полегшення процесу. Це було досить вдало, і студенти прокоментували, наскільки …

11 education  didactics 

У мене проблема, і я думаю, що це важко, але я не можу її довести. Ось графік шарів, де шар 0 - найвищий шар, а шар L - найнижчий. є деякі спрямовані ребра між шарами, де ребро (A, B) вказує, що вузол A може [прикрити] вузол B. себе. Нарешті, ось …

11 graphs  np 

Мови без контексту не доповнюються доповненням. На лекціях нам подано той самий аргумент, що і тут у Вікіпедії : Для і і є без контексту, але їх перетин не є. Оскільки контекстні мови закриті під союзи, вони також не можуть бути закриті при доповненні.А = { анбнcм; m , n …

11 formal-languages  context-free 

Мене цікавлять властивості класу двопартійних графіків G(X∪Y, Е)Г(Х∪Y,Е)G(X \cup Y, E) де всі вузли в ХХX 3-регулярні, всі вузли в YYY - 2-регулярні, і | Х| = | 2Y/ 3 ||Х|=|2Y/3||X|=|2Y/3|. По-перше, це добре відомий клас графіків? По-друге, Чи є приклад нерозв'язної обчислювальної задачі, обмеженої цим класом двосторонніх графіків?

11 complexity-theory  graph-theory 

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

11 algorithms  optimization  dynamic-programming  knapsack-problems 

Проблема рішення Враховуючи булеву формулу , чи має ϕ рівно одне задовольняюче завдання?ϕϕ\phiϕϕ\phi видно як , U P -твердий і c o N P -твердий. Чи відомо більше про його складність?Δ2Δ2\Delta_2UPUP\mathsf{UP}coNPcoNP\mathsf{coNP}

11 complexity-theory  complexity-classes  satisfiability