Je recherche des langages qui ne sont "probablement pas sans contexte" mais nous ne sommes pas en mesure de le (dé) prouver en utilisant des techniques standard connues. Y a-t-il une enquête récente sur le sujet ou une section de problème ouvert d'une conférence récente? Il n'y a probablement pas …
Lorsque j'enseigne les limites de la queue, j'utilise la progression habituelle: Si votre RV est positif, vous pouvez appliquer l'inégalité de Markov Si vous avez l' indépendance et aussi la variance limitée, vous pouvez appliquer l'inégalité de Tchebychev Si chaque VR indépendant a également tous les moments liés, vous pouvez …
J'ai rencontré le résultat suivant lors de mes recherches. limn→∞E[#{|ai−aj|,1≤i,j≤m}n]=1limn→∞E[#{|ai−aj|,1≤i,j≤m}n]=1\lim\limits_{n\to \infty} \mathbb{E}\left[ \frac{\#\{|a_i-a_j|,1\le i,j\le m \}}{n} \right] = 1 oùetsont choisis au hasard parmi.a1,⋯,am[n]m=ω(n−−√)m=ω(n)m=\omega(\sqrt n)a1,⋯,ama1,⋯,ama_1,\cdots,a_m[n][n][n] Je recherche une référence / une preuve directe. Crossposted sur MO
Contexte: Soit u,vu,vu, v deux sommets d'un graphe non orienté . Un ensemble de sommets est un séparateur si et appartiennent à différents composants connectés de . Si aucun sous-ensemble correct d'un séparateur est un séparateur, alors est un séparateur minimal. Un ensemble de sommets est un séparateur (minimal) s'il …
Il existe de nombreux endroits où les nombres ππ\pi et ( 1 + 5-√) / 2(1+5)/2(1+\sqrt5)/2apparaissent. Je suis curieux de connaître les algorithmes dont le temps d'exécution contient le nombre d'or ouππ\pidans l'exposant.
Considérez le raisonnement suivant: Soit la complexité de Kolmogorov de la chaîne . Le théorème d'incomplétude de Chaitin dit quexK( x )K(x)K(x)Xxx pour tout cohérent et système formel suffisamment solide , il existe une constante (ne dépendant que du système formel et sa langue) de telle sorte que pour toutes …
Récemment, j'ai travaillé sur le problème du calcul de la somme approximative d'une liste de nombres non négatifs triés. Pour tout fixe , un schéma d'approximation du temps a été dérivé de telle sorte qu'il donne une approximation pour la somme. Le document est publié sur http://arxiv.org/abs/1112.0520 , qui n'a …
capture l'idée d'une parallélisation efficace, et une interprétation de celui-ci est les problèmes qui peuvent être résolus dans le temps O ( log c n ) en utilisantdes processeurs parallèles O ( n k ) pour certaines constantes c , k . Ma question est de savoir s'il existe une …
J'ai vu (et entendu) qu'il a affirmé qu'il est sûr d'ajouter l'axiome classique du milieu exclu à Coq, mais je n'arrive pas à trouver un document soutenant cette affirmation. Les articles que je vois répertoriés sur le wiki Coq sur le milieu exclu montrent une incohérence avec l'ensemble imprédicatif. En …
(Il s'agit d'un suivi de cette question et de sa réponse .) J'ai le programme linéaire d'entier (ILP) totalement unimodulaire (TU) suivant. Ici sont tous des entiers positifs donnés dans le cadre de l'entrée. Un sous-ensemble spécifié des variables x i j est mis à zéro, et le reste peut …
Existe-t-il une bonne enquête qui compare différents extracteurs, concentrateurs et superconcentrateurs et présente les meilleures méthodes en termes de compromis entre le caractère aléatoire, le temps et l'espace?
Wikipedia fournit des exemples de problèmes où la version de comptage est difficile, alors que la version de décision est facile. Certains d'entre eux comptent des appariements parfaits, comptant le nombre de solutions à 222 -SAT et le nombre de tri topologiques. Existe-t-il d'autres classes importantes (par exemple des exemples …
J'ai deux questions historiques: Qui a décrit en premier le calcul non déterministe? Je sais que Cook a décrit des problèmes NP-complets et qu'Edmonds a proposé que les algorithmes P soient des algorithmes "efficaces" ou "bons". J'ai cherché dans cet article Wikipedia et j'ai survolé "Sur la complexité des algorithmes", …
(Cette question est un peu une "enquête".) Je travaille actuellement sur un problème où j'essaie de partitionner les bords d'un tournoi en deux ensembles, qui sont tous deux nécessaires pour remplir certaines propriétés structurelles. Le problème "semble" assez difficile, et je m'attends à ce que ce soit NPNP\mathcal{NP} -complete.For une …
Alors que le théorème d'Adleman montre que , je ne connais aucune littérature qui étudie l'inclusion possible de . Quelles seraient les conséquences théoriques de la complexité d'une telle inclusion?BPP⊆P/polyBPP⊆P/poly\mathsf{BPP} \subseteq \mathsf{P}/\text{poly}BQP⊆P/polyBQP⊆P/poly\mathsf{BQP} \subseteq \mathsf{P}/\text{poly} Le théorème d'Adleman est parfois appelé «l'ancêtre des arguments de dérandomisation». On pense que est dérandomisable, …
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.