Запитання з тегом «check-my-proof»

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

18 graph-theory  combinatorics  check-my-proof 

У мене це дуже просте "доказ" для NP = CoNP, і я думаю, що я десь щось зробив неправильно, але не можу знайти те, що не так. Може хтось допоможе мені? Нехай A є деякою проблемою в NP, і нехай M є рішенням для А. Нехай B є доповненням, тобто …

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

Визначення: Зменшення Карпа Мова - Карп, приведена до мови B, якщо є функція, що обчислюється в поліномі-часі f : { 0 , 1 } ∗ → { 0 , 1 } ∗ така, що для кожного x , x ∈ A тоді і лише тоді, коли f ( x ) …

12 complexity-theory  reductions  check-my-proof 

Нещодавнє екзаменаційне запитання: - це нескінченна рекурсивно-численна множина. Доведіть, що A має нескінченний рекурсивний підмножина.AAAAAA Нехай нескінченне рекурсивне підмножина A . Повинен C мати підмножину, яка не є рекурсивно перелічуваною?CCCAAACCC Я відповів 1. вже. Щодо 2. я відповів ствердно і аргументував так. Припустимо, що всі підмножини були рекурсивно переліченими. Оскільки …

11 computability  check-my-proof