Informatique théorique

1

Entscheidungsproblem vs. Unvollständigkeitssatz (question douce)

Le premier terme est utilisé par Hilbert dans son travail de 1928, mais dans le travail ultérieur de Gödel, la même chose est appelée Unvollständigkeitssatz ("théorème d'incomplétude"). Pour les chercheurs allemands actuels en CS, il semble que Unvollständigkeitssatz soit plus couramment utilisé, et Entscheidungsproblem ("problème de décision") est toujours compris, …

11 lo.logic computability ho.history-overview

1

Pourquoi des graphes réflexifs pour la paramétricité?

En regardant les modèles de polymorphisme paramétrique, je suis curieux de savoir pourquoi les catégories de graphe réflexif sont utilisées? En particulier, pourquoi n'incluent-ils pas la composition relationnelle? En regardant les modèles, ils semblent tous soutenir une notion naturelle de composition relationnelle: x ( R ; S) z⟺∃ y. x …

11 ct.category-theory parametricity logical-relations

1

À quoi ressemble une porte quantique tangible?

J'ai lu des livres, des articles et des articles publiés sur l'informatique quantique. J'ai trouvé que tous les matériaux que j'ai vus sont, au lieu de décrire la porte quantique de la physique de base à l'abstraction, s'efforçant d' éviter de parler des détails de mise en œuvre des portes …

11 physics quantum-computing

1

vs

Est ? Ou, plus généralement, N P P P ⊆ P P P / p o l y ?NPPP=PPPNPPP=PPP\mathsf{NP^{PP}} = \mathsf{P^{PP}}NPPP⊆PPP/polyNPPP⊆PPP/poly\mathsf{NP^{PP}} \subseteq \mathsf{P^{PP}/poly}

11 complexity-classes

1

Quel est le nom d'une fonction telle que ?

Soit un langage et une fonction sur deux paramètres avec la propriété que pour tout et , renvoie un élément de si et seulement si et sont des éléments de :f : Σ ⋆ × Σ ⋆ → Σ ⋆ x y f L x y LLLLF: Σ⋆× Σ⋆→ Σ⋆f:Σ⋆×Σ⋆→Σ⋆f\colon …

11 reference-request fl.formal-languages

1

Décider si la modification d'une entrée diminue le permanent d'une matrice dans la hiérarchie polynomiale?

Considérons le problème suivant: étant donné une matrice , les indices i, j \ in \ {1, \ dots, n \ } et un entier a . Remplacer M [i, j] par une et appeler nouvelle matrice \ M chapeau . Est-ce que par (M)> par (\ chapeau M) ? …

11 permanent

1

Généralisation du théorème de Dilworth pour les DAG étiquetés

Un antichaîne dans un DAG est un sous - ensemble de sommets qui sont inaccessibles par paires, à savoir, il n'y a pas tel que est accessible à partir de dans . D'après le théorème de Dilworth dans la théorie de l'ordre partiel, on sait que si DAG n'a pas …

11 reference-request graph-theory directed-acyclic-graph partial-order

1

Plus petite boîte alignée sur l'axe contenant

Entrée: Un ensemble de points dans R 3 et un entier k ≤ n .nnnR3R3\mathbb{R}^3k≤nk≤nk \le n Sortie: le plus petit cadre de délimitation aligné sur l'axe du volume qui contient au moins de ces n points.kkknnn Je me demande si des algorithmes sont connus pour ce problème. Le mieux …

11 cg.comp-geom

1

Énumération des types topologiques d'un DAG étiqueté par un sommet

Soit soit un graphe acyclique orienté , et soit λ est une fonction de marquage en correspondance chaque sommet v ∈ V à une étiquette λ ( v ) dans un alphabet fini L . Écriture n : = | V | , une sorte topologique de G est une …

11 cc.complexity-theory sorting directed-acyclic-graph partial-order

1

Comment les journaux servent-ils la communauté TCS?

Dans le passé, les revues étaient le principal moyen de diffusion et d'approbation des découvertes scientifiques / mathématiques. Dans certaines régions, ils le sont toujours. Cependant, en informatique (théorique), ce rôle est presque entièrement assuré par des conférences et une diffusion ouverte sur le Web (par exemple arxiv ou des …

11 soft-question journals

1

Types dépendants par rapport au type codé par Church dans PTS / CoC

J'expérimente des systèmes de type pur dans le cube lambda de Barendregt, en particulier avec le plus puissant, le Calcul des constructions. Ce système a des sortes *et BOX. Pour mémoire, j'utilise ci-dessous la syntaxe concrète de l' Morteoutil https://github.com/Gabriel439/Haskell-Morte-Library qui est proche du calcul lambda classique. Je vois que …

11 type-theory type-systems dependent-type

1

Générer un caractère aléatoire «infini» à partir d'un nombre constant de sources

J'ai récemment rencontré un article de Coudron et Yuen sur l'expansion aléatoire à l'aide d'appareils quantiques. Le résultat principal du travail est qu'il est possible de générer un caractère aléatoire "infini" à partir d'un nombre constant de sources (c'est-à-dire que le nombre de bits aléatoires générés ne dépend que du …

11 cc.complexity-theory quantum-information

1

Digraphe équivalent minimum par rapport aux sources et aux puits

Etant donné un DAG (graphe orienté acyclique) , avec des sources et les puits . Trouver un DAG , avec des sources et des puits , avec un nombre minimum d'arêtes tel que:S T D ′ S TréDDSSSTTTré′D′D'SSSTTT Pour toutes les paires il y a un chemin de vers dans …

11 graph-theory graph-algorithms

2

Déterminer ce qui peut être réalisé par une permutation d'éléments d'un groupe non commutatif

Correction d' un groupe fini . Je m'intéresse au problème de décision suivant: l'entrée est quelques éléments de G avec un ordre partiel sur eux, et la question est de savoir s'il y a une permutation des éléments qui satisfait l'ordre et est telle que la composition des éléments dans …

11 np-hardness sorting gr.group-theory partial-order order-theory

3

Complexité du calcul de la parité de la formule CNF à lecture double opposée (

Dans une formule CNF opposée en lecture deux, chaque variable apparaît deux fois, une fois positive et une fois négative. Je m'intéresse au problème , qui consiste à calculer la parité du nombre d'assignations satisfaisantes d'une formule CNF opposée lue deux fois.⊕Rtw-Opp-CNF⊕Rtw-Opp-CNF\oplus\text{Rtw-Opp-CNF} Je n'ai pas pu trouver de référence sur …

11 cc.complexity-theory ds.algorithms counting-complexity