Запитання з тегом «reference-request»

Запитання, що вимагають роботи з літератури з конкретних, вузьких питань.

3
Детермінований лінійний алгоритм часу, щоб перевірити, чи є один масив відсортованою версією іншого
Розглянемо наступну проблему: Вхідні дані: два масиви і довжиною , де у відсортованому порядку.AAABBBnnnBBB Запит: чи містять і однакові елементи (за їх кратністю)?AAABBB Який найшвидший детермінований алгоритм цієї проблеми? Чи можна це вирішити швидше, ніж їх сортування? Чи можна цю проблему вирішити в детермінований лінійний час?
1
Які класи структур даних можна зробити стійкими?
Стійкі структури даних - це незмінні структури даних. Операції над ними повертають нову "копію" структури даних, але змінену операцією; стара структура даних залишається незмінною. Ефективність зазвичай досягається шляхом обміну деякими базовими даними та уникнення повного копіювання структури даних. Запитання: Чи є результати щодо класів структур даних, які можна зробити стійкими …
2
Алгоритми перевірки типу
Я починаю особисте бібліографічне дослідження алгоритмів перевірки типу та хочу поради. Які найчастіше використовуються алгоритми, стратегії та загальні методи перевірки типу? Мені особливо цікаві складні алгоритми перевірки типу, які були реалізовані у широко відомих сильно статичних мовах типу, наприклад, C ++, Java 5+, Scala та інших. IE, алгоритми перевірки типу, …
4
Чи справді "Євген Густман" пройшов тест Тьюрінга?
Говорять, що "Євген Густман", комп'ютерна програма, розроблена для імітації 13-річного хлопця, зуміла переконати 33% суддів, що це людина, і, таким чином, пройшла тест Тьюрінга. Комп'ютерна програма, яка називалася чат-ботом, претендувала на 13-річного українця, для якого англійська мова була другою мовою. Для мене Євген звучить точно так, як повинен посередній чат-бот: …
1
гілотинні надрізи порівняно із загальними
Проблеми з різанням - це проблеми, коли певний великий об’єкт слід розрізати на кілька невеликих об’єктів. Наприклад, уявіть , у вас є завод , який працює з великими листами сирого скла, шириною і довжиною L . Є кілька покупців, кожен з яких хоче необмежену кількість маленьких скляних аркушів. Покупець мені …
3
Як читати правила набору тексту?
Я почав читати все більше і більше мовних досліджень. Я вважаю це дуже цікавим і хорошим способом дізнатися більше про програмування загалом. Однак зазвичай є розділ, де я завжди боюся (візьмемо, наприклад, частину третього цього ), оскільки мені не вистачає теоретичної основи інформатики: Правила типу. Чи є якісь хороші книги …
1
Доведення (не) простежуваності цього N-го первинного повторення
Як випливає з мого попереднього запитання , я грав із гіпотезою Рімана як питання рекреаційної математики. У ході цього процесу я дійшов до досить цікавого повторення, і мені цікаво його назва, його скорочення та простежуваність до розв'язуваності проміжку між простими числами. Вкрай кажучи, ми можемо визначити розрив між кожним простим …
3
Чи є TM, який зупиняється на всіх входах, але ця властивість не є доказовою?
Чи існує машина Тьюрінга, яка зупиняється на всіх входах, але ця властивість чомусь не піддається доказуванню? Мені цікаво, чи це питання вивчено. Зауважте, "недоказаний" може означати "обмежену" систему доказів (яка у слабкому сенсі вважає, що відповідь повинна бути так). Мене, звичайно, цікавить найсильніша можлива відповідь, тобто така, яку неможливо зупинити …
3
Книга рецептів для кодування SAT?
Розв'язувачі SAT стають все більш ефективними у вирішенні великих примірників і використовуються як допоміжні в різних контекстах. Кожен раз, коли хтось хоче використовувати їх для вирішення проблеми в певній галузі, він / вона мусить придумати спеціальне кодування, яке не тільки має правильний набір рішень, але і ставить обмеження (навіть зайві) …
1
Універсальне моделювання машин Тьюрінга
Нехай - фіксована функція, що може бути сконструйована за часом.fff Класичний результат універсального моделювання для ТМ (Hennie and Stearns, 1966) стверджує, що існує двосмугова ТМ така, що данаUUU опис TM та⟨M⟩⟨M⟩\langle M \rangle рядок введення ,xxx виконує кроки та повертає відповідь на . І може вважатися будь-якою функцією в .g(|x|)g(|x|)g(|x|)MMMxxxgggω(f(n)lgf(n))ω(f(n)lg⁡f(n))\omega(f(n)\lg …
1
Алгоритм багаточастотності та поліпростіру для визначення провідного перетину n дискретних монотонних функцій
Якийсь фронтмейтер: я рекреаційний комп'ютер і працівник програмного забезпечення. Тож, вибачте, якщо ця підказка здається трохи поза лівим полем - я звичайно граю з математичною симулрою і відкриваю проблеми, коли мені нічого кращого робити. Граючи з гіпотезою Рімана , я визначив, що простірний розрив може бути зведений до відношення рецидиву, …
2
Що таке "об'єм пам'яті"?
Мені стало відомо, що в блоці графічної обробки є щось, що називається коалесценцією пам'яті. Читаючи на ньому, мені було не зрозуміло по темі. Чи пов’язаний це будь-який спосіб з паралельністю рівня пам'яті. Я шукав в Google, але не зміг отримати задовільну відповідь. Було б корисно, якщо хтось дасть більш вичерпне, …
3
Вивчення теорії мови програмування
Нещодавно я дуже зацікавився розумінням та доведенням аспектів (функціональних) мов програмування. Однак, коли я заглиблююсь все глибше, такі речі, як обчислення, теорія категорій та денотаційна семантика, трохи важко обробляти без належного пояснення.λλ\lambda Я читаю SICP (досить просвітницьку книгу), але прагну заглибитися в теорію функціонального програмування. Чи є книги / блоги …
1
Класи складності, що стосуються переліку всіх рішень?
Я читав запитання в Stack Overflow із запитанням, чи NP- твердо перераховувати всі прості цикли в графіку, що містить певний вузол, і мені спало на думку, що я не міг придумати жоден існуючий клас складності, який би був добре підходить для говорити про проблеми форми "перерахуйте всі рішення цієї проблеми". …
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.