Вопросы с тегом «check-my-proof»

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

18 graph-theory  combinatorics  check-my-proof 

У меня есть это очень простое «доказательство» для NP = CoNP, и я думаю, что где-то сделал что-то неправильно, но я не могу найти, что не так. Кто-нибудь может мне помочь? Пусть A - некоторая проблема в NP, и пусть M - решающий фактор для A. Пусть B - дополнение, …

12 complexity-theory  p-vs-np  check-my-proof  np 

Определение: уменьшение Карпа Язык является приводимым по Карпу к языку если существует вычислимая функция за полиномиальное время такая, что для каждого , тогда и только тогда , когда .B f : { 0 , 1 } ∗ → { 0 , 1 } ∗ x x ∈ A f ( …

12 complexity-theory  reductions  check-my-proof 

Недавний экзаменационный вопрос звучал так: AAA - бесконечное рекурсивно перечислимое множество. Докажите, что имеет бесконечное рекурсивное подмножество.AAA Пусть бесконечное рекурсивное подмножество . Должен ли иметь подмножество, которое не является рекурсивно перечислимым?CCCAAACCC Я ответил 1. уже. Относительно 2. я ответил утвердительно и утверждал следующее. Предположим, что все подмножества были рекурсивно перечислимыми. …

11 computability  check-my-proof