En 2012, Lipton a écrit une entrée de blog sur un nouvel algorithme pour résoudre des systèmes linéaires sur des champs finis par Prasad Raghavendra. Le lien vers le projet de document de Raghavendra sur le sujet est maintenant mort , et je ne trouve rien sur le sujet sur le site Web de...
D'un point de vue purement abstrait de raisonnement mathématique / informatique, (comment) pourrait-on même découvrir ou raisonner sur des problèmes comme 3-SAT, Subset Sum, Travelling Salesman, etc.? Serions - nous encore en mesure de raisonner sur eux de quelque façon significative avec juste la...
J'ai posé cette question il y a 10 jours sur cs.stackexchange ici mais je n'ai pas eu de réponse. Dans un article très célèbre (dans la communauté des réseaux), Wang et Crowcroft présentent des résultats de complétion du calcul de chemin sous plusieurs contraintes additives / multiplicatives. Le...
Ou avec d'autres mots, avons-nous cela pour chaque langue et , ou ?UNEUNEABBBA ≤pBUNE≤pBA \leq_p BB ≤pUNEB≤pUNEB \leq_p
J'étudie un problème difficile pour la classe des formules booléennes quantifiées avec un nombre logarithmique d'alternances des quantificateurs. Un problème dans cette classe ressemblerait à: ∀(x1,x2,…xa1)∃(xa1+1,…xa2),…∃(xalogn−1,…xalogn)F∀(x1,x2,…xa1)∃(xa1+1,…xa2),…∃(xalogn−1,…xalogn)F\forall...
Je trouve des livres sur les ordinateurs, mais tous portent sur la technologie. Je veux quelque chose de plus lié à la
Dans mon cours d'introduction à la programmation, nous apprenons la méthode d'initialisation-maintenance-terminaison pour prouver qu'un algorithme fait ce que nous attendons de lui. Mais nous n'avons eu qu'à prouver qu'un algorithme déjà connu pour être correct est correct. On ne nous a jamais...
Nous savons tous que montrer a des barrières. Nous avons tous étudié ces barrières parce que nous croyons .P≠NPP≠NPP\ne NPP≠NPP≠NPP\ne NP Cependant, supposez et il y a des gens sages qui croient que cette possibilité existe . Si c'est effectivement le cas, le fait même que nous n'ayons pas vu de...
J'ai un polytope PPP défini par {x:Ax≤b,x≥0}{x:Ax≤b,x≥0}\{ x : Ax \leq b, x \geq 0\} . Question: Étant donné un sommet vvv de PPP , existe-t-il un algorithme polynomial de temps pour échantillonner uniformément à partir des voisins de vvv dans le graphique de PPP ? (Polynôme dans la dimension, le...
Soit G un arbre sur 2n sommets. La largeur d'arbre de G, tw (G) = 1. Supposons maintenant que nous ajoutons n arêtes à G pour obtenir un graphique H. Une borne supérieure facile sur tw (H) est n + 1. Est-ce essentiellement la meilleure possible? Il semble que tw (H) devrait être O (sqrt (n)), mais...
Robin Milner a défini les bigraphs comme un type de structure graphique avec une structure de type graphique mais où les nœuds peuvent être imbriqués. Ils généralisent des calculs de processus comme CCS et le -calculus, mais Milner semble avoir voulu qu'ils soient utilisés de manière beaucoup plus...
Considérons , où lambda_i> 0 et Y_i est distribué comme une normale standard. Quel type de limites de concentration peut-on prouver sur X, en fonction des coefficients (fixes) lambda_i?X= ∑jeλjeOui2jeX=∑jeλjeOuije2X = \sum_i \lambda_i Y_i^2 Si tous les lambda_i sont égaux, il s'agit d'une borne...
Si vous êtes familier avec la vérification de programme, vous préférerez probablement lire la question avant le contexte . Si vous n'êtes pas familier avec la vérification de programme, vous pourrez peut-être encore répondre à cette question, mais vous préférerez probablement lire d'abord le...
Qui a introduit l'idée de récursivité ? Quelqu'un peut-il expliquer d'où il vient et comment cela a eu un impact sur
En réponse à une autre question, Extensions de la théorie bêta du calcul lambda , Evgenij a offert la réponse: bêta + la règle {s = t | s et t sont des termes insolubles fermés} où un terme M est résoluble si nous pouvons trouver une séquence de termes tels que M la demande de leur est égal à moi ....
Le théorème de Rice déclare que chaque propriété non triviale de l'ensemble reconnu par une machine de Turing est indécidable. Je recherche un théorème de type rizicole de complexité complexe qui nous dit quelles propriétés non triviales des ensembles NP sont
Je suis étudiant en informatique de premier cycle et je planifie actuellement mon projet de fin d'études. J'ai besoin de quelques idées dans le domaine de l'informatique quantique. de
Deux documents que j'inclus sont: D. Kozen, "Indexation des classes subrécursives" , STOC, 1978. R. Ladner, «Sur la structure de la réductibilité du temps polynomial» , JACM, 1975.
Tout en essayant de corriger un bogue dans une bibliothèque, j'ai cherché des articles sur la recherche de sous-gammes sur des arbres rouges et noirs sans succès. J'envisage une solution utilisant des fermetures à glissière et quelque chose de similaire à l' opération d' ajout habituelle utilisée...
Le problème #SAT est le problème canonique # P-complete. C'est un problème de fonction plutôt qu'un problème de décision. Il demande, étant donné une formule booléenne dans la logique propositionnelle, combien d'affectations satisfaisantes F a. Quelles sont les meilleures limites inférieures sur...