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

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

10 education 

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

10 computer-networks  network-topology 

Мені потрібно створити рекурсивний алгоритм, щоб побачити, чи є бінарне дерево двійковим деревом пошуку, а також порахувати, скільки повних гілок є (батьківський вузол з лівими та правими дочірніми вузлами) з припущеною глобальною змінною підрахунку. Це призначення для мого класу структур даних. Поки що маю void BST(tree T) { if (T …

10 algorithms  recursion  trees 

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

10 complexity-theory  np-complete  decision-problem 

Визначення P - це мова, яку можна визначити за допомогою багаточленного алгоритму часу. Визначення P / poly можна вважати мовою, яку можна визначити за схемою розміру полінома (див. Http://pages.cs.wisc.edu/~jyc/02-810notes/lecture09.pdf ). Тепер, чому не можна імітувати поліноміальну схему в поліноміальний час?

10 complexity-theory  time-complexity  circuits 

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

10 graph-theory  adjacency-matrix 

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

10 computability  real-numbers  computable-analysis 

Насправді я виявив, що набір контекстно-чутливих мов, CSLCSL\mathbf{CSL} (=NSPACE(O(n))=LBA=NSPACE(O(n))=LBA\mathbf{=NSPACE(O(n)) = LBA} прийняті мови) не так широко обговорюються, як REGREG\mathbf{REG} (звичайні мови) або CFLCFL\mathbf{CFL}(без контекстних мов). А також відкрита проблемаD S P A C E ( O ( n ) )=?N S P A C E ( O ( n ) …

10 complexity-theory  np-complete  space-complexity  context-sensitive 

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

10 formal-languages  regular-languages  formal-grammars  finite-sets 

У Вікіпедії сказано, що об'єднання за рангом без стиснення траєкторії дає амортизовану часову складність , і що об'єднання за ступеневим, так і стисненим шляхом дає амортизовану часову складність (де є обернена функція Акермана). Однак у ньому не згадується час запуску стиснення контуру без рангового об'єднання, що зазвичай я реалізую сам.O(logn)O(log⁡n)O(\log …

10 complexity-theory  time-complexity  union-find 

Я знаю, що мови, які можна визначити за допомогою регулярних виразів та тих, які можна розпізнати за допомогою DFA / NFA (кінцеві автомати), є рівнозначними. Також для мови не існує DFA{0n1n|n≥0}{0n1n|n≥0}\{0^n1^n|n \ge 0\}. Але все-таки це можна записати, використовуючи регулярні вирази (з цього приводу будь-яка нерегулярна мова може бути) як{ …

10 formal-languages  regular-languages  regular-expressions 

Я намагаюся зрозуміти, як працює розподіл Slab і чому він відрізняється чи кращий, ніж звичайний пейджинг. Я знайшов цю діаграму, яка, на мою думку, була б корисною, якби вона мала більше пояснень. Деякі питання: Що представляють елементи 3KB та 7KB? Повинні вони якось пов’язані? Чому вони упаковані саме так? У …

10 operating-systems  paging  memory-allocation 

Намагаючись покращити продуктивність мого класу виявлення зіткнень, я виявив, що ~ 80% часу, витраченого на gpu, він витратив на умови if / else, просто намагаючись з'ясувати межі для відра, через який він повинен пройти цикл. Точніше: кожен потік отримує ідентифікатор, за допомогою цього ідентифікатора він отримує свій трикутник із пам'яті …

10 computer-architecture  parallel-computing 

Натуральні числа визначаються індуктивно як (використовуючи синтаксис Coq як приклад) Inductive nat: Set := | O: nat | S: nat -> nat. Чи існує стандартний спосіб конструктивного визначення цілих чисел (а може бути, інших наборів, таких як раціональні чи дійсні)?

10 arithmetic  dependent-types  coq 

Я розумію, що дерева сегментів можна використовувати для пошуку суми під масиву AAA. І що це можна зробити в РосіїO(logn)O(log⁡n)\mathcal{O}(\log n)час згідно з підручником тут . Однак я не в змозі довести, що час запитів дійсно є O(logn)O(log⁡n)\mathcal{O}(\log n). Це посилання (та багато інших) говорять про те, що ми можемо …

10 data-structures  runtime-analysis  search-trees  intervals