Informatique théorique

Q & A pour les informaticiens théoriques et les chercheurs dans des domaines connexes

3
Écart d'intégrité et rapport d'approximation
Lorsque nous considérons un algorithme d'approximation pour un problème de minimisation, l'écart d'intégralité d'une formulation IP pour ce problème donne une limite inférieure d'un rapport d'approximation pour certaines classes d'algorithmes (comme l'arrondi ou l'algorithme primal-dual). En fait, il existe de nombreux problèmes dont le meilleur rapport d'approximation correspond à l'écart …
2
Sous-typage implicite vs explicite
Cette page affirme que de nombreux langages n'utilisent pas de sous-typage implicite (équivalence structurelle), préférant le sous-typage explicite / déclaré (équivalence de déclaration) J'ai surtout utilisé des langages de programmation qui utilisent un sous-typage explicite . Quels sont les avantages du sous-typage implicite, comme décrit dans les notes ci-dessus.
3
Généralisations de la méthode de Brzozowski de dérivation des expressions régulières aux grammaires?
La méthode de dérivation de Brzozowski est une très jolie technique pour construire des automates déterministes à partir d'expressions régulières d'une manière bien algébrique. J'ai élaboré de jolies généralisations de cette technique pour gérer des classes de grammaires plus importantes, mais les algorithmes sont assez simples pour qu'il semble tout …
1
Techniques pour montrer la non-dérivabilité dans les logiques et autres systèmes de preuve formels
Dans les systèmes de preuve pour la logique propositionnelle classique, si l'on veut montrer qu'une certaine formule n'est pas dérivable, on montre simplement que peut être dérivé (bien que d'autres techniques soient certainement possibles). La non-dérivabilité découle essentiellement de la solidité et de l'exhaustivité du système d'épreuve.¬ ψψψ\psi¬ ψ¬ψ\neg\psi Malheureusement …
18 lo.logic 
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.