Информатика

Я читал вопрос, что последовательность и полнота означают разумность? и первое утверждение в нем говорит: Я понимаю, что разумность подразумевает последовательность. Что меня очень озадачило, потому что я думал, что разумность была более слабым утверждением, чем последовательность (то есть я думал, что согласованные системы должны быть надежными, но я думаю, …

12 terminology  logic  first-order-logic  propositional-logic  incompleteness 

В практических основах Языки программирования , Роберт Харпер говорит Если для утверждения быть истинным означает иметь доказательство этого, что это означает для предложения быть ложным? Это значит, что у нас есть опровержение , доказывающее, что это невозможно доказать. То есть утверждение неверно, если мы можем показать, что предположение о том, …

12 logic 

Или: нам нужен Руперт, чтобы вообще получать подарки? Помимо вопросов маршрутизации , Санта сталкивается со следующей проблемой (много-много раз): Имея сумку вместимостью ¹ CCC и набор подарков {p1,…,pn}{p1,…,pn}\{p_1, \dots, p_n\} , каждый размером sisis_i , он хочет сделать детей {c1,…,ck}{c1,…,ck}\{c_1, \dots, c_k\} счастливыми. Он знает из всех списков желаний, что …

12 algorithms  complexity-theory  optimization  packing 

В настоящее время я должен изучить Coq и не знаю, как бороться с or: Как простой пример, я не вижу, как это доказать: Theorem T0: x \/ ~x. Буду очень признателен, если кто-нибудь сможет мне помочь. Для справки я использую этот шпаргалку . Также пример доказательства, которое я имею в …

12 logic  coq 

В настоящее время я пишу код для генерации двоичных данных. Мне конкретно нужно генерировать 64-битные числа с заданным количеством установленных битов; Точнее, процедура должна занять около 0&lt;n&lt;640&lt;n&lt;640 < n < 64 и вернуть псевдослучайное 64-битное число с точно nnn битами, установленными в 111 , а остальные - в 0. Мой …

12 algorithms  information-theory  coding-theory  pseudo-random-generators 

Справочная информация: я полный дилетант в области компьютерных наук. Я читал о занятых номерах Бивер здесь , и я нашел следующий отрывок: Человечество может никогда не узнать значение BB (6) наверняка, не говоря уже о значении BB (7) или любом более высоком числе в последовательности. На самом деле, уже пятеро …

12 turing-machines  number-theory  busy-beaver 

У нас много проблем, таких как факторизация, которые сильно предположили, но не доказали, что они находятся вне P. Есть ли вопросы с противоположным свойством, а именно, что они сильно предположены, но не доказано, что они находятся внутри P?

12 complexity-theory  polynomial-time 

Чтобы найти разницу, я только что столкнулся с утверждениями ниже о временной логике в Википедии : Другой вариант модальной логики, разделяющий многие общие черты с динамической логикой, отличается от всех вышеупомянутых логик тем, что Пнуэли охарактеризовал как «эндогенную» логику, а другие - «экзогенную» логику. Под этим Пнуэли подразумевалось, что утверждения …

12 logic  linear-temporal-logic  temporal-logic 

Если у нас есть какая-либо произвольная компьютерная программа, которая может изменить ее инструкции, возможно ли смоделировать эту программу с помощью программы, которая не может изменить ее инструкции? Редактировать: Я новичок в stackexchange, поэтому не уверен, что мне разрешено задавать НОВЫЙ вопрос здесь, но здесь идет речь: Хорошо, поэтому доказательство того, …

12 computability  computation-models  turing-completeness  church-turing-thesis 

Вы можете получить число Гёделя в ОЗУ, сделав его списком команд и сделав этот список целым числом. Итак, что я подумал, это что-то вроде: «ОЗУ, которое вернуло бы свое собственное число Геделя (скажем, ), должно было бы содержать информацию х в нем, поэтому целое число было бы больше, чем х …

12 computability 

У меня возникают проблемы, когда я обдумываю проблемы ПРАЙМ, КОМПОЗИТ, ФАКТОР и их взаимосвязь с точки зрения сложности. Я понимаю, что PRIME был показан в тестом на примитивность AKS, и я считаю, что это работает и для COMPOSITE.PPP Что касается ФАКТОРА, FACTOR={(m,r):∃s such that1&lt;s&lt;r and s divides m}FACTOR={(m,r):∃s such that1&lt;s&lt;r …

12 complexity-theory  factoring 

У Алисы, студентки, есть много домашней работы в течение следующих недель. Каждый предмет домашнего задания занимает у нее ровно один день. Каждый элемент также имеет крайний срок и отрицательно влияет на ее оценки (допустим реальное число, бонусные баллы только при условии сопоставимости), если она пропустит крайний срок. Напишите функцию, в …

12 algorithms  optimization  randomized-algorithms  network-flow  scheduling 

Контейнер называется полным, если он содержит не менее шаров. Наша цель - заполнить как можно больше ящиков.kkk В простейшем сценарии нам дано шаров, и мы можем расположить их произвольно. В этом случае, очевидно, лучшее, что мы можем сделать, - это произвольно выбрать мусорных ведер и положить шаров в каждый из …

12 combinatorics  balls-and-bins 

Один из самых популярных вопросов о структурах данных и алгоритме, который чаще всего задают при телефонном интервью.

12 algorithms  data-structures  linked-lists 

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

12 formal-languages  regular-languages  regular-expressions  kleene-star