L'informatique

1

La thèse de Church-Turing s'applique-t-elle également à l'intelligence artificielle?

Selon la thèse de Church-Turing, il est impossible de concevoir un algorithme pour décider du problème d'arrêt. Le mot algorithme dans ce contexte inclut-il ou non l'intelligence artificielle, c'est-à-dire que la thèse de Church-Turing s'applique-t-elle également à l'intelligence artificielle? Est-il possible de concevoir un système de renseignement à l'avenir pour …

8 computability artificial-intelligence halting-problem church-turing-thesis

2

Maximisez la distance entre k nœuds dans un graphique

J'ai un graphe non orienté non pondéré et je veux sélectionner nœuds dans telle sorte qu'ils soient aussi loin que possible les uns par rapport aux autres, en termes de distance géodésique . En d'autres termes, ils doivent être répartis sur le graphique autant que possible.ggGkkkggG Soit avoir la longueur …

8 algorithms graph-theory graphs

1

Recherche dans l'espace des permutations

On me donne n objets, et un ensemble de n permutations de ces n objets (sur n! Permutations totales). Il y a une vraie permutation sous-jacente, dont je sais qu'elle fait partie de l'ensemble des n permutations, mais je ne sais pas laquelle. Un oracle connaît cependant la véritable permutation. …

8 complexity-theory lower-bounds search-problem permutations

2

Qu'est-ce que la vérification de modèle symbolique exactement?

Je sais que la vérification de modèle symbolique est une traversée de l'espace d'états basée sur des représentations d'ensembles d'états et de relations de transition comme des formules comme dans CTL utilisant des modèles comme Kripke Model. Je connais la théorie. Mais j'ai du mal à comprendre l'application réelle. Où …

8 formal-methods model-checking software-verification

1

Création de nots contrôlés plus importants à partir de portes qubit unique, Toffoli et CNOT, sans espace de travail

L'exercice 4.29 du calcul quantique et des informations quantiques de Nielsen et Chuang m'a déconcerté. Trouver un circuit contenant Toffoli, CNOT et des portes à qubit unique qui implémente une porte (pour ), en utilisant aucun qubits de travail.O (n2)O(n2)O(n^2)Cn( X)Cn(X)C^n(X)n > 3n>3n > 3 J'ai compris que cela ne …

8 quantum-computing circuits

1

Trouver un ensemble indépendant maximal en parallèle

Sur un graphique G(V,E)G(V,E)G(V,E), nous effectuons le processus suivant: Initialement, tous les nœuds VVV sont incolores. Bien qu'il existe des nœuds non colorés dans VVV, chaque nœud non coloré effectue les opérations suivantes: Sélectionne un nombre réel aléatoire et l'envoie à tous ses voisins; Compare son nombre au nombre de …

8 algorithm-analysis graphs distributed-systems parallel-computing randomized-algorithms

2

Pourquoi les fibres ne peuvent-elles pas utiliser plusieurs processeurs?

Il semble que la distinction entre les fibres et les fils est que les fibres sont programmées en coopération, tandis que les fils sont programmés de manière préventive. Le but de l'ordonnanceur semble être un moyen de faire en sorte qu'une ressource processeur autrement série agisse de manière parallèle, en …

8 parallel-computing threads multi-tasking

5

Quelles sont les utilisations pratiques des ontologies?

J'ai lu de nombreux articles et livres sur les ontologies et j'essaie de comprendre comment ils sont utilisés dans un vrai projet? Par exemple, comment l'ontologie d'un robot joueur de football peut-elle être définie et utilisée avec une architecture cognitive pour la rendre intelligente? Les ontologies sont-elles des relations entre …

8 artificial-intelligence applied-theory knowledge-representation ontologies robotics

2

Comment relier la théorie et la mise en œuvre des boucles while?

Je travaille sur mon propre petit langage de programmation à des fins éducatives et j'ai rencontré un petit problème. Il existe plusieurs solutions différentes, mais toutes semblent inélégantes - et d'après ce que je comprends, inutiles. Mais en lisant les livres que j'ai et les recherches Google, je ne trouve …

8 programming-languages loops language-design

1

Que savons-nous de NP ∩ co-NP et de sa relation avec NPI?

Une AT est passée aujourd'hui pour s'enquérir de certaines choses au sujet du NP et du co-NP. Nous sommes arrivés à un point où j'étais aussi perplexe: à quoi ressemble un diagramme de Venn de P, NPI, NP et co-NP en supposant P ≠ NP (l'autre cas est ennuyeux)? Il …

8 complexity-theory reference-request complexity-classes np

1

Circuits logiques combinatoires et théorie du calcul

J'essaie de relier les circuits logiques multinationaux (ordinateurs basés uniquement sur des portes logiques) avec tout ce que j'ai appris récemment dans la théorie du calcul. Je me demandais si les circuits logiques combinatoires peuvent implémenter des calculs de la même manière que les machines à états finis. Ils semblent …

8 complexity-theory turing-machines computation-models circuits

1

Condition nécessaire et suffisante pour un arbre couvrant unique unique

Il s'agit d'un problème d'exercice (Ex.3) de l'excellente note de conférence de Jeff Erickson Conférence 20: Minimum Spanning Trees [Fa'13] . Démontrer qu'un graphe pondéré sur les bords a un arbre couvrant minimal unique si et seulement si les conditions suivantes sont réuniesGGG Pour toute partition des sommets de en …

8 graph-theory spanning-trees

5

est-il possible de minimiser les automates de refoulement?

est-il possible de minimiser les automates de refoulement? Si non, pourquoi? Est-ce parce que pour la minimisation, les classes d'équivalence doivent avoir un indice fini et nous ne pouvons pas le garantir pour CFG?

8 computability automata pushdown-automata

2

Analyse d'un algorithme de cas moyen à l'aide de la méthode d'incompressibilité de Kolmogorov

La méthode d'incompressibilité simplifierait l'analyse des algorithmes pour le cas moyen. D'après ce que je comprends, c'est parce qu'il n'est pas nécessaire de calculer toutes les combinaisons possibles d'entrée pour cet algorithme et de dériver ensuite une complexité moyenne. Au lieu de cela, une seule chaîne incompressible est prise en …

8 algorithm-analysis kolmogorov-complexity

3

Est

Supposer ΠΠ\Pi est un problème de décision décidable. Est-ce que Π ∉ NPΠ∉NP\Pi\not \in NP impliquer ΠΠ\Pi est NPNPNP-Difficile? Edit: si l'on suppose qu'il existe Π ∈ c o NP∖ NPΠ∈coNP∖NP\Pi\in coNP\setminus NPalors nous avons terminé. Pouvons-nous réfuter la réclamation sans hypothèses inconnues?

8 complexity-theory np-hard complexity-classes np