Informatique théorique

1

quelles sont les limites connues de la complexité de l'automorphisme de graphes non triviaux

Étant donné tout graphe simple non orienté G, il n'est pas trivial de déterminer si G a des automorphismes non triviaux (sans identité). Mais quels sont les résultats sur les bornes supérieures / inférieures de ce problème de décision?

11 cc.complexity-theory graph-isomorphism automorphism

2

Un algorithme rapide pour un problème de jeu d'arc de rétroaction à coût minimum?

Dans un graphe dirigé, , F ⊂ E , si G ∖ F est un DAG (graphe acyclique dirigé), F est appelé un ensemble d'arc de rétroaction. G=(V,E)G=(V,E)G=(V,E)F⊂EF⊂EF\subset EG∖FG∖FG\setminus FFFF Si chaque bord est associé à un poids , le problème de jeu d'arc à rétroaction de coût minimum est …

11 ds.data-structures graph-theory np-hardness approximation-algorithms

4

Réduction de la dimensionnalité avec du mou?

Le lemme de Johnson-Lindenstrauss dit grosso modo que pour toute collection de points dans , il existe une carte où tel que pour tout : Il est connu que des instructions similaires ne sont pas possibles pour la métrique , mais est-il connu s'il existe un moyen de contourner une …

11 ds.algorithms approximation-algorithms cg.comp-geom metrics embeddings

1

Quelqu'un peut-il suggérer une enquête récente sur les chaînes de Markov sous forme de produit?

Je suis particulièrement intéressé par leur utilisation dans les applications de vérification de modèle. J'ai des réseaux de files d'attente ouverts, fermés et mixtes avec différentes classes de clients par Baskett et al. Avez-vous d'autres suggestions pour lire du matériel? Merci.

11 reference-request markov-chains queueing-theory model-checking

7

Quel est le lien entre l'informatique théorique et la sécurité?

Quand je pense à un logiciel qui n'est pas sûr, je pense qu'il est "trop utile" et peut être utilisé abusivement par un attaquant. Donc, dans un sens, la sécurisation des logiciels est le processus qui rend les logiciels moins utiles. En informatique théorique, vous ne travaillez pas avec le …

11 cr.crypto-security big-picture

7

Calcul quantique - Postulats de QM

Je viens de commencer (indépendant) à apprendre le calcul quantique en général à partir du livre de Nielsen-Chuang. Je voulais demander si quelqu'un pouvait essayer de trouver du temps pour m'aider avec ce qui se passe avec le postulat de mesure de la mécanique quantique. Je veux dire, je n'essaie …

11 quantum-computing quantum-information

3

Deux variantes de NP

Voici deux variantes de la définition de NP. Ils définissent (presque certainement) des classes de complexité distinctes, mais ma question est: existe-t-il des exemples naturels de problèmes qui correspondent à ces classes? (Mon seuil pour ce qui compte comme naturel ici est un peu plus bas que d'habitude.) Classe 1 …

11 cc.complexity-theory complexity-classes np

2

Qu'est-ce qu'un problème naturel en théorie du calcul?

Dans l'article de Stephen Cook sur le problème P vs NP [1], il déclare ce qui suit [2]: Thèse de faisabilité: Un problème naturel a un algorithme réalisable s'il a un algorithme polynomial. Ma question est, que veut-il dire exactement (ou en général, qu'est-ce que l'on entend) par "un problème …

11 time-complexity p-vs-np complexity fixed-parameter-tractable

1

Quelle est l'instance la plus difficile pour le problème d'isomorphisme de groupe?

On dit que deux groupes et sont isomorphes s'il existe un homomorphisme de en qui est bijectif. Le problème d'isomorphisme de groupe est le suivant: étant donné deux groupes, vérifiez s'ils sont isomorphes ou non. Il existe différentes façons de saisir un groupe, les deux plus utilisées sont par une …

11 ds.algorithms gr.group-theory

3

Formulation équivalente de la théorie de la complexité dans Lambda Calculus?

Dans la théorie de la complexité, la définition de la complexité du temps et de l'espace fait référence à une machine de Turing universelle: resp. le nombre d'étapes avant de s'arrêter et le nombre de cellules sur la bande touchées. Compte tenu de la thèse de Church-Turing, il devrait également …

11 time-complexity lambda-calculus

3

Limites de dimension VC d'apprentissage PAC appropriées

Il est bien connu que pour une classe de concept de dimension VC , il suffit d'obtenir exemples étiquetés pour PAC learn . Il n'est pas clair pour moi si l'algorithme d'apprentissage PAC (qui utilise ces nombreux échantillons) est approprié ou inapproprié? Dans les manuels de Kearns et Vazirani ainsi …

11 machine-learning boolean-functions lg.learning vc-dimension pac-learning

2

Exemple de quelque chose de différent pour les oracles génériques et aléatoires?

Soit un oracle générique au sens de la catégorie Cohen / Baire. Soit un oracle aléatoire.ggGRRR Existe-t-il des classes de complexité A et B avec ou le dans l'autre sens, UNEg= BgetUNER≠ BRUNEg=BgetUNER≠BR\mathrm{A}^G=\mathrm{B}^G\quad\text{and}\quad\mathrm{A}^R\ne \mathrm{B}^RUNEg≠ BgetUNER= BR?UNEg≠BgetUNER=BR?\mathrm{A}^G\ne\mathrm{B}^G\quad\text{and}\quad\mathrm{A}^R= \mathrm{B}^R\text{?} La question a été inspirée par un commentaire de Scott Aaronson .

11 cc.complexity-theory complexity-classes

3

Qu'est-ce qu'une preuve d'exactitude pour un vérificateur de typage devrait réellement prouver?

Je programme depuis plusieurs années, mais je ne connais pas très bien le CS théorique. J'ai récemment essayé d'étudier les langages de programmation, et dans le cadre de cela, la vérification de type et l'inférence. Ma question est, si j'essaie d'écrire un programme d'inférence de type et de vérification d'un …

11 coq type-inference proof-assistants

2

Les réseaux sociaux sont-ils généralement de bons expanseurs?

Je m'intéresse aux propriétés combinatoires des réseaux sociaux sous forme de graphes. Les gens ont regardé des choses telles que la distribution des degrés, le coefficient de regroupement et la compressibilité de ces graphiques. Une question fondamentale est la suivante: ces graphiques sont-ils généralement de bons graphiques d'extension? Quelqu'un a-t-il …

11 graph-theory application-of-theory expanders

1

Le MLTT est-il effectivement pCiC sans Prop?

La théorie du type de Martin-Löf est-elle fondamentalement le calcul prédicatif des constructions inductives sans imprédicatif ?PropProp\mathtt{Prop} S'ils sont étroitement liés mais avec plus de différences que simplement , quelles sont ces différences?PropProp\mathtt{Prop}

11 type-theory calculus-of-constructions