Ce qui suit me semble être une définition naturelle et je me demande si cela a été étudié quelque part Considérons un ensemble de langues. Alors K ⊂ { 0 , 1 } ω est appelé " information X- vérifiable" quand il y a L ∈ X stX⊂2{0,1}∗X⊂2{0,1}∗\mathsf{X} \subset 2^{\lbrace …
Intrigué par la question intéressante de Chris Pressey sur les fonctions élémentaires-récursives , j'explorais davantage et je n'arrivais pas à trouver une réponse à cette question sur le web. Les fonctions récursives élémentaires correspondent bien à la hiérarchie exponentielle, .DTIME ( 2n) ∪ DTIME ( 22n) ∪ ⋯DTIME(2n)∪DTIME(22n)∪⋯\text{DTIME}(2^n) \cup \text{DTIME}(2^{2^n}) …
Dans le cadre de travaux récents , nous avons défini un langage basé sur une logique à trois valeurs à la Kleene, où signifie vrai, 0 pour faux et ⊥ pour erreur ou ne sait pas. Afin de montrer que notre langage était expressif, nous avons voulu prouver que nous …
Ma question est un peu vague. Je me demandais si (et comment), nous pouvons appliquer la notion de largeur d'arbre aux problèmes d'emballage dans les graphiques. Je serais heureux de tout aperçu ou référence de travaux de recherche antérieurs à ce sujet (en supposant qu'il s'agit d'une relation). Merci.
Supposons un cadre dans la complexité de la communication où nous avons deux joueurs A (poux) et B (ob) et un R (eferee). A et B ne communiquent pas directement entre eux. Dans chaque cycle de communication, chacun d'eux envoie un message ( , m B ) au R. R …
Pour une application d'apprentissage automatique, mon groupe doit calculer la distance euclidienne au ème voisin le plus proche dans un ensemble pour chaque (pour entre 5 et environ 100 , et quelques centaines à quelques millions). Nous utilisons actuellement soit l'approche par force brute , soit l'approche évidente avec un …
Partout où j'ai lu sur le problème de coupe le plus clairsemé, il est seulement dit que le problème est connu pour être NP- dur. Où puis-je trouver une preuve de cela? Quel problème NP- dur connu se réduit au problème de coupe le plus clairsemé? Je n'ai trouvé aucune …
J'ai une famille de problèmes de programmation linéaire: maximiser sous réserve de , . Les éléments de , et sont des entiers non négatifs, strictement positifs. ( devrait également faire partie intégrante, mais je m'en occuperai plus tard.)A x ≤ b x ≥ 0 A b c c xc′Xc′xc' xA …
Je suis intéressé à en savoir plus sur les algorithmes sans cache et les structures de données, mais il y a tellement d'articles que je ne sais vraiment pas par où commencer. J'ai trouvé la thèse originale de Prokup sur le sujet, ce qui semble être un bon point de …
J'apprécierais tous les conseils ou termes qui pourraient me permettre de commencer dans la bonne direction. Nous avons un graphe orienté et des longueurs pour chaque arête qui peut être supposée positive. Il existe un nœud de début spécial s et un nœud de fin t .G=(V,E)G=(V,E)G=(V,E)lijlijl_{ij}ijijijsssttt Pour chaque arête …
Comme c'est vendredi, il est temps de poser une question CW. Je recherche des heuristiques qui ont une large utilisation dans les problèmes d'optimisation. Pour limiter la portée à des heuristiques plus «favorables à la théorie», voici les règles (certaines arbitraires, d'autres non) Ce devrait être une méthode bien définie, …
Je me demande si le problème suivant a un nom ou des résultats qui y sont liés. G=(V,w)G=(V,w)G = (V,w)w(u,v)w(u,v)w(u,v)uuuvvvu,v∈Vu,v∈Vu,v \in Vw(u,v)∈[−1,1]w(u,v)∈[−1,1]w(u,v) \in [-1,1]maxS⊆V∑(u,v):u∈S or v∈Sw(u,v)maxS⊆V∑(u,v):u∈S or v∈Sw(u,v)\max_{S \subseteq V} \sum_{(u,v) : u \in S\ \textrm{or}\ v\in S} w(u,v) Notez que je compte les bords à la fois à l'intérieur …
J'aimerais savoir où je peux me tourner pour une bonne et douce introduction à k-SAT (cela peut être pour les mathématiciens qui peuvent ne pas avoir une bonne formation en informatique). J'aimerais également connaître les articles qui peuvent étudier ou expliquer les méthodes actuelles utilisées pour résoudre k-SAT. Enfin, je …
J'ai eu du mal à trouver un algorithme ou à publier des articles sur la triangulation des polygones auto-entrecroisés (également des polygones avec structure de trous). Quelqu'un peut-il me guider pour trouver le papier / algorithme publié, s'il vous plaît? PS: quelqu'un marque correctement cette question, je n'ai pas assez …
Soit un ensemble de formes rectangulaires à dimensionsPour et , décrit la longueur de dans la dimension . La même notation est utilisée pour le conteneur . Le problème d' emballage de dimension orthogonale (Opp- ) est de décider si se insère dans le récipient sans se chevaucher. Formellement parlant, …
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.