Informatique théorique

1

Complétude fonctionnelle de la logique à 3 valeurs

Dans le cadre de travaux récents , nous avons défini un langage basé sur une logique à trois valeurs à la Kleene, où signifie vrai, 0 pour faux et ⊥ pour erreur ou ne sait pas. Afin de montrer que notre langage était expressif, nous avons voulu prouver que nous …

9 reference-request lo.logic

1

Existe-t-il un moyen de détecter les biais des moteurs de recherche?

Les moteurs de recherche sont de plus en plus utilisés comme gardiens de l'information, mais les critères utilisés par les moteurs de recherche pour classer les résultats sont opaques pour les utilisateurs. Comment les utilisateurs peuvent-ils être sûrs que leurs résultats ne sont pas biaisés ou falsifiés d'une manière ou …

9 ds.algorithms data-mining

2

Applications de la théorie des graphes spectraux en théorie de l'information et du codage

Je voulais savoir quelles sont les applications de SGT dans le domaine de la théorie de l'information et du codage et peut-être des communications. Le plus lié qui me vient à l'esprit est le travail sur les codes d'extension Michael Sipser et Daniel Spielman, "Expander Codes", IEEE Transactions on Information …

9 it.information-theory coding-theory spectral-graph-theory

2

Solutions intermédiaires aux programmes linéaires

Il y a un programme linéaire pour lequel je veux non seulement une solution mais une solution aussi centrale que possible sur la face du polytope qui assume la valeur minimale. A priori, nous nous attendons à ce que la face minimisante soit de grande dimension pour diverses raisons, notamment …

9 ds.algorithms linear-algebra linear-programming

1

À propos du passage d'un informaticien à un mathématicien

Quelle est la possibilité pour un informaticien de transformer son domaine en pur mathématicien? et quelle est la manière la plus simple de le faire? des exemples pour les gens qui pourraient le faire?

9 soft-question research-practice career

4

Largeur d'arbre et emballage

Ma question est un peu vague. Je me demandais si (et comment), nous pouvons appliquer la notion de largeur d'arbre aux problèmes d'emballage dans les graphiques. Je serais heureux de tout aperçu ou référence de travaux de recherche antérieurs à ce sujet (en supposant qu'il s'agit d'une relation). Merci.

9 ds.algorithms reference-request graph-theory graph-algorithms approximation-algorithms

3

Décidabilité des nombres transcendantaux

J'ai une question, dont la réponse est probablement bien connue, mais je n'arrive pas à trouver quoi que ce soit de significatif après un peu de recherche, donc j'apprécierais de l'aide. Ma question est de savoir si l'on sait que décider si un nombre est transcendantal est indécidable. Eventuellement, on …

9 computability computable-analysis

2

Pourquoi le non-déterminisme (automates push-down) est-il nécessaire?

Je voudrais savoir pourquoi pour la reconnaissance des langues sans contexte, seuls les automates déroulants non déterministes (DPA = NPDA) fonctionnent. Pourquoi les automates déterministes push-down (DPDA) ne reconnaissent-ils pas ces langages?

9 fl.formal-languages automata-theory context-free

1

Comment Knuth a-t-il dérivé A?

Lorsque nous interprétons les clés comme des nombres naturels, nous pouvons utiliser la formule suivante. h(k)=⌊m(kAmod1)⌋h(k)=⌊m(kAmod1)⌋\begin{equation} h(k) = \lfloor m (kA\bmod{1}) \rfloor \end{equation} Ce que j'ai du mal à comprendre, c'est comment nous choisissons la valeur de A où: 0<A<10<A<1\begin{equation} 0 < A < 1 \end{equation} Selon Knuth, une valeur …

9 hash-function

1

Calcul du volume des polyèdres convexes de grande dimension

Je recherche un logiciel de calcul / estimation de volume de polyèdres convexes de grande dimension. Plus spécifiquement, je m'intéresse à un programme, qui peut gérer des corps avec sommets dans un espace dimensionnel avec des paramètres à peu près comme suit: et . Notez qu'il n'y a aucune garantie …

9 cg.comp-geom software convex-geometry high-dimensional-geometry

2

Un algorithme de recherche de sous-ensemble

Supposons que j'ai une liste de sous-ensembles de . Je peux faire un prétraitement sur cette liste si nécessaire. Après ce prétraitement, on me présente un autre ensemble . Je veux identifier tous les jeux avec .XX\cal X{1,...,n}{1,...,n}\{1, ..., n\}A⊆{1,...,n}A⊆{1,...,n}A \subseteq \{1, ..., n \}B∈XB∈XB \in \mathcal XB⊆AB⊆AB \subseteq A …

9 ds.algorithms ds.data-structures

2

Objectif et déterminer quand utiliser des calques masqués

Suite à cette question ... J'essaie d'apprendre à utiliser et à créer des réseaux de neurones pour mes recherches, et un point m'échappe quelque peu. Je me rends compte que les couches cachées sont une partie quelque peu nécessaire de cela, mais je suis coincé sur deux points que mes …

9 ne.neural-evol

2

Les bons PCP pour NP nous donnent-ils de bons PCP pour toute la hiérarchie polynomiale?

Le théorème du PCP déclare que chaque problème de décision dans NP a des preuves probabilistes vérifiables (ou de manière équivalente, qu'il existe un système de preuve complet et quasi-sain pour les théorèmes dans NP utilisant une complexité de requête constante et logarithmiquement de nombreux bits aléatoires). La «sagesse populaire» …

9 lo.logic pcp polynomial-hierarchy

1

Les triangulations de Delaunay sur la sphère maximisent-elles l'angle minimum?

Les triangulations de Delaunay dans le plan maximisent l'angle minimum dans un triangle. Est-ce la même chose pour la triangulation de Delaunay des points sur la sphère? (ici "l'angle" est l'angle local dans un voisinage autour du sommet au sommet). Inspiré par mais sans rapport avec cette question sur Math.SE.

9 cg.comp-geom delaunay-triangulation

1

«Bonne» condition d'uniformité pour la classe de Nick

DLOGTIME est défini sur http://en.wikipedia.org/wiki/DLOGTIME est défini sur http://en.wikipedia.org/wiki/L_%28complexity%29 NC et NC n sont définis sur http: // en .wikipedia.org / wiki / NC_% 28complexity% 29LL\operatorname{L} NCNC\operatorname{NC}NCnNCn\operatorname{NC}^n DLOGTIME semble être le plus petit qui pourrait fonctionner. J'ai lu à divers endroits queL ⊆ NC2L⊆NC2\, \operatorname{L} \subseteq \operatorname{NC}^2 \,, \,bien que …

9 cc.complexity-theory circuit-complexity