Informatique théorique

1

Études systématiques de la somme des polynômes quadratiques au carré

Je me demande s'il existe des études systématiques de sommes de formes quadratiques au carré, similaires aux formes quadratiques, qui se reflètent pratiquement dans la décomposition des valeurs propres (qui a une énorme implication pratique). Quelques exemples liés à l'importance de la question. Analyses en composantes principales (ACP) . Étant …

9 ds.algorithms polynomials semidefinite-programming

3

Trouver tous les cycles

Je un ensemble fini , une fonction , et un ordre total sur . Je veux trouver le nombre de cycles distincts dans .f : S → S < S SSSSF: S→ Sf:S→Sf:S\to S<<<SSSSSS Pour un élément donné je peux utiliser l'algorithme de Floyd (ou Brent, etc.) pour trouver la …

9 graph-theory graph-algorithms

3

Combien de mots de longueur

MODIFIÉ POUR AJOUTER : Il est maintenant essentiellement répondu à cette question; veuillez consulter cette entrée de blog pour plus de détails. Merci à tous ceux qui ont posté des commentaires et des réponses ici. QUESTION ORIGINALE Il s'agit, espérons-le, d'une version plus intelligente et mieux informée d'une question que …

9 co.combinatorics

1

Quel est le rôle du calcul bicolore des constructions?

Donc, je lis un peu sur l'élaboration, en particulier, les algorithmes basés sur le calcul bicolore de la construction, et je suis un peu confus. Je ne comprends pas exactement à quoi sert le . Il semble être identique à C C sauf qu'il existe une distinction entre les arguments …

9 type-theory lambda-calculus type-inference dependent-type

2

Le nombre moyen de publications annuelles pour les post-doctorants CS

Quel est le nombre moyen de publications (y compris les actes de conférence), par an, pour les chercheurs postdoctoraux CS aux États-Unis? Quels sont les moyens de connaître ou d'estimer ce nombre?

9 soft-question advice-request research-practice career

2

Est-ce que quelques centaines d'étapes de réduction sont trop nombreuses pour obtenir la forme normale de Y fac ⌜3⌝?

Comme j'ai récemment enseigné les bases du λ-calcul, j'ai implémenté un évaluateur de λ-calcul simple en Common Lisp. Lorsque je demande la forme Y fac 3normale de réduction dans l'ordre normal, cela prend 619 étapes, ce qui semblait un peu trop. Bien sûr, chaque fois que je faisais des réductions …

9 lo.logic lambda-calculus

2

Point de départ pour des algorithmes sans cache?

Je suis intéressé à en savoir plus sur les algorithmes sans cache et les structures de données, mais il y a tellement d'articles que je ne sais vraiment pas par où commencer. J'ai trouvé la thèse originale de Prokup sur le sujet, ce qui semble être un bon point de …

9 ds.algorithms reference-request cache-oblivious

2

Algorithmes efficaces pour rechercher une collection d'arbres

J'ai un grand ensemble de données d'arbres et je voudrais le rechercher en spécifiant un treelet (sous-graphe connecté). La requête doit renvoyer toutes les occurrences du treelet dans l'ensemble de données. Existe-t-il des algorithmes efficaces pour le faire? Je pensais à quelque chose comme des tableaux de suffixes, cependant, encoder …

9 graph-algorithms ds.data-structures tree graph-isomorphism string-search

1

Problème de localisation des installations capacitées euclidiennes

Dans la Facilité capacitation Lieu problème (CFLP) , nous donne un ensemble de clients et un ensemble d'équipements potentiels F . Chaque client j ∈ C a une demande d j qui doit être desservie par une ou plusieurs installations ouvertes. Chaque installation i ∈ F a un coût d'ouverture …

9 ds.algorithms cg.comp-geom approximation-algorithms

1

Permanent d'une matrice

AAA3×33×33 \times 34×44×44 \times 4aijaija_{ij}BBBper(A)=det(B)per⁡(A)=det(B)\operatorname{per}(A) = \det(B)BBBper(A)=det(B)per⁡(A)=det(B)\operatorname{per}(A) = \det(B) Certaines restrictions pourraient être les cas suivants: Cas Seuls sont autorisés linéaire Fonctionnelles sous forme d' entrées de .(1)(1)(1)BBB Cas Les fonctions fonctionnelles non linéaires sont autorisées à condition que chaque terme ait au moins degré (degré est la somme du …

9 cc.complexity-theory algebraic-complexity permanent

2

Puis-je limiter la cardinalité d'un ensemble si le test d'adhésion à celui-ci est connu pour être NP-complet?

Je voudrais avoir une limite sur la cardinalité de l'ensemble des graphes d'unité de disque avec sommets. Il est connu que vérifier si un graphe est membre de cet ensemble est NP-difficile. Cela conduit-il à une borne inférieure de la cardinalité, en supposant P NP?NNN≠≠\neq Par exemple, supposons qu'il existe …

9 cc.complexity-theory graph-theory

2

Méthode de forme normale de Chomsky: implications de performances de l'analyseur CYK?

Les analyseurs de graphiques peuvent être implémentés sur la base de la forme normale de Chomsky ou directement sur la base des règles de production. Supposons pour le moment que nous avons un analyseur graphique CYK qui utilise la forme normale de Chomsky. La binarisation n'est pas définie de manière …

9 fl.formal-languages parsing

1

Incorporation d'un graphique en tant que collection de tétraèdres intérieurs disjoints

Définissez un maillage en 3D comme une collection connectée de tétraèdres aux intérieurs disjoints (donc les tétraèdres ne partagent que k-faces, ). Étant donné un graphe arbitraire, existe-t-il une procédure efficace pour tester s'il peut être incorporé en tant que maillage?k ≤ 2k≤2k \le 2 Ici, une incorporation est un …

9 ds.algorithms graph-theory

2

Chemins les plus courts interdisant chaque bord

J'apprécierais tous les conseils ou termes qui pourraient me permettre de commencer dans la bonne direction. Nous avons un graphe orienté et des longueurs pour chaque arête qui peut être supposée positive. Il existe un nœud de début spécial s et un nœud de fin t .G=(V,E)G=(V,E)G=(V,E)lijlijl_{ij}ijijijsssttt Pour chaque arête …

9 ds.algorithms reference-request graph-algorithms

1

Quel est le rôle approprié de la vérification dans l'échantillonnage quantique, la simulation et les tests de Church-Turing étendus (ECT)?

Comme aucune réponse n'a été donnée, un indicateur a été défini pour demander que cette question soit convertie en wiki communautaire. Les commentaires d'Aaron Sterling, Sasho Nikolov et Vor ont été synthétisés dans la résolution suivante, qui est ouverte à la discussion wiki communautaire: Résolu: En ce qui concerne les …

9 quantum-computing program-verification sample-complexity