Les problèmes de coloration des graphiques sont déjà assez difficiles pour la plupart des gens . Malgré cela, je vais devoir être difficile et poser un problème sur la coloration hypergraphique. Question. Quels sont les algorithmes efficaces pour trouver une coloration des bords approximativement...
Quels algorithmes utiles existent-ils qui fonctionnent sur d'énormes flux de données et aussi leurs résultats sont assez petits et on peut calculer le résultat pour un mélange de deux flux en fusionnant en quelque sorte leurs résultats? Je peux en nommer quelques-uns: Les choses évidentes comme...
Ceci fait suite à la récente question de David Eppstein et est motivé par les mêmes problèmes. Supposons que j'ai un point avec des poids réels sur ses sommets. Initialement, tous les sommets ne sont pas marqués. Je peux changer l'ensemble des sommets marqués soit (1) en marquant un sommet sans...
Soit { 0 , . . . , N - 1 } et ∘ : S × S → S . Je veux calculer la complexité de la communication pour décider si ∘ est associatif.S=S=S=0 , . . . , n - 10,...,n−10,...,n-1∘ : S× S→ S∘:S×S→S\circ : S \times S \rightarrow S∘∘\circ Le modèle est le suivant. est donnée à une matrice M . Alice (resp....
Le papier Lauri Hella et José María Turull-Torres, Requêtes informatiques avec des logiques d'ordre supérieur , TCS 355 197–214, 2006. doi: 10.1016 / j.tcs.2006.01.009 propose une logique VO, une logique d'ordre variable. Cela permet de quantifier les commandes sur les variables. VO est assez...
La largeur de l'arbre mesure la proximité d'un graphique avec un arbre. Plusieurs problèmes NP-difficiles sont traitables sur des graphiques avec une largeur d'arbre bornée. Si un problème reste NP-dur sur les arbres, la largeur de l'arbre ne peut pas nous sauver. C'était la motivation derrière une...
Quels sont les algorithmes les plus efficaces pour multiplier deux matrices booléennes très clairsemées (disons, N = 200 et il n'y a que 100 à 200 éléments non nuls)? En fait, j'ai l'avantage que lorsque je multiplie A par B, les B sont prédéfinis et que je peux faire un prétraitement...
La géométrie informatique est un domaine que je trouve assez intéressant, et j'aimerais consacrer environ un mois ou deux à un projet qui va m'initier à cela et m'aider à apprendre les concepts clés. Quelle est la bonne façon d'aborder cela et quels sont les concepts clés dont je devrais être sûr...
Une formulation équivalente du théorème PCP est: Pour Max 3-SAT, il est -hard de faire la distinction entre les formules satisfaisables et les formules où au plus r -fraction des clauses sont satisfaisables (pour certains r < 1 ).NPNPNPrrrr<1r<1r\lt 1 Existe-t-il un théorème de dichotomie...
La question suivante s'est posée à plusieurs reprises lors du test de la sécurité d'un système ou d'un modèle. Motivation: les failles de sécurité logicielles ne proviennent souvent pas de bogues dus à des entrées valides, mais de bogues résultant d'entrées non valides suffisamment proches des...
Je suis dans ma deuxième année dans un MSc qui ne se rapporte pas trop au TCS bien que je le souhaite. Il s'agit essentiellement de la théorie du contrôle, des signaux et des systèmes et j'ai suivi des cours dans les systèmes avancés (robuste, non linéaire, optimal, stochastique), le traitement...
La question suivante utilise des idées de cryptographie appliquées à la théorie de la complexité. Cela dit, il s'agit d'une question purement théorique, et aucune connaissance cryptographique n'est requise pour y répondre. J'écris délibérément cette question de manière très informelle. Manquant de...
J'ai un ensemble de données de milliers de points et un moyen de mesurer la distance entre deux points, mais les points de données n'ont pas de dimensionnalité. je veux un algorithme pour trouver des centres de cluster dans cet ensemble de données. j'imagine que parce que les données n'ont pas de...
Les données ne seraient-elles pas perdues lors du mappage de valeurs 6 bits à des valeurs 4 bits dans les S-Box de DES? Si c'est le cas, comment pouvons-nous l'inverser pour que la sortie correcte
Problème J'ai un graphique non orienté (avec plusieurs arêtes), qui changera au fil du temps, des nœuds et des arêtes peuvent être insérés et supprimés. A chaque modification du graphe, je dois mettre à jour les composants connectés de ce graphe. Propriétés Les propriétés supplémentaires sont...
Par http://www.cs.umd.edu/~jkatz/complexity/relativization.pdf Si est un langage complet-PSPACE, P A = N P A .UNEAAPUNE= NPUNEPA=NPAP^{A}=NP^{A} Si est un oracle à temps polynomial déterministe, P B ≠ N P B (en supposant P ≠ N P ).BBBPB≠ NPBPB≠NPBP^{B}\ne NP^{B}P≠ NPP≠NPP\ne NP est la classe de...
Encore une fois un problème de partitionnement des bords dont je suis curieux de complexité, motivé par une question précédente . Entrée: un graphe cubique G = ( V, E)G=(V,E)G=(V,E) Question: existe-t-il une partition de en E 1 , E 2 , … , E s , de sorte que le sous-graphe induit par chaque E i est...
Étant donné (iid gaussiens avec moyenne et variance ), est-il possible (comment?) D'échantillonner (pour ) Y_1, \ ldots, Y_m tels que les Y_i sont des gaussiens indépendants par paire avec moyenne 0 et variance 1 .X1,…,XkX1,…,XkX_1,\ldots,X_k000111m=k2m=k2m=k^2Y1,…,YmY1,…,YmY_1, \ldots,...
Le résultat de Baker-Gill-Solovay a montré que la question P = NP ne se relativise pas, en ce sens qu'aucune preuve relativisante (insensible à la présence d'un oracle) ne peut régler la question P = NP. Ma question est: Y a-t-il un résultat similaire pour la question, "Existe-t-il un problème de...
Est-il possible de démontrer qu'une phrase doit être formellement indépendante du fait qu'elle est non relativisante? En d'autres termes, existe-t-il des exemples de phrases dans la théorie de la calculabilité / complexité où il peut être démontré à la fois a) que toutes les preuves qui résolvent...