J'espère que ce n'est pas une question politiquement incorrecte à poser, mais pour un étudiant au doctorat qui publie habituellement à CCC / ITCS / ICALP (et parfois à FOCS / STOC), pourrait-il être nuisible (sur le plan professionnel) de publier des travaux moins importants dans conférences moins...
Dans de nombreux articles impliquant des grammaires sans contexte (CFG), les exemples de telles grammaires présentés ici admettent souvent des caractérisations faciles du langage qu'elles génèrent. Par exemple: S→aaSbS→aaSbS \to a a S b S→S→S \to génère {a2ibi|i≥0}{a2ibi|i≥0}\{ a^{2i} b^i | i \geq...
Cette réponse aux problèmes majeurs non résolus en informatique théorique? question indique qu'il est ouvert si un problème particulier dans NP nécessite un temps .Ω ( n2)Ω(n2)\Omega(n^2) En regardant les commentaires sous la réponse, je me suis demandé: Mis à part le rembourrage et les astuces...
Supposons que et qu'un algorithme de temps linéaire rapide pour SAT apparaisse demain. Soudainement, RSA n'est pas sûr, une grande partie de notre système de communication moderne est cassé et nous devons reconsidérer comment garder les secrets les uns des autres.P=NPP=NPP = NP Question: Existe -...
Selon D. den Hertog, Interior Point Approach to Linear, Quadratic and Convex Programming, 1994 , un programme linéaire avec variables, n contraintes et précision L est résoluble en temps O ( n 3 L ) . Cela a-t-il été amélioré?nnnnnnLLLO ( n3L
Connaissez-vous les conséquences intéressantes des conjectures (standard) dans la théorie de la complexité dans d'autres domaines des mathématiques (c'est-à-dire en dehors de l'informatique théorique)? Je préférerais des réponses où: la conjecture de la théorie de la complexité est aussi générale...
J'ai besoin de calculer la médiane en cours d'exécution: Entrée: , , vecteur .k ( x 1 , x 2 , … , x n )nnnkkk(x1,x2,…,xn)(x1,x2,…,xn)(x_1, x_2, \dotsc, x_n) Sortie: vecteur , où est la médiane de .y i ( x i , x i + 1 , … , x i + k - 1 )(y1,y2,…,yn−k+1)(y1,y2,…,yn−k+1)(y_1, y_2, \dotsc,...
Une caractéristique bien connue des instances -SAT est le rapport du nombre de clauses sur le nombre de variables n , c'est-à-dire le quotient \ rho = m / n . Pour chaque k , il existe une valeur seuil \ alpha st \ pour \ rho \ ll \ alpha , la plupart des instances sont satisfaisables et pour \ rho...
ACSL (Ansi C Specification Language), est une spécification pour le code C, annotée de commentaires spéciaux, qui permet de vérifier formellement le code C. Je ne l'ai pas étudié, mais j'imagine que les méthodes formelles utilisées dans ACSL vérificateurs seraient similaires à Hoare Logic. Pour les...
Bien sûr, certains résultats de complexité peuvent s'effondrer pour les langues unaires, mais je me demande s'il existe quelque part une enquête résumant les résultats connus dans ce cas: une sorte de zoo de complexité pour les langues unaires. Connaissez-vous une telle
Pour tout , je dis qu'une séquence s d'entiers dans { 1 , … , n } est n -complète si, pour chaque permutation p de , écrite comme une séquence de paires entiers distincts , la séquence p est une sous-séquence de s , c'est-à-dire qu'il existe 1 ≤ i 1 < i 2 < ⋯ < i n ≤ | s |n>0n>0n >...
Existe-t-il un langage NP (complet de préférence naturel) , tel que pour chaque détient? En d'autres termes, contient précisément la moitié de toutes les instances à bits.L ⊆ { 0 , 1 }∗L⊆{0,1}∗L\subseteq \{0,1\}^*| L ∩ { 0 , 1 } n | = 2 n - 1 Ln ≥ 1n≥1n\geq 1 | L∩{0,1 }n| = 2n -...
Outre le fait d'acquérir une formation universitaire complète et d'obtenir un doctorat / post-doc, ou d'opter pour un emploi plus ou moins standard dans le développement de logiciels, quelles sont les autres options de carrière dans le domaine CS complet ou
Quelles sont les conséquences d'avoir des problèmes complets dans ?NP∩ c o NPNP∩coNPNP\cap
Existe-t-il un analogue parallèle naturel aux arbres rouge-noir avec des propriétés de mise à jour similaires ou même pas pire, tout en étant raisonnablement efficace? Plus généralement, que pouvons-nous faire de mieux pour la recherche parallèle avec mises à jour?
Existe-t-il des problèmes NP-complets pour lesquels un algorithme est connu que le temps d'exécution attendu est polynomial (pour une distribution sensible sur les instances)? Sinon, existe-t-il des problèmes pour lesquels l'existence d'un tel algorithme a été établie? Ou l'existence d'un tel...
Wikipedia définit une deuxième attaque de pré-image comme: étant donné un message fixe m1, trouvez un message différent m2 tel que hachage (m2) = hachage (m1). Wikipedia définit une attaque par collision comme: trouver deux messages différents arbitraires m1 et m2 tels que hachage (m1) = hachage...
Je recherche des expandeurs déséquilibrés qui sont "bons" et "peu encombrants". Plus précisément, un graphe bipartite gauche-régulier , , , avec le degré gauche est un -expander si pour tout de taille au plus , le nombre de voisins distincts de dans est au moins. On sait que la méthode probabiliste...
L'intrication est souvent considérée comme l'ingrédient clé qui fait bien les algorithmes quantiques ... quantiques, et cela peut être retracé aux états de Bell qui détruisent l'idée de la physique quantique en tant que modèle probabiliste à état caché. Dans la théorie de l'information quantique...
L'algorithme de Coppersmith – Winograd est l'algorithme connu asymptotiquement le plus rapide pour multiplier deux matrices carrées. Le temps d'exécution de leur algorithme est O ( n 2.376 ) qui est le plus connu à ce jour. Quelle est la complexité spatiale de cet algorithme? Est-ce en Θ ( n 2 )...