Информатика

10
Может ли это быть проблемой NP-Complete?

Рассмотрим следующую постановку задачи: Получив начальное число, вы и ваш друг по очереди вычитаете из него идеальный квадрат. Первый, кто доберется до нуля, побеждает. Например: Начальное состояние: 37 Игрок1 вычитает 16. Состояние: 21 Игрок2 вычитает 8. Состояние: 13 Игрок1 вычитает 4. Состояние:...

10
Почему воспроизведение звука не останавливает другие задачи?

Если процессоры могут выполнять одновременно только одну вещь, почему я могу непрерывно воспроизводить музыку и при этом выполнять другие задачи? Я понимаю систему прерываний, но разве не нужно, чтобы процессор непрерывно обрабатывал звук, чтобы он не звучал нервно / неуверенно? Я спрашиваю о...

10
Разрешимые свойства вычислимых вещественных чисел

Является ли «теорема Райса для вычислимых вещественных чисел», то есть нет нетривиального нетривиального свойства числа, представленного данным вычислимым вещественным веществом, истинной? Соответствует ли это каким-то прямым образом связности...

10
Есть ли в логике двойственная концепция «полного Тьюринга»?

Можно показать, что две вычислительные модели являются полными, если каждая из них может кодировать универсальный симулятор для другой. Можно показать, что две логики будут полными, если будет показано, что кодирование правил логических выводов (и, возможно, аксиом, если они присутствуют) каждого...

10
Язык в NSPACE (O (n)) и, скорее всего, не в DSPACE (O (n))

На самом деле я обнаружил, что набор контекстно-зависимых языков, ( принятых языков) не так широко обсуждается, как (обычные языки) или (контекстно-свободные языки). А также открытая проблема не так известна, как «аналогичная» проблема: « ".CSLCSL\mathbf{CSL}R E G C F L D S P A C E ( O ( n ) ) = ?...

10
Что вычислила таинственная маленькая программа Тьюринга на компьютере в Манчестере?

Я читаю газету Тьюринга «Вычислительная техника и интеллект» ( https://www.csee.umbc.edu/courses/471/papers/turing.pdf ) и нашел фрагмент, в котором он говорит: Я установил на компьютере Манчестера небольшую программу, использующую только 1000 единиц хранения, в результате чего машина, снабженная...

10
Актуально ли генетическое программирование сегодня?

Моя главная проблема заключается в том, является ли генетическое программирование активной областью исследований с некоторыми многообещающими приложениями на практике. Похоже, что в области машинного обучения нейронные сети являются основным модным словом, о котором сегодня упоминается в основных...

10
Название этой проблемы перестановки / сортировки?

Вам дан массив длины . Каждый элемент массива принадлежит одному из K классов. Вы должны переставить массив, используя минимальное количество операций подкачки, чтобы все элементы одного и того же класса всегда были сгруппированы вместе, то есть они образуют непрерывный подмассив. Например: NnnКKK...

10
Есть ли какой-нибудь стандарт для сравнения времени выполнения экспериментально?

Моя ситуация Я пишу статью, представляющую программный модуль, который я разработал, и я хочу сравнить его время выполнения с другими модулями для той же задачи. Я знаю о недостатках экспериментов во время выполнения , но, пожалуйста, примите во внимание, что в моем случае это никак не обойти. (Я...

10
Что означает «карта»?

Я много раз встречал этот термин в различных учебных материалах по КС: L2 CS162 (Калифорнийский университет в Беркли): Отображение в памяти ввода-вывода L4 CS162 (Калифорнийский университет в Беркли): Файлы с отображенной памятью L24 CS61 (UC Berkeley): «Операции ввода-вывода с отображением в...

10
Как вывести зависимые типизированные элиминаторы?

В зависимо-типизированном программировании есть два основных способа разложения данных и выполнения рекурсии: Зависимое сопоставление с образцом : определения функций приведены в виде нескольких предложений. Унификация гарантирует, что все пропущенные случаи невозможны, а внешний решатель...

10
Генератор лямбда-исчисления

Я не знаю, где еще задать этот вопрос, я надеюсь, что это хорошее место. Мне просто любопытно узнать, возможно ли создать генератор лямбда-исчисления; по сути, цикл, который при заданном бесконечном времени будет производить все возможные функции лямбда-исчисления. (как в виде строки). Так как...

10
Слияние бета-расширения

Пусть → β→β\to_\beta - β-β\beta редукция в λ-λ\lambda вычислении. Определить β-β\beta расширение ← β←β\leftarrow_\beta по t ′ ← β t⟺t → β t ′t′←βt⟺t→βt′t'\leftarrow_\beta t \iff t\to_\beta t' . ← β←β\leftarrow_\beta является слитым ? Другими словами, имеем ли мы это для любого l , d , rl,d,rl,d,r ,...

10
Можете ли вы помешать человеку посередине прочитать сообщение?

Я слышал обо всех этих предупреждениях об атаке «человек посередине», и мне интересно, как это может сработать, если человек посередине только слушает ваш поток и не хочет изменять само сообщение. Может ли человек посередине не просто взять ключи, обмененные противниками, изменить ключи, а затем...

10
Почему P и P / poly тривиально не одинаковы?

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

10
Язык с иррациональным числом не является КЛЛ

Я работаю над тяжелым упражнением в учебнике и просто не могу понять, как поступить. Здесь проблема. Предположим, что у нас есть язык L = { a i b j : i ≤ j γ , i ≥ 0 , j ≥ 1 },L={aibj:i≤jγ,i≥0,j≥1}L = \{a^ib^j: i \leq j \gamma, i\geq 0, j\geq 1\} где γγ\gamma - некоторое иррациональное число. Как...

10
Противоречие для неравенства P и NP?

Я пытаюсь утверждать, что N не равен NP, используя теоремы иерархии. Это мой аргумент, но когда я показал его нашему учителю и после дедукции, он сказал, что это проблематично, когда я не могу найти вескую причину для принятия. Мы начнем, предполагая , что P=NPP=NPP=NP . Тогда из этого следует, что...

10
Является ли исчисление SK2 полным базисом, где K2 - перевернутый K комбинатор?

В частности, если я определил новый K2K2K_2 как K2=λx.(λy.y)K2=λx.(λy.y)K_2 = \lambda x. (\lambda y. y) вместо K=λx.(λy.x)K=λx.(λy.x)K = \lambda x. (\lambda y. x) будет ли {S,K2,I}{S,K2,I}\{S, K_2,I\} -счет вычисляться на основе конкуренции? Я предполагаю «нет» только потому, что я не могу...

10
Интуиция за собственными значениями матрицы смежности

В настоящее время я работаю над тем, чтобы понять использование границы Чигера и неравенства Чигера и их использование для спектрального разделения, проводимости, расширения и т. Д., Но я все еще изо всех сил пытаюсь понять, что такое второе собственное значение матрицы смежности. Обычно в теории...

9
Минимальное количество подсказок, чтобы полностью указать любую судоку?

Из этой статьи мы знаем, что не существует загадки, которую можно решить, начиная с 16 или менее ключей, но это означает, что существует загадка, которую можно решить из 17 подсказок. Можно ли указать все действующие головоломки судоку в 17 подсказках? Если нет, каково минимальное количество...