Souvent, lorsque nous participons aux conférences du SDC, nous remarquons quelques petits détails dont nous souhaitons que les organisateurs de la conférence se soient occupés. Et lorsque nous organisons des conférences, nous l’avons déjà oublié. D'où la question: quelles petites mesures...
Ma question aujourd'hui est (comme d'habitude) un peu bête; mais je vous demanderais de bien vouloir l'examiner. Je voulais connaître la genèse et / ou la motivation du concept de largeur d'arbre. Je comprends bien que cela soit utilisé dans les algorithmes FPT, mais je ne pense pas que ce soit la...
Contexte Il y a plusieurs années, lorsque j'étais étudiant de premier cycle, on nous a confié un devoir d'analyse en amortissement. J'ai été incapable de résoudre l'un des problèmes. Je l’avais demandé en théorie , mais aucun résultat satisfaisant n’a été obtenu. Je me souviens du cours TA a...
Je cherche des exemples de problèmes paramétrés par un nombre , où la dureté du problème est non monotone en . La plupart des problèmes (selon mon expérience) ont une transition de phase unique, par exemple -SAT a une transition de phase unique de (où le problème est en P) à (où le le problème est...
En TCS, nous utilisons souvent des résultats et des idées puissants issus des mathématiques classiques (algèbre, topologie, analyse, géométrie, etc.). Quels sont quelques exemples de quand il est allé dans le sens inverse? Voici quelques exemples que je connaisse (et aussi pour donner une idée du...
Au fil des années, je me suis habitué à voir de nombreux théorèmes du TCS prouver à l'aide d'une analyse de Fourier discrète. La transformation de Walsh-Fourier (Hadamard) est utile dans pratiquement tous les sous-domaines du SCS, notamment les tests de propriété, le pseudo-aléatoire, la complexité...
Connaissez-vous des algorithmes sensés fonctionnant en temps polynomial en (Longueur d’entrée + longueur en sortie), mais dont le temps de fonctionnement asymptotique dans la même mesure a un exposant / une constante vraiment énorme (au moins, où la limite supérieure prouvée du temps de...
Après avoir étudié les automates à états finis (DFA) déterministes chez les étudiants de premier cycle, j’ai eu le sentiment qu’ils étaient extrêmement bien compris. Ma question est de savoir s'il y a quelque chose que nous ne comprenons toujours pas à leur sujet. Je ne parle pas de généralisations...
Quelles sont les directives générales pour vérifier vos preuves? Je crois que c'est important pour les étudiants diplômés comme moi. Je sais déjà ce que nous devons faire pour prouver quelque chose, mais vous devez toujours tout vérifier avant de l'envoyer. Même à votre propre conseiller. J'ai...
Il est largement supposé que , l'exposant optimal pour la multiplication matricielle, est en fait égal à 2. Ma question est simple:ωω\omega Quelles raisons avons-nous pour croire que ?ω=2ω=2\omega = 2 Je connais des algorithmes rapides comme Coppersmith-Winograd, mais je ne sais pas pourquoi ils...
Je suis nouveau sur le site. Sur mathoverflow, ce serait un wiki de communauté, mais je ne vois pas comment le définir ici. Pas une question de recherche, mais, espérons-le, d'intérêt pour les informaticiens professionnels. Je suis un étudiant de 2e année en théorie et je me demandais quels...
Cette question est quelque chose que je me pose depuis un moment. Lorsque les gens décrivent le problème P vs NP, ils comparent souvent la classe NP à la créativité. Ils notent que la composition d'une symphonie de qualité Mozart (analogue à une tâche NP) semble beaucoup plus difficile que de...
Avec l'avènement d'Internet (et du bon sens), la recherche en libre accès est de plus en plus demandée. Plusieurs chercheurs (dont moi-même) trouvent frustrant que des articles de recherche publiés et revus par des pairs soient à l'origine de systèmes de paiement. Je suis à la recherche de revues...
Dans le fil Problèmes majeurs non résolus en informatique théorique? Iddo Tzameret a formulé l’excellent commentaire suivant: Je pense que nous devrions faire la distinction entre les grands problèmes ouverts qui sont considérés comme des problèmes fondamentaux, comme , et les grands problèmes...
Lors de la conception d'un algorithme pour un nouveau problème, si je ne trouve pas d'algorithme temporel polynomial après un certain temps, je pourrais essayer de prouver qu'il est NP-difficile à la place. Si je réussis, j'ai expliqué pourquoi je ne pouvais pas trouver l'algorithme temps...
Les algorithmes génétiques n'ont pas beaucoup de poids dans le monde théorique, mais ils constituent une méthode métaheuristique assez bien utilisée (par métaheuristique, je veux dire une technique qui s'applique de manière générique à de nombreux problèmes, tels que l'annelage, la descente de...
Récemment, quand j'ai parlé à un physicien, j'ai affirmé que, selon mon expérience, lorsqu'un problème qui semble naïvement prendre un temps exponentiel se révèle non trivialement en P ou en BPP, il est généralement possible d'identifier une "raison primordiale" de la réduction. --- et presque...
J'ai rencontré l'algorithme polynomial qui résout 2SAT. J'ai trouvé ahurissant que 2SAT soit dans P où toutes (ou beaucoup d'autres) des instances SAT sont NP-Complete. Qu'est-ce qui rend ce problème différent? Qu'est-ce qui le rend si facile (NL-Complete - encore plus facile que...
Le but de cette question est de recueillir des exemples d'informatique théorique où l'utilisation systématique des ordinateurs était utile. dans la construction d'une conjecture qui mène à un théorème, falsifier une conjecture ou une approche par preuve, construire / vérifier (des parties de) une...
Quels outils utilisez-vous pour écrire des papiers? Du fait de mon peu d’expérience, les théoriciens passent beaucoup de temps à écrire et à peaufiner des papiers, en plus d’être réellement créatifs. C'est-à-dire communiquer leur travail à d'autres personnes. Peut-être que les papiers ne sont pas...