Informatique théorique big-picture

29

Pour démontrer l’importance des algorithmes (par exemple pour les étudiants et les professeurs qui ne pratiquent pas la théorie ou qui viennent même de domaines totalement différents), il est parfois utile de disposer d’une liste d’exemples où des algorithmes centraux ont été déployés dans les secteurs commercial, gouvernemental, etc. ou …

307 ds.algorithms big-picture application-of-theory

11

Quelle est l'illumination que je suis supposé atteindre après avoir étudié les automates finis?

Je me suis amusé à réviser la théorie du calcul pour le plaisir et cette question me harcelait depuis un moment (drôle, je n'y ai jamais pensé lorsque j'ai appris la théorie des automates à mes études de premier cycle). Alors "pourquoi" étudions-nous exactement les automates finis déterministes et non …

247 fl.formal-languages automata-theory big-picture teaching dfa

7

Quelle est la contribution du lambda calcul au domaine de la théorie du calcul?

Je suis en train de lire sur le calcul lambda pour "apprendre à le connaître". Je le vois comme une forme alternative de calcul par opposition à la machine de Turing. C'est une manière intéressante de faire les choses avec des fonctions / réductions (en gros). Certaines questions continuent à …

85 soft-question big-picture lambda-calculus ho.history-overview

5

Techniques d'inversion de l'ordre des quantificateurs

Il est bien connu qu'en général, l'ordre des quantificateurs universels et existentiels ne peut être inversé. En d' autres termes, pour une logique formule générale ϕ(⋅,⋅)ϕ(⋅,⋅)\phi(\cdot,\cdot) , (∀x)(∃y)ϕ(x,y)⇎(∃y)(∀x)ϕ(x,y)(∀x)(∃y)ϕ(x,y)⇎(∃y)(∀x)ϕ(x,y)(\forall x)(\exists y) \phi(x,y) \quad \not\Leftrightarrow \quad (\exists y)(\forall x) \phi(x,y) D'autre part, nous savons que le côté droit est plus restrictif que …

73 lo.logic big-picture proof-techniques

13

Usages des structures algébriques en informatique théorique

Je suis un praticien en logiciel et j'écris une étude sur les structures algébriques à des fins de recherche personnelle et j'essaie de produire des exemples d'utilisation de ces structures en informatique théorique (et, dans une moindre mesure, dans d'autres sous-domaines de l'informatique). . Sous la théorie des groupes, j'ai …

67 reference-request big-list big-picture algebra

7

Quels théorèmes intéressants dans TCS s'appuient sur l'axiome du choix? (Ou bien, l'axiome de la détermination?)

Les mathématiciens s’inquiètent parfois de l’axiome du choix (AC) et de l’axiome de la détermination (AD). Axiom of Choice : Compte tenu de toute collection des ensembles non vides, il y a une fonction qui, étant donné un ensemble dans , retourne un membre de . f S C SCC{\cal …

67 cc.complexity-theory lo.logic pl.programming-languages big-picture set-theory

7

Les problèmes complets

À l' heure actuelle, la résolution soit une problème -complete ou un P S P A C E problème -complete est impossible dans le cas général pour les grandes entrées. Cependant, les deux peuvent être résolus en temps exponentiel et en espace polynomial.NPNPNPPSPUn cEPSPACEPSPACE Puisque nous ne pouvons pas construire …

66 cc.complexity-theory np-hardness big-picture

5

L'origine de la notion de largeur d'arbre

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 …

61 graph-theory co.combinatorics big-picture ho.history-overview treewidth

5

Principales raisons pour lesquelles les problèmes sont dans P ou BPP

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 toujours, cette raison appartient à …

56 big-list big-picture

4

Pourquoi 2SAT est-il en P?

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 P)?

55 cc.complexity-theory np-hardness big-picture polynomial-time

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

4

Pourquoi considérons-nous log-space comme un modèle de calcul efficace (au lieu de polylog-space)?

Cela pourrait être une question subjective plutôt que celle avec une réponse concrète, mais quand même. Dans la théorie de la complexité, nous étudions la notion de calcul efficace. Il y a des classes comme signifie polynomiale et L représente un espace de journal . Les deux sont considérés comme …

49 cc.complexity-theory space-bounded big-picture

5

Existe-t-il des lois de conservation dans la théorie de la complexité?

Permettez-moi de commencer par quelques exemples. Pourquoi est-il si simple de montrer que CVP est dans P mais si difficile de montrer que LP est dans P; alors que les deux sont des problèmes P-complets. Ou prenez la primalité. Il est plus facile de montrer des composites en NP que …

46 cc.complexity-theory big-picture

7

Qu'est-ce qui constitue la sémantique dénotationnelle?

Sur un fil différent , Andrej Bauer a défini la sémantique dénotationnelle comme suit: la signification d'un programme est fonction de la signification de ses parties. Ce qui me dérange dans cette définition, c'est qu'elle ne semble pas distinguer ce qu'on appelle communément la sémantique dénotationnelle de ce qu'on appelle …

45 pl.programming-languages big-picture semantics denotational-semantics

5

La hiérarchie de Chomsky est-elle obsolète?

La hiérarchie de Chomsky (–Schützenberger) est utilisée dans les manuels d'informatique théorique, mais elle ne couvre évidemment qu'une très petite fraction des langages formels (REG, CFL, CSL, RE) par rapport au diagramme de complexité complet . La hiérarchie joue-t-elle un rôle dans la recherche actuelle? Je n'ai trouvé que peu …

45 cc.complexity-theory automata-theory fl.formal-languages big-picture teaching

Questions marquées «big-picture»