Questions marquées «check-my-proof»

Nombre de cycles hamiltoniens sur un graphe de Sierpiński

Je suis nouveau sur ce forum et juste un physicien qui fait cela pour garder son cerveau en forme, alors s'il vous plaît montrez de la grâce si je n'utilise pas le langage le plus élégant. Veuillez également laisser un commentaire, si vous pensez que d'autres balises seraient plus appropriées. …

18 graph-theory combinatorics check-my-proof

Un défaut dans mon NP = CoNP Proof?

J'ai cette "preuve" très simple pour NP = CoNP et je pense que j'ai fait quelque chose de mal quelque part, mais je ne trouve pas ce qui ne va pas. Est-ce que quelqu'un peut m'aider? Soit A un problème dans NP, et soit M le décideur de A. Soit …

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

La réduction de Karp est-elle identique à la réduction de Levin

Définition: réduction de Karp Un langage est Karp réductible à un langage B s'il existe une fonction calculable en temps polynomial f : { 0 , 1 } ∗ → { 0 , 1 } ∗ telle que pour chaque x , x ∈ A si et seulement si f …

12 complexity-theory reductions check-my-proof

sous-ensembles d'ensembles récursifs infinis

Une question d'examen récente était la suivante: est un ensemble infiniment énumérable récursivement. Prouver que A a un sous-ensemble récursif infini.AAAAAA Que soit un sous - ensemble récursif infini de A . C doit-il avoir un sous-ensemble qui n'est pas récursivement énumérable?CCCAAACCC J'ai déjà répondu 1.. Concernant 2., j'ai répondu …

11 computability check-my-proof

En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.

Licensed under cc by-sa 3.0 with attribution required.