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

Теорія Екзистенціальна з реалів в PSPACE , але я не знаю , чи є це PSPACE-Complete . Якщо я вважаю, що це не так, то як я можу це довести? Більш загально, враховуючи проблему в класі складності X , як я можу показати, що він не є X-Complete ? Наприклад, …

18 complexity-theory  proof-techniques 

Чи вирішені проблеми "відвідування партії" в Prolog? Наприклад: Бердок Малдун та Карлотта Пінкстоун сказали, що приїдуть, якщо приїде Альбус Дамблдор. Альбус Дамблдор і Дейзі Доддрідж заявили, що приїдуть, якщо приїде Карлотта Пінкстоун. Альбус Дамблдор, Бердок Малдун і Карлотта Пінкстоун всі сказали, що приїдуть, якщо приїде Ельфріда Клагг. Карлотта Пінкстоун та …

18 logic  constraint-programming  prolog  logic-programming 

Простіше кажучи, якби побудувати квантовий обчислювальний прилад потужністю, скажімо, 20 кубітів, чи можна було б використовувати такий комп'ютер, щоб зробити якийсь сучасний алгоритм хешування марним? Чи вдасться навіть використати потужність квантових обчислень у традиційній обчислювальній програмі?

18 cryptography  quantum-computing  hash 

Сьогодні розмова Геннінга Керстана ("Семантика слідів для імовірнісних перехідних систем") вперше зіткнулася з теорією категорій. Він створив теоретичну основу для опису імовірнісних перехідних систем та їх поведінки загалом, тобто з незліченними нескінченними наборами стану та різними уявленнями про сліди. З цією метою він проходить через кілька шарів абстракції, щоб нарешті …

18 applied-theory  category-theory 

З відповідей на (Коли) - пошук хеш-таблиці O (1)? , Я вважаю, що хеш-таблиці мають O(1)O(1)O(1) поведінку в найгіршому випадку, принаймні амортизовану, коли дані задовольняють певним статистичним умовам, і існують методи, які сприяють розширенню цих умов. Однак, з точки зору програміста, я не знаю заздалегідь, якими будуть мої дані: вони …

18 data-structures  runtime-analysis  hash-tables  dictionaries 

У мовах програмування закриття - популярна і часто бажана особливість. Вікіпедія говорить (моє наголос): В інформатиці закриття (...) - це функція разом із референтним середовищем для нелокальних змінних цієї функції. Закриття дозволяє функції отримувати доступ до змінних за межами її безпосередньої лексичної області. Отже, закриття - це, по суті, значення …

18 programming-languages  semantics 

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

18 algorithms  algorithm-analysis  combinatorics 

Розглянемо сегмент пам'яті (розмір якого може збільшуватися або зменшуватися, як файл, коли це потрібно), на якому ви можете виконати дві основні операції з розподілу пам'яті, що включають блоки фіксованого розміру: виділення одного блоку звільнення раніше виділеного блоку, який більше не використовується. Також, як вимога, системі управління пам’яттю не дозволяється переміщатися …

18 time-complexity  memory-allocation  operating-systems 

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

18 computation-models  quantum-computing 

Розглянемо рецидив T(n)=n−−√⋅T(n−−√)+cnT(n)=n⋅T(n)+cn\qquad\displaystyle T(n) = \sqrt{n} \cdot T\bigl(\sqrt{n}\bigr) + c\,n при з деякою позитивною константою , а .c T ( 2 ) = 1n>2n>2n \gt 2cccT(2)=1T(2)=1T(2) = 1 Я знаю головну теорему для вирішення повторень, але я не впевнений, як ми могли б вирішити це відношення, використовуючи її. Як ви …

18 asymptotics  recurrence-relation  master-theorem 

Як ви перевіряєте, чи два алгоритми (скажімо, сортування злиття та сортування Naive) повертають однаковий результат для будь-якого вводу, коли безліч безлічі входів? Оновлення: Дякую Бену за опис того, як це неможливо зробити алгоритмічно в загальному випадку. Відповідь Дейва - це великий підсумок як алгоритмічних, так і ручних (з урахуванням людської …

18 computability  formal-methods  software-engineering  software-verification 

На практиці я розумію, що будь-яка рекурсія може бути записана у циклі (і навпаки (?)), І якщо ми вимірюємо з реальними комп'ютерами, то виявляємо, що петлі швидші, ніж рекурсії для тієї ж проблеми. Але чи є якась теорія, що зумовлює це, чи це в основному емпіричне?

18 time-complexity  recursion  loops 

Я починаю читати книгу про обчислювальну складність та машини Тюрінга. Ось цитата: Алгоритм (тобто машина) може бути представлений у вигляді бітового рядка, як тільки ми зважимось на якесь канонічне кодування. Це твердження подано як простий факт, але я не можу його зрозуміти. Наприклад, якщо у мене є алгоритм, який приймає …

17 algorithms  turing-machines  computability  computation-models 

Char Code ==== ==== E 0000 i 0001 y 0010 l 0011 k 0100 . 0101 space 011 e 10 r 1100 s 1101 n 1110 a 1111 Оригінальний текст: Очарі очі, видні біля озера Зашифровано: 0000101100000110011100010101101101001111101011111100011001111110100100101 Чому в кодуванні Хаффмана не потрібен роздільник?

17 coding-theory  encoding-scheme  huffman-coding 

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

17 information-theory  data-compression