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

Питання було задано на "Переповнення стека" ( тут ): Беручи під увагу ціле число , роздрукувати всі можливі комбінації цілочисельних значень A , B , C і D , які вирішують рівняння A 2 + B 2 + C 2 + D 2 = N .NNNA,B,CA,B,CA,B,CDDDA2+B2+C2+D2=NA2+B2+C2+D2=NA^2+B^2+C^2+D^2 = N Це питання, …

12 complexity-theory  time-complexity  number-theory  enumeration 

Розглянемо графік . Кожен край має дві ваги та . Знайдіть розкидне дерево, що мінімізує продукт . Алгоритм повинен виконуватись у поліном час щодо.Г ( V, Е)G(V,E)G(V,E)еeeАеAeA_eБеBeB_e( ∑e ∈ TАе) ( ∑e ∈ TБе)(∑e∈TAe)(∑e∈TBe)\left(\sum_{e \in T}{A_e}\right)\left(\sum_{e \in T}{B_e}\right)| V| , | Е||V|,|E||V|, |E| Мені складно адаптувати будь-який із традиційних алгоритмів …

12 algorithms  graph-theory  spanning-trees 

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

12 formal-languages  parsers  regular-expressions  pushdown-automata 

Як довести, що ? Я просто шукаю такий оракул TM і рекурсивну мову для якої це справедливо.NPA≠coNPANPA≠coNPA\mathsf{NP}^A \neq \mathsf{coNP}^AMMML(M)=LL(M)=LL(M) = L Я знаю доказ, де ви показуєте, що існує oracle такий, що і oracle такий, що . У мене є натяк, що мені слід знайти такий оракул , поширивши доказ …

12 complexity-theory  relativization 

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

12 algorithms  graphs  graph-theory 

Що означає клас складності ? Я знаю, що ⊕ P - клас складності, який містить мови A, для яких існує поліноміальний недетермінований апарат Тюрінга M, такий, що x ∈ A, якщо число приймаючих станів машини M на вході x є непарним.⊕P⊕P⊕P⊕П\oplus P^{\oplus P}⊕P⊕P\oplus PAAAMMMx∈Ax∈Ax \in AMMMxxx Але що означає ? …

12 complexity-theory  terminology  complexity-classes 

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

12 formal-languages  undecidability  closure-properties 

Іншими словами, якими перевагами має гібридна нитка над 1: 1 (лише для ядра) та N: 1 (лише для користувача) нарізка? Це подальше подальше значення. Чим відрізняються між потоками на рівні користувача та потоками на рівні ядра?

12 operating-systems  concurrency  os-kernel 

Алгоритм Кодда перетворює вираз у кортежному реляційному обчисленні в реляційну алгебру. Чи є стандартна реалізація алгоритму? Чи використовується цей алгоритм де-небудь? (Здається, що галузі потрібні лише SQL та варіанти, я не впевнений у теоретиках баз даних в академічних колах.) У чому складність скорочення? Це було опубліковано на SO понад рік …

12 algorithms  database-theory 

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

12 cryptography  computer-networks  encryption  security 

Кажуть, що спрямований графік є однопатичним, якщо для будь-яких двох вершин uuu і vvv у графі G=(V,E)G=(V,E)G=(V,E) існує максимум один простий шлях від uuu до vvv . Припустимо, мені дають уніпатичний графік GGG такий, що кожен край має позитивну чи негативну вагу, але не містить негативних циклів ваги. З цього …

12 algorithms  graphs 

Я натрапив на цей показник, який показує, що безконтекстна та регулярна мови - це (належні) підмножини ефективних проблем (нібито ). Я прекрасно розумію, що ефективні проблеми - це підмножина всіх вирішальних проблем, оскільки ми можемо їх вирішити, але це може зайняти дуже багато часу.ПП\mathrm{P} Чому всі контекстні та регулярні мови …

12 formal-languages  regular-languages  context-free  efficiency 

Windows NT використовував протокол "точка-точка", коли клієнт може "безпечно" спілкуватися з сервером, використовуючи шифр потоку для шифрування масиву повідомлень за допомогою деякого ключа . Сервер також шифрує свою відповідь тим самим ключем . Але як усвідомлює цей ключ?kkkkkkk Більш загальне: якщо Аліса та Боб використовують якийсь алгоритм шифрування / дешифрування, …

12 cryptography  encryption 

Я вивчаю теорему smn, і ця концепція нагадала мені про те, що б то не було. З статті wikipedia про теорему smn : теорема говорить, що для даної мови програмування та натуральних чисел m і n існує певний алгоритм, який приймає вхідний код програми з m + n вільними змінними …

12 computability 

Кажуть, що в доповненнях 2 0 має лише одне значення, тоді як у доповненні 1 і +0, і -0 мають окремі значення. Хто вони?

12 arithmetic