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

Коли ми порівнюємо складність двох алгоритмів, зазвичай буває, що або або (можливо, обидва), де і - час виконання (наприклад) двох алгоритмів.f(n)=O(g(n))f(n)=O(g(n))f(n) = O(g(n))g(n)=O(f(n))g(n)=O(f(n))g(n) = O(f(n))fffggg Це завжди так? Тобто чи завжди виконується хоча б одне із співвідношень і , тобто для загальних функцій , ? Якщо ні, то які припущення …

15 asymptotics  mathematical-analysis 

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

15 algorithms  distributed-systems  clocks 

Я намагаюся знайти пов'язане для наступного рівняння повторення:ΘΘ\Theta T(n)=2T(n/2)+T(n/3)+2n2+5n+42T(n)=2T(n/2)+T(n/3)+2n2+5n+42 T(n) = 2 T(n/2) + T(n/3) + 2n^2+ 5n + 42 Я вважаю, що теорема магістра є недоцільною через різну кількість підпроблем та поділів. Також дерева рекурсії не працюють, оскільки немає а точніше .T(1)T(1)T(1)T(0)T(0)T(0)

15 asymptotics  recurrence-relation  master-theorem 

У мене є дерево (в сенсі теорії графів), наприклад наступний приклад: Це спрямоване дерево з одним початковим вузлом (корінь) і багатьма закінчуючими вузлами (листя). Кожен з ребер має призначену йому довжину. Моє запитання: як знайти найдовший шлях, починаючи від кореня і закінчуючи на будь-якому з листя? Підхід грубої сили полягає …

15 algorithms  graphs 

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

15 computability  automata  undecidability 

З посиланням на особливості таких мов, як рубін (і javascript), які дозволяють програмісту розширювати / переосмислювати класи в будь-який час після його визначення (включаючи класи типу String), чи теоретично доцільно розробити мову, яка дозволить програмам згодом розширювати його семантика. напр .: Ruby не допускає багаторазового успадкування, але чи можу я …

15 programming-languages  semantics 

Я поставив це питання під загальним стаковерхом, і мене тут направили. Буде чудово, якщо хтось зможе пояснити, як підходити до часткових або повністю динамічних проблем із графіком взагалі. Наприклад: Знайдіть найкоротший шлях між двома вершинами у непрямому зваженому графіку для n екземплярів, коли край видаляється у кожному екземплярі.( u , …

15 algorithms  data-structures  graphs 

На жаль, я все ще не такий сильний у розумінні алгоритму Sweep Line . Усі статті та підручники з цієї теми вже прочитані, однак до розуміння ще далеко. Просто для того, щоб було зрозуміліше, я намагаюся вирішити якомога більше вправ. Але, дійсно цікаві та важливі завдання все ще залишаються для …

15 algorithms  computational-geometry 

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

15 computer-architecture  didactics 

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

15 formal-languages  automata  nondeterminism 

Чи є якісь докази, що свідчать про те, що час, витрачений на написання або роздуми над вимогами, матиме якийсь вплив на час розробки? Дослідження, проведене Standish (1995), свідчить про те, що неповні вимоги частково (13,1%) сприяли провалу проектів. Чи проводяться якісь дослідження, які показують, що час, витрачений на аналіз потреб, …

15 software-engineering 

Розміщуючи геометричні об'єкти в квадраті (або октреві), ви можете розміщувати об'єкти, розмір яких більший за один вузол, кількома способами: Розміщення посилання на об'єкт у кожному листі, для якого він міститься Розміщення посилання на об'єкт у найглибшому вузлі, для якого він повністю міститься І №1, і №2 Наприклад: На цьому зображенні …

15 graphics  data-structures  computational-geometry 

Чи існує алгебраїчна характеристика кількості слів заданої довжини у звичайній мові? Вікіпедія констатує результат дещо неточно: Для будь-якого регулярного мови існують константи і многочлени таким чином, що для кожного числа з слова довжиною в задовольняють рівнянню .LLLλ1,…,λkλ1,…,λk\lambda_1,\,\ldots,\,\lambda_kp1(x),…,pk(x)p1(x),…,pk(x)p_1(x),\,\ldots,\,p_k(x)nnnsL(n)sL(n)s_L(n)nnnLLLsL(n)=p1(n)λn1+⋯+pk(n)λnksL(n)=p1(n)λ1n+⋯+pk(n)λkns_L(n)=p_1(n)\lambda_1^n+\dotsb+p_k(n)\lambda_k^n Не вказано, в якому просторі живе ( , я припускаю), і чи потрібно, …

15 formal-languages  regular-languages  word-combinatorics 

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

15 algorithms  arrays  searching 

Скажімо, ми працюємо з системою, яка має 40 бітів фізичної адреси. Загальний фізичний адресний простір (якщо припустити байт-адресовану пам'ять) становить байт, або 1 TiB. А якщо віртуальні адреси мають довжину 48 біт, це означає, що у віртуальній пам'яті доступно більше адрес, ніж у фізичній пам'яті.2402402^{40} Це має сенс для мене, …

15 memory-management  virtual-memory  memory-access