Informatique théorique reference-request

2

A propos des graphiques planaires généralisés et des graphiques planaires externes généralisés

Tout graphique planaire , respectivement, externe satisfait | E ′ | ≤ 3 | V ′ | - 6 , respectivement, | E ′ | ≤ 2 | V ′ | - 3 , pour chaque sous-graphe G ′ = ( V ′ , E ′ ) de GG=(V,E)G=(V,E)G=(V,E)|E′|≤3|V′|−6|E′|≤3|V′|−6|E'|\le 3|V'|-6|E′|≤2|V′|−3|E′|≤2|V′|−3|E'|\le …

16 reference-request graph-theory graph-algorithms

1

Existe-t-il des variantes d'automates visiblement pushdown qui permettent de pousser des mots sur la pile?

Je me demande s'il y a des articles ou des recherches traitant des automates visiblement pushdown, mais permettant aux mots, plutôt qu'aux lettres simples, d'être poussés sur la pile. Alternativement, une construction qui a permis de symboles d'être poussé sur ϵϵ\epsilon -Transitions pourrait atteindre le même objectif. De toute évidence, …

16 reference-request fl.formal-languages automata-theory context-free context-free-languages

1

Paramétricité et éliminations projectives pour les enregistrements dépendants

Il est bien connu que dans le système F, vous pouvez coder des produits binaires avec le type Vous pouvez alors définir des fonctions de projection de pi_1 de: A \ fois B \ to A et \ pi_2: Temps A \ B \ B .π 1 : A × …

16 reference-request pl.programming-languages dependent-type parametricity

1

?

En lisant le blog de Dick Lipton, je suis tombé sur le fait suivant vers la fin de son billet Bourne Factor : Si, pour tout , il existe une relation de la forme où , et chacun des , et ont une longueur de bits , puis l'affacturage a …

16 ds.algorithms reference-request factoring comp-number-theory

4

Algorithme paramétré pour trouver des bicliques

Étant donné un graphe non dirigé à nnn sommets, quelle est la limite d'exécution la plus connue pour trouver un sous-graphe qui est un k×kk×kk\times k -biclique? Existe-t-il des algorithmes paramétrés plus rapides que l'algorithme de temps consiste à "deviner" un côté de la biclique et à voir s'il y …

16 ds.algorithms reference-request graph-algorithms parameterized-complexity

1

À la recherche du papier LCF original de Scott

Le manuscrit suivant est-il accessible au public? Dana Scott, 1969, Une théorie des fonctions calculables de type supérieur . Notes de séminaire non publiées, 7 pages, Université d'Oxford. Il y a une discussion de cet article dans la section 8.1.2, Types as sets , dans Cardone & Hindley, 2006 History …

16 reference-request lo.logic type-theory domain-theory

1

Quel est le nom de ce type de problème de graphe orienté?

Prenez un graphe orienté où les bords sont décorés d'un nombre naturel. On veut l'ensemble de tous les chemins entre deux sommets et telle sorte que chaque bord successif du chemin soit décoré d'un nombre naturel supérieur au nombre naturel décorant le bord précédent.ggGPPPv1v1v_1v2v2v_2 Une application pour cela serait les …

16 ds.algorithms reference-request graph-algorithms terminology

1

Tautologies / contradictions dans le cas moyen, au-delà du modèle aléatoire k-CNF

Il est bien connu que les formules aléatoires -CNF sur n variables avec c n clauses sont insatisfaisantes (c'est-à-dire qu'elles sont des contradictions) avec une probabilité élevée, pour une constante c suffisamment grande . Ainsi, les formules k -CNF aléatoires (pour c assez grand) constituent une distribution naturelle sur des …

16 cc.complexity-theory reference-request lo.logic sat random-k-sat

2

Trouver le plus grand ensemble de points de diamètre limité

Étant donné les points dans R d et une distance l, trouver le plus grand sous-ensemble de ces points de sorte que la distance euclidienne de deux d'entre eux ne dépasse pas l .p1,…,pnp1,…,pnp_1,\ldots,p_nRdRd\mathbb{R}^{d}llllll Quelle est la complexité de ce problème? Dans le graphique sur les points qui ont une …

16 ds.algorithms reference-request cg.comp-geom

2

L'engagement de bits entraîne-t-il un transfert inconscient dans le modèle de sécurité théorique de l'information?

Supposons que vous ayez deux participants arbitrairement puissants qui ne se font pas confiance. Ils ont accès à l'engagement de bits (par exemple, des enveloppes scellées contenant des données qu'un joueur peut remettre à l'autre mais qui ne peuvent pas être ouvertes jusqu'à ce que le premier joueur donne au …

16 reference-request cr.crypto-security

1

Référence pour les graphiques libres (trous impairs, anti-trous)?

Les graphiques sans X sont ceux qui ne contiennent aucun graphique de X comme sous-graphique induit. Un trou est un cycle avec au moins 4 sommets. Un trou impair est un trou avec un nombre impair de sommets. Un antihole est le complément d'un trou. Les graphiques libres (trous impairs, …

16 reference-request graph-theory co.combinatorics graph-classes

2

Une liste de lecture sur l'algorithmique expérimentale

Comme dans, le domaine des articles dans le ACM Journal on Experimental Algorithmic JEA . Quels ont été les travaux fondateurs? Quels sont les principaux résultats? Comment sont-ils caractérisés? Des liens intéressants avec d'autres domaines de l'informatique?

16 ds.algorithms reference-request experimental

1

Lecture sur

Que dois-je lire pour comprendre ce problème? La puissance des circuits quantiques de faible profondeur. Est-ce que ? En d'autres termes, la partie "quantique" de tout algorithme quantique peut-elle être compressée à la profondeur du polylogue (n), à condition que nous soyons prêts à effectuer un post-traitement classique en temps …

16 cc.complexity-theory reference-request quantum-computing

9

Existe-t-il un livre sur les implications philosophiques de l'informatique théorique?

Je trouve des livres sur les ordinateurs, mais tous portent sur la technologie. Je veux quelque chose de plus lié à la théorie.

15 reference-request soft-question philosophy

2

Où en savoir plus sur ce qu'est l'informatique théorique?

Je suis un étudiant diplômé en mathématiques, et l'informatique théorique est un domaine dont je n'ai jamais compris de quoi il s'agit parce que je n'ai pas pu trouver une bonne lecture sur le sujet. Je veux savoir de quoi il s'agit réellement dans ce domaine, de quel type de …

15 reference-request soft-question books

Questions marquées «reference-request»