Informatique théorique

16

Quels outils utilisez-vous pour écrire des papiers?

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 la bonne façon de le …

55 soft-question big-list research-practice writing

3

Des algorithmes surprenants pour compter les problèmes

Certains problèmes de comptage impliquent de compter de manière exponentielle beaucoup de choses (par rapport à la taille de l'entrée), tout en ayant d'étonnants algorithmes déterministes exacts à temps polynomial. Les exemples comprennent: Comptage des correspondances parfaites dans un graphe planaire ( algorithme FKT ), qui constitue la base du …

54 cc.complexity-theory counting-complexity big-picture

2

Peut-on amplifier P = NP au-delà de P = PH?

Dans la complexité descriptive , Immerman a Corollaire 7.23. Les conditions suivantes sont équivalentes: 1. P = NP. 2. Structures sur finies et ordonnées, FO (LFP) = SO. Cela peut être considéré comme "amplifiant" P = NP en une déclaration équivalente sur (probablement) des classes de complexité plus grandes. Notez …

54 cc.complexity-theory reference-request complexity-classes conditional-results polynomial-hierarchy

9

Expliquer P = problème NP à 10 ans

C'est ma première question sur ce site. Je suis en train de suivre un cours de maîtrise sur la théorie du calcul. Comment expliqueriez-vous le problème P = NP à un enfant de 10 ans et pourquoi a-t-il une telle récompense monétaire? Votre prendre? Je mettrai à jour la question …

54 cc.complexity-theory soft-question teaching p-vs-np

13

La théorie de l'information est-elle utilisée pour prouver des déclarations combinatoires ordonnées?

Quels sont vos exemples préférés dans lesquels la théorie de l’information est utilisée pour prouver de façon simple une déclaration combinatoire nette? Certains exemples auxquels je peux penser sont liés aux limites inférieures pour les codes localement décodables, par exemple, dans cet article: supposons que pour un tas de chaînes …

54 co.combinatorics big-list it.information-theory

1

Existe-t-il un type de résultat d'amplification de l'écart pour le problème d'isomorphisme de graphe?

Supposons que et G 2 soient deux graphes non dirigés sur l'ensemble de sommets { 1 , … , n } . Les graphiques sont isomorphes si et seulement s'il y a une permutation Π de telle sorte que G 1 = Π ( G 2 ) , ou plus …

53 cc.complexity-theory graph-isomorphism pcp

5

Quels blogs CS tout le monde devrait lire?

De nombreux chercheurs et groupes de recherche en informatique de premier plan maintiennent des blogs actifs qui nous tiennent au courant des dernières recherches dans les domaines d’intérêt des auteurs. Dans la plupart des cas, les articles de blog sont plus faciles à comprendre que les documents officiels, car ils …

53 soft-question

5

Quel genre de réponse le SDC souhaite-t-il à la question «Pourquoi les réseaux de neurones fonctionnent-ils si bien?»

Mon doctorat est en mathématiques pures, et j’avoue que je ne sais pas grand chose (c’est-à-dire quoi que ce soit) en CS théorique. Cependant, j'ai commencé à explorer des options non académiques pour ma carrière et en m'initiant à l'apprentissage automatique, j'ai trouvé des affirmations telles que "Personne ne comprend …

52 machine-learning

7

Pour quels problèmes en P est-il plus facile de vérifier le résultat que de le trouver?

Pour (rechercher les versions) des problèmes NP- complets, la vérification d'une solution est clairement plus facile que de la trouver, car la vérification peut être effectuée en temps polynomial, tandis que la recherche d'un témoin prend (probablement) une durée exponentielle. En P , cependant, la solution peut aussi être trouvée …

52 cc.complexity-theory ds.algorithms reference-request

1

Une version combinatoire de la conjecture polynomiale de Hirsch

Considérons familles disjointes de sous-ensembles de {1,2,…, n}, F 1 , F 2 , … F t .tttF1, F2, … FtF1,F2,…Ft{\cal F}_1,{\cal F_2},\dots {\cal F_t} Supposer que (*) Pour chaque et chaque R ∈ F i , et T ∈ F k , il existe S ∈ F j qui …

52 co.combinatorics cg.comp-geom open-problem linear-programming

13

Pour quels algorithmes existe-t-il un grand fossé entre l'analyse théorique et la réalité?

Deux manières d’analyser l’efficacité d’un algorithme sont: mettre une limite supérieure asymptotique sur son temps d'exécution, et pour l'exécuter et collecter des données expérimentales. Je me demande s’il existe des cas connus où il existe un écart important entre (1) et (2). Par cela, je veux dire que soit (a) …

52 ds.algorithms big-list ds.data-structures

2

Quelles sont les questions en suspens dans les structures de données purement fonctionnelles?

Cette question s'inspire d' une autre question sur les nouveautés du PFDS depuis la publication du livre d'Okasaki en 1998 . Je vais commencer par deux questions que j'ai: Existe-t-il une structure de données d'ensemble purement fonctionnelle qui approche la vitesse des tables de hachage? Les essais ne sont pas …

51 big-list ds.data-structures functional-programming

21

Description de l’informatique théorique à la table?

On me demande souvent ce que fait un informaticien théorique. Ce serait bien d'avoir de bonnes réponses à cette question. J'ai tendance à retomber dans le jargon technique et les yeux des gens brillent généralement à ce stade. Que fait un informaticien théorique en termes compréhensibles par des non-informaticiens? Une …

51 big-list soft-question

3

Une preuve de sécurité rigoureuse pour l'argent quantique de Wiesner?

Dans son célèbre article "Conjugate Coding" (écrit vers 1970), Stephen Wiesner a proposé un système de contrefaçon de la monnaie quantique sans condition, en supposant que la banque émettrice ait accès à un tableau géant de nombres aléatoires et que les billets de banque puissent être apportés. retour à la …

50 quantum-computing

18

Titres de papier CS les plus mémorables

Après une question fructueuse dans MO , j’ai pensé qu’il serait intéressant de discuter de noms de papier notables dans CS. Il est clair que la plupart d’entre nous pourraient être attirés par la lecture (ou au moins jeter un coup d’œil sur un article avec un titre intéressant) (du …

50 soft-question big-list