Considérons le problème suivant: étant donné un graphe de requête et un graphe de référence G ′ = ( V ′ , E ′ ) , nous voulons trouver la cartographie injective f : V → V ′ qui minimise le nombre d'arêtes ( v 1 , v 2 ) ∈ E tel que ( f ( v 1 ) , f ( v 2 ) )G=(V,E)G=(V,E)G = (V,...
Étant donné les ensembles et B , une relation difonctionnelle ( ∼ ) ⊆ A × B entre eux est définie comme une relation satisfaisant la propriété suivante:UNEUNEABBB ( ∼ ) ⊆ A × B(∼)⊆UNE×B(\sim) \subseteq A \times B Si et a ′ ∼ b ′ et a ∼ b ′ , alors a ′ ∼ b . a ∼ bune∼ba \sim bune′∼ b′une′∼b′a' \sim...
Larry Wasserman a récemment publié un article dans lequel il parle de la "police p-value". Il fait un point intéressant (tout l'accent est mis sur moi) (la prémisse en italique que j'ai ajoutée et sa réponse ci-dessous): La plainte la plus courante est que les physiciens et les journalistes...
Quelle est la complexité de calcul du problème suivant: étant donné deux matrices complexes et vérifiez s'il existe une matrice de permutation telle que: n×nn×nn\times nAAABBBPPPB=PAPT.B=PAPT.B = P A P^T. Si cela aide, on peut supposer que et B sont hermitiens (ou même que A et B sont réels et...
Nous savons que les solveurs SAT basés sur DPLL ne répondent pas correctement aux cas insatisfaisants de (principe du pigeon), par exemple sur "il y a une cartographie injective de n + 1 à n ":PHPPHP\mathrm{PHP}n+1n+1n+1nnn
Si nous avons un grand graphe (dirigé) et un arbre enraciné plus petit H , quelle est la complexité la plus connue pour trouver des sous-graphes de G isomorphes à H ? Je connais les résultats de l'isomorphisme des sous -arbres où G et H sont des arbres et où G est planaire ou a une largeur d'arbre...
Contexte Une formule à lecture unique sur un ensemble de portes (également appelée base) est une formule dans laquelle chaque variable d'entrée apparaît une fois. Les formules à lecture unique sont communément étudiées sur la base de De Morgan (qui a les portes 2 bits ET et OU, et la porte 1 bit...
Considérons une collection d'ensembles F = { F 1 , F 2 , … , F n } sur un ensemble de base U = { e 1 , e 2 , … , e n } où | F i | ≪ n et e i ∈ F i , et soit k un entier positif.F= { F1, F2, … , Fn}F=\{F_1,F_2,\dotsc,F_n\}U= { e1, e2, … , En}U=\{e_1,e_2,\dotsc,e_n\}| Fje||F_i| ≪\ll nneje∈ Fjee_i \in...
Il s'agit d'une question complémentaire à celle-ci concernant les graphiques infinis. Les réponses et commentaires à cette question énumèrent des objets et des situations qui sont naturellement modélisés par des graphiques infinis. Mais il existe également de nombreux théorèmes sur les graphes...
Je suis des méthodes formelles d'auto-apprentissage. J'ai entendu dire que des méthodes formelles sont utilisées (et généralement uniquement utilisées) pour créer des logiciels essentiels à la mission (tels que le contrôleur de réacteur nucléaire, le contrôleur de vol d'avion, le contrôleur de...
Le système de preuve probabiliste est communément appelé une restriction de , où Arthur ne peut utiliser que bits aléatoires et ne peut examiner que bits du certificat de preuve envoyé par Merlin (voir, http://en.wikipedia.org/wiki/Interactive_proof_system#PCP ).M A f ( n ) g ( n )PCP[ f( n ) , g(...
Existe-t-il un algorithme de réarrangement temporel sur place linéaire? C'est l'algorithme que certaines mains particulièrement habiles sont capables d'exécuter: diviser uniformément un tableau d'entrée de taille égale, puis entrelacer les éléments des deux moitiés. Mathworld a une brève page sur...
Je m'intéresse généralement à la méthode de forçage utilisée par Baker-Gill-Solovay et Cohen. Je recherche autant de sources que possible sur la technique elle-même ou son utilisation. Quelqu'un a-t-il des
Pour les systèmes sans types dépendants, comme le système de type Hindley-Milner, les types correspondent à des formules de logique intuitionniste. Là, nous savons que ses modèles sont des algèbres de Heyting, et en particulier, pour réfuter une formule, nous pouvons nous limiter à une algèbre de...
Edit: Comme je n'ai reçu aucune réponse / commentaire en une semaine, je voudrais ajouter que je suis heureux d'entendre quoi que ce soit sur le problème. Je ne travaille pas dans la région, donc même si c'est une simple observation, je ne le sais peut-être pas. Même un commentaire comme "je...
Je lisais un chapitre de LYAH qui n'avait pas vraiment de sens pour moi. Je comprends que les fermetures à glissière peuvent traverser arbitrairement une structure arborescente, mais j'ai besoin de précisions à ce sujet. De plus, les fermetures à glissière peuvent-elles être généralisées à...
Si vous regardez les combinateurs récursifs dans le lambda-calcul non typé, tels que le combinateur Y ou le combinateur oméga: Il est clair que tous ces combinateurs finissent par dupliquer une variable quelque part dans leur définition.ωOui==(λx.xX)( λx.xx )λf.( λ x.F(xx ))( λ x.F(xx )...
Considérons un poset fini sur éléments, et un prédicat monotone inconnu sur (c'est-à-dire pour tout , , si et alors ) . Je peux évaluer en fournissant un nœud et en déterminant si est vrai ou non. Mon objectif est de déterminer exactement l'ensemble des nœuds tel que valide, en utilisant aussi peu...
Contexte La mémoire externe, ou modèle DAM, définit le coût d'un algorithme par le nombre d'E / S qu'il exécute (essentiellement, le nombre d'échecs de cache). Ces temps d'exécution sont généralement donnés en termes de , la taille de la mémoire et , le nombre de mots qui peuvent être transférés en...
Cette question concerne la logique propositionnelle et toutes les occurrences de «résolution» doivent être lues comme «résolution propositionnelle». Cette question est quelque chose d'extrêmement basique mais cela me dérange depuis un moment. Je vois des gens affirmer que la résolution...