Informatique théorique reference-request

3

Existe-t-il des implémentations connues pour les constructions informatiques quantiques?

Le calcul quantique est un domaine de recherche actif qui vise à tirer parti de la physique quantique (par exemple l'intrication quantique) pour faire progresser les capacités d'efficacité des ordinateurs (ne modifie pas la thèse de Church-Turing ). Quelles sont les expériences les plus importantes qui ont été menées pour …

17 reference-request quantum-computing

2

Problème de coupe sans H

Supposons que l'on vous donne un graphe H. connecté, simple et non orienté Le problème de coupe sans H est défini comme suit: Étant donné un graphe simple et non orienté G, existe-t-il une coupure (partition des sommets en deux ensembles non vides, L, R) de sorte que les graphes …

17 cc.complexity-theory reference-request graph-theory np-hardness

1

Existe-t-il une relation entre l'algèbre / calcul relationnel et la théorie des catégories?

Je connais au moins deux approches théoriques différentes pour comprendre les bases de données relationnelles: l'algèbre / calcul relationnel de Codd et la théorie des catégories. Existe-t-il une relation entre ces deux approches? Sont-ils en quelque sorte équivalents? Existe-t-il des travaux d'introduction expliquant comment ces deux cadres expliquent les bases …

17 reference-request ct.category-theory db.databases relational-structures

2

Statu quo de la théorie des catégories et des monades dans la recherche théorique en informatique?

Contexte . Je suis un étudiant de baccalauréat qui s'intéresse à la recherche liée à la théorie des catégories, aux monades et à Haskell, et je veux trouver un sujet pour ma thèse de baccalauréat dans ce domaine. J'ai regardé le papier Eugenio Moggi , « Notions de calculs et …

17 reference-request pl.programming-languages big-picture ct.category-theory monad

2

Est-ce que l'intersection de matroïdes graphiques dans P?

Il est connu que l'intersection de trois matroïdes généraux est NP-difficile ( source ), ce qui se fait par réduction du cycle hamiltonien. La réduction utilise un matroïde graphique et deux matroïdes de connectivité. Un cas particulier d'un problème sur lequel je travaille peut être résolu par l'intersection de plusieurs …

16 reference-request np-hardness reductions

2

Entiers «presque triés» en temps linéaire

Je souhaite trier un tableau de valeurs entières positives L=v1,…,vnL=v1,…,vnL = v_1, \ldots, v_n en temps linéaire (dans le modèle RAM avec mesure de coût uniforme, c'est-à-dire que les entiers peuvent avoir jusqu'à la taille logarithmique mais les opérations arithmétiques sur eux sont supposées prendre le temps unitaire). Bien sûr, …

16 reference-request time-complexity sorting

2

Publications récentes du TCS avec des aspects philosophiques

De nombreuses publications informatiques des années 1950 et 1960 contiennent des spéculations philosophiques fascinantes sur la nature de l'esprit et la signification de l'information par rapport au monde physique. Des exemples célèbres sont le "Test de Turing", le "Calcul de l'espace" de Zuse, le "It from bit" de Wheeler, etc. …

16 reference-request soft-question philosophy

1

Référence pour l'algorithme de test d'acyclicité de graphe mixte?

Un graphique mixte est un graphique qui peut avoir à la fois des bords orientés et non orientés. Son graphe non orienté sous-jacent est obtenu en oubliant les orientations des arêtes dirigées, et dans l'autre sens, une orientation d'un graphe mixte est obtenue en affectant une direction à chaque arête …

16 ds.algorithms reference-request graph-theory graph-algorithms directed-acyclic-graph

2

Complexité temporelle du comptage des triangles dans les graphes planaires

Le comptage des triangles dans les graphiques généraux peut être fait trivialement en temps et je pense que faire beaucoup plus vite est difficile (références bienvenues). Et les graphes planaires? La procédure simple suivante montre que cela peut être fait en temps . Ma question est double:O(n3)O(n3)O(n^3)O(nlogn)O(nlog⁡n)O(n\log{n}) Quelle est la …

16 reference-request graph-algorithms planar-graphs

1

Quelles fonctions booléennes monotones sont représentables comme seuils sur les sommes?

Je vais présenter mon problème avec un exemple. Supposons que vous concevez un examen, qui consiste en un certain ensemble de questions indépendantes (que les candidats peuvent avoir raison ou tort). Vous voulez décider d'un score à attribuer à chacune des questions, la règle étant que les candidats ayant un …

16 reference-request boolean-functions

1

La complexité du comptage de chemins simples dans un graphe orienté

Soit un digraphe (pas nécessairement un DAG) et soit s , t ∈ V ( G ) . Quelle est la complexité de compter le nombre de simples s - t chemins dans G . ggGs , t ∈ V( G )s,t∈V(g)s,t \in V(G) s - ts-ts-tggG Je m'attendrais à …

16 ds.algorithms reference-request counting-complexity

2

Sur l'état de l'apprentissage dans

J'essaie de comprendre la complexité des fonctions exprimables via les portes de seuil et cela m'a conduit à . En particulier, je suis intéressé par ce que l'on sait actuellement sur l'apprentissage dans , car je ne suis pas un expert dans le domaine.T C0TC0\mathsf{TC}^0T C0TC0\mathsf{TC}^0 Ce que j'ai découvert …

16 cc.complexity-theory reference-request cr.crypto-security lg.learning boolean-functions

2

Une bonne référence pour les opérateurs de classes de complexité?

Je suis intéressé s'il existe de bons articles ou enquêtes expositifs auxquels je peux me référer lorsque j'écris sur les opérateurs de classes de complexité : des opérateurs qui transforment les classes de complexité en faisant des choses telles que leur ajouter des quantificateurs. Exemples d'opérateurs Ce qui suit peut …

16 reference-request complexity-classes

2

Complexité du comptage du nombre de couvertures de bord d'un graphique

Un couvercle de bord est un sous-ensemble de bords d'un graphique de sorte que chaque sommet du graphique est adjacent à au moins un bord du couvercle. Les deux articles suivants indiquent que le comptage des couvertures de bord est # P-complet: Un FPTAS simple pour compter les couvertures de …

16 reference-request graph-algorithms counting-complexity proofs

2

Équation diophantienne linéaire en entiers non négatifs

Il n'y a que très peu d'informations que je peux trouver sur le problème NP-complet de la résolution de l'équation diophantienne linéaire en nombres entiers non négatifs. C'est - à - dire, est - il une solution non négatif à l'équation a 1 x 1 + a 2 x 2 …

16 cc.complexity-theory reference-request np-hardness counting-complexity

Questions marquées «reference-request»