C'est une sorte de question de distance de montage, et c'est très simple. Je suis tout simplement mort cérébrale sur ce sujet et je ne peux pas le comprendre jusqu'à présent. Étant donné une série de nombres, par exemple [3, 1, 1, 1] Comment transformer le plus efficacement tous les nombres en un...
Pouvez-vous me donner quelques suggestions sur un bon livre d'introduction (mais complet) sur la logique et le calcul? Voici quelques sujets flous auxquels je pense: Presburger artihm., PA, ZF, ZFC, HOL Théorie des ensembles, Théorie des types Modélisation du calcul (machines de Turing) dans...
Dans le problème des stations-service, on nous donne villes et des routes entre elles. Chaque route a une longueur et chaque ville définit le prix du carburant. Une unité de route coûte une unité de carburant. Notre objectif est de passer d'une source à une destination de la manière la moins chère...
Je recherche une structure de données persistante similaire à un tableau (mais immuable), permettant des opérations d'indexation, d'ajout, de pré-ajout et d'itération rapides (bonne localité). Clojure fournit un vecteur persistant, mais ce n'est que pour un ajout rapide. Le vecteur de Scala a...
Qu'est-ce qu'un algorithme d'approximation à deux critères? Cela continue de se produire dans le cas du clustering de flux de données. Est-ce lié à l'optimisation multi-objectifs? C'est là que je l'ai rencontré: cis.upenn.edu/~sudipto/mypapers/datastream.pdf. L'article porte sur une version en...
Je comprends que la plupart des problèmes sont triviaux si un oracle d'arrêt est disponible (ou, je pense de manière équivalente, l'hyper-calcul). Cependant, appliquer l'argument qui montre que le problème d'arrêt est impossible pour une machine Turing montre également qu'il est impossible pour un...
Lors d'une interview pour un poste de développeur Java, on m'a demandé ce qui suit: Écrivez une fonction qui prend deux paramètres: une chaîne représentant un document texte et un entier indiquant le nombre d'articles à retourner. Implémentez la fonction de telle sorte qu'elle retourne une liste de...
Je me demande s'il y a des problèmes durs qui sont "polynomiaux" dans le cas moyen. Je pense qu'il y a deux façons d'interpréter cela?NPNPNP Si , peut-il y avoir un algorithme résolvant un problème dur avec un temps d'exécution amorti (cas moyen) de pour une constante ?P≠NPP≠NPP \neq...
Soit un problème de comptage connu pour être # -Complete .PΠΠ\PiPPP Cela implique-t-il que est -hard (c'est-à-dire qu'il n'y a pas de PTAS pour le problème sauf si )?A P X P = N
Je regarde le calcul des constructions et sa place dans le Lambda Cube . Si je comprends bien, chaque axe du cube peut être considéré comme ajoutant une autre opération impliquant des types au calcul simplement typé, . Le premier axe ajoute des opérateurs de type à terme, les seconds opérateurs de...
Dans le cas des graphes non étiquetés, le problème d'isomorphisme des graphes peut être résolu par un certain nombre d'algorithmes qui fonctionnent très bien en pratique. Autrement dit, bien que le pire des temps d'exécution soit exponentiel, on a généralement un temps d'exécution polynomial....
Le problème de déterminer si une expression booléenne donnée est satisfaisante sur le plan du calcul est-il distinct de trouver réellement une solution à l'expression? En d'autres termes, existe-t-il un autre moyen de trouver qu'une expression donnée est satisfaisable sans déterminer explicitement...
J'ai lu que les systèmes d'exploitation comme Android et iOS sont en quelque sorte optimisés pour améliorer la durée de vie de la batterie. Ma compréhension est qu'un CPU exécute un certain nombre d'opérations dans un certain temps, donc je pense que vous pouvez accélérer les applications en...
Disons par exemple que je fais un traitement de chaîne qui nécessite une analyse de deux chaînes. Je n'ai aucune information sur leur longueur, ils proviennent donc de deux familles distinctes. Serait-il acceptable d'appeler la complexité d'un algorithme ou O (n + m) (selon que l'on utilise un...
Existe-t-il des algorithmes connus qui donnent correctement "oui" à un problème NP-complet sans générer implicitement un certificat? Je comprends qu'il est simple de transformer un oracle de satisfiabilité en un chercheur d'affectation satisfaisante: il suffit d'itérer sur les variables, en...
Le ème nombre de Fibonacci peut être calculé en temps linéaire en utilisant la récurrence suivante:nnn def fib(n): i, j = 1, 1 for k in {1...n-1}: i, j = j, i+j return i Le ème nombre de Fibonacci peut également être calculé comme [ φ n / √nnn. Cependant, cela a des problèmes avec les problèmes...
Je sais que c'est idiot, mais j'ai réussi à me confondre et j'ai besoin d'aide pour régler ça Supposons que , alors clairement pour chaque oracle nous avons qui contredit le fait qu'il existe un oracle pour lequel , d'oùP= NPP=NPP=NPUNEUNEAPUNE= NPUNEPUNE=NPUNEP^A=NP^AUNEUNEAPUNE≠...
J'essaie de reproduire les réseaux synthétiques (graphiques) décrits dans certains articles. Il est indiqué que le modèle de Barabasi-Albert a été utilisé pour créer des "réseaux sans échelle avec des distributions de degrés de loi de puissance, PA(k)∝k−λPA(k)∝k−λP_A(k) ∝ k^{-λ} ". PAPAP_A est une...
Je suis un étudiant CS débutant et j'apprends des algorithmes. J'ai entendu dire que même avec des ordinateurs quantiques, les algorithmes de tri généraux ne peuvent jamais avoir un temps meilleur que . Cependant, je sais également que les algorithmes de factorisation seraient beaucoup plus...
Ce que nous savons, c'est que π est infini et contient très probablement toutes les chaînes finies possibles de chiffres ( séquence disjonctive ). J'ai vu récemment un prototype de πfs qui suppose que chaque fichier que vous avez créé (ou quelqu'un d'autre) ou que vous créerez, il est déjà là, donc...