Informatique théorique

Q & A pour les informaticiens théoriques et les chercheurs dans des domaines connexes

3
Calcul des informations sur Max-3SAT
Pour une formule 3CNF laisser soit le nombre de maximal de clauses satisfaites dans toute affectation à . On sait que Max-3SAT est difficile à estimer (sous réserve de P ≠ NP), c'est-à-dire qu'il n'y a pas d'algorithme de polytime dont l'entrée est une formule 3CNF , et dont la …
3
Problèmes intermédiaires entre L et NL
Il est bien connu que la connectivité st dirigée est complète en . Résultat percée Reingold a montré que undirected st-connectivité est en . La connectivité st dirigée planaire est connue pour être dans . Cho et Huynh ont défini un problème de sac à dos paramétré et ont présenté …
3
Est-il difficile de lire correctement les brouillons internationaux?
Le problème suivant est-il NP-difficile? Étant donné une configuration de carte pour brouillons internationaux , trouvez un mouvement juridique unique.n×nn×nn\times n Le problème correspondant pour les vérificateurs américains (ou versions anglaises) est trivialement résoluble en temps polynomial. Il existe trois différences majeures entre ces deux jeux.n×nn×nn\times n La première et …
3
Des problèmes naturels dans pas dans ?
Existe-t-il des problèmes naturels dans qui ne sont pas (connus pour être / pensés être) dans ?U P ∩ c o U PNP∩coNPNP∩coNPNP \cap coNPUP∩coUPUP∩coUPUP \cap coUP Évidemment, le grand que tout le monde connaît dans est la version décisionnelle de l'affacturage (n'a pas un facteur de taille au plus …
3
Traduction de SAT en HornSAT
Est-il possible de traduire une formule booléenne B en une conjonction équivalente de clauses Horn? L'article de Wikipédia sur HornSAT semble impliquer que c'est le cas, mais je n'ai pu chasser aucune référence. Notez que je ne veux pas dire "en temps polynomial", mais plutôt "du tout".
4
Couverture de l'ensemble de fréquence bornée à cardinalité bornée: dureté de l'approximation
Considérez le problème de couverture de l'ensemble minimal avec les restrictions suivantes: chaque ensemble contient au plus éléments et chaque élément de l'univers se produit dans au plus ensembles.kkkfff Exemple: le cas et est équivalent au problème de couverture minimale des sommets dans les graphiques avec un degré maximum 4.k=4k=4k …
5
Existe-t-il des systèmes de vérification formels annotés pour les langages de programmation fonctionnels purs?
ACSL (Ansi C Specification Language), est une spécification pour le code C, annotée de commentaires spéciaux, qui permet de vérifier formellement le code C. Je ne l'ai pas étudié, mais j'imagine que les méthodes formelles utilisées dans ACSL vérificateurs seraient similaires à Hoare Logic. Pour les langages fonctionnels purs, comme …
5
Implications mathématiques des conjectures de la théorie de la complexité en dehors du TCS
Connaissez-vous les conséquences intéressantes des conjectures (standard) dans la théorie de la complexité dans d'autres domaines des mathématiques (c'est-à-dire en dehors de l'informatique théorique)? Je préférerais des réponses où: la conjecture de la théorie de la complexité est aussi générale et standard que possible; Je suis d'accord avec les conséquences …
3
Cryptographie sans hypothèses - recherche d'un aperçu
Supposons que et qu'un algorithme de temps linéaire rapide pour SAT apparaisse demain. Soudainement, RSA n'est pas sûr, une grande partie de notre système de communication moderne est cassé et nous devons reconsidérer comment garder les secrets les uns des autres.P=NPP=NPP = NP Question: Existe - t-il une bonne référence …
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.