Informatique théorique

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

2

Types de propriété et logique de séparation

Les types de propriété et la logique de séparation semblent avoir des objectifs, un contrôle sur la propriété et un alias similaires. Je devrais peut-être aussi ajouter: la possibilité d'écrire des spécifications modulaires. Que sait-on de la relation entre les types de propriété et la logique de séparation?

10 pl.programming-languages type-systems object-oriented program-logic

1

Quels sont les résultats sur les algorithmes qui estiment les polynômes sur un ensemble donné de points?

Il semble y avoir de nombreux algorithmes randomisés pour les tests d'identité polynomiale, vérifiant si un polynôme donné est nul ou non. Y a-t-il des résultats d'algorithmes qui font une sorte d'estimation des polynômes sur un ensemble spécifique de points? Cela pourrait être, par exemple, une approximation pour quelle fraction …

10 ds.algorithms approximation-algorithms randomized-algorithms derandomization polynomials

4

Résultats Oracle sur P vs BPP

Soit tout problème complet d'EXP. Ensuite, P A = N P A .AAAPA=NPAPA=NPAP^A = NP^A Que soit un oracle qui prend en compte les requêtes que M (un TM en P) fera, et nous pouvons obtenir P B ≠ N P B .BBBMMMPB≠NPBPB≠NPBP^B \neq NP^B Question: Avons-nous des résultats oracle …

10 cc.complexity-theory oracles relativization

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

Quelle est la motivation derrière la définition de la tractabilité à paramètres fixes?

Wikipédia écrit: FPT contient les problèmes traitables à paramètres fixes, qui sont ceux qui peuvent être résolus dans le temps pour une fonction calculable f . En règle générale, cette fonction est considérée comme une seule exponentielle, comme 2 O ( k ), mais la définition admet des fonctions qui …

10 cc.complexity-theory fixed-parameter-tractable

1

Erreur booléenne corrigeant le code sur

Existe-t-il une construction connue d'un code de correction d'erreur linéaire E C C : Fnq→ FmqECC:Fqn→Fqm\mathsf{ECC}:\mathbb{F}_q^n \to \mathbb{F}_q^m (avec des paramètres raisonnables), de sorte que lorsqu'il est donné un vecteur booléen v ∈ { 0 , 1 }nv∈{0,1}nv\in \{0,1\}^n , il renvoie également un vecteur booléen whp? (bien que ce …

10 co.combinatorics linear-algebra coding-theory

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

3

Quel type d'automate est le Turing Doodle de Google?

Pour célébrer l'anniversaire d'Alan Turing, Google a publié un doodle montrant une machine. Quel type de machine est le doodle? Peut-il exprimer une langue Turing Complete? Il existe des différences évidentes avec la machine de turing classique: une bande finie, des contraintes dans la façon dont l'état peut être connecté, …

10 cc.complexity-theory turing-machines

2

Décider de l'homomorphisme du graphe

Décider de l'homomorphisme du graphe est en général NP-complet. Y a-t-il des résultats qui étudient ce problème lorsque les graphiques sous-jacents ont une structure algébrique (tels que la décision d'homomorphismes à partir de graphiques de Cayley ou de cosets Cayley vers d'autres graphiques avec une structure définie également)? En plus …

10 cc.complexity-theory graph-theory co.combinatorics

2

La relation entre Babbage et von Neumann

Il est bien connu que la machine analytique de Charles Babbage avait une architecture ressemblant fortement à l'architecture moderne de Von Neumann. Il est également à noter que les tableaux de représentation d'un programme pour la machine analytique de Babbage ( http://www.fourmilab.ch/babbage/figures/menat3.png ) et les travaux de von Neumann (tels …

10 ho.history-overview

1

Est-ce que implique ?

Est-ce que implique ?EXP=NEXPEXP=NEXP\mathsf{EXP}=\mathsf{NEXP}E=NEE=NE\mathsf{E}=\mathsf{NE}

10 cc.complexity-theory conditional-results nexp structural-complexity

1

Qu'est-ce qu'un algorithme pour trouver une couverture minimale de sommets sur un graphe bipartite avec des sommets pondérés?

Je sais que pour un graphique bipartite non pondéré, je peux trouver la couverture de sommet minimale en trouvant d'abord la correspondance maximale et en la transformant en couverture de sommet en utilisant le théorème de König. Y a-t-il une modification que l'on pourrait utiliser si les nœuds sont pondérés?

10 ds.algorithms graph-theory

1

Problème de décision de décomposition à Hamilton

Soit un graphe non orienté. Une décomposition de en sous-ensembles disjoints est appelée une décomposition de Hamilton de si le sous-graphe induit par chaque ensemble est soit un graphe de Hamilton, soit un seul bord avec .V V iG = ( V, E)g=(V,E)G=(V,E)VVVVjeVjeV_iV i | V i | = 2ggGVjeVjeV_i| …

10 cc.complexity-theory ds.algorithms graph-theory np-hardness hamiltonian-paths