La complexité de calcul implique de grandes quantités de combinatoire et de théorie des nombres, quelques ingrédients de la stochastique et une quantité émergente d'algèbre. Cependant, en tant qu'analyseur, je me demande s'il existe des applications de l'analyse dans ce domaine, ou peut-être des idées inspirées par l'analyse. Tout ce …
Quel est l'algorithme déterministe le plus rapide connu qui peut reconnaître des graphes dirigés avec une paire de cycles disjoints de vertex? Je sais que les graphiques avec un minimum de trois degrés ont toujours une telle paire ( Thomassen'83 ), mais même ainsi, je ne trouve pas d'algorithme efficace …
Je cherche: Michael O. Rabin, "Degré de difficulté de calcul d'une fonction et ordre partiel d'ensembles récursifs", Université hébraïque, Jérusalem, 1960 Sommaire: «Nous essayons de mesurer la quantité de travail inhérente à la tâche de calculer une fonction calculable (récursive) donnée. Une notion de degré de difficulté de calcul est …
f:{−1,1}n→{−1,1}f:{−1,1}n→{−1,1}f\colon\{-1,1\}^n \to \{-1,1\}iiiInfi[f]=defPrx∼{−1,1}n[f(x)≠f(x⊕i)]Infi[f]=defPrx∼{−1,1}n[f(x)≠f(x⊕i)] \operatorname{Inf}_i[f] \stackrel{\rm def}{=} \Pr_{x\sim\{-1,1\}^n}[ f(x) \neq f(x^{\oplus i})] x⊕ix⊕ix^{\oplus i}iiixxxfffMinInf[f]=defmini∈[n]Infi[f].MinInf[f]=defmini∈[n]Infi[f].\operatorname{MinInf}[f] \stackrel{\rm def}{=} \min_{i\in[n]}\operatorname{Inf}_i[f]. Étant donné un paramètre p∈[0,1]p∈[0,1]p\in[0,1] , nous choisissons une fonction ppp aléatoire fff en choisissant sa valeur sur chacune des 2n2n2^n entrées indépendamment au hasard pour être 111 avec la probabilité ppp , et …
Étant donné que je suis intéressé par les analyseurs (principalement les grammaires d'expression des analyseurs), je me demande s'il y a du travail qui donne un traitement catégorique de l'analyse. Toute référence sur les applications de la théorie des catégories à l'analyse syntaxique est très appréciée. Meilleur,
En écrivant un petit post sur la complexité des jeux vidéo Nibbler et Snake ; J'ai trouvé que les deux peuvent être modélisés comme des problèmes de reconfiguration sur les graphes planaires; et il semble peu probable que de tels problèmes n'aient pas été bien étudiés dans le domaine de …
Dans le problème d'extensibilité, on nous donne une partie de la solution et nous voulons décider si nous pouvons l'étendre à une solution complète. Certains problèmes d'extensibilité peuvent être résolus efficacement tandis que d'autres problèmes d'extensibilité transforment un problème facile en un problème difficile. Par exemple, le théorème de Konig-Hall …
Il est bien connu que la complexité de distinguer une pièce biaisée une pièce équitable est θ ( ϵ - 2 ) . Y a-t-il des résultats pour distinguer une pièce p d' une pièce p + ϵ ? Je peux voir que pour le cas particulier de p = …
Contexte: La complexité de l'arbre de décision ou la complexité des requêtes est un modèle de calcul simple défini comme suit. Soit F: { 0 , 1 }n→ { 0 , 1 }F:{0,1}n→{0,1}f:\{0,1\}^n\to \{0,1\} une fonction booléenne. La complexité de requête déterministe de FFf , notée D ( f)ré(F)D(f) , …
J'ai une réduction du problème de partition suivant à un certain problème de planification: Entrée: Une liste une1⩽ ⋯ ⩽ anune1⩽⋯⩽unena_1\leqslant\cdots\leqslant a_n d'entiers positifs dans l'ordre non décroissant. Question: Existe-t-il un vecteur ( x1, … , Xn) ∈ { - 1 , 1 }n(X1,…,Xn)∈{-1,1}n(x_1,\ldots,x_n)\in\{-1,1\}^n tel que ∑i = 1nunejeXje= 0et∑je=1nunejeXje=0et\sum_{i=1}^na_ix_i=0\qquad\text{and} …
En lisant les questions exemples où l'unicité de la solution permet de trouver plus facilement , une nouvelle (? Plus facile) question est venue à l' esprit: en fait , nous ne savons pas si le graphique Isomorphisme ( problème) est dans P .G IgjeGIPPP Mais que se passe-t-il si …
Je veux définir une notion de "proximité" entre deux langages réguliers de mots finis dans (et / ou des mots infinis dans ). L'idée de base est que nous voulons que deux langues soient proches si elles ne diffèrent pas par beaucoup de mots. Nous pourrions également utiliser la distance …
Motivation: Un co-auteur édite un manuscrit et j'aimerais voir un résumé clair des éditions. Toutes les « diff » -comme outils ont tendance à être inutile si vous êtes à la fois du texte déplacerez (par exemple, la réorganisation de la structure) et faire des modifications locales. Est-il vraiment si …
Il est facile de voir que si alors il y a des problèmes de recherche totaux qui ne peuvent pas être résolus en temps polynomial (créer un problème de recherche total en ayant à la fois les témoins d'appartenance et les témoins de non-adhésion).NP∩coNP≠PNP∩coNP≠P\mathsf{NP}\cap\mathsf{coNP} \neq \mathsf{P}NPNP\mathsf{NP} L'inverse est-il également vrai, …
Existe-t-il des livres récents sur les algorithmes en ligne? Je ne connais que deux livres sur le sujet. Calcul en ligne et analyse concurrentielle par Allan Borodin et Ran El-Yaniv: Il s'agit d'un livre classique mais ancien, et ne contient pas de nombreuses avancées récentes dans le domaine. The Design …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.