Informatique théorique

4

Récupérer la pente d'une ligne numérisée

Y a-t-il eu des travaux pour récupérer la pente d'un segment de ligne de sa numérisation? On ne peut pas le faire avec une précision parfaite, bien sûr; ce que l'on veut, c'est une méthode pour dériver d'une ligne numérisée un intervalle de pentes possibles. (La notion de ligne numérisée …

11 reference-request cg.comp-geom cv.computer-vision image-processing

2

Les oracles sont-ils associatifs?

Cette question peut avoir une réponse évidente ... mais voici la question de toute façon. Intuitivement, c'est la déclaration plausible suivante - "une machine avec un sous-programme A qui à son tour a un sous-programme B est la même chose qu'une machine avec un sous-programme A qui a accès au …

11 complexity-classes oracles

6

Les réductions de plusieurs et les réductions de Turing définissent-elles le même PNJ de classe

Je me demande si les classes NPC définies par plusieurs réductions et les réductions de Turing sont égales. Edit: Une autre question, est-ce que les réductions de Turing ne font que réduire les classes C et co-C pour certains C ou existe-t-il une classe telle qu'il existe un problème qui …

11 cc.complexity-theory np-hardness reductions

2

La correspondance maximale M avec la condition G [M] est sans 2K_2

Y a-t-il quelque chose dans la littérature proche du problème suivant: Étant donné un graphe biparti avec bipartition équilibrée { U , W } , existe-t-il une correspondance parfaite M dans G telle que pour chaque 2 arêtes u 1 w 1 , u 2 w 2 ∈ M , …

11 matching

5

Fonctions sous-modulaires: demande de référence

Je serais très intéressé par les références à la théorie des fonctions sous-modulaires (des bases aux avancées). En particulier, j'étudie des approximations de problèmes d'optimisation difficiles et je souhaite développer mes fondations dans les fonctions sous-modulaires car elles sont pertinentes aux problèmes d'optimisation que j'ai étudiés. Merci d'avance.

11 ds.algorithms reference-request approximation-algorithms optimization

2

«Parents» du problème du chemin le plus court

Considérons un graphique connecté non orienté avec des poids de bord non négatifs et deux sommets distincts . Voici quelques problèmes de chemin qui sont tous de la forme suivante: trouver un chemin , de sorte qu'une fonction des poids de bord sur le chemin soit minimale. En ce sens, …

10 graph-theory graph-algorithms np-complete polynomial-time

1

L'élève d'Alan Turing, Robin Gandy, a-t-il affirmé que Charles Babbage n'avait aucune notion d'une machine informatique universelle?

Robin Gandy était un étudiant d' Alan Turing . Gandy a fait une analyse du moteur analytique de Babbage (voir 'Gandy - The Confluence of Ideas in 1936' cité dans 'Herken, Rolf - The Universal Turing Machine - A Half-Century Survey . Springer Verlag') - et l'a dit (cf. p. …

10 turing-machines universal-computation charles-babbage

1

Isomorphisme de graphe efficace pour des requêtes de graphe similaires

Etant donné le graphique G1, G2 et G3, nous voulons effectuer le test d'isomorphisme F entre G1 et G2 ainsi que G1 et G3. Si G2 et G3 sont très similaires, de sorte que G3 est formé en supprimant un nœud et en insérant un nœud de G2, et nous …

10 graph-theory graph-algorithms graph-isomorphism

1

Quelle est la difficulté de décider de l'existence d'une correspondance parfaite rouge-bleu?

Le problème de correspondance parfaite bicolore consiste à décider si un graphique a une coloration à deux couleurs de sorte que chaque nœud a exactement un voisin de la même couleur que lui. Schaefer a démontré que le problème était NP-complet . Il reste NP-complet même pour les graphes cubiques …

10 cc.complexity-theory np-hardness

1

Une obstruction comme ETH

Nous savons que sous ETHETHETH nous ne pouvons pas résoudre KKK -SUM en temps F( K) p o l y( n K)F(K)poly(nK)f(K)poly(nK) sous n'importe quelle fonction F( K)F(K)f(K) (généralement 2O ( K)2O(K)2^{O(K)} ). Y a-t-il une conjecture qui empêche une complexité ( journaln )O ( K)(Journal⁡n)O(K)(\log n)^{O(K)} (ceci est entièrement …

10 cc.complexity-theory subset-sum

1

P et complexité descriptive

Dans le Complexity Zoo, il est dit [ 1 ] que, dans la complexité descriptive, PPP peut être défini par trois types de formules différents, FO(LFP)FO(LFP)FO(LFP) qui est aussi FO(nO(1))FO(nO(1))FO(n^{O(1)}) , et aussi comme SO(HORN)SO(HORN)SO(HORN) . Cependant, il y a quelques exceptions, par exemple, EvennessEvennessEvenness ne peuvent pas être exprimées …

10 lo.logic polynomial-time descriptive-complexity

2

Intuition derrière une positivité stricte?

Je me demande si quelqu'un peut me donner l'intuition derrière pourquoi la positivité stricte des types de données inductifs garantit une forte normalisation. Pour être clair, je vois comment avoir des occurrences négatives conduit à la divergence, c'est-à-dire en définissant: data X where Intro : (X->X) -> X nous pouvons …

10 reference-request pl.programming-languages type-theory type-systems dependent-type

1

La théorie algorithmique de l'information évolue-t-elle encore?

Je suis actuellement à la recherche d'un sujet de thèse et ai rencontré le domaine de la théorie algorithmique de l'information. Le terrain me semble très intéressant, mais il semble que tout soit fait le terrain a été fait avant plusieurs années. Ma question est donc la suivante: le champ …

10 cc.complexity-theory it.information-theory

1

Classes de complexité des circuits linéaires

La classe est les fonctions de classe calculables par des familles de circuits de fan-in borné, de taille et de profondeur . La est l'union de ces classes.NCjeNCi\textrm{NC}^inO ( 1 )nO(1)n^{O(1)}O ( logje( n ) )O(Journalje⁡(n))O(\log^i(n))NCNC\textrm{NC} Existe-t-il une étude de la variante de taille linéaire de cette hiérarchie? C'est-à-dire des …

10 cc.complexity-theory circuit-complexity

1

Quelle est la complexité de ce jeu?

Ceci est une généralisation de ma question précédente . Que soit une machine déterministe polynomial qui peut poser des questions à un oracle . Initialement, est vide mais cela peut être modifié après un jeu qui sera décrit ci-dessous. Soit une chaîne.MMMUNEUNEAUNEUNEAXXx Considérez le jeu Alice et Bob suivant. Initialement, …

10 cc.complexity-theory complexity-classes gt.game-theory