Contexte: Nous considérons uniquement les digraphes. Soit CYCLE le langage des graphes avec un cycle; c'est un problème NL-complet. Soit HASEDGE le langage des graphiques avec au moins un bord. Ensuite, trivialement, n'est plus NL-hard, tandis que reste.CYCLE∪HASEDGECYCLE∪HASEDGE\text{CYCLE} \cup...
Je recherche des notes de cours disponibles en ligne ou d'autres ressources qui donnent une bonne introduction à la programmation parallèle, tout comme l'analogue parallèle des cours de base en informatique. Mon objectif est le suivant: alors que je suis en mesure de parler de division et de...
Existe-t-il un algorithme polynomial pour trouver, s'il en existe un, une araignée s'étendant sur un graphe donné ? Une araignée est un arbre avec au plus un nœud avec un degré supérieur à 2: je sais que diverses conditions de degré sur G (essentiellement, des degrés de nœud suffisamment grands)...
Dans le livre Arora-Barak, dans la définition des fonctions constructibles dans le temps, il est dit que l'utilisation de fonctions qui ne sont pas constructibles dans le temps peut conduire à des "résultats anormaux". Quelqu'un at-il un exemple d'un tel "résultat anormal"? J'ai entendu en...
Étant donné un ensemble de points dans un espace cartésien 3D, je recherche un algorithme qui triera ces points, de sorte que la distance euclidienne minimale entre deux points consécutifs soit maximisée. Il serait également avantageux que l'algorithme tende vers une distance euclidienne moyenne...
Je ne sais pas si la zone est correcte, mais c'est parti. Commencer un doctorat en gestion de la confiance et de la réputation dans les réseaux de communication (beaucoup de théorie des graphes, analyse probabiliste, etc.) et avoir beaucoup de lecture devant moi. Quelqu'un peut-il conseiller les...
J'ai 400 balles, dont 100 rouges, 40 jaunes, 50 vertes, 60 bleues, 70 violettes, 80 noires. (les boules de la même couleur sont identiques) j'ai besoin d'un algorithme de brassage efficace, de sorte qu'après le brassage, les balles soient dans une liste, et Les 3 balles consécutives ne sont pas de...
Je recherche des exemples de problèmes difficiles (en NP ou plus difficiles) de l'informatique qui peuvent être réduits à des modèles de processus physiques. Par exemple, max-2-sat peut être réduit à une minimisation d'énergie dans un modèle Ising. J'aimerais trouver plus d'exemples de ce type de...
L'algorithme de Deutsch est un calcul quantique bien connu f(0)+f(1)mod2f(0)+f(1)mod2f(0) + f(1)\mod{2} avec une seule évaluation de fff . Si nous remplaçons +++ par ⋅⋅\cdot le problème semble devenir assez différent. Ma question est: existe-t-il un algorithme quantique calculant la valeur de...
Est-il difficile d'approcher le nombre chromatique fractionnaire sur des graphiques de degrés
Supposons que j'ai un polygone simple et un entier k . Quelles sont les approches existantes pour trouver le plus petit rayon r tel que je puisse couvrir S avec k cercles de rayon r ? Que diriez-vous si r est fixe, et je veux minimiser k
Pendant mon travail, j'ai rencontré le problème suivant: J'essaie de trouver une -matrice , pour tout , avec les propriétés suivantes:( 0 , 1 ) M n > 3n×nn×nn \times n (0,1)(0,1)(0,1)MMMn>3n>3n > 3 Le déterminant de est pair.MMM Pour tout sous-ensemble non vide avec, La sous - matrice a...
Dans ma recherche d'articles de recherche sur les systèmes de types pour les langages impératifs, je ne trouve que des solutions pour un langage avec des références mutables mais sans véritables structures de contrôle impératif telles que des opérateurs composés, des boucles ou des conditionnelles....
Définitions Soit et soit , et des entiers positifs (avec ).ϵ>0ϵ>0\epsilon > 0r g g > 2 r + 1dddrrrgggg>2r+1g>2r+1g > 2r+1 Soit un graphe simple, régulier, non orienté, fini avec une circonférence au moins .d gG=(V,E)G=(V,E)G = (V,E)dddggg Let être un ordre total sur .V≤≤\leVVV Pour...
Je voudrais savoir si le problème simple suivant a déjà été étudié et si une solution est connue. Soit G une grille finie (MxN), S un sous-ensemble de cellules de G (les "miettes"). On dit que deux miettes sont connectées (localement) si leurs coordonnées diffèrent d'au plus une (c'est-à-dire que...
Je suis assez familier avec la théorie derrière VC-Dimension, mais je regarde maintenant les progrès récents (10 dernières années) dans la théorie de l'apprentissage statistique: moyennes Rademacher (locales), Lemme de classe finie de Massart, Covering Numbers, Chaining, Dudley's Théorème,...
Étant donné un graphe planaire non pondéré et une collection de paires de sommets ( k ≥ 2 est une constante), trouver k chemins vertex-disjoints (sauf source) de s à t i tel que la longueur du chemin le plus long soit
Certains d'entre nous ont lu l'article de Michael Nielsen sur une approche géométrique de l'utilisation des limites inférieures quantiques (en bref, la construction d'une métrique de Finsler sur telle que la distance géodésique de à un élément est une limite inférieure sur le nombre de portes dans...
Soit un graphique avec des arêtes pondérées (positivement). Je veux définir le diagramme de Voronoi pour un ensemble de nœuds / sites S , associer à un nœud v ∈ S le sous-graphe R ( v ) de G induit par tous les nœuds strictement plus proche de v que de tout autre nœud en S , mesurant la longueur...
Si des OWF existent, un engagement de bits à liaison statistique est possible. [1] Est-il connu que si des OWF existent, un engagement de bits parfaitement contraignant est possible? Si non, existe-t-il une séparation connue entre les boîtes noires? [1]