Questions marquées «reference-request»

La demande de référence est utilisée lorsque l'auteur a besoin de connaître les travaux liés à la question.

2
Nombre limité d'occurrences variables dans le SAT 1 en 3
Existe-t-il un résultat connu sur la classe de complexité de 1-en-3-SAT avec un nombre restreint d'occurrences variables? J'ai trouvé la réduction parcimonieuse suivante avec Peter Nightingale, mais je veux citer quelque chose si cela est connu. Voici l'astuce que nous avons trouvée. Cela montre que 1-en-3-SAT limité à 3 occurrences …
2
Comment juger que la définition de la complexité de calcul des réels est naturelle ou appropriée?
Comme nous le savons, la définition de la complexité de calcul de l'algorithme est presque sans controverse, mais la définition de la complexité de calcul des réels ou des modèles de calcul sur les réels n'est pas dans un tel cas. Nous connaissons le modèle et le modèle de Blum …
1
Transformations naturelles et paramétricité
Dans les théorèmes gratuitement! , Wadler dit que la caractérisation de la paramétricité peut être ré-exprimée en termes de transformations naturelles laxistes et cela fera l'objet d'un autre article. De quel document parle-t-il? L'approche catégorique de la paramétricité que je connais utilise des transformations dinaturelles comme dans le polymorphisme funéraire …
7
Manuel d'algorithmes avancés
Je recherche des ressources (de préférence un manuel) sur des sujets avancés en algorithmes (sujets au-delà de ce qui est couvert dans les manuels d'algorithmes comme CLRS et DPV). Le type de matériel qui peut être utilisé pour enseigner un sujet dans un cours d'algorithmes comme le cours d'Erik Demaine …
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.