Informatique théorique reference-request

2

Demande de référence: dureté asymptotique de la coloration - graphiques colorables

J'ai entendu parler d'un résultat de coloration approximative du graphique, mais je ne trouve pas la source. Le résultat est: Pour chaque constante il existe un suffisamment grand pour que la coloration d'un graphique colorable avec des couleurs soit NP-difficile.hhhkkkkkkh khkhk Quelqu'un pourrait-il me signaler le document pertinent?

10 reference-request approximation-hardness graph-colouring

1

Littérature sur l'analyse des alias

J'écris ma thèse de master en CS et je travaille avec l'analyse d'alias. Ce qui m'intéresse, c'est l'analyse intraprocédurale, sensible aux flux et must-alias pour les langages de type Java. Je recherche des textes qui décrivent les bases de ce sujet de manière détaillée mais je n'ai pas pu trouver …

10 reference-request pl.programming-languages compilers program-analysis

1

Équilibrage de la formule booléenne en

Je recherche des références sur la complexité du problème d' équilibrage des formules booléennes . En particulier, Savait-on que les formules booléennes pouvaient être équilibrées en ?AC0AC0\mathsf{AC^0} Existe-t-il une preuve simple de l'équilibrage de la formule booléenne en ?AC0AC0\mathsf{AC^0} Par "simple", j'entends une preuve plus simple que celle que je …

10 cc.complexity-theory ds.algorithms reference-request lo.logic boolean-formulas

2

Ressources introductives sur la théorie de l'apprentissage computationnel

Récemment, j'ai lu un nombre décent d'articles CoLT. Bien que je ne lutte pas avec les articles individuels (du moins pas plus que d'habitude avec les autres articles théoriques), je ne pense pas avoir une bonne compréhension du domaine dans son ensemble. Existe-t-il un texte standard, des sondages ou des …

10 reference-request machine-learning lg.learning survey books

1

Génération de graphiques de circonférence

Soit . J'ai besoin de générer de simples graphiques G de circonférence g de telle sorte que l'ensemble de tous les g- cycles forme une couverture de double bord de G (c'est-à-dire que chaque bord est partagé par exactement deux g- cycles), et de telle sorte que l'intersection de deux …

10 ds.algorithms reference-request graph-theory co.combinatorics pseudorandom-generators

1

Algorithmes sur des graphiques représentés à l'aide de BDD

Les représentations les plus simples pour les graphiques utilisent des matrices / listes d'adjacence, ce qui signifie que chaque nœud et bord est explicitement représenté. L'importance des représentations implicites pour les graphiques présentant de fortes régularités est reconnue depuis longtemps. Par exemple, Galperin & Wigderson (1983), Papadimitriou & Yannakakis ( …

10 ds.algorithms reference-request graph-theory survey binary-decision-diagrams

1

Règle d'élimination fondée sur l'unification pour l'égalité

Il y a quelques années, j'ai rencontré la règle de gauche suivante pour l'égalité dans le calcul séquentiel: s≐t⇝θθ(Γ)⊢θ(C)Γ,s≐t⊢Cs≐t⇝θθ(Γ)⊢θ(C)Γ,s≐t⊢C \frac{s \doteq t \leadsto \theta \qquad \theta(\Gamma) \vdash \theta(C)} {\Gamma, s \doteq t \vdash C} Ici, s≐t⇝θs≐t⇝θs \doteq t \leadsto \theta calcule l'unificateur le plus général θθ\theta pour sss et ttt …

10 reference-request lo.logic pl.programming-languages proof-theory sequent-calculus

1

Quelle est la preuve que les ordinateurs quantiques peuvent simuler efficacement des systèmes mécaniques quantiques arbitraires?

JBV a suggéré de transformer certains commentaires en question, alors voici. Une autre question [1] pose sur les applications de l'informatique QM. Une réponse [2] était "simuler efficacement la mécanique quantique". Apparemment, cette idée remonte aux premiers écrits de Feynman sur le sujet; même si je n'ai pas de référence. …

10 reference-request quantum-computing application-of-theory

1

Déterminer le nombre minimum de pesées de pièces

Dans l'étude sur deux problèmes de théorie de l'information , Erdõs et Rényi donnent des limites inférieures sur le nombre minimum de pesées à faire pour déterminer le nombre de fausses pièces dans un ensemble de pièces.nnn Plus formellement: Les fausses pièces ont un poids plus petit que les bonnes …

10 ds.algorithms reference-request co.combinatorics it.information-theory randomized-algorithms

1

Mesure optimale pour les MUB

Soit un ensemble de bases mutuellement non biaisées (MUB) dans C n , c'est-à-dire que chaque B i est une base orthonormée et pour v ∈ B i , w ∈ B j , i ≠ j we avoir | ⟨ V | w ⟩ | = 1B= { B1, …

10 reference-request quantum-information

2

Limites de compromis pour le comptage de demi-espace

Quelle est la meilleure limite actuelle pour effectuer des requêtes de comptage de demi-espace sur un ensemble de points dimensionnels, exprimée sous la forme d'un compromis temps / espace. Selon l'article fondamental de Matousek de 1993 (Théorème 6.2, Recherche de plage avec des coupes hiérarchiques efficaces), nous pouvons effectuer un …

10 reference-request ds.data-structures cg.comp-geom

1

Diagramme de Voronoi dans un graphique

Soit un graphique avec des arêtes pondérées (positivement). Je veux définir le diagramme de Voronoi pour un ensemble de nœuds / sites S , associer à un nœud v ∈ S le sous-graphe R ( v ) de G induit par tous les nœuds strictement plus proche de v que …

10 reference-request graph-theory cg.comp-geom

3

Ressource / livre pour les récents progrès de la théorie de l'apprentissage statistique

Je suis assez familier avec la théorie derrière VC-Dimension, mais je regarde maintenant les progrès récents (10 dernières années) dans la théorie de l'apprentissage statistique: moyennes Rademacher (locales), Lemme de classe finie de Massart, Covering Numbers, Chaining, Dudley's Théorème, pseudodimension, dimension d'éclatement des graisses, numéros d'emballage, composition de Rademacher et …

10 reference-request machine-learning lg.learning books vc-dimension

3

Inférence de type pour les déclarations impératives autres que l'affectation

Dans ma recherche d'articles de recherche sur les systèmes de types pour les langages impératifs, je ne trouve que des solutions pour un langage avec des références mutables mais sans véritables structures de contrôle impératif telles que des opérateurs composés, des boucles ou des conditionnelles. Il n'est donc pas clair …

10 reference-request pl.programming-languages type-theory type-inference imperative-programming

2

Existe-t-il un algorithme quantique ala Deutsch qui calcule AND au lieu de XOR?

L'algorithme de Deutsch est un calcul quantique bien connu f(0)+f(1)mod2f(0)+f(1)mod2f(0) + f(1)\mod{2} avec une seule évaluation de fff . Si nous remplaçons +++ par ⋅⋅\cdot le problème semble devenir assez différent. Ma question est: existe-t-il un algorithme quantique calculant la valeur de f(0)⋅f(1)f(0)⋅f(1)f(0)\cdot f(1) (ou ET si vous préférez) en …

10 reference-request quantum-computing

Questions marquées «reference-request»