Imaginez que j'ai une commande sur un tas d'éléments comme ça: Où une flèche signifie . Il est également transitif: .X← OX←YX \leftarrow YX< OX<YX < Y( X< O) ∧ ( Y< Z)⟹( X< Z)(X<Y)∧(Y<Z)⟹(X<Z)\left(X < Y\right) \wedge \left(Y < Z\right) \implies \left(X < Z\right) Pour...
Laisser x=(x1,…,xn)x=(x1,…,xn)x=(x_1,\dots,x_n) et y=(y1,…,yn)y=(y1,…,yn)y=(y_1,\dots,y_n) être nnn-vecteurs de variables booléennes. J'ai un prédicat booléenQ(x,y)Q(x,y)Q(x,y) sur x,yx,yx,y. Je donne mon ami PriscillaQ(x,y)Q(x,y)Q(x,y). En réponse, elle me donneP(x)P(x)P(x), un prédicat booléen...
Il me semble que sur l'ensemble du graphique, la norme du vecteur d'erreur doit être monotone décroissante, sinon nous ne pourrions pas garantir que le PageRank convergerait jamais. Cependant, est-ce la même chose pour chaque sommet? Autrement dit, de l'itération t à l'itération t + 1, l'erreur...
J'ai des graphiques et avec avec qui réussissent les vérifications d' telles comme lemme sans homomorphisme. Existe-t-il des outils gratuits et faciles à utiliser pour tester l'homomorphisme des graphes de à ?gkGkG_kHkHkH_k| V(gk) | = | V(Hk)|2 k=n2
J'ai du mal à comprendre pourquoi il est facile de détecter les cycles de poids négatifs (Bellman Ford) mais difficile de trouver le cycle de poids maximal dans un graphique non orienté. Si nous nions le poids de chaque bord, nous pouvons facilement trouver s'il y a des cycles avec un poids...
Je suis un débutant en informatique, et on me demande d'écrire un article qui implique la factorisation entière. En conséquence, je dois examiner l'algorithme de Shor sur les ordinateurs quantiques. Pour les autres algorithmes, j'ai pu trouver des équations spécifiques pour calculer le nombre...
J'essaie depuis un certain temps de trouver une construction afin de pouvoir démontrer formellement qu'un PDA déterministe est fermé sous complémentation. Cependant, il arrive que chaque idée que j'ai a quelque chose qui ne correspond pas à la fin. Pourriez-vous me donner un coup de main? Le...
Récemment, je lis des articles sur la dichotomie . Je ne comprends pas quelle condition peut être qualifiée de dichotomie ? Que signifie «une question est soit en P soit en NP - complète »? (supposons P ≠≠\neq NP ) Par exemple, j'ai connu le théorème de dichotomie de Schaefer, dans lequel une...
J'apprends l'analyse asymptotique et j'ai vu des complexités d'aspect exotique vivre entre d'autres courantes. Par exemple, "log log n" est strictement compris entre 1 et log n. Je me demande si l'on peut toujours trouver des complexités entre deux autres. Plus précisément, pour toutes les...
Comme il existe un calcul lambda non typé et un calcul lambda simplement tapé (comme décrit, par exemple, dans le livre Types et langages de programmation de Benjamin Pierce), existe-t-il une logique combinatoire simplement tapée? Par exemple, il semblerait que les types naturels des combinateurs...
Voici une question peut-être naïve qui me pique: y a-t-il un Ω (n--√3)Ω(n3)\Omega(\sqrt[3]{n})limite inférieure asymptotique pour l'adressage aléatoire d'une mémoire arbitrairement grande? Ma cause de croyance est que le chemin le plus court vers une mémoire stockée physiquement doit être à travers...
Nous savons que P = NP implique NP = coNP. L'implication inverse tient-elle? Est-ce que NP égal à coNP implique que P est égal à NP? Sinon pourquoi pas? J'ai googlé mais je n'ai pas trouvé la
Comme je l'ai étudié, décider de la régularité des langages sans contexte est indécidable. Cependant, nous pouvons tester la régularité en utilisant le théorème de Myhill – Nerode qui fournit une condition nécessaire et suffisante. Le problème devrait donc être décidable. Où est mon...
Supposons que je veuille optimiser une fonction unimodale définie sur un certain intervalle réel. Je peux utiliser l'algorithme bien connu décrit dans Wikipedia sous le nom de recherche ternaire . Dans le cas de l'algorithme qui divise de façon répétée les intervalles par deux, il est courant de...
Récemment, j'ai été confronté à un problème qui m'a conduit aux questions suivantes: Existe-t-il un bon algorithme pour énumérer toutes les correspondances maximales / parfaites dans un graphique général? Existe-t-il un bon algorithme pour trouver toutes les correspondances maximales / parfaites...
Laisser L = {unen∣ n ≥ 0 }L={an∣n≥0}L = \{a^n \mid n \ge 0\}, où une0= ϵa0=ϵa^0 = \epsilon et unen=unen - 1unean=an−1aa^n = a^{n-1}a pour tous n ≥ 1n≥1n \ge 1. Donc LLL se compose de séquences de uneaa de toutes les longueurs, y compris une séquence de longueur 000. LaisserL2L2L_2 être un...
Soit un DAG. Nous savons que certains nœuds de sont "mauvais", tandis que les autres sont "bons"; un descendant d'un mauvais nœud est mauvais tandis que les ancêtres d'un bon nœud sont bons. Nous savons également que les mauvais nœuds ont un élément minimal unique en que nous aimerions trouver...
Je rencontre périodiquement des phrases comme "Variante de Winograd [20] de cet algorithme, dont la complexité asymptotique est également O (n2,81)O(n2.81)O(n^{2.81})sont considérés "(à partir de https://www.cise.ufl.edu/~sahni/papers/strassen.pdf ) Je comprends intuitivement comment nous nous...
Je lisais le théorème des quatre couleurs et je me demande s'il y a une application pratique. (Je ne pense pas que séparer la carte en quatre couleurs différentes puisse être considéré comme une application.) J'ai essayé Google pour les applications mais je n'en ai pas
Dans le calcul lambda pur, nous avons l'ensemble de termes définis par induction (la grammaire): e::=x∣λx.e∣e1e2e::=x∣λx.e∣e1e2e::= x \mid \lambda x . e \mid e_1 e_2 Dans le cadre de la stratégie d'évaluation de l'appel par valeur, nous avons les règles d'inférence pour la réduction bêta et les...